Uses of Class
org.eclipse.ocl.pivot.options.EnumeratedOption

Packages that use EnumeratedOption

Package	Description
org.eclipse.ocl.pivot.options

Uses of EnumeratedOption in org.eclipse.ocl.pivot.options

Fields in org.eclipse.ocl.pivot.options declared as EnumeratedOption

Modifier and Type	Field and Description
static EnumeratedOption<StatusCodes.Severity>	PivotValidationOptions.MissingSafeNavigation
static EnumeratedOption<StatusCodes.Severity>	PivotValidationOptions.RedundantSafeNavigation

Fields in org.eclipse.ocl.pivot.options with type parameters of type EnumeratedOption

Modifier and Type	Field and Description
static java.util.Map<java.lang.String,EnumeratedOption<StatusCodes.Severity>>	PivotValidationOptions.safeValidationName2severityOption A Map from all the safe navigation constraint names to the validation options that control them.