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)
           
 



Copyright © 2005-2013 The OVal Development Team. All Rights Reserved.