Package net.sf.oval.guard

This package contains classes that are relevant for OVal's programming by contract feature.

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  
 

Package net.sf.oval.guard Description

This package contains classes that are relevant for OVal's programming by contract feature.



Copyright © 2005–2015 The OVal Development Team. All rights reserved.