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 }