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