Uses of Class
org.eclipse.ocl.examples.pivot.ProblemHandler.Severity

Packages that use ProblemHandler.Severity

org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.options

Uses of ProblemHandler.Severity in org.eclipse.ocl.examples.pivot

Methods in org.eclipse.ocl.examples.pivot that return ProblemHandler.Severity

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.

Method parameters in org.eclipse.ocl.examples.pivot with type arguments of type ProblemHandler.Severity

boolean

AbstractEnvironment.notOK(Option<ProblemHandler.Severity> option) Queries whether I have a non-OK setting for the specified problem option.

Uses of ProblemHandler.Severity in org.eclipse.ocl.examples.pivot.options

Methods in org.eclipse.ocl.examples.pivot.options that return ProblemHandler.Severity

ProblemHandler.Severity

ProblemOption.getDefaultValue()