version 1.22, 2000/03/14 05:38:49 |
version 1.23, 2000/03/15 15:02:05 |
|
|
/** |
/** |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.21 2000/03/14 05:10:37 tam Exp $ |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.22 2000/03/14 05:38: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 52 final class OM2OXM implements Runnable{ |
|
Line 52 final class OM2OXM implements Runnable{ |
|
//$B%5!<%PB&$+$iAw?.$5$l$?J8;zNs$r<u?.$7$^$9!#(B |
//$B%5!<%PB&$+$iAw?.$5$l$?J8;zNs$r<u?.$7$^$9!#(B |
try{ |
try{ |
while(true){ |
while(true){ |
CMO tmp; |
OXmessage message = asir.receive(); |
|
|
switch(asir.receiveOXtag()){ |
if(message.getTag() == OpenXM.OX_DATA){ |
case OpenXM.OX_COMMAND: |
System.out.println("=> "+ CMO2OM((CMO)message.getBody())); |
asir.receiveSM(); |
|
break; |
break; |
|
|
case OpenXM.OX_DATA: |
|
tmp = asir.receiveCMO(); |
|
System.out.println("=> "+ CMO2OM(tmp)); |
|
break; |
|
} |
} |
|
|
} |
} |
}catch(IOException e){} |
}catch(IOException e){} |
} |
} |
Line 773 final class OM2OXM implements Runnable{ |
|
Line 766 final class OM2OXM implements Runnable{ |
|
|
|
try{ |
try{ |
asir = new OpenXM(host,CtrlPort,StreamPort); |
asir = new OpenXM(host,CtrlPort,StreamPort); |
asir.sendSM(new SM(SM.SM_mathcap)); |
asir.send(new SM(SM.SM_mathcap)); |
}catch(UnknownHostException e){ |
}catch(UnknownHostException e){ |
System.err.println("host unknown."); |
System.err.println("host unknown."); |
System.err.println(e.getMessage()); |
System.err.println(e.getMessage()); |
Line 783 final class OM2OXM implements Runnable{ |
|
Line 776 final class OM2OXM implements Runnable{ |
|
System.err.println("IOException occuer !!"); |
System.err.println("IOException occuer !!"); |
System.err.println(e.getMessage()); |
System.err.println(e.getMessage()); |
return; |
return; |
|
}catch(MathcapViolation e){ |
|
System.err.println("MathcapViolation !!"); |
|
System.err.println(e.getMessage()); |
|
return; |
} |
} |
|
|
P.asir = asir; |
P.asir = asir; |
Line 797 final class OM2OXM implements Runnable{ |
|
Line 794 final class OM2OXM implements Runnable{ |
|
try{ |
try{ |
CMO obj = P.parse(System.in); |
CMO obj = P.parse(System.in); |
asir.send(obj); |
asir.send(obj); |
asir.sendSM(new SM(SM.SM_popCMO)); |
asir.send(new SM(SM.SM_popCMO)); |
}catch(NumberFormatException e){ |
}catch(NumberFormatException e){ |
System.err.println(e.getMessage()); |
System.err.println(e.getMessage()); |
}catch(MathcapViolation e){ |
}catch(MathcapViolation e){ |