|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |
@Documented @Retention(value=RUNTIME) @Target(value={PARAMETER,METHOD,CONSTRUCTOR}) public @interface Pre
An annotation that supports Design by Contract "precondition" tests.
A method or constructor with a precondition annotation will have the test
performed before the method executes.
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 |