net.sf.oval.guard
Class Guard.GuardMethodPreResult
java.lang.Object
net.sf.oval.guard.Guard.GuardMethodPreResult
- Enclosing class:
- Guard
protected static final class Guard.GuardMethodPreResult
- extends Object
Note: Only required until AspectJ allows throwing of checked exceptions
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
checkInvariants
protected final boolean checkInvariants
method
protected final Method method
args
protected final Object[] args
cc
protected final ClassChecks cc
violations
protected final List<ConstraintViolation> violations
postCheckOldValues
protected final Map<PostCheck,Object> postCheckOldValues
guardedObject
protected final Object guardedObject
Guard.GuardMethodPreResult
public Guard.GuardMethodPreResult(Object guardedObject,
Method method,
Object[] args,
ClassChecks cc,
boolean checkInvariants,
Map<PostCheck,Object> postCheckOldValues,
List<ConstraintViolation> violations)
Copyright © 2005-2013 The OVal Development Team. All Rights Reserved.