version 1.4, 2000/03/16 09:14:52 |
version 1.5, 2000/04/02 19:24:40 |
|
|
/** |
/** |
* $OpenXM: OpenXM/src/OpenMath/elimi.java,v 1.3 1999/12/09 00:32:36 tam Exp $ |
* $OpenXM: OpenXM/src/OpenMath/elimi.java,v 1.4 2000/03/16 09:14:52 tam Exp $ |
*/ |
*/ |
|
|
import JP.ac.kobe_u.math.tam.OpenXM.*; |
import JP.ac.kobe_u.math.tam.OpenXM.*; |
Line 102 class elimi extends Applet implements ActionListener,R |
|
Line 102 class elimi extends Applet implements ActionListener,R |
|
public void run(){ // for debug |
public void run(){ // for debug |
try{ |
try{ |
while(true){ |
while(true){ |
CMO tmp; |
OXmessage tmp; |
|
|
Thread.yield(); |
Thread.yield(); |
|
|
switch(oxm.receiveOXtag()){ |
tmp = oxm.receive(); |
case OpenXM.OX_COMMAND: |
System.out.println("=> "+ tmp); |
oxm.receiveSM(); |
|
break; |
|
|
|
case OpenXM.OX_DATA: |
|
tmp = oxm.receiveCMO(); |
|
System.out.println("=> "+ tmp); |
|
break; |
|
} |
|
} |
} |
}catch(java.io.IOException e){} |
}catch(java.io.IOException e){} |
} |
} |
Line 186 class elimi extends Applet implements ActionListener,R |
|
Line 178 class elimi extends Applet implements ActionListener,R |
|
oxm.send(new CMO_STRING(com)); |
oxm.send(new CMO_STRING(com)); |
oxm.send(new SM(SM.SM_executeStringByLocalParser)); |
oxm.send(new SM(SM.SM_executeStringByLocalParser)); |
oxm.send(new SM(SM.SM_popString)); |
oxm.send(new SM(SM.SM_popString)); |
}catch(java.io.IOException e){} |
}catch(java.io.IOException e){ |
|
}catch(MathcapViolation e){ |
|
} |
} |
} |
/* |
/* |
if ("first".equals(arg)) { |
if ("first".equals(arg)) { |