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

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)