=================================================================== RCS file: /home/cvs/OpenXM/src/OpenMath/OM2OXM.java,v retrieving revision 1.17 retrieving revision 1.26 diff -u -p -r1.17 -r1.26 --- OpenXM/src/OpenMath/OM2OXM.java 2000/01/21 12:17:49 1.17 +++ OpenXM/src/OpenMath/OM2OXM.java 2000/10/11 08:32:13 1.26 @@ -1,6 +1,8 @@ +/* + * $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.25 2000/09/13 06:44:55 tam Exp $ + */ + /** - * $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.16 2000/01/20 18:14:32 tam Exp $ - * * このクラスでは以下の BNF で表される構文解析を実装している * expr -> stag [expr | immediate]* etag * immediate -> INTEGER @@ -31,7 +33,7 @@ import java.io.*; import java.net.*; import java.util.Vector; -import JP.ac.kobe_u.math.tam.OpenXM.*; +import ORG.openxm.tam.*; final class OM2OXM implements Runnable{ private PushbackInputStream is; @@ -52,19 +54,12 @@ final class OM2OXM implements Runnable{ //サーバ側から送信された文字列を受信します。 try{ while(true){ - CMO tmp; + OXmessage message = asir.receive(); - switch(asir.receiveOXtag()){ - case OpenXM.OX_COMMAND: - asir.receiveSM(); + if(message.getTag() == OXmessage.OX_DATA){ + System.err.println("=> "+ CMO2OM((CMO)message.getBody())); break; - - case OpenXM.OX_DATA: - tmp = asir.receiveCMO(); - System.out.println("=> "+ CMO2OM(tmp)); - break; } - } }catch(IOException e){} } @@ -77,18 +72,18 @@ final class OM2OXM implements Runnable{ String ret = ""; switch(cmo.getDISCRIMINATOR()){ - case CMO.CMO_NULL: + case CMO.NULL: return "0"; - case CMO.CMO_INT32: + case CMO.INT32: return ""+ ((CMO_INT32)cmo).intValue() +""; - // case CMO.CMO_DATUM: + // case CMO.DATUM: - case CMO.CMO_STRING: + case CMO.STRING: return ""+ ((CMO_STRING)cmo).getString() +""; - case CMO.CMO_LIST: + case CMO.LIST: ret += ""; { CMO ob[] = ((CMO_LIST)cmo).getElements(); @@ -100,7 +95,7 @@ final class OM2OXM implements Runnable{ ret += ""; return ret; - case CMO.CMO_MONOMIAL32: + case CMO.MONOMIAL32: ret += ""; ret += CMO2OM_sub(((CMO_MONOMIAL32)cmo).getCoefficient()); for(int i=0;i<((CMO_MONOMIAL32)cmo).getDegree().length;i++){ @@ -109,29 +104,29 @@ final class OM2OXM implements Runnable{ ret += ""; return ret; - case CMO.CMO_ZZ: + case CMO.ZZ: return ""+ ((CMO_ZZ)cmo).BigIntValue() +""; - case CMO.CMO_QQ: + case CMO.QQ: return ""+ CMO2OM_sub(((CMO_QQ)cmo).getBunshi())+ CMO2OM_sub(((CMO_QQ)cmo).getBunbo())+ ""; - case CMO.CMO_ZERO: + case CMO.ZERO: return " 0 "; - // case CMO.CMO_DMS: + // case CMO.DMS: - case CMO.CMO_DMS_GENERIC: + case CMO.DMS_GENERIC: ret += ""; ret += "2"; return ret; - case CMO.CMO_RECURSIVE_POLYNOMIAL: + case CMO.RECURSIVE_POLYNOMIAL: return CMO2OM_CoefficientOfRecursivePOLYNOMIAL(((CMO_RECURSIVE_POLYNOMIAL)cmo).getPolynomial(),((CMO_RECURSIVE_POLYNOMIAL)cmo).getVariables()); - case CMO.CMO_DISTRIBUTED_POLYNOMIAL: + case CMO.DISTRIBUTED_POLYNOMIAL: ret += ""; ret += CMO2OM_sub(((CMO_DISTRIBUTED_POLYNOMIAL)cmo).getRing()); ret += ""; @@ -142,9 +137,9 @@ final class OM2OXM implements Runnable{ ret += ""; return ret; - //case CMO.CMO_POLYNOMIAL_IN_ONE_VARIABLE: + //case CMO.POLYNOMIAL_IN_ONE_VARIABLE: - case CMO.CMO_BIGFLOAT: + case CMO.BIGFLOAT: ret += ""; ret += CMO2OM_sub(((CMO_BIGFLOAT)cmo).getSyosubu()); ret += ""; @@ -153,10 +148,10 @@ final class OM2OXM implements Runnable{ ret += ""; return ret; - case CMO.CMO_INDETERMINATE: + case CMO.INDETERMINATE: return ""; - case CMO.CMO_TREE: + case CMO.TREE: ret += ""; for(int i=0;i<((CMO_TREE)cmo).getLeaves().getElements().length;i++){ @@ -373,7 +368,7 @@ final class OM2OXM implements Runnable{ && 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)); + ret = new CMO_TREE(name,"basic",new CMO_LIST(leaves)); } } @@ -757,7 +752,7 @@ final class OM2OXM implements Runnable{ for(int i=0;i