The Meta-Environment API

nl.cwi.sen1.visbase.factbrowser
Interface FactbrowserTif

All Known Implementing Classes:
FactBrowser, FactbrowserBridge, FactbrowserTool

public interface FactbrowserTif


Method Summary
 void fbAddVisualizationPlugin(aterm.ATerm t0, int i1, java.lang.String s2)
           
 void fbRstoreUnloaded(int i0)
           
 void fbShowRstoreFacts(java.lang.String s0, int i1, aterm.ATerm t2)
           
 aterm.ATerm getSelectedRstoreid()
           
 void recAckEvent(aterm.ATerm t0)
           
 void recTerminate(aterm.ATerm t0)
           
 void showPopup(int i0, aterm.ATerm t1)
           
 

Method Detail

fbRstoreUnloaded

void fbRstoreUnloaded(int i0)

fbAddVisualizationPlugin

void fbAddVisualizationPlugin(aterm.ATerm t0,
                              int i1,
                              java.lang.String s2)

fbShowRstoreFacts

void fbShowRstoreFacts(java.lang.String s0,
                       int i1,
                       aterm.ATerm t2)

showPopup

void showPopup(int i0,
               aterm.ATerm t1)

getSelectedRstoreid

aterm.ATerm getSelectedRstoreid()

recAckEvent

void recAckEvent(aterm.ATerm t0)

recTerminate

void recTerminate(aterm.ATerm t0)

The Meta-Environment API