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
The Validator for the model.
- See Also:
- 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
Modifier and TypeFieldDescriptionprotected static final int
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
static final QMLProfileValidator
The cached model packagestatic final int
Thecode
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
-
Method Summary
Modifier and TypeMethodDescriptionprotected EPackage
Returns the package of this validator switch.Returns the resource locator that will be used to fetch messages for this validator's diagnostics.protected boolean
CallsvalidateXXX
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
-
Field Details
-
INSTANCE
The cached model package- Generated class or method.
-
DIAGNOSTIC_SOURCE
- See Also:
- Generated class or method.
-
REFINED_QML_PROFILE__PROFILE_CANNOT_REFINE_ITSELF
public static final int REFINED_QML_PROFILE__PROFILE_CANNOT_REFINE_ITSELFThecode
for constraint 'Profile cannot refine itself' of 'Refined QML Profile'.- See Also:
- Generated class or method.
-
DIAGNOSTIC_CODE_COUNT
protected static final int DIAGNOSTIC_CODE_COUNTA constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.- See Also:
- Generated class or method.
-
-
Constructor Details
-
QMLProfileValidator
public QMLProfileValidator()Creates an instance of the switch.- Generated class or method.
-
-
Method Details
-
getEPackage
Returns the package of this validator switch.- Overrides:
getEPackage
in classEObjectValidator
- Generated class or method.
-
validate
protected boolean validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object, Object> context) CallsvalidateXXX
for the corresponding classifier of the model.- Overrides:
validate
in classEObjectValidator
- 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
Returns the resource locator that will be used to fetch messages for this validator's diagnostics.- Overrides:
getResourceLocator
in classEObjectValidator
- Generated class or method.
-