The Meta-Environment API

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)
           
 

Method Detail

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)

The Meta-Environment API