|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |