|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |
@Documented @Inherited @Retention(value=RUNTIME) @Target(value={TYPE,ANNOTATION_TYPE,METHOD,CONSTRUCTOR,FIELD}) public @interface Invar
An annotation that supports Design by Contract "invariant" tests.
An invariant test on a field or method, including constructors,
will be evaluated before and after all method invocations.
The value String must be a valid JEXL expression
evaluating to true or false at runtime.
The class must be annotated with @Contract
Optional Element Summary | |
---|---|
java.lang.String |
value
The "value" is the test expression, which must be a legal JEXL expression that evaluates to true or false. |
public abstract java.lang.String value
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |