|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use JMLTestListener | |
org.jmlspecs.jmlunit | Generates JUnit test classes from JML specifications. |
Uses of JMLTestListener in org.jmlspecs.jmlunit |
Methods in org.jmlspecs.jmlunit with parameters of type JMLTestListener | |
void |
JMLTestResult.addJMLListener(JMLTestListener jmlListener)
Add the argument to the set of JML listeners (only) Such listeners will only be notified also of meaningless test executions, and will not receive the notifications normal TestListeners receive. |
void |
JMLTestResult.addListener(JMLTestListener jmlListener)
Add the argument to the set of JML listeners and the set of listeners maintained by the superclass. |
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |