org.eclipse.ocl.examples.debug.delegate

Class OCLValidationDelegate.CheckingConstraintEvaluator

java.lang.Object

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

org.eclipse.ocl.examples.debug.delegate.OCLValidationDelegate.CheckingConstraintEvaluator

Enclosing class:

OCLValidationDelegate

protected static class OCLValidationDelegate.CheckingConstraintEvaluator
extends AbstractConstraintEvaluator<java.lang.Boolean>

Field Summary

Fields

Modifier and Type	Field and Description
protected org.eclipse.emf.ecore.EClassifier	eClassifier

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

body, query

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CheckingConstraintEvaluator(org.eclipse.emf.ecore.EClassifier eClassifier, ExpressionInOCL query)

Method Summary

Modifier and Type	Method and Description
java.lang.Boolean	evaluate(EvaluationVisitor evaluationVisitor) Use the evaluationVisitor to execute my expression on the objects within the evaluationVisitor's evaluationEnvironment, invoking one of handleSuccessResult, handleFailureResult, handleInvalidResult or handleExceptionResult to provide the return value.
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

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

Field Detail

eClassifier

@NonNull
protected final org.eclipse.emf.ecore.EClassifier eClassifier

Constructor Detail

CheckingConstraintEvaluator

protected CheckingConstraintEvaluator(@NonNull
                                      org.eclipse.emf.ecore.EClassifier eClassifier,
                                      @NonNull
                                      ExpressionInOCL query)

Method Detail

evaluate

public java.lang.Boolean evaluate(@NonNull
                                  EvaluationVisitor evaluationVisitor)

Description copied from class: AbstractConstraintEvaluator

Use the evaluationVisitor to execute my expression on the objects within the evaluationVisitor's evaluationEnvironment, invoking one of handleSuccessResult, handleFailureResult, handleInvalidResult or handleExceptionResult to provide the return value.

Overrides:

evaluate in class AbstractConstraintEvaluator<java.lang.Boolean>

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>