Package org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.util

Class DataDictionaryCharacterizedValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.util.DataDictionaryCharacterizedValidator

All Implemented Interfaces:

EValidator

public class DataDictionaryCharacterizedValidator
extends EObjectValidator

The Validator for the model.

See Also:

DataDictionaryCharacterizedPackage

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 String	ASSIGNMENT__CHARACTERISTIC_WILDCARD_HAS_TO_BE_ON_LHS_AND_RHS__EEXPRESSION	The cached validation expression for the characteristicWildcardHasToBeOnLhsAndRhs constraint of 'Assignment'.
protected static String	ASSIGNMENT__LEFT_HAND_SIDE_REFERS_OUTPUT_PIN__EEXPRESSION	The cached validation expression for the leftHandSideRefersOutputPin constraint of 'Assignment'.
protected static String	ASSIGNMENT__LITERAL_WILDCARD_HAS_TO_BE_ON_LHS_AND_RHS__EEXPRESSION	The cached validation expression for the literalWildcardHasToBeOnLhsAndRhs constraint of 'Assignment'.
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.
protected de.uka.ipd.sdq.identifier.util.IdentifierValidator	identifierValidator	The cached base package validator.
static DataDictionaryCharacterizedValidator	INSTANCE	The cached model package

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
DataDictionaryCharacterizedValidator()	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	validateAssignment(Assignment assignment, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAssignment_characteristicWildcardHasToBeOnLhsAndRhs(Assignment assignment, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the characteristicWildcardHasToBeOnLhsAndRhs constraint of 'Assignment'.
boolean	validateAssignment_leftHandSideRefersOutputPin(Assignment assignment, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the leftHandSideRefersOutputPin constraint of 'Assignment'.
boolean	validateAssignment_literalWildcardHasToBeOnLhsAndRhs(Assignment assignment, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the literalWildcardHasToBeOnLhsAndRhs constraint of 'Assignment'.
boolean	validateBehaviorDefinition(BehaviorDefinition behaviorDefinition, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCharacteristic(Characteristic characteristic, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCharacteristicType(CharacteristicType characteristicType, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDataDictionaryCharacterized(DataDictionaryCharacterized dataDictionaryCharacterized, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEntity(Entity entity, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEnumCharacteristic(EnumCharacteristic enumCharacteristic, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEnumCharacteristicType(EnumCharacteristicType enumCharacteristicType, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEnumeration(Enumeration enumeration, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLiteral(Literal literal, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePin(Pin pin, 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 DataDictionaryCharacterizedValidator 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.

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.

identifierValidator

protected de.uka.ipd.sdq.identifier.util.IdentifierValidator identifierValidator

The cached base package validator.

Generated class or method.

ASSIGNMENT__LEFT_HAND_SIDE_REFERS_OUTPUT_PIN__EEXPRESSION

protected static final String ASSIGNMENT__LEFT_HAND_SIDE_REFERS_OUTPUT_PIN__EEXPRESSION

The cached validation expression for the leftHandSideRefersOutputPin constraint of 'Assignment'.

See Also:

Constant Field Values

Generated class or method.

ASSIGNMENT__CHARACTERISTIC_WILDCARD_HAS_TO_BE_ON_LHS_AND_RHS__EEXPRESSION

protected static final String ASSIGNMENT__CHARACTERISTIC_WILDCARD_HAS_TO_BE_ON_LHS_AND_RHS__EEXPRESSION

The cached validation expression for the characteristicWildcardHasToBeOnLhsAndRhs constraint of 'Assignment'.

See Also:

Constant Field Values

Generated class or method.

ASSIGNMENT__LITERAL_WILDCARD_HAS_TO_BE_ON_LHS_AND_RHS__EEXPRESSION

protected static final String ASSIGNMENT__LITERAL_WILDCARD_HAS_TO_BE_ON_LHS_AND_RHS__EEXPRESSION

The cached validation expression for the literalWildcardHasToBeOnLhsAndRhs constraint of 'Assignment'.

See Also:

Constant Field Values

Generated class or method.

Constructor Detail

DataDictionaryCharacterizedValidator

public DataDictionaryCharacterizedValidator()

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.

validateEntity

public boolean validateEntity(Entity entity,
                              DiagnosticChain diagnostics,
                              Map<Object,Object> context)

Generated class or method.

validateDataDictionaryCharacterized

public boolean validateDataDictionaryCharacterized(DataDictionaryCharacterized dataDictionaryCharacterized,
                                                   DiagnosticChain diagnostics,
                                                   Map<Object,Object> context)

Generated class or method.

validateCharacteristicType

public boolean validateCharacteristicType(CharacteristicType characteristicType,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

Generated class or method.

validateEnumCharacteristicType

public boolean validateEnumCharacteristicType(EnumCharacteristicType enumCharacteristicType,
                                              DiagnosticChain diagnostics,
                                              Map<Object,Object> context)

Generated class or method.

validateEnumeration

public boolean validateEnumeration(Enumeration enumeration,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

Generated class or method.

validateLiteral

public boolean validateLiteral(Literal literal,
                               DiagnosticChain diagnostics,
                               Map<Object,Object> context)

Generated class or method.

validateBehaviorDefinition

public boolean validateBehaviorDefinition(BehaviorDefinition behaviorDefinition,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

Generated class or method.

validatePin

public boolean validatePin(Pin pin,
                           DiagnosticChain diagnostics,
                           Map<Object,Object> context)

Generated class or method.

validateAssignment

public boolean validateAssignment(Assignment assignment,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

Generated class or method.

validateAssignment_leftHandSideRefersOutputPin

public boolean validateAssignment_leftHandSideRefersOutputPin(Assignment assignment,
                                                              DiagnosticChain diagnostics,
                                                              Map<Object,Object> context)

Validates the leftHandSideRefersOutputPin constraint of 'Assignment'.

Generated class or method.

validateAssignment_characteristicWildcardHasToBeOnLhsAndRhs

public boolean validateAssignment_characteristicWildcardHasToBeOnLhsAndRhs(Assignment assignment,
                                                                           DiagnosticChain diagnostics,
                                                                           Map<Object,Object> context)

Validates the characteristicWildcardHasToBeOnLhsAndRhs constraint of 'Assignment'.

Generated class or method.

validateAssignment_literalWildcardHasToBeOnLhsAndRhs

public boolean validateAssignment_literalWildcardHasToBeOnLhsAndRhs(Assignment assignment,
                                                                    DiagnosticChain diagnostics,
                                                                    Map<Object,Object> context)

Validates the literalWildcardHasToBeOnLhsAndRhs constraint of 'Assignment'.

Generated class or method.

validateCharacteristic

public boolean validateCharacteristic(Characteristic characteristic,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

Generated class or method.

validateEnumCharacteristic

public boolean validateEnumCharacteristic(EnumCharacteristic enumCharacteristic,
                                          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.