|
The Meta-Environment API | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
---|
void fbRstoreUnloaded(int i0)
void fbAddVisualizationPlugin(aterm.ATerm t0, int i1, java.lang.String s2)
void fbShowRstoreFacts(java.lang.String s0, int i1, aterm.ATerm t2)
void showPopup(int i0, aterm.ATerm t1)
aterm.ATerm getSelectedRstoreid()
void recAckEvent(aterm.ATerm t0)
void recTerminate(aterm.ATerm t0)
|
The Meta-Environment API | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |