nl.cwi.sen1.gui.plugin
Interface GraphPainterTif
- All Known Implementing Classes:
- GraphPainter, GraphPainterBridge, GraphPainterTool
public interface GraphPainterTif
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)
|
displayGraph
void displayGraph(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2)
selectNode
void selectNode(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2)
updateGraph
void updateGraph(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2,
aterm.ATerm t3,
aterm.ATerm t4)
showPopup
void showPopup(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2,
aterm.ATerm t3)
createPanel
aterm.ATerm createPanel(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2,
aterm.ATerm t3)
sizeGraph
aterm.ATerm sizeGraph(java.lang.String s0,
aterm.ATerm t1,
aterm.ATerm t2)
recAckEvent
void recAckEvent(aterm.ATerm t0)
recTerminate
void recTerminate(aterm.ATerm t0)