version 1.23, 2000/03/15 15:02:05 |
version 1.24, 2000/04/17 03:18:57 |
|
|
/** |
/** |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.22 2000/03/14 05:38:49 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 |
Line 54 final class OM2OXM implements Runnable{ |
|
Line 54 final class OM2OXM implements Runnable{ |
|
while(true){ |
while(true){ |
OXmessage message = asir.receive(); |
OXmessage message = asir.receive(); |
|
|
if(message.getTag() == OpenXM.OX_DATA){ |
if(message.getTag() == OXmessage.OX_DATA){ |
System.out.println("=> "+ CMO2OM((CMO)message.getBody())); |
System.out.println("=> "+ CMO2OM((CMO)message.getBody())); |
break; |
break; |
} |
} |