|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Annotation Types Summary | |
---|---|
Contract | An annotation that supports Design by Contract tests. |
Invar | An annotation that supports Design by Contract "invariant" tests. |
Post | An annotation that supports Design by Contract "postcondition" tests. |
Pre | An annotation that supports Design by Contract "precondition" tests. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |