org.eclipse.ocl.pivot.options

Class PivotValidationOptions

java.lang.Object

org.eclipse.ocl.pivot.options.PivotValidationOptions

public class PivotValidationOptions
extends Object

Options applicable to validation using Pivot.ocl defined constraints.

Field Summary

Fields

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

Method Summary

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

EcoreValidation

public static final EnumeratedOption<StatusCodes.Severity> EcoreValidation

Since:

1.4

MissingSafeNavigation

public static final EnumeratedOption<StatusCodes.Severity> MissingSafeNavigation

RedundantSafeNavigation

public static final EnumeratedOption<StatusCodes.Severity> RedundantSafeNavigation

safeValidationName2severityOption

public static final Map<String,EnumeratedOption<StatusCodes.Severity>> safeValidationName2severityOption

A Map from all the safe navigation constraint names to the validation options that control them. This avoids the need for distinct options for Operation/Property/Iteration control of the same concept.