|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PreCheck | |
---|---|
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. |
Uses of PreCheck in net.sf.oval.configuration.pojo.elements |
---|
Fields in net.sf.oval.configuration.pojo.elements with type parameters of type PreCheck | |
---|---|
List<PreCheck> |
MethodPreExecutionConfiguration.checks
checks that need to be verified after method execution |
Uses of PreCheck in net.sf.oval.guard |
---|
Methods in net.sf.oval.guard that return PreCheck | |
---|---|
PreCheck[] |
Guard.getChecksPre(Method method)
Returns the registered pre condition checks for the given method. |
Methods in net.sf.oval.guard with parameters of type PreCheck | |
---|---|
void |
Guard.addChecks(Method method,
PreCheck... checks)
Registers pre condition checks to a method's return value |
void |
Guard.removeChecks(Method method,
PreCheck... checks)
Registers pre condition checks to a method's return value |
Uses of PreCheck in net.sf.oval.internal |
---|
Fields in net.sf.oval.internal with type parameters of type PreCheck | |
---|---|
Map<Method,Set<PreCheck>> |
ClassChecks.checksForMethodsPreExecution
|
Methods in net.sf.oval.internal with parameters of type PreCheck | |
---|---|
void |
ClassChecks.addMethodPreChecks(Method method,
PreCheck... checks)
|
void |
ClassChecks.removeMethodPreChecks(Method method,
PreCheck... checks)
|
Method parameters in net.sf.oval.internal with type arguments of type PreCheck | |
---|---|
void |
ClassChecks.addMethodPreChecks(Method method,
Collection<PreCheck> checks)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |