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
The Validator for the model.
- See Also:
- 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
Modifier and TypeFieldDescriptionprotected static final int
A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.static final String
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'.protected de.uka.ipd.sdq.identifier.util.IdentifierValidator
The cached base package validator.static final ExpressionsValidator
The cached model packageFields 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
-
Method Summary
Modifier and TypeMethodDescriptionprotected EPackage
Returns the package of this validator switch.Returns the resource locator that will be used to fetch messages for this validator's diagnostics.protected boolean
CallsvalidateXXX
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
-
Field Details
-
INSTANCE
The cached model package- Generated class or method.
-
DIAGNOSTIC_SOURCE
- See Also:
- Generated class or method.
-
DIAGNOSTIC_CODE_COUNT
protected static final int DIAGNOSTIC_CODE_COUNTA constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.- See Also:
- Generated class or method.
-
identifierValidator
protected de.uka.ipd.sdq.identifier.util.IdentifierValidator identifierValidatorThe 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__EEXPRESSIONThe cached validation expression for the literalHasToBeWildcardIfCharacteristicIsWildcard constraint of 'Enum Characteristic Reference'.- See Also:
- Generated class or method.
-
-
Constructor Details
-
ExpressionsValidator
public ExpressionsValidator()Creates an instance of the switch.- Generated class or method.
-
-
Method Details
-
getEPackage
Returns the package of this validator switch.- Overrides:
getEPackage
in classEObjectValidator
- Generated class or method.
-
validate
protected boolean validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object, Object> context) CallsvalidateXXX
for the corresponding classifier of the model.- Overrides:
validate
in classEObjectValidator
- Generated class or method.
-
validateTerm
- Generated class or method.
-
validateConstant
public boolean validateConstant(Constant constant, DiagnosticChain diagnostics, Map<Object, Object> context) - Generated class or method.
-
validateTrue
- Generated class or method.
-
validateFalse
- 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
- Generated class or method.
-
validateBinaryLogicTerm
public boolean validateBinaryLogicTerm(BinaryLogicTerm binaryLogicTerm, DiagnosticChain diagnostics, Map<Object, Object> context) - Generated class or method.
-
validateAnd
- Generated class or method.
-
validateOr
- 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
Returns the resource locator that will be used to fetch messages for this validator's diagnostics.- Overrides:
getResourceLocator
in classEObjectValidator
- Generated class or method.
-