public class EvaluationHaltedException extends RuntimeException
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.
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.
|
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
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.