version 1.18, 2000/02/28 14:10:28 |
version 1.21, 2000/03/14 05:10:37 |
|
|
/** |
/** |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.17 2000/01/21 12:17:49 tam Exp $ |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.20 2000/03/14 05:02:34 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 77 final class OM2OXM implements Runnable{ |
|
Line 77 final class OM2OXM implements Runnable{ |
|
String ret = ""; |
String ret = ""; |
|
|
switch(cmo.getDISCRIMINATOR()){ |
switch(cmo.getDISCRIMINATOR()){ |
case CMO.CMO_NULL: |
case CMO.NULL: |
return "<OMI>0</OMI>"; |
return "<OMI>0</OMI>"; |
|
|
case CMO.CMO_INT32: |
case CMO.INT32: |
return "<OMI>"+ ((CMO_INT32)cmo).intValue() +"</OMI>"; |
return "<OMI>"+ ((CMO_INT32)cmo).intValue() +"</OMI>"; |
|
|
// case CMO.CMO_DATUM: |
// case CMO.CMO_DATUM: |
|
|
case CMO.CMO_STRING: |
case CMO.STRING: |
return "<OMSTR>"+ ((CMO_STRING)cmo).getString() +"</OMSTR>"; |
return "<OMSTR>"+ ((CMO_STRING)cmo).getString() +"</OMSTR>"; |
|
|
case CMO.CMO_LIST: |
case CMO.LIST: |
ret += "<OMA><OMS name=\"list\" cd=\"basic\"/>"; |
ret += "<OMA><OMS name=\"list\" cd=\"basic\"/>"; |
{ |
{ |
CMO ob[] = ((CMO_LIST)cmo).getElements(); |
CMO ob[] = ((CMO_LIST)cmo).getElements(); |
Line 142 final class OM2OXM implements Runnable{ |
|
Line 142 final class OM2OXM implements Runnable{ |
|
ret += "</OMA></OMA>"; |
ret += "</OMA></OMA>"; |
return ret; |
return ret; |
|
|
//case CMO.CMO_POLYNOMIAL_IN_ONE_VARIABLE: |
//case CMO.POLYNOMIAL_IN_ONE_VARIABLE: |
|
|
case CMO.CMO_BIGFLOAT: |
case CMO.CMO_BIGFLOAT: |
ret += "<OMA><OMS name=\"times\" cd=\"basic\"/>"; |
ret += "<OMA><OMS name=\"times\" cd=\"basic\"/>"; |