com.didana.codecontract.annotation
Annotation Type Invar


@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

Author:
Diana Berberova

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.
 

value

public abstract java.lang.String value
The "value" is the test expression, which must be a legal JEXL expression that evaluates to true or false. The default value is "".

Default:
""