org.eclipse.ocl.examples.pivot.delegate
Class OCLValidationDelegate.CheckingConstraintEvaluator

java.lang.Object
  org.eclipse.ocl.examples.pivot.utilities.ConstraintEvaluator<java.lang.Boolean>
      org.eclipse.ocl.examples.pivot.delegate.OCLValidationDelegate.CheckingConstraintEvaluator

Enclosing class:

OCLValidationDelegate

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

Field Summary

protected org.eclipse.emf.ecore.EClassifier

eClassifier

Fields inherited from class org.eclipse.ocl.examples.pivot.utilities.ConstraintEvaluator

expression

Constructor Summary

protected

OCLValidationDelegate.CheckingConstraintEvaluator(org.eclipse.emf.ecore.EClassifier eClassifier, ExpressionInOCL query)

Method Summary

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.examples.pivot.utilities.ConstraintEvaluator

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

OCLValidationDelegate.CheckingConstraintEvaluator

protected OCLValidationDelegate.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: ConstraintEvaluator

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 ConstraintEvaluator<java.lang.Boolean>

getObjectLabel

protected java.lang.String getObjectLabel()

Description copied from class: ConstraintEvaluator

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

Specified by:

getObjectLabel in class ConstraintEvaluator<java.lang.Boolean>

handleExceptionResult

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

Description copied from class: ConstraintEvaluator

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

Specified by:

handleExceptionResult in class ConstraintEvaluator<java.lang.Boolean>

handleFailureResult

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

Description copied from class: ConstraintEvaluator

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

Specified by:

handleFailureResult in class ConstraintEvaluator<java.lang.Boolean>

handleInvalidExpression

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

Description copied from class: ConstraintEvaluator

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

Specified by:

handleInvalidExpression in class ConstraintEvaluator<java.lang.Boolean>

handleInvalidResult

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

Description copied from class: ConstraintEvaluator

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

Specified by:

handleInvalidResult in class ConstraintEvaluator<java.lang.Boolean>

handleSuccessResult

protected java.lang.Boolean handleSuccessResult()

Description copied from class: ConstraintEvaluator

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

Specified by:

handleSuccessResult in class ConstraintEvaluator<java.lang.Boolean>