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

Field Summary

protected Object[]	args
protected ClassChecks	cc
protected boolean	checkInvariants
protected Object	guardedObject
protected Method	method
protected Map<PostCheck,Object>	postCheckOldValues
protected List<ConstraintViolation>	violations

Constructor Summary

Guard.GuardMethodPreResult(Object guardedObject, Method method, Object[] args, ClassChecks cc, boolean checkInvariants, Map<PostCheck,Object> postCheckOldValues, List<ConstraintViolation> violations)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

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

Constructor Detail

Guard.GuardMethodPreResult

public Guard.GuardMethodPreResult(Object guardedObject,
                                  Method method,
                                  Object[] args,
                                  ClassChecks cc,
                                  boolean checkInvariants,
                                  Map<PostCheck,Object> postCheckOldValues,
                                  List<ConstraintViolation> violations)