Package com.didana.codecontract.annotation

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.