Package de.uka.ipd.sdq.dsexplore.qml.profile.QMLProfile.util

Class QMLProfileValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

de.uka.ipd.sdq.dsexplore.qml.profile.QMLProfile.util.QMLProfileValidator

All Implemented Interfaces:

EValidator

public class QMLProfileValidator
extends EObjectValidator

The Validator for the model.

See Also:

QMLProfilePackage

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 QMLProfileValidator	INSTANCE	The cached model package
static int	REFINED_QML_PROFILE__PROFILE_CANNOT_REFINE_ITSELF	The code for constraint 'Profile cannot refine itself' of 'Refined QML Profile'.

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
QMLProfileValidator()	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	validateEntryLevelSystemCallRequirement(EntryLevelSystemCallRequirement entryLevelSystemCallRequirement, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateGenericQMLProfile(GenericQMLProfile genericQMLProfile, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateRefinedQMLProfile(RefinedQMLProfile refinedQMLProfile, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateRefinedQMLProfile_profile_cannot_refine_itself(RefinedQMLProfile refinedQMLProfile, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the profile_cannot_refine_itself constraint of 'Refined QML Profile'.
boolean	validateRequirement(Requirement requirement, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSimpleQMLProfile(SimpleQMLProfile simpleQMLProfile, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUsageScenarioRequirement(UsageScenarioRequirement usageScenarioRequirement, 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INSTANCE

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

REFINED_QML_PROFILE__PROFILE_CANNOT_REFINE_ITSELF

public static final int REFINED_QML_PROFILE__PROFILE_CANNOT_REFINE_ITSELF

The code for constraint 'Profile cannot refine itself' of 'Refined QML Profile'.

See Also:

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.

Constructor Detail

QMLProfileValidator

public QMLProfileValidator()

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.

validateSimpleQMLProfile

public boolean validateSimpleQMLProfile(SimpleQMLProfile simpleQMLProfile,
                                        DiagnosticChain diagnostics,
                                        Map<Object,Object> context)

Generated class or method.

validateGenericQMLProfile

public boolean validateGenericQMLProfile(GenericQMLProfile genericQMLProfile,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

Generated class or method.

validateRequirement

public boolean validateRequirement(Requirement requirement,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

Generated class or method.

validateRefinedQMLProfile

public boolean validateRefinedQMLProfile(RefinedQMLProfile refinedQMLProfile,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

Generated class or method.

validateRefinedQMLProfile_profile_cannot_refine_itself

public boolean validateRefinedQMLProfile_profile_cannot_refine_itself(RefinedQMLProfile refinedQMLProfile,
                                                                      DiagnosticChain diagnostics,
                                                                      Map<Object,Object> context)

Validates the profile_cannot_refine_itself constraint of 'Refined QML Profile'.

Generated class or method.

validateUsageScenarioRequirement

public boolean validateUsageScenarioRequirement(UsageScenarioRequirement usageScenarioRequirement,
                                                DiagnosticChain diagnostics,
                                                Map<Object,Object> context)

Generated class or method.

validateEntryLevelSystemCallRequirement

public boolean validateEntryLevelSystemCallRequirement(EntryLevelSystemCallRequirement entryLevelSystemCallRequirement,
                                                       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.