Package de.uka.ipd.sdq.dsexplore.qml.contracttype.QMLContractType.util

Class QMLContractTypeValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

de.uka.ipd.sdq.dsexplore.qml.contracttype.QMLContractType.util.QMLContractTypeValidator

All Implemented Interfaces:

EValidator

public class QMLContractTypeValidator
extends EObjectValidator

The Validator for the model.

See Also:

QMLContractTypePackage

Generated class or method.

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.util.EObjectValidator

EObjectValidator.DynamicEClassValidator, EObjectValidator.DynamicEDataTypeValidator

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator

EValidator.Descriptor, EValidator.PatternMatcher, EValidator.Registry, EValidator.SubstitutionLabelProvider, EValidator.ValidationDelegate

Field Summary

Fields

Modifier and Type	Field	Description
protected static int	DIAGNOSTIC_CODE_COUNT	A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.
static String	DIAGNOSTIC_SOURCE	A constant for the source of diagnostic codes from this package.
static int	DIMENSION_TYPE_ENUM__ORDER_CAN_ONLY_EXIST_WITH_RELATIONSEMANTICS_AND_VICE_VERSA	The code for constraint 'ORDER can only exist with RELATIONSEMANTICS and vice versa' of 'Dimension Type Enum'.
static int	DIMENSION_TYPE_NUMERIC__NUMERICDIMENSIONTYPE_MUST_HAVE_RELATIONSEMANTICS	The code for constraint 'NUMERICDIMENSIONTYPE must have RELATIONSEMANTICS' of 'Dimension Type Numeric'.
static int	DIMENSION_TYPE_SET__ORDER_CAN_ONLY_EXIST_WITH_RELATIONSEMANTICS	The code for constraint 'ORDER can only exist with RELATIONSEMANTICS' of 'Dimension Type Set'.
static QMLContractTypeValidator	INSTANCE	The cached model package
static int	NUMERIC_RANGE__UPPERLIMIT_MUST_BE_GREATER_THAN_LOWERLIMIT	The code for constraint 'UPPERLIMIT must be greater than LOWERLIMIT' of 'Numeric Range'.
static int	ORDER__BIGGERELEMENT_MUST_NOT_BE_SMALLELEMENT	The code for constraint 'BIGGERELEMENT must not be SMALLELEMENT' of 'Order'.

Fields inherited from class org.eclipse.emf.ecore.util.EObjectValidator

DATA_VALUE__FRACTION_DIGITS_IN_RANGE, DATA_VALUE__LENGTH_IN_RANGE, DATA_VALUE__MATCHES_PATTERN, DATA_VALUE__TOTAL_DIGITS_IN_RANGE, DATA_VALUE__TYPE_CORRECT, DATA_VALUE__VALUE_IN_ENUMERATION, DATA_VALUE__VALUE_IN_RANGE, EOBJECT__EVERY_BIDIRECTIONAL_REFERENCE_IS_PAIRED, EOBJECT__EVERY_DATA_VALUE_CONFORMS, EOBJECT__EVERY_KEY_UNIQUE, EOBJECT__EVERY_MAP_ENTRY_UNIQUE, EOBJECT__EVERY_MULTIPCITY_CONFORMS, EOBJECT__EVERY_PROXY_RESOLVES, EOBJECT__EVERY_REFERENCE_IS_CONTAINED, EOBJECT__NO_CIRCULAR_CONTAINMENT, EOBJECT__UNIQUE_ID, ROOT_OBJECT

Fields inherited from interface org.eclipse.emf.ecore.EValidator

MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE

Constructor Summary

Constructors

Constructor	Description
QMLContractTypeValidator()	Creates an instance of the switch.

Method Summary

