version 1.24, 2000/04/17 03:18:57 |
version 1.25, 2000/09/13 06:44:55 |
|
|
|
/* |
|
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.24 2000/04/17 03:18:57 tam Exp $ |
|
*/ |
|
|
/** |
/** |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.23 2000/03/15 15:02:05 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 |
* immediate -> INTEGER |
* immediate -> INTEGER |
|
|
import java.io.*; |
import java.io.*; |
import java.net.*; |
import java.net.*; |
import java.util.Vector; |
import java.util.Vector; |
import JP.ac.kobe_u.math.tam.OpenXM.*; |
import ORG.openxm.tam.*; |
|
|
final class OM2OXM implements Runnable{ |
final class OM2OXM implements Runnable{ |
private PushbackInputStream is; |
private PushbackInputStream is; |