Package | Description |
---|---|
org.eclipse.ocl.examples.pivot |
Modifier and Type | Class and Description |
---|---|
class |
AmbiguousLookupException
A specialized
LookupException denoting specifically that the
problem is multiple ambiguous results. |
class |
LookupException
Exception indicating a semantic error in looking up a definition, typically
resulting from an ambiguity.
|
Modifier and Type | Method and Description |
---|---|
static org.eclipse.emf.common.util.Diagnostic |
OCLUtil.checkForErrors(Environment env)
Checks whether the specified environment's problem handler has any
diagnostics of error severity or worse and, if so, throws a semantic
exception encapsulating these diagnostics.
|
static org.eclipse.emf.common.util.Diagnostic |
OCLUtil.checkForErrors(ProblemHandler problemHandler)
Checks whether the specified problem handler has any
diagnostics of error severity or worse and, if so, throws a semantic
exception encapsulating these diagnostics.
|
static org.eclipse.emf.common.util.Diagnostic |
OCLUtil.checkForErrorsOrWarnings(ProblemHandler problemHandler)
Checks whether the specified problem handler has any
diagnostics of warning severity or worse and, if so, throws a semantic
exception encapsulating these diagnostics.
|
void |
OCL.validate(Constraint constraint)
Validates an OCL constraint, which may have been loaded from some
resource or constructed via the API (perhaps by translation from some
other language).
|
void |
OCL.validate(OCLExpression expression)
Validates an OCL expression, which may have been loaded from some
resource or constructed via the API (perhaps by translation from some
other language).
|