org.eclipse.ocl.examples.validity.locator
Class AbstractPivotConstraintLocator.AbstractConstraintLocator

java.lang.Object
  org.eclipse.ocl.examples.pivot.utilities.ConstraintEvaluator<org.eclipse.emf.common.util.Diagnostic>
      org.eclipse.ocl.examples.validity.locator.AbstractPivotConstraintLocator.AbstractConstraintLocator

Enclosing class:

AbstractPivotConstraintLocator

protected abstract static class AbstractPivotConstraintLocator.AbstractConstraintLocator
extends ConstraintEvaluator<org.eclipse.emf.common.util.Diagnostic>

Field Summary

protected MetaModelManager	metaModelManager
protected java.lang.Object	object

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

expression

Constructor Summary

protected

AbstractPivotConstraintLocator.AbstractConstraintLocator(MetaModelManager metaModelManager, ExpressionInOCL expression, java.lang.Object object)

Method Summary

protected org.eclipse.emf.common.util.Diagnostic	handleExceptionResult(java.lang.Throwable e) Call-back to return the appropriate response for an evaluation that was terminated by an exception.
protected org.eclipse.emf.common.util.Diagnostic	handleFailureResult(java.lang.Object result) Call-back to return the appropriate response for a failed evaluation.
protected org.eclipse.emf.common.util.Diagnostic	handleInvalidExpression(java.lang.String message) Call-back to return the appropriate response for an unsuccessful parse of the expression.
protected org.eclipse.emf.common.util.Diagnostic	handleInvalidResult(InvalidValueException e) Call-back to return the appropriate response for an unsuccessful evaluation with an invalid result.
protected org.eclipse.emf.common.util.Diagnostic	handleSuccessResult() Call-back to return the appropriate response for a successful evaluation.

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

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

Methods inherited from class java.lang.Object

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

Field Detail

metaModelManager

@NonNull
protected final MetaModelManager metaModelManager

object

@Nullable
protected final java.lang.Object object

Constructor Detail

AbstractPivotConstraintLocator.AbstractConstraintLocator

protected AbstractPivotConstraintLocator.AbstractConstraintLocator(@NonNull
                                                                   MetaModelManager metaModelManager,
                                                                   @NonNull
                                                                   ExpressionInOCL expression,
                                                                   @Nullable
                                                                   java.lang.Object object)

Method Detail

handleExceptionResult

protected org.eclipse.emf.common.util.Diagnostic 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<org.eclipse.emf.common.util.Diagnostic>

handleFailureResult

protected org.eclipse.emf.common.util.Diagnostic 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<org.eclipse.emf.common.util.Diagnostic>

handleInvalidExpression

protected org.eclipse.emf.common.util.Diagnostic 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<org.eclipse.emf.common.util.Diagnostic>

handleInvalidResult

protected org.eclipse.emf.common.util.Diagnostic 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<org.eclipse.emf.common.util.Diagnostic>

handleSuccessResult

protected org.eclipse.emf.common.util.Diagnostic handleSuccessResult()

Description copied from class: ConstraintEvaluator

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

Specified by:

handleSuccessResult in class ConstraintEvaluator<org.eclipse.emf.common.util.Diagnostic>