Package org.modelversioning.emfprofileapplication.util

Class EMFProfileApplicationValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.modelversioning.emfprofileapplication.util.EMFProfileApplicationValidator

All Implemented Interfaces:

EValidator

public class EMFProfileApplicationValidator
extends EObjectValidator

The Validator for the model.

See Also:

EMFProfileApplicationPackage

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.
static EMFProfileApplicationValidator	INSTANCE	The cached model package
static int	VIOLATED_LOWER_BOUND
static int	VIOLATED_UPPER_BOUND

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
EMFProfileApplicationValidator()	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	validateProfileApplication(ProfileApplication profileApplication, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateProfileApplication_violatedLowerBound(ProfileApplication profileApplication, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the violatedLowerBound constraint of ' Profile Application'.
boolean	validateProfileApplication_violatedUpperBound(ProfileApplication profileApplication, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the violatedUpperBound constraint of ' Profile Application'.
boolean	validateProfileImport(ProfileImport profileImport, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateStereotypeApplicability(StereotypeApplicability stereotypeApplicability, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateStereotypeApplication(StereotypeApplication stereotypeApplication, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateStereotypeApplication_appliedInapplicableExtension(StereotypeApplication stereotypeApplication, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the appliedInapplicableExtension constraint of ' Stereotype Application'.

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 EMFProfileApplicationValidator 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.

VIOLATED_UPPER_BOUND

public static final int VIOLATED_UPPER_BOUND

See Also:

Constant Field Values

VIOLATED_LOWER_BOUND

public static final int VIOLATED_LOWER_BOUND

See Also:

Constant Field Values

Constructor Detail

EMFProfileApplicationValidator

public EMFProfileApplicationValidator()

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.

validateProfileApplication

public boolean validateProfileApplication(ProfileApplication profileApplication,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

Generated class or method.

validateProfileApplication_violatedUpperBound

public boolean validateProfileApplication_violatedUpperBound(ProfileApplication profileApplication,
                                                             DiagnosticChain diagnostics,
                                                             Map<Object,Object> context)

Validates the violatedUpperBound constraint of ' Profile Application'.

Generated class or method.

NOT

validateProfileApplication_violatedLowerBound

public boolean validateProfileApplication_violatedLowerBound(ProfileApplication profileApplication,
                                                             DiagnosticChain diagnostics,
                                                             Map<Object,Object> context)

Validates the violatedLowerBound constraint of ' Profile Application'.

Generated class or method.

NOT

validateProfileImport

public boolean validateProfileImport(ProfileImport profileImport,
                                     DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

Generated class or method.

validateStereotypeApplication

public boolean validateStereotypeApplication(StereotypeApplication stereotypeApplication,
                                             DiagnosticChain diagnostics,
                                             Map<Object,Object> context)

Generated class or method.

validateStereotypeApplication_appliedInapplicableExtension

public boolean validateStereotypeApplication_appliedInapplicableExtension(StereotypeApplication stereotypeApplication,
                                                                          DiagnosticChain diagnostics,
                                                                          Map<Object,Object> context)

Validates the appliedInapplicableExtension constraint of ' Stereotype Application'.

Generated class or method.

NOT

validateStereotypeApplicability

public boolean validateStereotypeApplicability(StereotypeApplicability stereotypeApplicability,
                                               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.

NOT