Annotation of OpenXM/src/OpenMath/OMproxy.java, Revision 1.15
1.2 tam 1: /**
1.15 ! tam 2: * $OpenXM: OpenXM/src/OpenMath/OMproxy.java,v 1.14 1999/11/19 08:49:06 tam Exp $
1.2 tam 3: */
4:
1.1 tam 5: import JP.ac.kobe_u.math.tam.OpenXM.*;
6: import java.util.Stack;
7: import java.io.*;
8:
9: class OMproxy implements Runnable{
10: private OpenXM ox;
11: private Stack stack = new Stack();
1.4 tam 12: private boolean debug = true;
1.9 tam 13: final int version = 199911110;
1.1 tam 14:
15: public OMproxy(String host,int ControlPort,int DataPort) throws IOException{
16: ox = new OpenXM(this,host,ControlPort,DataPort);
17: }
18:
19: public void run(){
20: OM2OXM P = new OM2OXM();
21:
1.9 tam 22: debug("OMproxy started.");
1.1 tam 23: try{
24: while(true){
1.9 tam 25: int ox_tag = ox.receiveOXtag();
1.1 tam 26:
1.9 tam 27: switch(ox_tag){
28: case OpenXM.OX_COMMAND:
29: StackMachine(ox.receiveSM());
30: break;
31:
32: case OpenXM.OX_DATA:
33: stack.push(ox.receiveCMO());
34: debug("push: "+ stack.peek());
35: break;
1.1 tam 36: }
37: }
38: }catch(java.io.IOException e){
39: System.err.println(e.getMessage());
40: e.printStackTrace();
41: }
42:
43: System.out.println("breaking...");
44: }
45:
1.9 tam 46: /*
1.1 tam 47: public void stop(){
48: System.out.println("OMproxy Stoping...");
49: synchronized(ox){
50: //this.stop();
51: while(!stack.empty()){
52: stack.pop();
53: }
54: System.out.println("OMproxy Stopped");
55: }
56: }
1.9 tam 57: */
1.1 tam 58:
59: private void SM_popCMO() throws java.io.IOException{
60: if(stack.empty()){
61: ox.send(new CMO_NULL());
62: }else{
1.13 tam 63: debug("sending CMO: "+ stack.peek());
1.1 tam 64: ox.send(stack.pop());
65: }
66: }
67:
68: private void SM_executeFunction() throws java.io.IOException{
69: String function_name;
70: CMO[] argv;
1.3 tam 71: int argc = 1;
1.1 tam 72:
73: if(!(stack.peek() instanceof CMO_STRING)){
74: stack.push(new CMO_ERROR2());
75: return;
76: }
77: function_name = ((CMO_STRING)stack.pop()).getString();
1.3 tam 78: //argc = ((CMO_INT32)stack.pop()).intValue();
1.1 tam 79: argv = new CMO[argc];
80: for(int i=0;i<argc;i++){
81: argv[i] = (CMO)stack.pop();
82: }
83:
84: if(argc != 1){
85: stack.push(new CMO_ERROR2());
86: return;
87: }
88:
89: if(function_name.equals("OMXML2CMO")){
90: stack.push(OMXML2CMO(argv[0]));
91: return;
92: }else if(function_name.equals("CMO2OMXML")){
93: stack.push(CMO2OMXML(argv[0]));
94: return;
95: }
96:
97: stack.push(new CMO_ERROR2());
98: return;
99: }
100:
1.7 tam 101: private void SM_mathcap() throws java.io.IOException{
102: CMO[] mathcap = new CMO[3];
103:
104: {
1.9 tam 105: CMO[] list = {new CMO_INT32(version),
1.7 tam 106: new CMO_STRING("Ox_system=OMproxy.class"),
1.9 tam 107: new CMO_STRING("Version=0."+ version),
1.7 tam 108: new CMO_STRING("HOSTTYPE=JAVA")};
109: mathcap[0] = new CMO_LIST(list);
110: }
111:
112: {
113: CMO[] list = {new CMO_INT32(SM.SM_popCMO),
114: new CMO_INT32(SM.SM_executeFunction),
1.10 tam 115: new CMO_INT32(SM.SM_mathcap),
116: new CMO_INT32(SM.SM_control_kill),
117: new CMO_INT32(SM.SM_control_reset_connection)};
1.7 tam 118: mathcap[1] = new CMO_LIST(list);
119: }
120:
121: {
122: CMO[] CMOFormat = {new CMO_INT32(CMO.CMO_NULL),
123: new CMO_INT32(CMO.CMO_INT32),
124: new CMO_INT32(CMO.CMO_STRING),
1.9 tam 125: new CMO_INT32(CMO.CMO_LIST),
1.7 tam 126: new CMO_INT32(CMO.CMO_MONOMIAL32),
127: new CMO_INT32(CMO.CMO_ZZ),
128: new CMO_INT32(CMO.CMO_QQ),
129: new CMO_INT32(CMO.CMO_ZERO),
1.12 tam 130: new CMO_INT32(CMO.CMO_DMS_GENERIC),
1.14 tam 131: new CMO_INT32(CMO.CMO_RECURSIVE_POLYNOMIAL),
1.9 tam 132: new CMO_INT32(CMO.CMO_DISTRIBUTED_POLYNOMIAL),
1.14 tam 133: new CMO_INT32(CMO.CMO_POLYNOMIAL_IN_ONE_VARIABLE),
1.12 tam 134: new CMO_INT32(CMO.CMO_BIGFLOAT),
135: new CMO_INT32(CMO.CMO_INDETERMINATE),
136: new CMO_INT32(CMO.CMO_TREE)};
1.15 ! tam 137: CMO[] DataFormat1 = {new CMO_INT32(OpenXM.OX_DATA),
! 138: new CMO_LIST(CMOFormat)};
! 139: CMO[] list = {new CMO_LIST(DataFormat1)};
! 140:
1.7 tam 141: mathcap[2] = new CMO_LIST(list);
142: }
143:
1.8 tam 144: stack.push(new CMO_MATHCAP(new CMO_LIST(mathcap)));
145: debug("push: "+ stack.peek());
1.7 tam 146: }
147:
1.1 tam 148: private void StackMachine(SM mesg) throws java.io.IOException{
1.4 tam 149: debug("receive: "+mesg);
150:
1.1 tam 151: switch(mesg.getCode()){
152: case SM.SM_popCMO:
153: SM_popCMO();
154: break;
155:
156: case SM.SM_executeFunction:
157: SM_executeFunction();
1.7 tam 158: break;
159:
160: case SM.SM_mathcap:
161: SM_mathcap();
1.1 tam 162: break;
163:
164: default:
165: System.out.println("received "+ mesg);
166: }
167: }
168:
169: private CMO CMO2OMXML(CMO obj){
1.11 tam 170: String str;
171:
172: try{
173: str = OM2OXM.CMO2OM(obj);
174: }catch(NumberFormatException e){
175: debug("CMO2OMXML occuered error in trans");
176: return new CMO_ERROR2(new CMO_STRING(e.toString()));
177: }
1.1 tam 178:
179: return new CMO_STRING(str);
180: }
181:
182: private CMO OMXML2CMO(CMO obj){
183: OM2OXM trans = new OM2OXM();
184: //StringBufferInputStream stream;
185: ByteArrayInputStream stream;
186: CMO ret;
187:
1.5 tam 188: debug("OMXML2CMO called: "+obj);
1.6 tam 189: if(!(obj instanceof CMO_STRING)){
1.11 tam 190: return new CMO_ERROR2(new CMO_STRING("It's not CMO_STRING."));
1.1 tam 191: }
192:
193: try{
194: stream = new ByteArrayInputStream(((CMO_STRING)obj).getString().getBytes());
195: ret = trans.parse(stream);
196: }catch(IOException e){
1.11 tam 197: debug("OMXML2CMO occuered error in trans");
198: return new CMO_ERROR2(new CMO_STRING(e.toString()));
199: }catch(NumberFormatException e){
1.6 tam 200: debug("OMXML2CMO occuered error in trans");
1.1 tam 201: return new CMO_ERROR2(new CMO_STRING(e.toString()));
202: }
203:
1.4 tam 204: debug("push: "+ret);
1.1 tam 205: return ret;
1.4 tam 206: }
207:
208: private void debug(String str){
209: if(debug){
210: System.out.println(str);
211: }
1.1 tam 212: }
213:
1.2 tam 214: private static String usage(){
215: String ret = "";
216:
217: ret += "usage\t: java OMproxy [options]\n";
218: ret += "options\t:\n";
219: ret += "\t -h \t show this message\n";
220: ret += "\t -host hostname \t (default localhost)\n";
221: ret += "\t -data port \t (default 1300)\n";
222: ret += "\t -control port \t (default 1200)\n";
1.8 tam 223: ret += "\t -insecure \t this version ignore this option\n";
1.2 tam 224:
225: return ret;
226: }
227:
1.1 tam 228: public static void main(String argv[]){
229: String host = "localhost";
230: int DataPort = 1300, ControlPort = 1200;
231:
232: for(int i=0;i<argv.length;i++){
233: if(argv[i].equals("-h")){
1.2 tam 234: System.out.print(usage());
1.1 tam 235: System.exit(0);
236: }else if(argv[i].equals("-host")){
237: host = argv[++i];
238: }else if(argv[i].equals("-data")){
239: DataPort = Integer.valueOf(argv[++i]).intValue();
240: }else if(argv[i].equals("-control")){
241: ControlPort = Integer.valueOf(argv[++i]).intValue();
1.8 tam 242: }else if(argv[i].equals("-insecure")){
1.1 tam 243: }else{
1.2 tam 244: System.err.println("unknown option : "+ argv[i]);
245: System.err.print(usage());
1.1 tam 246: System.exit(1);
247: }
248: }
1.2 tam 249:
1.1 tam 250: System.out.println("host(ctrl,data): "+ host
251: +"("+ ControlPort +","+ DataPort +")");
252:
253: try{
254: new OMproxy(host,ControlPort,DataPort);
255: System.out.println("connected.");
256: }catch(IOException e){
257: System.err.println("Error occured: "+ e);
258: System.err.println(e.getLocalizedMessage());
259: System.err.println(e.getMessage());
260: }
261: }
262: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to OMproxy.java CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / OpenMath