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