=================================================================== RCS file: /home/cvs/OpenXM/src/OpenMath/OM2OXM.java,v retrieving revision 1.2 retrieving revision 1.15 diff -u -p -r1.2 -r1.15 --- OpenXM/src/OpenMath/OM2OXM.java 1999/11/04 19:36:41 1.2 +++ OpenXM/src/OpenMath/OM2OXM.java 2000/01/20 13:58:48 1.15 @@ -1,5 +1,5 @@ /** - * $OpenXM$ + * $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.14 2000/01/19 15:32:50 tam Exp $ * * このクラスでは以下の BNF で表される構文解析を実装している * expr -> stag [expr | immediate]* etag @@ -39,6 +39,7 @@ final class OM2OXM implements Runnable{ private int token = TT_NULL; private boolean lexPushbackFlag = false; private OpenXM asir; // for debug + protected boolean debug = false; // for debug message // Token Type for lexical analyzer final static int TT_NULL = 0; @@ -53,8 +54,6 @@ final class OM2OXM implements Runnable{ while(true){ CMO tmp; - Thread.yield(); - switch(asir.receiveOXtag()){ case OpenXM.OX_COMMAND: asir.receiveSM(); @@ -74,7 +73,7 @@ final class OM2OXM implements Runnable{ return ""+ CMO2OM_sub(cmo) +""; } - private static String CMO2OM_sub(CMO cmo){ + private static String CMO2OM_sub(CMO cmo) throws NumberFormatException{ String ret = ""; switch(cmo.getDISCRIMINATOR()){ @@ -89,8 +88,18 @@ final class OM2OXM implements Runnable{ case CMO.CMO_STRING: return ""+ ((CMO_STRING)cmo).getString() +""; - // case CMO.CMO_LIST: + case CMO.CMO_LIST: + ret += ""; + { + CMO ob[] = ((CMO_LIST)cmo).getElements(); + for(int i=0;i"; ret += CMO2OM_sub(((CMO_MONOMIAL32)cmo).getCoefficient()); @@ -116,9 +125,12 @@ final class OM2OXM implements Runnable{ case CMO.CMO_DMS_GENERIC: ret += ""; - ret += "2"; + ret += "2"; return ret; + case CMO.CMO_RECURSIVE_POLYNOMIAL: + return CMO2OM_CoefficientOfRecursivePOLYNOMIAL(((CMO_RECURSIVE_POLYNOMIAL)cmo).getPolynomial(),((CMO_RECURSIVE_POLYNOMIAL)cmo).getVariables()); + case CMO.CMO_DISTRIBUTED_POLYNOMIAL: ret += ""; ret += CMO2OM_sub(((CMO_DISTRIBUTED_POLYNOMIAL)cmo).getRing()); @@ -130,20 +142,67 @@ final class OM2OXM implements Runnable{ ret += ""; return ret; + //case CMO.CMO_POLYNOMIAL_IN_ONE_VARIABLE: + + case CMO.CMO_BIGFLOAT: + ret += ""; + ret += CMO2OM_sub(((CMO_BIGFLOAT)cmo).getSyosubu()); + ret += ""; + ret += "2"; + ret += CMO2OM_sub(((CMO_BIGFLOAT)cmo).getShisubu()); + ret += ""; + return ret; + case CMO.CMO_INDETERMINATE: return ""; - /* - case CMO.CMO_TREE: - return ""+ - ""; - */ + case CMO.CMO_TREE: + ret += ""; + for(int i=0;i<((CMO_TREE)cmo).getLeaves().getElements().length;i++){ + ret += CMO2OM_sub(((CMO_TREE)cmo).getLeaves().getElements()[i]); + } + ret += ""; + return ret; default: - return ""+ cmo.toCMOexpression() +""; + //return ""+ cmo.toCMOexpression() +""; } + + throw new NumberFormatException("unknown convert way:"+ + cmo.toCMOexpression()); } + private static String CMO2OM_CoefficientOfRecursivePOLYNOMIAL(CMO cmo,CMO_LIST variables){ + CMO_POLYNOMIAL_IN_ONE_VARIABLE poly; + String ret = "",variable; + + if(!(cmo instanceof CMO_POLYNOMIAL_IN_ONE_VARIABLE)){ + return CMO2OM_sub(cmo); + } + + poly = (CMO_POLYNOMIAL_IN_ONE_VARIABLE)cmo; + variable = CMO2OM_sub(variables.getElements()[poly.getVariable()]); + + for(int i=0;i"+ + ""+ + variable +""+ poly.getDegrees()[i] +""+ + CMO2OM_CoefficientOfRecursivePOLYNOMIAL(poly.getCoefficients()[i], + variables) + +""; + if(i==0){ + ret = mono; + }else{ + ret = ""+ ret + mono +""; + } + } + + return ret; + } + private boolean isSpace(int ch){ // use from lex return (ch==' ' || ch=='\t' || ch=='\n' || ch=='\r'); } @@ -220,9 +279,9 @@ final class OM2OXM implements Runnable{ }else if(ch != -1){ is.unread(ch); while((ch = is.read()) != '<' && ch != -1){ - System.out.println("debug: "+ch); + debug("debug: "+ch); if(isSpace(ch)){ - String spaces = String.valueOf(ch); + String spaces = String.valueOf((char)ch); while(isSpace(ch = is.read())){ spaces += (char)ch; @@ -250,7 +309,7 @@ final class OM2OXM implements Runnable{ parse_error("We expect type :'"+ type +"', but we got type :'"+ token +"'("+ attribute +")."); } - //System.out.println(":"+token+":"+attribute+":"+type); + //debug(":"+token+":"+attribute+":"+type); return true; } @@ -266,7 +325,7 @@ final class OM2OXM implements Runnable{ } ret = parse_object(); - + exceptTokenTypeInParse(TT_EndTag); if(!attribute.equals("OMOBJ")){ parse_error("We expect ''."); @@ -278,6 +337,7 @@ final class OM2OXM implements Runnable{ private CMO parse_object() throws IOException{ // object -> variable // | '' S? integer S? '' + // | '' S? utf7 S? '' // | '' S? symbol S? objects S? '' CMO ret; @@ -291,6 +351,9 @@ final class OM2OXM implements Runnable{ }else if(attribute.equals("OMI")){ pushbackLex(); ret = parse_OMI(); + }else if(attribute.equals("OMSTR")){ + pushbackLex(); + ret = parse_OMSTR(); }else if(attribute.equals("OMA")){ String name,cdname; int argnum = 0; @@ -299,6 +362,9 @@ final class OM2OXM implements Runnable{ if(name.equals("DMP")){ ret = parse_symb_DMP(); + debug("poly: "+ret); + }else if(name.equals("list")){ + ret = parse_objects(); }else{ ret = new CMO_TREE(name,"Basic",parse_objects()); } @@ -333,6 +399,30 @@ final class OM2OXM implements Runnable{ return ret; } + private CMO_STRING parse_OMSTR() throws IOException{ + CMO_STRING ret; + + exceptTokenTypeInParse(TT_StartTag); + if(!attribute.equals("OMSTR")){ + parse_error("We expect ''."); + } + + if(readNextToken() == TT_String){ + //ret = (CMO_STRING)parse_utf7(); + ret = new CMO_STRING(attribute); + }else{ + ret = new CMO_STRING(""); + pushbackLex(); + } + + exceptTokenTypeInParse(TT_EndTag); + if(!attribute.equals("OMSTR")){ + parse_error("We expect ''."); + } + + return ret; + } + private CMO parse_symb_DMP() throws IOException{ parse_object(); return new CMO_DISTRIBUTED_POLYNOMIAL(new CMO_DMS_GENERIC(), @@ -394,10 +484,11 @@ final class OM2OXM implements Runnable{ array[i] = ((CMO_ZZ)degree.elementAt(i+1)).intValue(); } + //debug("monom: "+ new CMO_MONOMIAL32(array,(CMO_ZZ)degree.elementAt(0))); return new CMO_MONOMIAL32(array,(CMO_ZZ)degree.elementAt(0)); } - private CMO parse_objects() throws IOException{ + private CMO_LIST parse_objects() throws IOException{ // 解析された object を LIST で返す Vector objects = new Vector(); CMO[] array; @@ -412,7 +503,7 @@ final class OM2OXM implements Runnable{ array = new CMO[objects.size()]; objects.copyInto((Object[])array); - System.out.println("debug :"+ new CMO_LIST(array)); + debug("debug :"+ new CMO_LIST(array)); return new CMO_LIST(array); } @@ -528,6 +619,7 @@ final class OM2OXM implements Runnable{ parse_error("We expect integer."); } + debug("ZZ: "+ str); return new CMO_ZZ(str); } @@ -620,18 +712,27 @@ final class OM2OXM implements Runnable{ return str; } - private void parse_error(String mesg){ - System.err.println(mesg); - System.err.print("error occuered near :"); + private void parse_error(String mesg) throws NumberFormatException{ + String ret; + + ret = mesg +"\n"; + ret += "error occuered near :"; try{ for(int i=0;i<10;i++){ - System.err.print((char)is.read()); + ret += (char)is.read(); } - System.err.println((char)is.read()); }catch(IOException e){} - System.exit(1); + ret += "\n"; + + throw new NumberFormatException(ret); } + private void debug(String str){ + if(debug){ + System.err.println(str); + } + } + public static void main(String[] argv) throws IOException{ OM2OXM P = new OM2OXM(); OpenXM asir; @@ -677,15 +778,19 @@ final class OM2OXM implements Runnable{ //サーバ側から送信された文字列を受信します。 while(true){ - CMO obj = P.parse(System.in); - asir.send(obj); - asir.sendSM(new SM(SM.SM_popCMO)); + try{ + CMO obj = P.parse(System.in); + asir.send(obj); + asir.sendSM(new SM(SM.SM_popCMO)); + }catch(NumberFormatException e){ + System.err.println(e.getMessage()); + } } - //System.out.println("breaking..."); - }catch(IOException e){ e.printStackTrace(); + }finally{ + System.out.println("breaking..."); } } }