001    // Java tool interface FactbrowserTif
002    // This file is generated automatically, please do not edit!
003    // generation time: Aug 17, 2007 9:19:04 AM
004    
005    package nl.cwi.sen1.visbase.factbrowser;
006    
007    import aterm.*;
008    
009    public interface FactbrowserTif
010    {
011      public void fbRstoreUnloaded(int i0);
012      public void fbAddVisualizationPlugin(ATerm t0, int i1, String s2);
013      public void fbShowRstoreFacts(String s0, int i1, ATerm t2);
014      public void showPopup(int i0, ATerm t1);
015      public ATerm getSelectedRstoreid();
016      public void recAckEvent(ATerm t0);
017      public void recTerminate(ATerm t0);
018    }