source: kit.java hush-3.1/hush/java/api

  package hush.dv.api;
  
  

kit

  public class kit extends handler {
  
  public kit() { _self = init(); }
  protected kit(int x) { }
  private native int init();
  
  public native void trace();
  
  public native int load(String cmd);
  
  public native void source(String cmd);
  
  public native void eval(String cmd);
  public native String evaluate(String cmd);
  
  public String result() { 
          String _result = getresult();
          if (_result.equals("-")) return null;
          else return _result;
          }
  public void result(String res) { setresult(res); }
  
  private native String getresult();
  private native void setresult(String res);
  
  public void assert(String cl) { assertz(cl); }
  public void asserta(String cl) { nativeassert(cl,"a"); }
  public void assertz(String cl) { nativeassert(cl,"z"); }
  
  public void retract(String cl) { nativeretract(cl,""); }
  public void retractall(String cl) { nativeretract(cl,"all"); }
  
  private native void nativeassert(String res, String opts);
  private native void nativeretract(String res, String opts);
  
  public native void bind(String cmd, handler h);
  
  public native void wait(int msecs);
  public native void after(int msecs, handler h);
  
  public native void update();
  
  public Widget root() { return new Widget(rootid()); }
  public native void pack(String s);
  
  public native void quit();
  
  private native int rootid();
  };

Hush Online Technology hush@cs.vu.nl 11/03/98