org.eclipse.ocl.pivot.internal.validation

Class EcoreOCLEValidator.ConstraintEvaluatorWithoutDiagnostics

java.lang.Object

org.eclipse.ocl.pivot.evaluation.AbstractConstraintEvaluator<java.lang.Boolean>

org.eclipse.ocl.pivot.internal.validation.EcoreOCLEValidator.ConstraintEvaluatorWithoutDiagnostics

Enclosing class:

EcoreOCLEValidator

public static class EcoreOCLEValidator.ConstraintEvaluatorWithoutDiagnostics
extends AbstractConstraintEvaluator<java.lang.Boolean>

ConstraintEvaluatorWithoutDiagnostics provides the minimal ConstraintEvaluator support for use when no diagnostics are required.

Field Summary

Fields inherited from class org.eclipse.ocl.pivot.evaluation.AbstractConstraintEvaluator

body, query

Constructor Summary

Constructors

Constructor and Description
ConstraintEvaluatorWithoutDiagnostics(ExpressionInOCL expression)

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	getObjectLabel() Call-back to provide a description of the context object for use in a diagnostic.
protected java.lang.Boolean	handleExceptionResult(java.lang.Throwable e) Call-back to return the appropriate response for an evaluation that was terminated by an exception.
protected java.lang.Boolean	handleFailureResult(java.lang.Object result) Call-back to return the appropriate response for a failed evaluation.
protected java.lang.Boolean	handleInvalidExpression(java.lang.String message) Call-back to return the appropriate response for an unsuccessful parse of the expression.
protected java.lang.Boolean	handleInvalidResult(InvalidValueException e) Call-back to return the appropriate response for an unsuccessful evaluation with an invalid result.
protected java.lang.Boolean	handleSuccessResult() Call-back to return the appropriate response for a successful evaluation.

Methods inherited from class org.eclipse.ocl.pivot.evaluation.AbstractConstraintEvaluator

evaluate, getConstraintExpression, getConstraintName, getConstraintResultMessage, getConstraintResultSeverity, getConstraintResultStatus, getConstraintTypeName, isBooleanConstraint

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintEvaluatorWithoutDiagnostics

public ConstraintEvaluatorWithoutDiagnostics(@NonNull
                                             ExpressionInOCL expression)

Method Detail

getObjectLabel

protected java.lang.String getObjectLabel()

Description copied from class: AbstractConstraintEvaluator

Call-back to provide a description of the context object for use in a diagnostic.

Specified by:

getObjectLabel in class AbstractConstraintEvaluator<java.lang.Boolean>

handleExceptionResult

protected java.lang.Boolean handleExceptionResult(@NonNull
                                                  java.lang.Throwable e)

Description copied from class: AbstractConstraintEvaluator

Call-back to return the appropriate response for an evaluation that was terminated by an exception.

Specified by:

handleExceptionResult in class AbstractConstraintEvaluator<java.lang.Boolean>

handleFailureResult

protected java.lang.Boolean handleFailureResult(@Nullable
                                                java.lang.Object result)

Description copied from class: AbstractConstraintEvaluator

Call-back to return the appropriate response for a failed evaluation.

Specified by:

handleFailureResult in class AbstractConstraintEvaluator<java.lang.Boolean>

handleInvalidExpression

protected java.lang.Boolean handleInvalidExpression(@NonNull
                                                    java.lang.String message)

Description copied from class: AbstractConstraintEvaluator

Call-back to return the appropriate response for an unsuccessful parse of the expression.

Specified by:

handleInvalidExpression in class AbstractConstraintEvaluator<java.lang.Boolean>

handleInvalidResult

protected java.lang.Boolean handleInvalidResult(@NonNull
                                                InvalidValueException e)

Description copied from class: AbstractConstraintEvaluator

Call-back to return the appropriate response for an unsuccessful evaluation with an invalid result.

Specified by:

handleInvalidResult in class AbstractConstraintEvaluator<java.lang.Boolean>

handleSuccessResult

protected java.lang.Boolean handleSuccessResult()

Description copied from class: AbstractConstraintEvaluator

Call-back to return the appropriate response for a successful evaluation.

Specified by:

handleSuccessResult in class AbstractConstraintEvaluator<java.lang.Boolean>