|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ValidationFailedException | |
---|---|
net.sf.oval | |
net.sf.oval.guard | This package contains classes that are relevant for OVal's programming by contract feature. |
Uses of ValidationFailedException in net.sf.oval |
---|
Methods in net.sf.oval that throw ValidationFailedException | |
---|---|
void |
Validator.assertValid(Object validatedObject)
validates the field and getter constrains of the given object and throws an ConstraintsViolatedException if any constraint violations are detected |
void |
IValidator.assertValid(Object validatedObject)
validates the field and getter constrains of the given object and throws an ConstraintsViolatedException if any constraint violations are detected |
void |
Validator.assertValidFieldValue(Object validatedObject,
Field validatedField,
Object fieldValueToValidate)
Validates the give value against the defined field constraints and throws an ConstraintsViolatedException if any constraint violations are detected. |
void |
IValidator.assertValidFieldValue(Object validatedObject,
Field validatedField,
Object fieldValueToValidate)
Validates the give value against the defined field constraints and throws an ConstraintsViolatedException if any constraint violations are detected. |
List<ConstraintViolation> |
Validator.validate(Object validatedObject)
validates the field and getter constrains of the given object |
List<ConstraintViolation> |
IValidator.validate(Object validatedObject)
validates the field and getter constrains of the given object |
List<ConstraintViolation> |
Validator.validate(Object validatedObject,
String... profiles)
validates the field and getter constrains of the given object |
List<ConstraintViolation> |
IValidator.validate(Object validatedObject,
String... profiles)
validates the field and getter constrains of the given object |
List<ConstraintViolation> |
Validator.validateFieldValue(Object validatedObject,
Field validatedField,
Object fieldValueToValidate)
Validates the give value against the defined field constraints. |
List<ConstraintViolation> |
IValidator.validateFieldValue(Object validatedObject,
Field validatedField,
Object fieldValueToValidate)
Validates the give value against the defined field constraints. |
protected void |
Validator.validateInvariants(Object validatedObject,
List<ConstraintViolation> violations,
String[] profiles)
validates the field and getter constrains of the given object. |
Uses of ValidationFailedException in net.sf.oval.guard |
---|
Methods in net.sf.oval.guard that throw ValidationFailedException | |
---|---|
protected Map<PostCheck,Object> |
Guard.calculateMethodPostOldValues(Object validatedObject,
Method method,
Object[] args)
Evaluates the old expression |
protected void |
Guard.guardConstructorPost(Object guardedObject,
Constructor<?> ctor,
Object[] args)
This method is provided for use by guard aspects. |
protected void |
Guard.guardConstructorPre(Object guardedObject,
Constructor<?> ctor,
Object[] args)
This method is provided for use by guard aspects. |
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. |
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. |
protected List<ConstraintViolation> |
Guard.validateConstructorParameters(Object validatedObject,
Constructor<?> constructor,
Object[] argsToValidate)
Validates the give arguments against the defined constructor parameter constraints. |
protected void |
Guard.validateInvariants(Object guardedObject,
List<ConstraintViolation> violations,
String[] profiles)
validates the field and getter constrains of the given object. |
protected void |
Guard.validateMethodParameters(Object validatedObject,
Method method,
Object[] args,
List<ConstraintViolation> violations)
Validates the pre conditions for a method call. |
protected void |
Guard.validateMethodPost(Object validatedObject,
Method method,
Object[] args,
Object returnValue,
Map<PostCheck,Object> oldValues,
List<ConstraintViolation> violations)
Validates the post conditions for a method call. |
protected void |
Guard.validateMethodPre(Object validatedObject,
Method method,
Object[] args,
List<ConstraintViolation> violations)
Validates the @Pre conditions for a method call. |
protected void |
Guard.validateMethodReturnValue(Object validatedObject,
Method method,
Object returnValue,
List<ConstraintViolation> violations)
Validates the return value checks for a method call. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |