001    // Java tool interface GraphPainterTif
002    // This file is generated automatically, please do not edit!
003    // generation time: Mar 14, 2007 10:38:27 AM
004    
005    package nl.cwi.sen1.gui.plugin;
006    
007    import aterm.*;
008    
009    public interface GraphPainterTif
010    {
011      public void displayGraph(String s0, ATerm t1, ATerm t2);
012      public void selectNode(String s0, ATerm t1, ATerm t2);
013      public void updateGraph(String s0, ATerm t1, ATerm t2, ATerm t3, ATerm t4);
014      public void showPopup(String s0, ATerm t1, ATerm t2, ATerm t3);
015      public ATerm createPanel(String s0, ATerm t1, ATerm t2, ATerm t3);
016      public ATerm sizeGraph(String s0, ATerm t1, ATerm t2);
017      public void recAckEvent(ATerm t0);
018      public void recTerminate(ATerm t0);
019    }