Uses of Class
net.sf.oval.guard.PostCheck

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