001    package nl.cwi.sen1.visplugin;
002    
003    // Java tool interface VisualizationPluginTif
004    // This file is generated automatically, please do not edit!
005    // generation time: Mar 14, 2007 12:48:38 PM
006    
007    
008    import aterm.*;
009    
010    public interface VisualizationPluginTif
011    {
012      public void vpFileDialogResult(int i0, String s1);
013      public void vpVisualizeFact(int i0, int i1, ATerm t2);
014      public void vpRstoreUnloaded(int i0);
015      public void vpFileDialogCancel(int i0);
016      public void vpFactOutOfDate(int i0, int i1);
017      public ATerm vpGetName();
018      public ATerm vpIsTypeSupported(ATerm t0);
019      public void recAckEvent(ATerm t0);
020      public void recTerminate(ATerm t0);
021    }