version 1.34, 2000/03/14 05:38:49 |
version 1.35, 2000/03/15 15:02:06 |
|
|
/** |
/** |
* $OpenXM: OpenXM/src/OpenMath/OMproxy.java,v 1.33 2000/03/14 05:10:37 tam Exp $ |
* $OpenXM: OpenXM/src/OpenMath/OMproxy.java,v 1.34 2000/03/14 05:38:49 tam Exp $ |
*/ |
*/ |
|
|
import JP.ac.kobe_u.math.tam.OpenXM.*; |
import JP.ac.kobe_u.math.tam.OpenXM.*; |
Line 23 class OMproxy implements Runnable{ |
|
Line 23 class OMproxy implements Runnable{ |
|
try{ |
try{ |
while(true){ |
while(true){ |
try{ |
try{ |
int ox_tag = ox.receiveOXtag(); |
OXmessage message = ox.receive(); |
|
int ox_tag = message.getTag(); |
|
|
switch(ox_tag){ |
switch(ox_tag){ |
case OpenXM.OX_COMMAND: |
case OpenXM.OX_COMMAND: |
StackMachine(ox.receiveSM()); |
StackMachine((SM)message.getBody()); |
break; |
break; |
|
|
case OpenXM.OX_DATA: |
case OpenXM.OX_DATA: |
stack.push(ox.receiveCMO()); |
stack.push(message.getBody()); |
debug("push: "+ stack.peek()); |
debug("push: "+ stack.peek()); |
break; |
break; |
} |
} |
Line 69 class OMproxy implements Runnable{ |
|
Line 70 class OMproxy implements Runnable{ |
|
ox.send(new CMO_NULL()); |
ox.send(new CMO_NULL()); |
}else{ |
}else{ |
debug("sending CMO: "+ stack.peek()); |
debug("sending CMO: "+ stack.peek()); |
ox.send(stack.pop()); |
ox.send((CMO)stack.pop()); |
} |
} |
}catch(MathcapViolation e){ |
}catch(MathcapViolation e){ |
try{ |
try{ |