version 1.17, 2000/01/21 12:17:49 |
version 1.18, 2000/02/28 14:10:28 |
|
|
/** |
/** |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.16 2000/01/20 18:14:32 tam Exp $ |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.17 2000/01/21 12:17:49 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 373 final class OM2OXM implements Runnable{ |
|
Line 373 final class OM2OXM implements Runnable{ |
|
&& leaves[1] instanceof CMO_ZZ){ |
&& leaves[1] instanceof CMO_ZZ){ |
ret = new CMO_QQ((CMO_ZZ)leaves[0],(CMO_ZZ)leaves[1]); |
ret = new CMO_QQ((CMO_ZZ)leaves[0],(CMO_ZZ)leaves[1]); |
}else{ |
}else{ |
ret = new CMO_TREE(name,"Basic",new CMO_LIST(leaves)); |
ret = new CMO_TREE(name,"basic",new CMO_LIST(leaves)); |
} |
} |
} |
} |
|
|