nl.cwi.sen1.gui.plugin
Class GraphPainterBridge
java.lang.Object
toolbus.AbstractTool
toolbus.SwingTool
nl.cwi.sen1.gui.plugin.GraphPainterTool
nl.cwi.sen1.gui.plugin.GraphPainterBridge
- All Implemented Interfaces:
- java.lang.Runnable, GraphPainterTif, toolbus.IOperations, toolbus.Tool
public class GraphPainterBridge
- extends GraphPainterTool
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 |
Method Summary |
aterm.ATerm |
createPanel(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2,
aterm.ATerm t3)
|
void |
displayGraph(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2)
|
void |
recAckEvent(aterm.ATerm t0)
|
void |
recTerminate(aterm.ATerm t0)
|
void |
selectNode(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2)
|
void |
showPopup(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2,
aterm.ATerm t3)
|
aterm.ATerm |
sizeGraph(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2)
|
void |
updateGraph(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2,
aterm.ATerm t3,
aterm.ATerm t4)
|
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 |
tool
private GraphPainterTif tool
GraphPainterBridge
public GraphPainterBridge(aterm.ATermFactory factory,
GraphPainterTif tool)
displayGraph
public void displayGraph(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2)
selectNode
public void selectNode(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2)
updateGraph
public void updateGraph(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2,
aterm.ATerm t3,
aterm.ATerm t4)
showPopup
public void showPopup(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2,
aterm.ATerm t3)
createPanel
public aterm.ATerm createPanel(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2,
aterm.ATerm t3)
sizeGraph
public aterm.ATerm sizeGraph(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2)
recAckEvent
public void recAckEvent(aterm.ATerm t0)
recTerminate
public void recTerminate(aterm.ATerm t0)