|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PostCheck | |
---|---|
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 PostCheck in net.sf.oval.configuration.pojo.elements |
---|
Fields in net.sf.oval.configuration.pojo.elements with type parameters of type PostCheck | |
---|---|
List<PostCheck> |
MethodPostExecutionConfiguration.checks
checks that need to be verified after method execution |
Uses of PostCheck in net.sf.oval.guard |
---|
Fields in net.sf.oval.guard with type parameters of type PostCheck | |
---|---|
protected Map<PostCheck,Object> |
Guard.GuardMethodPreResult.postCheckOldValues
|
Methods in net.sf.oval.guard that return PostCheck | |
---|---|
PostCheck[] |
Guard.getChecksPost(Method method)
Returns the registered post condition checks for the given method |
Methods in net.sf.oval.guard that return types with arguments of type PostCheck | |
---|---|
protected Map<PostCheck,Object> |
Guard.calculateMethodPostOldValues(Object validatedObject,
Method method,
Object[] args)
Evaluates the old expression |
Methods in net.sf.oval.guard with parameters of type PostCheck | |
---|---|
void |
Guard.addChecks(Method method,
PostCheck... checks)
Registers post condition checks to a method's return value |
void |
Guard.removeChecks(Method method,
PostCheck... checks)
Registers post condition checks to a method's return value |
Method parameters in net.sf.oval.guard with type arguments of type PostCheck | |
---|---|
protected void |
Guard.validateMethodPost(Object validatedObject,
Method method,
Object[] args,
Object returnValue,
Map<PostCheck,Object> oldValues,
List<ConstraintViolation> violations)
Validates the post conditions for a method call. |
Constructor parameters in net.sf.oval.guard with type arguments of type PostCheck | |
---|---|
Guard.GuardMethodPreResult(Object guardedObject,
Method method,
Object[] args,
ClassChecks cc,
boolean checkInvariants,
Map<PostCheck,Object> postCheckOldValues,
List<ConstraintViolation> violations)
|
Uses of PostCheck in net.sf.oval.internal |
---|
Fields in net.sf.oval.internal with type parameters of type PostCheck | |
---|---|
Map<Method,Set<PostCheck>> |
ClassChecks.checksForMethodsPostExcecution
|
Methods in net.sf.oval.internal with parameters of type PostCheck | |
---|---|
void |
ClassChecks.addMethodPostChecks(Method method,
PostCheck... checks)
adds constraint checks to a method's return value |
void |
ClassChecks.removeMethodPostChecks(Method method,
PostCheck... checks)
|
Method parameters in net.sf.oval.internal with type arguments of type PostCheck | |
---|---|
void |
ClassChecks.addMethodPostChecks(Method method,
Collection<PostCheck> checks)
adds constraint checks to a method's return value |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |