version 1.10, 1999/11/17 07:04:25 |
version 1.11, 1999/11/17 08:37:29 |
|
|
/** |
/** |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.9 1999/11/16 13:16:22 tam Exp $ |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.10 1999/11/17 07:04:25 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 142 final class OM2OXM implements Runnable{ |
|
Line 142 final class OM2OXM implements Runnable{ |
|
return "<OMV name=\""+ ((CMO_INDETERMINATE)cmo).getString() +"\"/>"; |
return "<OMV name=\""+ ((CMO_INDETERMINATE)cmo).getString() +"\"/>"; |
|
|
case CMO.CMO_TREE: |
case CMO.CMO_TREE: |
ret += "<OMA><OMS name=\""+ ((CMO_TREE)cmo).getName() +"\" cdname=\""+ |
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().getElement().length;i++){ |
ret += CMO2OM_sub(((CMO_TREE)cmo).getLeaves().getElement()[i]); |
ret += CMO2OM_sub(((CMO_TREE)cmo).getLeaves().getElement()[i]); |