Modifier and Type	Method	Description
protected EPackage	getEPackage()	Returns the package of this validator switch.
ResourceLocator	getResourceLocator()	Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
protected boolean	validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object,Object> context)	Calls validateXXX for the corresponding classifier of the model.
boolean	validateDimension(Dimension dimension, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDimensionType(DimensionType dimensionType, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDimensionTypeEnum(DimensionTypeEnum dimensionTypeEnum, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDimensionTypeEnum_ORDER_can_only_exist_with_RELATIONSEMANTICS_and_vice_versa(DimensionTypeEnum dimensionTypeEnum, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the ORDER_can_only_exist_with_RELATIONSEMANTICS_and_vice_versa constraint of 'Dimension Type Enum'.
boolean	validateDimensionTypeNumeric(DimensionTypeNumeric dimensionTypeNumeric, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDimensionTypeNumeric_NUMERICDIMENSIONTYPE_must_have_RELATIONSEMANTICS(DimensionTypeNumeric dimensionTypeNumeric, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the NUMERICDIMENSIONTYPE_must_have_RELATIONSEMANTICS constraint of 'Dimension Type Numeric'.
boolean	validateDimensionTypeRepository(DimensionTypeRepository dimensionTypeRepository, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDimensionTypeScale(DimensionTypeScale<?> dimensionTypeScale, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDimensionTypeSet(DimensionTypeSet dimensionTypeSet, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDimensionTypeSet_ORDER_can_only_exist_with_RELATIONSEMANTICS(DimensionTypeSet dimensionTypeSet, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the ORDER_can_only_exist_with_RELATIONSEMANTICS constraint of 'Dimension Type Set'.
boolean	validateElement(Element element, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateENumber(Number eNumber, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEnumNumericDomain(EnumNumericDomain enumNumericDomain, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEnumRelationSemantics(EnumRelationSemantics enumRelationSemantics, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEScaleOfMeasure(EScaleOfMeasure eScaleOfMeasure, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNumericRange(NumericRange numericRange, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNumericRange_UPPERLIMIT_must_be_greater_than_LOWERLIMIT(NumericRange numericRange, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the UPPERLIMIT_must_be_greater_than_LOWERLIMIT constraint of 'Numeric Range'.
boolean	validateOrder(Order order, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateOrder_BIGGERELEMENT_must_not_be_SMALLELEMENT(Order order, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the BIGGERELEMENT_must_not_be_SMALLELEMENT constraint of 'Order'.
boolean	validateQMLContractType(QMLContractType qmlContractType, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateRelationSemantics(RelationSemantics relationSemantics, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateScaleElement(ScaleElement<?> scaleElement, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUnit(Unit unit, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUnitRepository(UnitRepository unitRepository, DiagnosticChain diagnostics, Map<Object,Object> context)

Methods inherited from class org.eclipse.emf.ecore.util.EObjectValidator

createBadDataValueDiagnostic, createDiagnostic, getAvailableChoices, getEcoreResourceLocator, getEcoreString, getFeatureLabel, getObjectLabel, getRootEValidator, getString, getValidationDelegateRegistry, getValueLabel, isEcoreString, reportConstraintDelegateException, reportConstraintDelegateException, reportConstraintDelegateNotFound, reportConstraintDelegateNotFound, reportConstraintDelegateViolation, reportConstraintDelegateViolation, reportDataValuePatternViolation, reportDataValueTypeViolation, reportEnumerationViolation, reportFractionDigitsViolation, reportInvariantDelegateException, reportInvariantDelegateNotFound, reportInvariantDelegateViolation, reportMaxLengthViolation, reportMaxViolation, reportMinLengthViolation, reportMinViolation, reportTotalDigitsViolation, validate, validate, validate, validate, validate, validate, validate_BidirectionalReferenceIsPaired, validate_DataValueConforms, validate_EveryBidirectionalReferenceIsPaired, validate_EveryDataValueConforms, validate_EveryDefaultConstraint, validate_EveryKeyUnique, validate_EveryMapEntryUnique, validate_EveryMultiplicityConforms, validate_EveryProxyResolves, validate_EveryReferenceIsContained, validate_KeyUnique, validate_MapEntryUnique, validate_MultiplicityConforms, validate_NoCircularContainment, validate_UniqueID, validatePattern, wrapEnumerationValues

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final QMLContractTypeValidator INSTANCE

The cached model package

Generated class or method.

DIAGNOSTIC_SOURCE

public static final String DIAGNOSTIC_SOURCE

A constant for the source of diagnostic codes from this package.

See Also:

Diagnostic.getSource(), Diagnostic.getCode(), Constant Field Values

Generated class or method.

DIMENSION_TYPE_SET__ORDER_CAN_ONLY_EXIST_WITH_RELATIONSEMANTICS

public static final int DIMENSION_TYPE_SET__ORDER_CAN_ONLY_EXIST_WITH_RELATIONSEMANTICS

The code for constraint 'ORDER can only exist with RELATIONSEMANTICS' of 'Dimension Type Set'.

See Also:

Constant Field Values

Generated class or method.

ORDER__BIGGERELEMENT_MUST_NOT_BE_SMALLELEMENT

public static final int ORDER__BIGGERELEMENT_MUST_NOT_BE_SMALLELEMENT

The code for constraint 'BIGGERELEMENT must not be SMALLELEMENT' of 'Order'.

See Also:

Constant Field Values

Generated class or method.

DIMENSION_TYPE_ENUM__ORDER_CAN_ONLY_EXIST_WITH_RELATIONSEMANTICS_AND_VICE_VERSA

public static final int DIMENSION_TYPE_ENUM__ORDER_CAN_ONLY_EXIST_WITH_RELATIONSEMANTICS_AND_VICE_VERSA

The code for constraint 'ORDER can only exist with RELATIONSEMANTICS and vice versa' of 'Dimension Type Enum'.

See Also:

Constant Field Values

Generated class or method.

DIMENSION_TYPE_NUMERIC__NUMERICDIMENSIONTYPE_MUST_HAVE_RELATIONSEMANTICS

public static final int DIMENSION_TYPE_NUMERIC__NUMERICDIMENSIONTYPE_MUST_HAVE_RELATIONSEMANTICS

The code for constraint 'NUMERICDIMENSIONTYPE must have RELATIONSEMANTICS' of 'Dimension Type Numeric'.

See Also:

Constant Field Values

Generated class or method.

NUMERIC_RANGE__UPPERLIMIT_MUST_BE_GREATER_THAN_LOWERLIMIT

public static final int NUMERIC_RANGE__UPPERLIMIT_MUST_BE_GREATER_THAN_LOWERLIMIT

The code for constraint 'UPPERLIMIT must be greater than LOWERLIMIT' of 'Numeric Range'.

See Also:

Constant Field Values

Generated class or method.

DIAGNOSTIC_CODE_COUNT

protected static final int DIAGNOSTIC_CODE_COUNT

A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.

See Also:

Constant Field Values

Generated class or method.

Constructor Detail

QMLContractTypeValidator

public QMLContractTypeValidator()

Creates an instance of the switch.

Generated class or method.

Method Detail

getEPackage

protected EPackage getEPackage()

Returns the package of this validator switch.

Overrides:

getEPackage in class EObjectValidator

Generated class or method.

validate

protected boolean validate(int classifierID,
                           Object value,
                           DiagnosticChain diagnostics,
                           Map<Object,Object> context)

Calls validateXXX for the corresponding classifier of the model.

Overrides:

validate in class EObjectValidator

Generated class or method.

validateDimensionTypeSet

public boolean validateDimensionTypeSet(DimensionTypeSet dimensionTypeSet,
                                        DiagnosticChain diagnostics,
                                        Map<Object,Object> context)

Generated class or method.

validateDimensionTypeSet_ORDER_can_only_exist_with_RELATIONSEMANTICS

public boolean validateDimensionTypeSet_ORDER_can_only_exist_with_RELATIONSEMANTICS(DimensionTypeSet dimensionTypeSet,
                                                                                    DiagnosticChain diagnostics,
                                                                                    Map<Object,Object> context)

Validates the ORDER_can_only_exist_with_RELATIONSEMANTICS constraint of 'Dimension Type Set'.

Generated class or method.

validateDimensionType

public boolean validateDimensionType(DimensionType dimensionType,
                                     DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

Generated class or method.

validateRelationSemantics

public boolean validateRelationSemantics(RelationSemantics relationSemantics,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

Generated class or method.

validateElement

public boolean validateElement(Element element,
                               DiagnosticChain diagnostics,
                               Map<Object,Object> context)

Generated class or method.

validateOrder

public boolean validateOrder(Order order,
                             DiagnosticChain diagnostics,
                             Map<Object,Object> context)

Generated class or method.

validateOrder_BIGGERELEMENT_must_not_be_SMALLELEMENT

public boolean validateOrder_BIGGERELEMENT_must_not_be_SMALLELEMENT(Order order,
                                                                    DiagnosticChain diagnostics,
                                                                    Map<Object,Object> context)

Validates the BIGGERELEMENT_must_not_be_SMALLELEMENT constraint of 'Order'.

Generated class or method.

validateDimensionTypeEnum

public boolean validateDimensionTypeEnum(DimensionTypeEnum dimensionTypeEnum,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

Generated class or method.

validateDimensionTypeEnum_ORDER_can_only_exist_with_RELATIONSEMANTICS_and_vice_versa

public boolean validateDimensionTypeEnum_ORDER_can_only_exist_with_RELATIONSEMANTICS_and_vice_versa(DimensionTypeEnum dimensionTypeEnum,
                                                                                                    DiagnosticChain diagnostics,
                                                                                                    Map<Object,Object> context)

Validates the ORDER_can_only_exist_with_RELATIONSEMANTICS_and_vice_versa constraint of 'Dimension Type Enum'.

Generated class or method.

validateUnit

public boolean validateUnit(Unit unit,
                            DiagnosticChain diagnostics,
                            Map<Object,Object> context)

Generated class or method.

validateDimensionTypeNumeric

public boolean validateDimensionTypeNumeric(DimensionTypeNumeric dimensionTypeNumeric,
                                            DiagnosticChain diagnostics,
                                            Map<Object,Object> context)

Generated class or method.

validateDimensionTypeNumeric_NUMERICDIMENSIONTYPE_must_have_RELATIONSEMANTICS

public boolean validateDimensionTypeNumeric_NUMERICDIMENSIONTYPE_must_have_RELATIONSEMANTICS(DimensionTypeNumeric dimensionTypeNumeric,
                                                                                             DiagnosticChain diagnostics,
                                                                                             Map<Object,Object> context)

Validates the NUMERICDIMENSIONTYPE_must_have_RELATIONSEMANTICS constraint of 'Dimension Type Numeric'.

Generated class or method.

validateNumericRange

public boolean validateNumericRange(NumericRange numericRange,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

Generated class or method.

validateNumericRange_UPPERLIMIT_must_be_greater_than_LOWERLIMIT

public boolean validateNumericRange_UPPERLIMIT_must_be_greater_than_LOWERLIMIT(NumericRange numericRange,
                                                                               DiagnosticChain diagnostics,
                                                                               Map<Object,Object> context)

Validates the UPPERLIMIT_must_be_greater_than_LOWERLIMIT constraint of 'Numeric Range'.

Generated class or method.

validateQMLContractType

public boolean validateQMLContractType(QMLContractType qmlContractType,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

Generated class or method.

validateUnitRepository

public boolean validateUnitRepository(UnitRepository unitRepository,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

Generated class or method.

validateDimensionTypeRepository

public boolean validateDimensionTypeRepository(DimensionTypeRepository dimensionTypeRepository,
                                               DiagnosticChain diagnostics,
                                               Map<Object,Object> context)

Generated class or method.

validateDimension

public boolean validateDimension(Dimension dimension,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

Generated class or method.

validateDimensionTypeScale

public boolean validateDimensionTypeScale(DimensionTypeScale<?> dimensionTypeScale,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

Generated class or method.

validateScaleElement

public boolean validateScaleElement(ScaleElement<?> scaleElement,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

Generated class or method.

validateEnumRelationSemantics

public boolean validateEnumRelationSemantics(EnumRelationSemantics enumRelationSemantics,
                                             DiagnosticChain diagnostics,
                                             Map<Object,Object> context)

Generated class or method.

validateEnumNumericDomain

public boolean validateEnumNumericDomain(EnumNumericDomain enumNumericDomain,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

Generated class or method.

validateEScaleOfMeasure

public boolean validateEScaleOfMeasure(EScaleOfMeasure eScaleOfMeasure,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

Generated class or method.

validateENumber

public boolean validateENumber(Number eNumber,
                               DiagnosticChain diagnostics,
                               Map<Object,Object> context)

Generated class or method.

getResourceLocator

public ResourceLocator getResourceLocator()

Returns the resource locator that will be used to fetch messages for this validator's diagnostics.

Overrides:

getResourceLocator in class EObjectValidator

Generated class or method.