|
The Meta-Environment API | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ProgressTif
Method Summary | |
---|---|
void |
clearStatusWindow()
|
void |
recTerminate(aterm.ATerm t0)
|
void |
removeStatus(aterm.ATerm t0)
|
void |
setMessage(aterm.ATerm t0,
java.lang.String s1)
|
void |
setStatus(aterm.ATerm t0,
java.lang.String s1,
aterm.ATerm t2)
|
Method Detail |
---|
void setMessage(aterm.ATerm t0, java.lang.String s1)
void removeStatus(aterm.ATerm t0)
void clearStatusWindow()
void setStatus(aterm.ATerm t0, java.lang.String s1, aterm.ATerm t2)
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 |