Package | Description |
---|---|
org.eclipse.ocl.examples.pivot | |
org.eclipse.ocl.examples.pivot.options |
Modifier and Type | Method and Description |
---|---|
static ProblemHandler.Severity |
ProblemHandler.Severity.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ProblemHandler.Severity[] |
ProblemHandler.Severity.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractBasicEnvironment.notOK(Option<ProblemHandler.Severity> option)
Queries whether I have a non-OK setting for the specified problem option.
|
Modifier and Type | Method and Description |
---|---|
ProblemHandler.Severity |
ProblemOption.getDefaultValue() |