|
||||||||||
| 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 | |||||||||