Package tools.mdsd.characteristics.valuetype.util

Class ValuetypeValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

tools.mdsd.characteristics.valuetype.util.ValuetypeValidator

All Implemented Interfaces:

EValidator

public class ValuetypeValidator
extends EObjectValidator

The Validator for the model.

See Also:

ValuetypePackage

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 java.lang.String	DIAGNOSTIC_SOURCE	A constant for the source of diagnostic codes from this package.
protected static java.lang.String	ENUM_LITERAL__LITERAL_MUST_DEFINE_EITHER_NAME_OR_VALUE__EEXPRESSION	The cached validation expression for the LiteralMustDefineEitherNameOrValue constraint of 'Enum Literal'.
protected tools.mdsd.modelingfoundations.identifier.util.IdentifierValidator	identifierValidator	The cached base package validator.
static ValuetypeValidator	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
ValuetypeValidator()	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, java.lang.Object value, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)	Calls validateXXX for the corresponding classifier of the model.
boolean	validateBaseValueType(BaseValueType baseValueType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateCollectionValueType(CollectionValueType collectionValueType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateEDataTypeValueType(EDataTypeValueType eDataTypeValueType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateEnumLiteral(EnumLiteral enumLiteral, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateEnumLiteral_LiteralMustDefineEitherNameOrValue(EnumLiteral enumLiteral, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)	Validates the LiteralMustDefineEitherNameOrValue constraint of 'Enum Literal'.
boolean	validateEnumValueType(EnumValueType enumValueType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateStructuredValueType(StructuredValueType structuredValueType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateStructuredValueTypeElement(StructuredValueTypeElement structuredValueTypeElement, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateValueType(ValueType valueType, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateValueTypeAlias(ValueTypeAlias valueTypeAlias, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateValueTypeRepository(ValueTypeRepository valueTypeRepository, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.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 ValuetypeValidator INSTANCE

The cached model package

Generated class or method.

DIAGNOSTIC_SOURCE

public static final java.lang.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 tools.mdsd.modelingfoundations.identifier.util.IdentifierValidator identifierValidator

The cached base package validator.

Generated class or method.

ENUM_LITERAL__LITERAL_MUST_DEFINE_EITHER_NAME_OR_VALUE__EEXPRESSION

protected static final java.lang.String ENUM_LITERAL__LITERAL_MUST_DEFINE_EITHER_NAME_OR_VALUE__EEXPRESSION

The cached validation expression for the LiteralMustDefineEitherNameOrValue constraint of 'Enum Literal'.

See Also:

Constant Field Values

Generated class or method.

Constructor Detail

ValuetypeValidator

public ValuetypeValidator()

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,
                           java.lang.Object value,
                           DiagnosticChain diagnostics,
                           java.util.Map<java.lang.Object,java.lang.Object> context)

Calls validateXXX for the corresponding classifier of the model.

Overrides:

validate in class EObjectValidator

Generated class or method.

validateValueType

public boolean validateValueType(ValueType valueType,
                                 DiagnosticChain diagnostics,
                                 java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateEDataTypeValueType

public boolean validateEDataTypeValueType(EDataTypeValueType eDataTypeValueType,
                                          DiagnosticChain diagnostics,
                                          java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateStructuredValueType

public boolean validateStructuredValueType(StructuredValueType structuredValueType,
                                           DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateBaseValueType

public boolean validateBaseValueType(BaseValueType baseValueType,
                                     DiagnosticChain diagnostics,
                                     java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateEnumValueType

public boolean validateEnumValueType(EnumValueType enumValueType,
                                     DiagnosticChain diagnostics,
                                     java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateCollectionValueType

public boolean validateCollectionValueType(CollectionValueType collectionValueType,
                                           DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateValueTypeRepository

public boolean validateValueTypeRepository(ValueTypeRepository valueTypeRepository,
                                           DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateValueTypeAlias

public boolean validateValueTypeAlias(ValueTypeAlias valueTypeAlias,
                                      DiagnosticChain diagnostics,
                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateStructuredValueTypeElement

public boolean validateStructuredValueTypeElement(StructuredValueTypeElement structuredValueTypeElement,
                                                  DiagnosticChain diagnostics,
                                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateEnumLiteral

public boolean validateEnumLiteral(EnumLiteral enumLiteral,
                                   DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateEnumLiteral_LiteralMustDefineEitherNameOrValue

public boolean validateEnumLiteral_LiteralMustDefineEitherNameOrValue(EnumLiteral enumLiteral,
                                                                      DiagnosticChain diagnostics,
                                                                      java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the LiteralMustDefineEitherNameOrValue constraint of 'Enum Literal'.

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.