net.sf.oval.guard
Class Guard.GuardMethodPreResult

java.lang.Object
  extended by 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)


Copyright © 2005–2015 The OVal Development Team. All rights reserved.