Package org.modelversioning.emfprofile.util

Class EMFProfileValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

org.modelversioning.emfprofile.util.EMFProfileValidator

All Implemented Interfaces:

EValidator

public class EMFProfileValidator
extends EObjectValidator

The Validator for the model.

See Also:

• EMFProfilePackage

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 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.
static final String	DIAGNOSTIC_SOURCE	A constant for the source of diagnostic codes from this package.
protected EcoreValidator	ecoreValidator	The cached base package validator.
protected static final String	EXTENSION__REDEFINED_IN_SUPER_STEREOTYPE__EEXPRESSION	The cached validation expression for the redefinedInSuperStereotype constraint of 'Extension'.
protected static final String	EXTENSION__REDEFINING_TARGET_MUST_BE_SUBCLASS_OF_REDEFINED_TARGET__EEXPRESSION	The cached validation expression for the redefiningTargetMustBeSubclassOfRedefinedTarget constraint of 'Extension'.
protected static final String	EXTENSION__SUBSETTED_IN_SUPER_STEREOTYPE__EEXPRESSION	The cached validation expression for the subsettedInSuperStereotype constraint of 'Extension'.
protected static final String	EXTENSION__SUBSETTED_MUST_HAVE_HIGHER_OR_EQUAL_UPPER_BOUND__EEXPRESSION	The cached validation expression for the subsettedMustHaveHigherOrEqualUpperBound constraint of 'Extension'.
protected static final String	EXTENSION__SUBSETTING_TARGET_MUST_BE_SUBCLASS_OF_SUBSETTED_TARGET__EEXPRESSION	The cached validation expression for the subsettingTargetMustBeSubclassOfSubsettedTarget constraint of 'Extension'.
static final EMFProfileValidator	INSTANCE	The cached model package
protected static final String	STEREOTYPE__UNIQUE_EXTENSIONS__EEXPRESSION	The cached validation expression for the uniqueExtensions constraint of 'Stereotype'.

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
EMFProfileValidator()	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	validateExtension(Extension extension, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateExtension_redefinedInSuperStereotype(Extension extension, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the redefinedInSuperStereotype constraint of 'Extension'.
boolean	validateExtension_redefiningTargetMustBeSubclassOfRedefinedTarget(Extension extension, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the redefiningTargetMustBeSubclassOfRedefinedTarget constraint of 'Extension'.
boolean	validateExtension_subsettedInSuperStereotype(Extension extension, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the subsettedInSuperStereotype constraint of 'Extension'.
boolean	validateExtension_subsettedMustHaveHigherOrEqualUpperBound(Extension extension, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the subsettedMustHaveHigherOrEqualUpperBound constraint of 'Extension'.
boolean	validateExtension_subsettingTargetMustBeSubclassOfSubsettedTarget(Extension extension, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the subsettingTargetMustBeSubclassOfSubsettedTarget constraint of 'Extension'.
boolean	validateProfile(Profile profile, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateStereotype(Stereotype stereotype, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateStereotype_uniqueExtensions(Stereotype stereotype, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the uniqueExtensions constraint of 'Stereotype'.

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 Details

INSTANCE

public static final EMFProfileValidator 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.

ecoreValidator

protected EcoreValidator ecoreValidator

The cached base package validator.

Generated class or method.

STEREOTYPE__UNIQUE_EXTENSIONS__EEXPRESSION

protected static final String STEREOTYPE__UNIQUE_EXTENSIONS__EEXPRESSION

The cached validation expression for the uniqueExtensions constraint of 'Stereotype'.

See Also:

• Constant Field Values

Generated class or method.

EXTENSION__REDEFINED_IN_SUPER_STEREOTYPE__EEXPRESSION

protected static final String EXTENSION__REDEFINED_IN_SUPER_STEREOTYPE__EEXPRESSION

The cached validation expression for the redefinedInSuperStereotype constraint of 'Extension'.

See Also:

• Constant Field Values

Generated class or method.

EXTENSION__SUBSETTED_IN_SUPER_STEREOTYPE__EEXPRESSION

protected static final String EXTENSION__SUBSETTED_IN_SUPER_STEREOTYPE__EEXPRESSION

The cached validation expression for the subsettedInSuperStereotype constraint of 'Extension'.

See Also:

• Constant Field Values

Generated class or method.

EXTENSION__SUBSETTED_MUST_HAVE_HIGHER_OR_EQUAL_UPPER_BOUND__EEXPRESSION

protected static final String EXTENSION__SUBSETTED_MUST_HAVE_HIGHER_OR_EQUAL_UPPER_BOUND__EEXPRESSION

The cached validation expression for the subsettedMustHaveHigherOrEqualUpperBound constraint of 'Extension'.

See Also:

• Constant Field Values

Generated class or method.

EXTENSION__REDEFINING_TARGET_MUST_BE_SUBCLASS_OF_REDEFINED_TARGET__EEXPRESSION

protected static final String EXTENSION__REDEFINING_TARGET_MUST_BE_SUBCLASS_OF_REDEFINED_TARGET__EEXPRESSION

The cached validation expression for the redefiningTargetMustBeSubclassOfRedefinedTarget constraint of 'Extension'.

See Also:

• Constant Field Values

Generated class or method.

EXTENSION__SUBSETTING_TARGET_MUST_BE_SUBCLASS_OF_SUBSETTED_TARGET__EEXPRESSION

protected static final String EXTENSION__SUBSETTING_TARGET_MUST_BE_SUBCLASS_OF_SUBSETTED_TARGET__EEXPRESSION

The cached validation expression for the subsettingTargetMustBeSubclassOfSubsettedTarget constraint of 'Extension'.

See Also:

• Constant Field Values

Generated class or method.

Constructor Details

EMFProfileValidator

public EMFProfileValidator()

Creates an instance of the switch.

Generated class or method.

Method Details

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.

validateProfile

public boolean validateProfile(Profile profile,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateStereotype

public boolean validateStereotype(Stereotype stereotype,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateStereotype_uniqueExtensions

public boolean validateStereotype_uniqueExtensions(Stereotype stereotype,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the uniqueExtensions constraint of 'Stereotype'.

Generated class or method.

validateExtension

public boolean validateExtension(Extension extension,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateExtension_redefinedInSuperStereotype

public boolean validateExtension_redefinedInSuperStereotype(Extension extension,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the redefinedInSuperStereotype constraint of 'Extension'.

Generated class or method.

validateExtension_subsettedInSuperStereotype

public boolean validateExtension_subsettedInSuperStereotype(Extension extension,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the subsettedInSuperStereotype constraint of 'Extension'.

Generated class or method.

validateExtension_subsettedMustHaveHigherOrEqualUpperBound

public boolean validateExtension_subsettedMustHaveHigherOrEqualUpperBound(Extension extension,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the subsettedMustHaveHigherOrEqualUpperBound constraint of 'Extension'.

Generated class or method.

validateExtension_redefiningTargetMustBeSubclassOfRedefinedTarget

public boolean validateExtension_redefiningTargetMustBeSubclassOfRedefinedTarget(Extension extension,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the redefiningTargetMustBeSubclassOfRedefinedTarget constraint of 'Extension'.

Generated class or method.

validateExtension_subsettingTargetMustBeSubclassOfSubsettedTarget

public boolean validateExtension_subsettingTargetMustBeSubclassOfSubsettedTarget(Extension extension,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the subsettingTargetMustBeSubclassOfSubsettedTarget constraint of 'Extension'.

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.