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

Packages that use PostCheck
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 PostCheck in net.sf.oval.configuration.pojo.elements
 

Fields in net.sf.oval.configuration.pojo.elements with type parameters of type PostCheck
 List<PostCheck> MethodPostExecutionConfiguration.checks
          checks that need to be verified after method execution
 

Uses of PostCheck in net.sf.oval.guard
 

Fields in net.sf.oval.guard with type parameters of type PostCheck
protected  Map<PostCheck,Object> Guard.GuardMethodPreResult.postCheckOldValues
           
 

Methods in net.sf.oval.guard that return PostCheck
 PostCheck[] Guard.getChecksPost(Method method)
          Returns the registered post condition checks for the given method
 

Methods in net.sf.oval.guard that return types with arguments of type PostCheck
protected  Map<PostCheck,Object> Guard.calculateMethodPostOldValues(Object validatedObject, Method method, Object[] args)
          Evaluates the old expression
 

Methods in net.sf.oval.guard with parameters of type PostCheck
 void Guard.addChecks(Method method, PostCheck... checks)
          Registers post condition checks to a method's return value
 void Guard.removeChecks(Method method, PostCheck... checks)
          Registers post condition checks to a method's return value
 

Method parameters in net.sf.oval.guard with type arguments of type PostCheck
protected  void Guard.validateMethodPost(Object validatedObject, Method method, Object[] args, Object returnValue, Map<PostCheck,Object> oldValues, List<ConstraintViolation> violations)
          Validates the post conditions for a method call.
 

Constructor parameters in net.sf.oval.guard with type arguments of type PostCheck
Guard.GuardMethodPreResult(Object guardedObject, Method method, Object[] args, ClassChecks cc, boolean checkInvariants, Map<PostCheck,Object> postCheckOldValues, List<ConstraintViolation> violations)
           
 

Uses of PostCheck in net.sf.oval.internal
 

Fields in net.sf.oval.internal with type parameters of type PostCheck
 Map<Method,Set<PostCheck>> ClassChecks.checksForMethodsPostExcecution
           
 

Methods in net.sf.oval.internal with parameters of type PostCheck
 void ClassChecks.addMethodPostChecks(Method method, PostCheck... checks)
          adds constraint checks to a method's return value
 void ClassChecks.removeMethodPostChecks(Method method, PostCheck... checks)
           
 

Method parameters in net.sf.oval.internal with type arguments of type PostCheck
 void ClassChecks.addMethodPostChecks(Method method, Collection<PostCheck> checks)
          adds constraint checks to a method's return value
 



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