org.eclipse.ocl.examples.domain.evaluation
Class InvalidEvaluationException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              org.eclipse.ocl.examples.domain.evaluation.DomainException
                  org.eclipse.ocl.examples.domain.evaluation.InvalidEvaluationException

All Implemented Interfaces:

java.io.Serializable

public class InvalidEvaluationException
extends DomainException

An InvalidEvaluationException is thrown when an Invalid Value arises during an evaluation. It passes the prevailing EvaluationEnvironment to the handler to support diagnosis of the failing context..

See Also:

Serialized Form

Field Summary

protected java.lang.Object	context
protected DomainEvaluationEnvironment	evaluationEnvironment
protected DomainExpression	expression

Constructor Summary

InvalidEvaluationException(DomainEvaluationEnvironment evaluationEnvironment, InvalidValueException e)

InvalidEvaluationException(DomainEvaluationEnvironment evaluationEnvironment, java.lang.String message, java.lang.Throwable e, DomainExpression expression, java.lang.Object context)

Method Summary

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Field Detail

evaluationEnvironment

protected final DomainEvaluationEnvironment evaluationEnvironment

expression

protected final DomainExpression expression

context

protected final java.lang.Object context

Constructor Detail

InvalidEvaluationException

public InvalidEvaluationException(DomainEvaluationEnvironment evaluationEnvironment,
                                  java.lang.String message,
                                  java.lang.Throwable e,
                                  DomainExpression expression,
                                  java.lang.Object context)

InvalidEvaluationException

public InvalidEvaluationException(DomainEvaluationEnvironment evaluationEnvironment,
                                  InvalidValueException e)