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.Accumulator
BagValue.Accumulator
OrderedSetValue.Accumulator
SequenceValue.Accumulator
SetValue.Accumulator
INVALID_NAME
Constructor and Description |
---|
EvaluationHaltedException(Diagnostic diagnostic)
Initializes me with a diagnostic describing the nature of stopping
evaluation.
|
EvaluationHaltedException(String message)
Initializes me with a message describing the nature of stopping
evaluation.
|
EvaluationHaltedException(String message,
Throwable cause)
Initializes me with a message and diagnostic describing the nature of
stopping evaluation.
|
Modifier and Type | Method and Description |
---|---|
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, getType, getTypeId, hashCode, intValue, isInvalid, oclEquals, oclHashCode
abs, 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, toSequenceValue, toString, union
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
getObject
addInteger, commutatedCompareToInteger, commutatedDiv, commutatedMod, divideInteger, divInteger, divUnlimited, maxInteger, minInteger, modInteger, modUnlimited, multiplyInteger, subtractInteger
abs, addReal, bigDecimalValue, bigIntegerValue, commutatedAdd, commutatedDivide, commutatedMultiply, commutatedSubtract, divideReal, doubleValue, floor, isIntegerValue, max, maxReal, min, minReal, multiplyReal, round, signum, subtractReal
isUnlimited, isUnlimitedNatural, max, maxUnlimited, min, minUnlimited
commutatedCompareToReal, isUnlimitedNaturalValue
commutatedCompareTo
asMapValue, asObject, asOrderedCollectionValue, asTupleValue, asUnlimitedNaturalValue, isUndefined, toString
compareTo
subOrderedSet
subSequence
append, appendAll, at, first, indexOf, insertAt, last, prepend, prependAll, reverse
minus, symmetricDifference
asCollection, 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, union
forEach, spliterator
getValue, getValue
public EvaluationHaltedException(String message)
message
- the message textpublic EvaluationHaltedException(Diagnostic diagnostic)
diagnostic
- non-null diagnostic objectCopyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.