The Meta-Environment API

nl.cwi.sen1.gui
Class GuiBridge

java.lang.Object
  extended by toolbus.AbstractTool
      extended by toolbus.SwingTool
          extended by nl.cwi.sen1.gui.GuiTool
              extended by nl.cwi.sen1.gui.GuiBridge
All Implemented Interfaces:
java.lang.Runnable, GuiTif, toolbus.IOperations, toolbus.Tool

public class GuiBridge
extends GuiTool


Field Summary
private  GuiTif tool
           
 
Fields inherited from class toolbus.AbstractTool
factory
 
Fields inherited from interface toolbus.IOperations
ACKDO, ACKEVENT, CONNECT, DEBUGPERFORMANCESTATS, DISCONNECT, DO, END, EVAL, EVENT, PERFORMANCESTATS, REQUEST, RESPONSE, TERMINATE, UNDEFINED, VALUE
 
Constructor Summary
GuiBridge(aterm.ATermFactory factory, GuiTif tool)
           
 
Method Summary
 void addJob(java.lang.String s0)
           
 void addMenuEvents(aterm.ATerm t0)
           
 void jobDone(java.lang.String s0)
           
 void loadJar(java.lang.String s0)
           
 void loadJarClasspath(java.lang.String s0, java.lang.String s1)
           
 void loadJarUrls(java.lang.String s0, aterm.ATerm t1)
           
 void recAckEvent(aterm.ATerm t0)
           
 void recTerminate(aterm.ATerm t0)
           
 void setStatus(java.lang.String s0)
           
 void setTitle(java.lang.String s0)
           
 
Methods inherited from class nl.cwi.sen1.gui.GuiTool
checkInputSignature, handler, notInInputSignature
 
Methods inherited from class toolbus.SwingTool
handleIncomingTerm
 
Methods inherited from class toolbus.AbstractTool
connect, connect, disconnect, getAddress, getLockObject, getPort, handleIncomingTerm, handleTerm, init, isConnected, postEvent, postRequest, readTerm, run, sendEvent, sendTerm, setLockObject, stopRunning
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

tool

private GuiTif tool
Constructor Detail

GuiBridge

public GuiBridge(aterm.ATermFactory factory,
                 GuiTif tool)
Method Detail

loadJarUrls

public void loadJarUrls(java.lang.String s0,
                        aterm.ATerm t1)

loadJar

public void loadJar(java.lang.String s0)

addMenuEvents

public void addMenuEvents(aterm.ATerm t0)

loadJarClasspath

public void loadJarClasspath(java.lang.String s0,
                             java.lang.String s1)

jobDone

public void jobDone(java.lang.String s0)

addJob

public void addJob(java.lang.String s0)

setStatus

public void setStatus(java.lang.String s0)

setTitle

public void setTitle(java.lang.String s0)

recAckEvent

public void recAckEvent(aterm.ATerm t0)

recTerminate

public void recTerminate(aterm.ATerm t0)

The Meta-Environment API