The Meta-Environment API

nl.cwi.sen1.gui.plugin
Class ProgressBridge

java.lang.Object
  extended by toolbus.AbstractTool
      extended by toolbus.SwingTool
          extended by nl.cwi.sen1.gui.plugin.ProgressTool
              extended by nl.cwi.sen1.gui.plugin.ProgressBridge
All Implemented Interfaces:
java.lang.Runnable, ProgressTif, toolbus.IOperations, toolbus.Tool

public class ProgressBridge
extends ProgressTool


Field Summary
private  ProgressTif 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
ProgressBridge(aterm.ATermFactory factory, ProgressTif tool)
           
 
Method Summary
 void clearStatusWindow()
           
 void recTerminate(aterm.ATerm t0)
           
 void removeStatus(aterm.ATerm t0)
           
 void setMessage(aterm.ATerm t0, java.lang.String s1)
           
 void setStatus(aterm.ATerm t0, java.lang.String s1, aterm.ATerm t2)
           
 
Methods inherited from class nl.cwi.sen1.gui.plugin.ProgressTool
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 ProgressTif tool
Constructor Detail

ProgressBridge

public ProgressBridge(aterm.ATermFactory factory,
                      ProgressTif tool)
Method Detail

setMessage

public void setMessage(aterm.ATerm t0,
                       java.lang.String s1)

removeStatus

public void removeStatus(aterm.ATerm t0)

clearStatusWindow

public void clearStatusWindow()

setStatus

public void setStatus(aterm.ATerm t0,
                      java.lang.String s1,
                      aterm.ATerm t2)

recTerminate

public void recTerminate(aterm.ATerm t0)

The Meta-Environment API