|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |