|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |
@Documented @Retention(value=RUNTIME) @Target(value=TYPE) public @interface Guarded
This annotation needs to be applied to classes where
OVal's programming by contract features shall be used.
The GuardAspect will weave the required AOP code into all
classes annotated with @Guarded.
Optional Element Summary | |
---|---|
boolean |
applyFieldConstraintsToConstructors
Automatically apply field constraints to the corresponding parameters of constructors declared within the same class. |
boolean |
applyFieldConstraintsToSetters
Automatically apply field constraints to the single parameter of the corresponding setter methods declared within the same class. |
boolean |
assertParametersNotNull
Declares if parameter values of constructors and methods are expected to be not null. |
boolean |
checkInvariants
Declares if invariants are automatically checked after constructor execution and prior and after calls to non-private methods. |
boolean |
inspectInterfaces
Declares if annotations can be applied to interfaces that this class implements - supporting a documentation function |
public abstract boolean applyFieldConstraintsToConstructors
public abstract boolean applyFieldConstraintsToSetters
public abstract boolean assertParametersNotNull
public abstract boolean checkInvariants
public abstract boolean inspectInterfaces
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |