Uses of Class
net.sf.oval.guard.Guard.GuardMethodPreResult

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

Uses of Guard.GuardMethodPreResult in net.sf.oval.guard
 

Fields in net.sf.oval.guard declared as Guard.GuardMethodPreResult
protected static Guard.GuardMethodPreResult Guard.DO_NOT_PROCEED
          Note: Only required until AspectJ allows throwing of checked exceptions
 

Methods in net.sf.oval.guard that return Guard.GuardMethodPreResult
protected  Guard.GuardMethodPreResult Guard.guardMethodPre(Object guardedObject, Method method, Object[] args)
          Note: Only required until AspectJ allows throwing of checked exceptions, then Guard.guardMethod(Object, Method, Object[], Invocable) can be used instead This method is provided for use by guard aspects.
 

Methods in net.sf.oval.guard with parameters of type Guard.GuardMethodPreResult
protected  void Guard.guardMethodPost(Object returnValue, Guard.GuardMethodPreResult preResult)
          Note: Only required until AspectJ allows throwing of checked exceptions, then Guard.guardMethod(Object, Method, Object[], Invocable) can be used instead This method is provided for use by guard aspects.
 



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