Uses of Package
net.sf.oval.guard

Packages that use net.sf.oval.guard

net.sf.oval
net.sf.oval.configuration.pojo.elements
net.sf.oval.guard	This package contains classes that are relevant for OVal's programming by contract feature.
net.sf.oval.internal	This package contains some internally used classes.

Classes in net.sf.oval.guard used by net.sf.oval

ParameterNameResolver

Classes in net.sf.oval.guard used by net.sf.oval.configuration.pojo.elements

PostCheck

PreCheck

Classes in net.sf.oval.guard used by net.sf.oval.guard

ApiUsageAuditor2
This is an annotations based version of the ApiUsageAuditor aspect

ConstraintsViolatedAdapter

ConstraintsViolatedListener

Guard
Extended version of the validator to realize programming by contract.

Guard.GuardMethodPreResult
Note: Only required until AspectJ allows throwing of checked exceptions

ParameterNameResolver

Post
After the annotated method has been executed the condition is evaluated.

PostCheck

Pre
Before the annotated method is executed the expression is evaluated.

PreCheck

ProbeModeListener

Classes in net.sf.oval.guard used by net.sf.oval.internal

ParameterNameResolver

PostCheck

PreCheck