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.