[BACK]Return to OM2OXM.java CVS log [TXT][DIR] Up to [local] / OpenXM / src / OpenMath

Diff for /OpenXM/src/OpenMath/OM2OXM.java between version 1.13 and 1.18

version 1.13, 1999/12/09 00:32:36 version 1.18, 2000/02/28 14:10:28
Line 1 
Line 1 
 /**  /**
  * $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.12 1999/11/18 15:13:01 tam Exp $   * $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.17 2000/01/21 12:17:49 tam Exp $
  *   *
  * $B$3$N%/%i%9$G$O0J2<$N(B BNF $B$GI=$5$l$k9=J82r@O$r<BAu$7$F$$$k(B   * $B$3$N%/%i%9$G$O0J2<$N(B BNF $B$GI=$5$l$k9=J82r@O$r<BAu$7$F$$$k(B
  * expr -> stag [expr | immediate]* etag   * expr -> stag [expr | immediate]* etag
Line 39  final class OM2OXM implements Runnable{
Line 39  final class OM2OXM implements Runnable{
   private int token = TT_NULL;    private int token = TT_NULL;
   private boolean lexPushbackFlag = false;    private boolean lexPushbackFlag = false;
   private OpenXM asir; // for debug    private OpenXM asir; // for debug
   private boolean debug = true;    protected boolean debug = false; // for debug message
   
   // Token Type for lexical analyzer    // Token Type for lexical analyzer
   final static int TT_NULL      = 0;    final static int TT_NULL      = 0;
Line 88  final class OM2OXM implements Runnable{
Line 88  final class OM2OXM implements Runnable{
     case CMO.CMO_STRING:      case CMO.CMO_STRING:
       return "<OMSTR>"+ ((CMO_STRING)cmo).getString() +"</OMSTR>";        return "<OMSTR>"+ ((CMO_STRING)cmo).getString() +"</OMSTR>";
   
       // case CMO.CMO_LIST:      case CMO.CMO_LIST:
         ret += "<OMA><OMS name=\"list\" cd=\"basic\"/>";
         {
           CMO ob[] = ((CMO_LIST)cmo).getElements();
   
           for(int i=0;i<ob.length;i++){
             ret += CMO2OM_sub(ob[i]);
           }
         }
         ret += "</OMA>";
         return ret;
   
     case CMO.CMO_MONOMIAL32:      case CMO.CMO_MONOMIAL32:
       ret += "<OMA><OMS name=\"Monom\" cd=\"poly\"/>";        ret += "<OMA><OMS name=\"Monom\" cd=\"poly\"/>";
       ret += CMO2OM_sub(((CMO_MONOMIAL32)cmo).getCoefficient());        ret += CMO2OM_sub(((CMO_MONOMIAL32)cmo).getCoefficient());
Line 149  final class OM2OXM implements Runnable{
Line 159  final class OM2OXM implements Runnable{
     case CMO.CMO_TREE:      case CMO.CMO_TREE:
       ret += "<OMA><OMS name=\""+ ((CMO_TREE)cmo).getName() +"\" cd=\""+        ret += "<OMA><OMS name=\""+ ((CMO_TREE)cmo).getName() +"\" cd=\""+
         ((CMO_TREE)cmo).getCDName() +"\"/>";          ((CMO_TREE)cmo).getCDName() +"\"/>";
       for(int i=0;i<((CMO_TREE)cmo).getLeaves().getElement().length;i++){        for(int i=0;i<((CMO_TREE)cmo).getLeaves().getElements().length;i++){
         ret += CMO2OM_sub(((CMO_TREE)cmo).getLeaves().getElement()[i]);          ret += CMO2OM_sub(((CMO_TREE)cmo).getLeaves().getElements()[i]);
       }        }
       ret += "</OMA>";        ret += "</OMA>";
       return ret;        return ret;
Line 172  final class OM2OXM implements Runnable{
Line 182  final class OM2OXM implements Runnable{
     }      }
   
     poly = (CMO_POLYNOMIAL_IN_ONE_VARIABLE)cmo;      poly = (CMO_POLYNOMIAL_IN_ONE_VARIABLE)cmo;
     variable = CMO2OM_sub(variables.getElement()[poly.getVariable()]);      variable = CMO2OM_sub(variables.getElements()[poly.getVariable()]);
   
    for(int i=0;i<poly.getDegrees().length;i++){     for(int i=0;i<poly.getDegrees().length;i++){
       String mono;        String mono;
Line 354  final class OM2OXM implements Runnable{
Line 364  final class OM2OXM implements Runnable{
         ret = parse_symb_DMP();          ret = parse_symb_DMP();
         debug("poly: "+ret);          debug("poly: "+ret);
       }else{        }else{
         ret = new CMO_TREE(name,"Basic",parse_objects());          CMO[] leaves = parse_objects();
   
           if(name.equals("list")){
             ret = new CMO_LIST(leaves);
           }else if(name.equals("over") && leaves.length==2
                    && leaves[0] instanceof CMO_ZZ
                    && leaves[1] instanceof CMO_ZZ){
             ret = new CMO_QQ((CMO_ZZ)leaves[0],(CMO_ZZ)leaves[1]);
           }else{
             ret = new CMO_TREE(name,"basic",new CMO_LIST(leaves));
           }
       }        }
   
       exceptTokenTypeInParse(TT_EndTag);        exceptTokenTypeInParse(TT_EndTag);
Line 362  final class OM2OXM implements Runnable{
Line 382  final class OM2OXM implements Runnable{
         parse_error("We expect '</OMA>'.");          parse_error("We expect '</OMA>'.");
       }        }
     }else{      }else{
       parse_error("???");        parse_error("We expect '<OMI> or '<OMA>' or '<OMV>'.");
       ret = null;        ret = null;
     }      }
   
Line 447  final class OM2OXM implements Runnable{
Line 467  final class OM2OXM implements Runnable{
   
   private CMO_MONOMIAL32 parse_symb_Monom() throws IOException{    private CMO_MONOMIAL32 parse_symb_Monom() throws IOException{
     Vector degree = new Vector();      Vector degree = new Vector();
       CMO coefficient;
     int[] array;      int[] array;
   
     exceptTokenTypeInParse(TT_StartTag);      exceptTokenTypeInParse(TT_StartTag);
Line 458  final class OM2OXM implements Runnable{
Line 479  final class OM2OXM implements Runnable{
       parse_error("We expect '<Monom>'");        parse_error("We expect '<Monom>'");
     }      }
   
       coefficient = parse_object();
       if(!(coefficient instanceof CMO_ZZ
            || coefficient instanceof CMO_QQ
            || coefficient instanceof CMO_INT32
            || coefficient instanceof CMO_ZERO)){
         parse_error("the coefficient of Monomials must be integer or rational.");
       }
   
     while(readNextToken() != TT_EndTag){      while(readNextToken() != TT_EndTag){
       pushbackLex();        pushbackLex();
       degree.addElement(parse_OMI());        degree.addElement(parse_OMI());
Line 467  final class OM2OXM implements Runnable{
Line 496  final class OM2OXM implements Runnable{
       parse_error("We expect '<OMA>'.");        parse_error("We expect '<OMA>'.");
     }      }
   
     array = new int[degree.size()-1];      array = new int[degree.size()];
     for(int i=0;i<array.length;i++){      for(int i=0;i<array.length;i++){
       array[i] = ((CMO_ZZ)degree.elementAt(i+1)).intValue();        array[i] = ((CMO_ZZ)degree.elementAt(i)).intValue();
     }      }
   
     //debug("monom: "+ new CMO_MONOMIAL32(array,(CMO_ZZ)degree.elementAt(0)));      //debug("monom: "+ new CMO_MONOMIAL32(array,coefficient));
     return new CMO_MONOMIAL32(array,(CMO_ZZ)degree.elementAt(0));      return new CMO_MONOMIAL32(array,coefficient);
   }    }
   
   private CMO_LIST parse_objects() throws IOException{    private CMO[] parse_objects() throws IOException{
     // $B2r@O$5$l$?(B object $B$r(B LIST $B$GJV$9(B  
     Vector objects = new Vector();      Vector objects = new Vector();
     CMO[] array;      CMO[] array;
   
Line 492  final class OM2OXM implements Runnable{
Line 520  final class OM2OXM implements Runnable{
     objects.copyInto((Object[])array);      objects.copyInto((Object[])array);
   
     debug("debug :"+ new CMO_LIST(array));      debug("debug :"+ new CMO_LIST(array));
     return new CMO_LIST(array);      return array;
   }    }
   
   private String parse_symbol() throws IOException{    private String parse_symbol() throws IOException{
Line 704  final class OM2OXM implements Runnable{
Line 732  final class OM2OXM implements Runnable{
     String ret;      String ret;
   
     ret = mesg +"\n";      ret = mesg +"\n";
     ret += "error occuered near :";      ret += "error occuered before that :";
     try{      try{
       for(int i=0;i<10;i++){        for(int i=0;i<40;i++){
         ret += (char)is.read();          ret += (char)is.read();
       }        }
     }catch(IOException e){}      }catch(IOException e){}
Line 771  final class OM2OXM implements Runnable{
Line 799  final class OM2OXM implements Runnable{
           asir.send(obj);            asir.send(obj);
           asir.sendSM(new SM(SM.SM_popCMO));            asir.sendSM(new SM(SM.SM_popCMO));
         }catch(NumberFormatException e){          }catch(NumberFormatException e){
             System.err.println(e.getMessage());
           }catch(MathcapViolation e){
           System.err.println(e.getMessage());            System.err.println(e.getMessage());
         }          }
       }        }
Legend:
Removed from v.1.13  
changed lines
  Added in v.1.18
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>