[BACK]Return to OMproxy.java CVS log [TXT][DIR] Up to [local] / OpenXM / src / OpenMath

Diff for /OpenXM/src/OpenMath/OMproxy.java between version 1.36 and 1.37

version 1.36, 2000/04/17 03:18:57 version 1.37, 2000/06/13 14:04:19
Line 1 
Line 1 
 /**  /**
  * $OpenXM: OpenXM/src/OpenMath/OMproxy.java,v 1.35 2000/03/15 15:02:06 tam Exp $   * $OpenXM: OpenXM/src/OpenMath/OMproxy.java,v 1.36 2000/04/17 03:18:57 tam Exp $
  */   */
   
 import JP.ac.kobe_u.math.tam.OpenXM.*;  import JP.ac.kobe_u.math.tam.OpenXM.*;
 import java.util.Stack;  import java.util.Stack;
 import java.io.*;  import java.io.*;
   
 class OMproxy extends OpenXMserver{  public class OMproxy extends OpenXMserver{
   private OpenXM ox;    private OpenXM ox;
   private Stack stack = new Stack();    private Stack stack = new Stack();
   protected boolean debug = false;    protected boolean debug = true;
   final int version = 200001190;    final int version = 200006130;
   
     public OMproxy(String hostname,int ControlPort,int DataPort){
       super(hostname,ControlPort,DataPort);
     }
   
   public void computeProcess(OpenXMconnection stream){    public void computeProcess(OpenXMconnection stream){
     OM2OXM P = new OM2OXM();      OM2OXM P = new OM2OXM();
   
Line 36  class OMproxy extends OpenXMserver{
Line 40  class OMproxy extends OpenXMserver{
           System.err.println(e.getMessage());            System.err.println(e.getMessage());
           e.printStackTrace();            e.printStackTrace();
           debug("error occured. stack was cleared.");            debug("error occured. stack was cleared.");
             stack = new Stack();
         }          }
       }        }
     }catch(IOException e){      }catch(IOException e){
Line 67  class OMproxy extends OpenXMserver{
Line 72  class OMproxy extends OpenXMserver{
       }else{        }else{
         debug("sending CMO: "+ stack.peek());          debug("sending CMO: "+ stack.peek());
         ox.send((CMO)stack.pop());          ox.send((CMO)stack.pop());
           debug("test");
       }        }
     }catch(MathcapViolation e){      }catch(MathcapViolation e){
       try{        try{
Line 153  class OMproxy extends OpenXMserver{
Line 159  class OMproxy extends OpenXMserver{
       mathcap[2] = new CMO_LIST(list);        mathcap[2] = new CMO_LIST(list);
     }      }
   
       stack = new Stack();
     stack.push(new CMO_MATHCAP(new CMO_LIST(mathcap)));      stack.push(new CMO_MATHCAP(new CMO_LIST(mathcap)));
     debug("push: "+ stack.peek());      debug("push: "+ stack.peek());
   }    }
Line 231  class OMproxy extends OpenXMserver{
Line 238  class OMproxy extends OpenXMserver{
   }    }
   
   private void debug(String str){    private void debug(String str){
     if(debug){      //if(debug){
       System.out.println(str);      System.err.println(str);
     }      //}
   }    }
   
   private static String usage(){    private static String usage(){
Line 251  class OMproxy extends OpenXMserver{
Line 258  class OMproxy extends OpenXMserver{
     return ret;      return ret;
   }    }
   
   /*    public static void main(String[] argv){
   public static void main(String argv[]){      String hostname = "localhost";
     String host = "localhost";      int ControlPort = 1200, DataPort = 1300;
     int DataPort = 1300, ControlPort = 1200;      OpenXMserver ox;
     boolean debug = false;  
   
     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.out.println("");
         System.exit(0);          System.exit(0);
       }else if(argv[i].equals("-host")){        }else if(argv[i].equals("-host")){
         host = argv[++i];          hostname = argv[++i];
       }else if(argv[i].equals("-data")){        }else if(argv[i].equals("-data")){
         DataPort = Integer.valueOf(argv[++i]).intValue();          DataPort = Integer.valueOf(argv[++i]).intValue();
       }else if(argv[i].equals("-control")){        }else if(argv[i].equals("-control")){
         ControlPort = Integer.valueOf(argv[++i]).intValue();          ControlPort = Integer.valueOf(argv[++i]).intValue();
       }else if(argv[i].equals("-insecure")){  
       }else if(argv[i].equals("-debug")){  
         debug = true;  
       }else{        }else{
         System.err.println("unknown option : "+ argv[i]);          System.err.println("unknown option :"+ argv[i]);
         System.err.print(usage());          System.exit(1);
         System.exit(1);  
       }        }
     }      }
   
     System.out.println("host(ctrl,data): "+ host      //ox = new OpenXMserver(hostname,ControlPort,DataPort);
                        +"("+ ControlPort +","+ DataPort +")");      ox = new OMproxy(hostname,ControlPort,DataPort);
       /*
     try{      try{
       new OMproxy(host,ControlPort,DataPort).debug = debug;      }catch(java.net.UnknownHostException e){
       System.out.println("connected.");        System.err.println("host unknown.");
         System.err.println(e.getMessage());
         return;
     }catch(IOException e){      }catch(IOException e){
       System.err.println("Error occured: "+ e);        System.err.println("connection failed.");
       System.err.println(e.getLocalizedMessage());        System.err.println("IOException occuer !!");
       System.err.println(e.getMessage());        System.err.println(e.getMessage());
         return;
     }      }
       */
   
       ox.start();
   
       System.out.println("breaking...");
   }    }
   */  
 }  }
Legend:
Removed from v.1.36  
changed lines
  Added in v.1.37
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>