org.eclipse.ocl.examples.validity.locator

Class AbstractPivotConstraintLocator.AbstractConstraintLocator

java.lang.Object

org.eclipse.ocl.pivot.evaluation.AbstractConstraintEvaluator<org.eclipse.emf.common.util.Diagnostic>

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

Enclosing class:

AbstractPivotConstraintLocator

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

Field Summary

Fields

Modifier and Type	Field and Description
protected PivotMetamodelManager	metamodelManager
protected java.lang.Object	object

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

body, query

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractConstraintLocator(PivotMetamodelManager metamodelManager, ExpressionInOCL expression, java.lang.Object object)

Method Summary

Modifier and Type	Method and Description
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.pivot.evaluation.AbstractConstraintEvaluator

evaluate, getConstraintExpression, 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 PivotMetamodelManager metamodelManager

object

@Nullable
protected final java.lang.Object object

Constructor Detail

AbstractConstraintLocator

protected AbstractConstraintLocator(@NonNull
                                    PivotMetamodelManager 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: AbstractConstraintEvaluator

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

Specified by:

handleExceptionResult in class AbstractConstraintEvaluator<org.eclipse.emf.common.util.Diagnostic>

handleFailureResult

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

handleInvalidExpression

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

handleInvalidResult

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

handleSuccessResult

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

Description copied from class: AbstractConstraintEvaluator

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

Specified by:

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