version 1.5, 2000/04/02 19:24:40 |
version 1.7, 2000/10/11 09:34:06 |
|
|
/** |
/** |
* $OpenXM: OpenXM/src/OpenMath/elimi.java,v 1.4 2000/03/16 09:14:52 tam Exp $ |
* $OpenXM: OpenXM/src/OpenMath/elimi.java,v 1.6 2000/10/11 08:32:13 ohara Exp $ |
*/ |
*/ |
|
|
import JP.ac.kobe_u.math.tam.OpenXM.*; |
import ORG.openxm.tam.*; |
import java.applet.*; |
import java.applet.*; |
import java.awt.event.*; |
import java.awt.event.*; |
import java.awt.*; |
import java.awt.*; |
Line 107 class elimi extends Applet implements ActionListener,R |
|
Line 107 class elimi extends Applet implements ActionListener,R |
|
Thread.yield(); |
Thread.yield(); |
|
|
tmp = oxm.receive(); |
tmp = oxm.receive(); |
System.out.println("=> "+ tmp); |
System.err.println("=> "+ tmp); |
} |
} |
}catch(java.io.IOException e){} |
}catch(java.io.IOException e){} |
} |
} |
Line 198 class elimi extends Applet implements ActionListener,R |
|
Line 198 class elimi extends Applet implements ActionListener,R |
|
} |
} |
|
|
public void start(){ |
public void start(){ |
System.out.println("Connecting to "+ host |
System.err.println("Connecting to "+ host |
+"("+ ControlPort +","+ DataPort +")"); |
+"("+ ControlPort +","+ DataPort +")"); |
|
|
try{ |
try{ |
Line 212 class elimi extends Applet implements ActionListener,R |
|
Line 212 class elimi extends Applet implements ActionListener,R |
|
Thread.sleep(3000); |
Thread.sleep(3000); |
|
|
oxm = new OpenXM(host,ControlPort,DataPort); |
oxm = new OpenXM(host,ControlPort,DataPort); |
System.out.println("Connected."); |
System.err.println("Connected."); |
oxm.send(new CMO_STRING("(cohom.sm1) run ;\n")); |
oxm.send(new CMO_STRING("(cohom.sm1) run ;\n")); |
oxm.send(new SM(SM.SM_executeStringByLocalParser)); |
oxm.send(new SM(SM.SM_executeStringByLocalParser)); |
|
|
thread = new Thread(this); |
thread = new Thread(this); |
thread.start(); |
thread.start(); |
}catch(Exception e){ |
}catch(Exception e){ |
System.out.println("failed."); |
System.err.println("failed."); |
stop(); |
stop(); |
} |
} |
} |
} |
Line 253 class elimi extends Applet implements ActionListener,R |
|
Line 253 class elimi extends Applet implements ActionListener,R |
|
|
|
for(int i=0;i<argv.length;i++){ |
for(int i=0;i<argv.length;i++){ |
if(argv[i].equals("-h")){ |
if(argv[i].equals("-h")){ |
System.out.print(usage()); |
System.err.print(usage()); |
System.exit(0); |
System.exit(0); |
}else if(argv[i].equals("-debug")){ |
}else if(argv[i].equals("-debug")){ |
//debug = true; |
//debug = true; |