|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |