org.eclipse.ocl.examples.pivot.uml
Class UMLOCLEValidator.ConstraintEvaluatorWithoutDiagnostics

java.lang.Object
  extended by org.eclipse.ocl.examples.pivot.utilities.ConstraintEvaluator<java.lang.Boolean>
      extended by org.eclipse.ocl.examples.pivot.uml.UMLOCLEValidator.ConstraintEvaluatorWithoutDiagnostics
Enclosing class:
UMLOCLEValidator

public static class UMLOCLEValidator.ConstraintEvaluatorWithoutDiagnostics
extends ConstraintEvaluator<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.examples.pivot.utilities.ConstraintEvaluator
expression
 
Constructor Summary
UMLOCLEValidator.ConstraintEvaluatorWithoutDiagnostics(ExpressionInOCL expression)
           
 
Method Summary
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
evaluate, 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

UMLOCLEValidator.ConstraintEvaluatorWithoutDiagnostics

public UMLOCLEValidator.ConstraintEvaluatorWithoutDiagnostics(@NonNull
                                                              ExpressionInOCL expression)
Method Detail

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>