Package tools.mdsd.characteristics.manifestation.util

Class ManifestationValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

tools.mdsd.characteristics.manifestation.util.ManifestationValidator

All Implemented Interfaces:

EValidator

public class ManifestationValidator
extends EObjectValidator

The Validator for the model.

See Also:

ManifestationPackage

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.
static ManifestationValidator	INSTANCE	The cached model package
protected static java.lang.String	MANIFESTATION__MANIFESTATION_MUST_PRODUCE_SAMPLES_OF_THE_CORRECT_VALUE_TYPE__EEXPRESSION	The cached validation expression for the ManifestationMustProduceSamplesOfTheCorrectValueType constraint of 'Manifestation'.

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
ManifestationValidator()	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	validateCategoricalProbabilityMassFunction(CategoricalProbabilityMassFunction categoricalProbabilityMassFunction, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateCategory(Category category, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateDerivedManifestation(DerivedManifestation derivedManifestation, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateDiscreteProbabilityDistributionManifestation(DiscreteProbabilityDistributionManifestation discreteProbabilityDistributionManifestation, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateEManifestationObject(java.lang.Object eManifestationObject, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateManifestation(Manifestation manifestation, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateManifestation_ManifestationMustProduceSamplesOfTheCorrectValueType(Manifestation manifestation, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)	Validates the ManifestationMustProduceSamplesOfTheCorrectValueType constraint of 'Manifestation'.
boolean	validateProbabilisticManifestation(ProbabilisticManifestation probabilisticManifestation, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSingleValue(SingleValue singleValue, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateStaticManifestation(StaticManifestation staticManifestation, 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 ManifestationValidator 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.

MANIFESTATION__MANIFESTATION_MUST_PRODUCE_SAMPLES_OF_THE_CORRECT_VALUE_TYPE__EEXPRESSION

protected static final java.lang.String MANIFESTATION__MANIFESTATION_MUST_PRODUCE_SAMPLES_OF_THE_CORRECT_VALUE_TYPE__EEXPRESSION

The cached validation expression for the ManifestationMustProduceSamplesOfTheCorrectValueType constraint of 'Manifestation'.

See Also:

Constant Field Values

Generated class or method.

Constructor Detail

ManifestationValidator

public ManifestationValidator()

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.

validateDerivedManifestation

public boolean validateDerivedManifestation(DerivedManifestation derivedManifestation,
                                            DiagnosticChain diagnostics,
                                            java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateManifestation

public boolean validateManifestation(Manifestation manifestation,
                                     DiagnosticChain diagnostics,
                                     java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateManifestation_ManifestationMustProduceSamplesOfTheCorrectValueType

public boolean validateManifestation_ManifestationMustProduceSamplesOfTheCorrectValueType(Manifestation manifestation,
                                                                                          DiagnosticChain diagnostics,
                                                                                          java.util.Map<java.lang.Object,java.lang.Object> context)

Validates the ManifestationMustProduceSamplesOfTheCorrectValueType constraint of 'Manifestation'.

Generated class or method.

validateProbabilisticManifestation

public boolean validateProbabilisticManifestation(ProbabilisticManifestation probabilisticManifestation,
                                                  DiagnosticChain diagnostics,
                                                  java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateDiscreteProbabilityDistributionManifestation

public boolean validateDiscreteProbabilityDistributionManifestation(DiscreteProbabilityDistributionManifestation discreteProbabilityDistributionManifestation,
                                                                    DiagnosticChain diagnostics,
                                                                    java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateStaticManifestation

public boolean validateStaticManifestation(StaticManifestation staticManifestation,
                                           DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateSingleValue

public boolean validateSingleValue(SingleValue singleValue,
                                   DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateCategoricalProbabilityMassFunction

public boolean validateCategoricalProbabilityMassFunction(CategoricalProbabilityMassFunction categoricalProbabilityMassFunction,
                                                          DiagnosticChain diagnostics,
                                                          java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateCategory

public boolean validateCategory(Category category,
                                DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated class or method.

validateEManifestationObject

public boolean validateEManifestationObject(java.lang.Object eManifestationObject,
                                            DiagnosticChain diagnostics,
                                            java.util.Map<java.lang.Object,java.lang.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.