|
The Meta-Environment API | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface VisPluginTextUnparsingTif
Method Summary | |
---|---|
void |
displayUnparsedRtuple(java.lang.String s0)
|
void |
recAckEvent(aterm.ATerm t0)
|
void |
recTerminate(aterm.ATerm t0)
|
Method Detail |
---|
void displayUnparsedRtuple(java.lang.String s0)
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 |