|
| |
|
| net.sf.oval.guard.Guarded
| Guarded | | public @interface Guarded(Code) | | 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.
author:
Sebastian Thomschke
See Also: net.sf.oval.guard.GuardAspect |
| Field 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
parameters of the corresponding setter methods
declared within the same class. | | boolean | checkInvariants
Specifies if invariants are checked after constructor
execution and prior and after calls to non-private methods. |
| applyFieldConstraintsToConstructors | | boolean applyFieldConstraintsToConstructors(Code) | | Automatically apply field constraints to
the corresponding parameters of constructors
declared within the same class. A corresponding paramater
is a parameter with the same name and type as the field.
|
| applyFieldConstraintsToSetters | | boolean applyFieldConstraintsToSetters(Code) | | Automatically apply field constraints to the
parameters of the corresponding setter methods
declared within the same class. A corresponding setter
method is a method following the JavaBean convention and
its parameter has as the same type as the field.
|
| checkInvariants | | boolean checkInvariants(Code) | | Specifies if invariants are checked after constructor
execution and prior and after calls to non-private methods.
|
|
|
|