org.eclipse.ocl.pivot.options
Interfaces
ProblemHandler
Classes
BasicOption
EnumeratedOption
EvaluationOptions
OCLinEcoreOptions
OCLinEcorePreferenceInitializer
ParsingOptions
PivotConsoleOptions
PivotValidationOptions
ProblemHandler.Phase
Enums
ProblemHandler.Severity
ProblemOption