Package de.uka.ipd.sdq.featuremodel.util

Class featuremodelValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

de.uka.ipd.sdq.featuremodel.util.featuremodelValidator

All Implemented Interfaces:

EValidator

public class featuremodelValidator
extends EObjectValidator

The Validator for the model.

See Also:

featuremodelPackage

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	FEATURE__EACH_ATTRIBUTE_NAME_DEFINED_JUST_ONCE	The code for constraint 'Each Attribute Name Defined Just Once' of 'Feature'.
static int	FEATURE_GROUP__ALL_IMPLIES_CARDINALITIES_TO_BE_MINUS_ONE	The code for constraint 'ALL Implies Cardinalities To Be Minus One' of 'Feature Group'.
static int	FEATURE_GROUP__OR_IMPLIES_CARDINALITIES_MIN_TO_BE_ONE_AND_MAX_TO_BE_MINUS_ONE	The code for constraint 'OR Implies Cardinalities Min To Be One And Max To Be Minus One' of 'Feature Group'.
static int	FEATURE_GROUP__XO_ROR_OR_IMPLIES_CHILDREN_ARE_MANDATORY	The code for constraint 'XO Ror OR Implies Children Are Mandatory' of 'Feature Group'.
static int	FEATURE_GROUP__XOR_IMPLIES_CARDINALITIES_TO_BE_ONE	The code for constraint 'XOR Implies Cardinalities To Be One' of 'Feature Group'.
static featuremodelValidator	INSTANCE	The cached model package
static int	SIMPLE__AT_LEAST_ONE_CHILD	The code for constraint 'At Least One Child' of 'Simple'.

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
featuremodelValidator()	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	validateAttribute(Attribute attribute, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAttributeTypes(AttributeTypes attributeTypes, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateChildRelation(ChildRelation childRelation, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateConstraint(Constraint constraint, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateContinousIntervalRange(ContinousIntervalRange continousIntervalRange, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDoubleAttribute(DoubleAttribute doubleAttribute, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateExternalObjectAttribute(ExternalObjectAttribute externalObjectAttribute, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFeature(Feature feature, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFeature_EachAttributeNameDefinedJustOnce(Feature feature, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the EachAttributeNameDefinedJustOnce constraint of 'Feature'.
boolean	validateFeatureDiagram(FeatureDiagram featureDiagram, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFeatureGroup(FeatureGroup featureGroup, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFeatureGroup_ALLImpliesCardinalitiesToBeMinusOne(FeatureGroup featureGroup, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the ALLImpliesCardinalitiesToBeMinusOne constraint of 'Feature Group'.
boolean	validateFeatureGroup_ORImpliesCardinalitiesMinToBeOneAndMaxToBeMinusOne(FeatureGroup featureGroup, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the ORImpliesCardinalitiesMinToBeOneAndMaxToBeMinusOne constraint of 'Feature Group'.
boolean	validateFeatureGroup_XORImpliesCardinalitiesToBeOne(FeatureGroup featureGroup, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the XORImpliesCardinalitiesToBeOne constraint of 'Feature Group'.
boolean	validateFeatureGroup_XORorORImpliesChildrenAreMandatory(FeatureGroup featureGroup, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the XORorORImpliesChildrenAreMandatory constraint of 'Feature Group'.
boolean	validateIntegerAttribute(IntegerAttribute integerAttribute, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateIntegerIntervalRange(IntegerIntervalRange integerIntervalRange, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateIntervalRange(IntervalRange intervalRange, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNamedElement(NamedElement namedElement, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateProhibitsConstraint(ProhibitsConstraint prohibitsConstraint, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateRequiredConstraint(RequiredConstraint requiredConstraint, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSimple(Simple simple, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSimple_atLeastOneChild(Simple simple, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the atLeastOneChild constraint of 'Simple'.
boolean	validateStringAttribute(StringAttribute stringAttribute, 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 featuremodelValidator 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.

FEATURE__EACH_ATTRIBUTE_NAME_DEFINED_JUST_ONCE

public static final int FEATURE__EACH_ATTRIBUTE_NAME_DEFINED_JUST_ONCE

The code for constraint 'Each Attribute Name Defined Just Once' of 'Feature'.

See Also:

Constant Field Values

Generated class or method.

FEATURE_GROUP__XO_ROR_OR_IMPLIES_CHILDREN_ARE_MANDATORY

public static final int FEATURE_GROUP__XO_ROR_OR_IMPLIES_CHILDREN_ARE_MANDATORY

The code for constraint 'XO Ror OR Implies Children Are Mandatory' of 'Feature Group'.

See Also:

Constant Field Values

Generated class or method.

FEATURE_GROUP__ALL_IMPLIES_CARDINALITIES_TO_BE_MINUS_ONE

public static final int FEATURE_GROUP__ALL_IMPLIES_CARDINALITIES_TO_BE_MINUS_ONE

The code for constraint 'ALL Implies Cardinalities To Be Minus One' of 'Feature Group'.

See Also:

Constant Field Values

Generated class or method.

FEATURE_GROUP__OR_IMPLIES_CARDINALITIES_MIN_TO_BE_ONE_AND_MAX_TO_BE_MINUS_ONE

public static final int FEATURE_GROUP__OR_IMPLIES_CARDINALITIES_MIN_TO_BE_ONE_AND_MAX_TO_BE_MINUS_ONE

The code for constraint 'OR Implies Cardinalities Min To Be One And Max To Be Minus One' of 'Feature Group'.

See Also:

Constant Field Values

Generated class or method.

FEATURE_GROUP__XOR_IMPLIES_CARDINALITIES_TO_BE_ONE

public static final int FEATURE_GROUP__XOR_IMPLIES_CARDINALITIES_TO_BE_ONE

The code for constraint 'XOR Implies Cardinalities To Be One' of 'Feature Group'.

See Also:

Constant Field Values

Generated class or method.

SIMPLE__AT_LEAST_ONE_CHILD

public static final int SIMPLE__AT_LEAST_ONE_CHILD

The code for constraint 'At Least One Child' of 'Simple'.

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

featuremodelValidator

public featuremodelValidator()

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.

validateFeature

public boolean validateFeature(Feature feature,
                               DiagnosticChain diagnostics,
                               Map<Object,Object> context)

Generated class or method.

validateFeature_EachAttributeNameDefinedJustOnce

public boolean validateFeature_EachAttributeNameDefinedJustOnce(Feature feature,
                                                                DiagnosticChain diagnostics,
                                                                Map<Object,Object> context)

Validates the EachAttributeNameDefinedJustOnce constraint of 'Feature'.

Generated class or method.

validateNamedElement

public boolean validateNamedElement(NamedElement namedElement,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

Generated class or method.

validateAttribute

public boolean validateAttribute(Attribute attribute,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

Generated class or method.

validateChildRelation

public boolean validateChildRelation(ChildRelation childRelation,
                                     DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

Generated class or method.

validateIntegerAttribute

public boolean validateIntegerAttribute(IntegerAttribute integerAttribute,
                                        DiagnosticChain diagnostics,
                                        Map<Object,Object> context)

Generated class or method.

validateDoubleAttribute

public boolean validateDoubleAttribute(DoubleAttribute doubleAttribute,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

Generated class or method.

validateStringAttribute

public boolean validateStringAttribute(StringAttribute stringAttribute,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

Generated class or method.

validateExternalObjectAttribute

public boolean validateExternalObjectAttribute(ExternalObjectAttribute externalObjectAttribute,
                                               DiagnosticChain diagnostics,
                                               Map<Object,Object> context)

Generated class or method.

validateIntervalRange

public boolean validateIntervalRange(IntervalRange intervalRange,
                                     DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

Generated class or method.

validateIntegerIntervalRange

public boolean validateIntegerIntervalRange(IntegerIntervalRange integerIntervalRange,
                                            DiagnosticChain diagnostics,
                                            Map<Object,Object> context)

Generated class or method.

validateContinousIntervalRange

public boolean validateContinousIntervalRange(ContinousIntervalRange continousIntervalRange,
                                              DiagnosticChain diagnostics,
                                              Map<Object,Object> context)

Generated class or method.

validateFeatureGroup

public boolean validateFeatureGroup(FeatureGroup featureGroup,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

Generated class or method.

validateFeatureGroup_XORorORImpliesChildrenAreMandatory

public boolean validateFeatureGroup_XORorORImpliesChildrenAreMandatory(FeatureGroup featureGroup,
                                                                       DiagnosticChain diagnostics,
                                                                       Map<Object,Object> context)

Validates the XORorORImpliesChildrenAreMandatory constraint of 'Feature Group'.

Generated class or method.

validateFeatureGroup_ALLImpliesCardinalitiesToBeMinusOne

public boolean validateFeatureGroup_ALLImpliesCardinalitiesToBeMinusOne(FeatureGroup featureGroup,
                                                                        DiagnosticChain diagnostics,
                                                                        Map<Object,Object> context)

Validates the ALLImpliesCardinalitiesToBeMinusOne constraint of 'Feature Group'.

Generated class or method.

validateFeatureGroup_ORImpliesCardinalitiesMinToBeOneAndMaxToBeMinusOne

public boolean validateFeatureGroup_ORImpliesCardinalitiesMinToBeOneAndMaxToBeMinusOne(FeatureGroup featureGroup,
                                                                                       DiagnosticChain diagnostics,
                                                                                       Map<Object,Object> context)

Validates the ORImpliesCardinalitiesMinToBeOneAndMaxToBeMinusOne constraint of 'Feature Group'.

Generated class or method.

validateFeatureGroup_XORImpliesCardinalitiesToBeOne

public boolean validateFeatureGroup_XORImpliesCardinalitiesToBeOne(FeatureGroup featureGroup,
                                                                   DiagnosticChain diagnostics,
                                                                   Map<Object,Object> context)

Validates the XORImpliesCardinalitiesToBeOne constraint of 'Feature Group'.

Generated class or method.

validateFeatureDiagram

public boolean validateFeatureDiagram(FeatureDiagram featureDiagram,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

Generated class or method.

validateConstraint

public boolean validateConstraint(Constraint constraint,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

Generated class or method.

validateRequiredConstraint

public boolean validateRequiredConstraint(RequiredConstraint requiredConstraint,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

Generated class or method.

validateProhibitsConstraint

public boolean validateProhibitsConstraint(ProhibitsConstraint prohibitsConstraint,
                                           DiagnosticChain diagnostics,
                                           Map<Object,Object> context)

Generated class or method.

validateSimple

public boolean validateSimple(Simple simple,
                              DiagnosticChain diagnostics,
                              Map<Object,Object> context)

Generated class or method.

validateSimple_atLeastOneChild

public boolean validateSimple_atLeastOneChild(Simple simple,
                                              DiagnosticChain diagnostics,
                                              Map<Object,Object> context)

Validates the atLeastOneChild constraint of 'Simple'.

Generated class or method.

validateAttributeTypes

public boolean validateAttributeTypes(AttributeTypes attributeTypes,
                                      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.