|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
ConstraintsViolatedListener | |
IsGuarded | Marker interface that is added to advised classes by the GuardAspect to indicate that constraints are actually enforced via AOP. |
ParameterNameResolver |
Class Summary | |
---|---|
ApiUsageAuditor2 | This is an annotations based version of the ApiUsageAuditor aspect |
ConstraintsViolatedAdapter | |
Guard | Extended version of the validator to realize programming by contract. |
Guard.GuardMethodPreResult | Note: Only required until AspectJ allows throwing of checked exceptions |
GuardAspect2 | This is an annotations based version of the GuardAspect aspect. |
GuardInterceptor | AOP Alliance Interceptor implementation of the Guard aspect |
GuardInterceptor.MethodInvocable | |
ParameterNameResolverAspectJImpl | This class determines the names of constructor and method parameters based on the static JoinPoint fields added to the classes by the AspectJ compiler. |
ParameterNameResolverEnumerationImpl | This implementation determines the names of constructor and method parameters by simply enumerating them based on there index: arg0,arg1,arg2,.. |
ParameterNameResolverParanamerImpl | This implementation that uses com.thoughtworks.paranamer.Paranamer (http://paranamer.codehaus.org/) to determine the names of parameter names as a fallback the results of a ParameterNameResolverEnumerationImpl are returned |
PostCheck | |
PreCheck | |
ProbeModeListener |
Annotation Types Summary | |
---|---|
Guarded | This annotation needs to be applied to classes where OVal's programming by contract features shall be used. |
Post | After the annotated method has been executed the condition is evaluated. |
PostValidateThis | After the annotated method has been executed all field and getter constraints (invariants) of this object are validated. |
Pre | Before the annotated method is executed the expression is evaluated. |
PreValidateThis | Before the annotated method is executed all field and getter constraints (invariants) of this object are validated. |
SuppressOValWarnings |
This package contains classes that are relevant for OVal's programming by contract feature.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |