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)
           
 



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