Uses of Class
net.sf.oval.internal.ClassChecks

Packages that use ClassChecks

net.sf.oval
net.sf.oval.guard	This package contains classes that are relevant for OVal's programming by contract feature.

Uses of ClassChecks in net.sf.oval

Methods in net.sf.oval that return ClassChecks

protected ClassChecks

Validator.getClassChecks(Class<?> clazz) Returns the ClassChecks object for the particular class, allowing you to modify the checks

Uses of ClassChecks in net.sf.oval.guard

Fields in net.sf.oval.guard declared as ClassChecks

protected ClassChecks

Guard.GuardMethodPreResult.cc

Constructors in net.sf.oval.guard with parameters of type ClassChecks

Guard.GuardMethodPreResult(Object guardedObject, Method method, Object[] args, ClassChecks cc, boolean checkInvariants, Map<PostCheck,Object> postCheckOldValues, List<ConstraintViolation> violations)