version 1.7, 1999/11/15 06:19:26 |
version 1.8, 1999/11/15 23:13:21 |
|
|
/** |
/** |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.6 1999/11/14 22:57:44 tam Exp $ |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.7 1999/11/15 06:19:26 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 145 final class OM2OXM implements Runnable{ |
|
Line 145 final class OM2OXM implements Runnable{ |
|
|
|
/* |
/* |
case CMO.CMO_TREE: |
case CMO.CMO_TREE: |
return "<OMA><OMS name=\""+ "\"/>"+ |
return "<OMA><OMS name=\""+ ((CMO_TREE)cmo).getName() +"\" cdname=\""+ |
"</OMA>"; |
((CMO_TREE)cmo).getCDName() +"\"/>" + "</OMA>"; |
*/ |
*/ |
|
|
default: |
default: |
Line 437 final class OM2OXM implements Runnable{ |
|
Line 437 final class OM2OXM implements Runnable{ |
|
return 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{ |
// $B2r@O$5$l$?(B object $B$r(B LIST $B$GJV$9(B |
// $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; |