|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface VerifierListener
Method Summary | |
---|---|
void |
acceptWarning(java.lang.String msg)
|
void |
displaySummary(int warningCount)
|
void |
verifyClassStarted(java.lang.String msg)
|
void |
verifyPathStarted(java.lang.String msg)
|
Method Detail |
---|
void verifyPathStarted(java.lang.String msg)
void verifyClassStarted(java.lang.String msg)
void acceptWarning(java.lang.String msg)
void displaySummary(int warningCount)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |