public class EvaluationHaltedException extends InvalidValueException
Other languages that extend OCL may need to stop evaluation at any point. This can be done at expression level granularity by throwing this exception during evaluation. The evaluation visitor and other participants recognizes this exception as a protocol for interrupting its execution and ensure its propagated to the top level caller.
A diagnostic object can be attached, so arbitrary information about the current execution context can be carried.
IntegerValue.AccumulatorBagValue.AccumulatorOrderedSetValue.AccumulatorSequenceValue.AccumulatorSetValue.AccumulatorINVALID_NAME| Constructor and Description |
|---|
EvaluationHaltedException(org.eclipse.emf.common.util.Diagnostic diagnostic)
Initializes me with a diagnostic describing the nature of stopping
evaluation.
|
EvaluationHaltedException(java.lang.String message)
Initializes me with a message describing the nature of stopping
evaluation.
|
EvaluationHaltedException(java.lang.String message,
java.lang.Throwable cause)
Initializes me with a message and diagnostic describing the nature of
stopping evaluation.
|
| Modifier and Type | Method and Description |
|---|---|
org.eclipse.emf.common.util.Diagnostic |
getDiagnostic()
Obtains the diagnostic providing further information about this
exception.
|
asBagValue, asCollectionValue, asDouble, asEcoreObject, asElement, asInteger, asIntegerValue, asNavigableObject, asNumber, asObjectValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asUnboxedObject, asUniqueCollectionValue, equals, eStaticClass, getType, getTypeId, hashCode, intValue, isInvalid, oclEquals, oclHashCodeabs, addInteger, addReal, append, appendAll, asCollection, asEcoreObjects, asList, asMapValue, asObject, asOrderedCollectionValue, asTupleValue, asUnlimitedNaturalValue, at, bigDecimalValue, bigIntegerValue, commutatedAdd, commutatedCompareTo, commutatedCompareToInteger, commutatedCompareToReal, commutatedDiv, commutatedDivide, commutatedMod, commutatedMultiply, commutatedSubtract, compareTo, count, createNew, div, divideInteger, divideReal, divInteger, divUnlimited, doubleValue, excludes, excludesAll, excluding, excludingAll, first, flatten, flatten, floor, getElement, getElements, getInstanceType, getKind, getObject, getTypeName, getValue, getValue, includes, includesAll, including, includingAll, indexOf, insertAt, intersection, intSize, isEmpty, isFalse, isIntegerValue, isOrdered, isTrue, isUndefined, isUnique, isUnlimited, isUnlimitedNatural, isUnlimitedNaturalValue, iterable, iterator, last, max, max, maxInteger, maxReal, maxUnlimited, min, min, minInteger, minReal, minUnlimited, minus, modInteger, modUnlimited, multiplyInteger, multiplyReal, negate, notEmpty, prepend, prependAll, product, reverse, round, signum, size, sort, stringValue, subOrderedSet, subSequence, subtractInteger, subtractReal, symmetricDifference, toInvalidValue, toSequenceValue, toString, unionaddSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitgetObjectaddInteger, commutatedCompareToInteger, commutatedDiv, commutatedMod, divideInteger, divInteger, divUnlimited, maxInteger, minInteger, modInteger, modUnlimited, multiplyInteger, subtractIntegerabs, addReal, bigDecimalValue, bigIntegerValue, commutatedAdd, commutatedDivide, commutatedMultiply, commutatedSubtract, divideReal, doubleValue, floor, isIntegerValue, max, maxReal, min, minReal, multiplyReal, round, signum, subtractRealisUnlimited, isUnlimitedNatural, max, maxUnlimited, min, minUnlimitedcommutatedCompareToReal, isUnlimitedNaturalValuecommutatedCompareToasMapValue, asObject, asOrderedCollectionValue, asTupleValue, asUnlimitedNaturalValue, isUndefined, toStringsubOrderedSetsubSequenceappend, appendAll, at, first, indexOf, insertAt, last, prepend, prependAll, reverseminus, symmetricDifferenceasCollection, asEcoreObjects, count, excludes, excludesAll, excluding, excludingAll, flatten, flatten, getElements, getKind, includes, includesAll, including, includingAll, intersection, intSize, isEmpty, isOrdered, isUnique, iterable, iterator, notEmpty, product, size, sort, toSequenceValue, uniongetValue, getValuepublic EvaluationHaltedException(java.lang.String message)
message - the message textpublic EvaluationHaltedException(org.eclipse.emf.common.util.Diagnostic diagnostic)
diagnostic - non-null diagnostic objectpublic EvaluationHaltedException(java.lang.String message,
java.lang.Throwable cause)
message - a user-friendly messagecause - the cause of the evaluation failure