| version 1.3, 1999/12/09 00:32:36 |
version 1.4, 2000/03/16 09:14:52 |
|
|
| /** |
/** |
| * $OpenXM: OpenXM/src/OpenMath/elimi.java,v 1.2 1999/11/21 20:38:41 tam Exp $ |
* $OpenXM: OpenXM/src/OpenMath/elimi.java,v 1.3 1999/12/09 00:32:36 tam Exp $ |
| */ |
*/ |
| |
|
| import JP.ac.kobe_u.math.tam.OpenXM.*; |
import JP.ac.kobe_u.math.tam.OpenXM.*; |
| Line 183 class elimi extends Applet implements ActionListener,R |
|
| Line 183 class elimi extends Applet implements ActionListener,R |
|
| com += ")] gb"; |
com += ")] gb"; |
| |
|
| debug("command: "+ com); |
debug("command: "+ com); |
| oxm.sendCMO(new CMO_STRING(com)); |
oxm.send(new CMO_STRING(com)); |
| oxm.sendSM(new SM(SM.SM_executeStringByLocalParser)); |
oxm.send(new SM(SM.SM_executeStringByLocalParser)); |
| oxm.sendSM(new SM(SM.SM_popString)); |
oxm.send(new SM(SM.SM_popString)); |
| }catch(java.io.IOException e){} |
}catch(java.io.IOException e){} |
| } |
} |
| /* |
/* |
| Line 219 class elimi extends Applet implements ActionListener,R |
|
| Line 219 class elimi extends Applet implements ActionListener,R |
|
| |
|
| oxm = new OpenXM(host,ControlPort,DataPort); |
oxm = new OpenXM(host,ControlPort,DataPort); |
| System.out.println("Connected."); |
System.out.println("Connected."); |
| oxm.sendCMO(new CMO_STRING("(cohom.sm1) run ;\n")); |
oxm.send(new CMO_STRING("(cohom.sm1) run ;\n")); |
| oxm.sendSM(new SM(SM.SM_executeStringByLocalParser)); |
oxm.send(new SM(SM.SM_executeStringByLocalParser)); |
| |
|
| thread = new Thread(this); |
thread = new Thread(this); |
| thread.start(); |
thread.start(); |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to elimi.java CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / OpenMath