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

Class ExpressionsValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.palladiosimulator.dataflow.dictionary.characterized.DataDictionaryCharacterized.expressions.util.ExpressionsValidator

All Implemented Interfaces:

EValidator

public class ExpressionsValidator
extends EObjectValidator

The Validator for the model.

See Also:

ExpressionsPackage

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.
protected static String	ENUM_CHARACTERISTIC_REFERENCE__LITERAL_HAS_TO_BE_WILDCARD_IF_CHARACTERISTIC_IS_WILDCARD__EEXPRESSION	The cached validation expression for the literalHasToBeWildcardIfCharacteristicIsWildcard constraint of 'Enum Characteristic Reference'.
protected de.uka.ipd.sdq.identifier.util.IdentifierValidator	identifierValidator	The cached base package validator.
static ExpressionsValidator	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
ExpressionsValidator()	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	validateAnd(And and, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateBinaryLogicTerm(BinaryLogicTerm binaryLogicTerm, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCharacteristicReference(CharacteristicReference characteristicReference, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateConstant(Constant constant, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateContainerCharacteristicReference(ContainerCharacteristicReference containerCharacteristicReference, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDataCharacteristicReference(DataCharacteristicReference dataCharacteristicReference, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEnumCharacteristicReference(EnumCharacteristicReference enumCharacteristicReference, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEnumCharacteristicReference_literalHasToBeWildcardIfCharacteristicIsWildcard(EnumCharacteristicReference enumCharacteristicReference, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the literalHasToBeWildcardIfCharacteristicIsWildcard constraint of 'Enum Characteristic Reference'.
boolean	validateFalse(False false_, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateLogicTerm(LogicTerm logicTerm, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNot(Not not, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateOr(Or or, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTerm(Term term, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTrue(True true_, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUnaryLogicTerm(UnaryLogicTerm unaryLogicTerm, 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 ExpressionsValidator 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.

ENUM_CHARACTERISTIC_REFERENCE__LITERAL_HAS_TO_BE_WILDCARD_IF_CHARACTERISTIC_IS_WILDCARD__EEXPRESSION

protected static final String ENUM_CHARACTERISTIC_REFERENCE__LITERAL_HAS_TO_BE_WILDCARD_IF_CHARACTERISTIC_IS_WILDCARD__EEXPRESSION

The cached validation expression for the literalHasToBeWildcardIfCharacteristicIsWildcard constraint of 'Enum Characteristic Reference'.

See Also:

Constant Field Values

Generated class or method.

Constructor Detail

ExpressionsValidator

public ExpressionsValidator()

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.

validateTerm

public boolean validateTerm(Term term,
                            DiagnosticChain diagnostics,
                            Map<Object,Object> context)

Generated class or method.

validateConstant

public boolean validateConstant(Constant constant,
                                DiagnosticChain diagnostics,
                                Map<Object,Object> context)

Generated class or method.

validateTrue

public boolean validateTrue(True true_,
                            DiagnosticChain diagnostics,
                            Map<Object,Object> context)

Generated class or method.

validateFalse

public boolean validateFalse(False false_,
                             DiagnosticChain diagnostics,
                             Map<Object,Object> context)

Generated class or method.

validateLogicTerm

public boolean validateLogicTerm(LogicTerm logicTerm,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

Generated class or method.

validateUnaryLogicTerm

public boolean validateUnaryLogicTerm(UnaryLogicTerm unaryLogicTerm,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

Generated class or method.

validateNot

public boolean validateNot(Not not,
                           DiagnosticChain diagnostics,
                           Map<Object,Object> context)

Generated class or method.

validateBinaryLogicTerm

public boolean validateBinaryLogicTerm(BinaryLogicTerm binaryLogicTerm,
                                       DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

Generated class or method.

validateAnd

public boolean validateAnd(And and,
                           DiagnosticChain diagnostics,
                           Map<Object,Object> context)

Generated class or method.

validateOr

public boolean validateOr(Or or,
                          DiagnosticChain diagnostics,
                          Map<Object,Object> context)

Generated class or method.

validateCharacteristicReference

public boolean validateCharacteristicReference(CharacteristicReference characteristicReference,
                                               DiagnosticChain diagnostics,
                                               Map<Object,Object> context)

Generated class or method.

validateEnumCharacteristicReference

public boolean validateEnumCharacteristicReference(EnumCharacteristicReference enumCharacteristicReference,
                                                   DiagnosticChain diagnostics,
                                                   Map<Object,Object> context)

Generated class or method.

validateEnumCharacteristicReference_literalHasToBeWildcardIfCharacteristicIsWildcard

public boolean validateEnumCharacteristicReference_literalHasToBeWildcardIfCharacteristicIsWildcard(EnumCharacteristicReference enumCharacteristicReference,
                                                                                                    DiagnosticChain diagnostics,
                                                                                                    Map<Object,Object> context)

Validates the literalHasToBeWildcardIfCharacteristicIsWildcard constraint of 'Enum Characteristic Reference'.

Generated class or method.

validateContainerCharacteristicReference

public boolean validateContainerCharacteristicReference(ContainerCharacteristicReference containerCharacteristicReference,
                                                        DiagnosticChain diagnostics,
                                                        Map<Object,Object> context)

Generated class or method.

validateDataCharacteristicReference

public boolean validateDataCharacteristicReference(DataCharacteristicReference dataCharacteristicReference,
                                                   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.