Package de.uka.ipd.sdq.pcm.designdecision.util

Class designdecisionValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

de.uka.ipd.sdq.pcm.designdecision.util.designdecisionValidator

All Implemented Interfaces:

EValidator

public class designdecisionValidator
extends EObjectValidator

The Validator for the model.

See Also:

• designdecisionPackage

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
static final int	CANDIDATES__NUMBER_OF_CHOICES_MUST_EQUAL_NUMBER_OF_DECISIONS	The code for constraint 'Number Of Choices Must Equal Number Of Decisions' of 'Candidates'.
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.
static final designdecisionValidator	INSTANCE	The cached model package

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
designdecisionValidator()	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	validateBoolChoice(BoolChoice boolChoice, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCandidate(Candidate candidate, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCandidates(Candidates candidates, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCandidates_numberOfChoicesMustEqualNumberOfDecisions(Candidates candidates, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the numberOfChoicesMustEqualNumberOfDecisions constraint of 'Candidates'.
boolean	validateChoice(Choice choice, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateClassChoice(ClassChoice classChoice, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateContinousRangeChoice(ContinousRangeChoice continousRangeChoice, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDecisionSpace(DecisionSpace decisionSpace, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDegreeOfFreedomInstance(DegreeOfFreedomInstance degreeOfFreedomInstance, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateDiscreteRangeChoice(DiscreteRangeChoice discreteRangeChoice, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFeatureChoice(FeatureChoice featureChoice, 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 Details

INSTANCE

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

CANDIDATES__NUMBER_OF_CHOICES_MUST_EQUAL_NUMBER_OF_DECISIONS

public static final int CANDIDATES__NUMBER_OF_CHOICES_MUST_EQUAL_NUMBER_OF_DECISIONS

The code for constraint 'Number Of Choices Must Equal Number Of Decisions' of 'Candidates'.

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 Details

designdecisionValidator

public designdecisionValidator()

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.

validateDiscreteRangeChoice

public boolean validateDiscreteRangeChoice(DiscreteRangeChoice discreteRangeChoice,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateDegreeOfFreedomInstance

public boolean validateDegreeOfFreedomInstance(DegreeOfFreedomInstance degreeOfFreedomInstance,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateChoice

public boolean validateChoice(Choice choice,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateClassChoice

public boolean validateClassChoice(ClassChoice classChoice,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateContinousRangeChoice

public boolean validateContinousRangeChoice(ContinousRangeChoice continousRangeChoice,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateDecisionSpace

public boolean validateDecisionSpace(DecisionSpace decisionSpace,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateCandidate

public boolean validateCandidate(Candidate candidate,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateCandidates

public boolean validateCandidates(Candidates candidates,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateCandidates_numberOfChoicesMustEqualNumberOfDecisions

public boolean validateCandidates_numberOfChoicesMustEqualNumberOfDecisions(Candidates candidates,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Validates the numberOfChoicesMustEqualNumberOfDecisions constraint of 'Candidates'.

Generated class or method.

validateBoolChoice

public boolean validateBoolChoice(BoolChoice boolChoice,
 DiagnosticChain diagnostics,
 Map<Object,Object> context)

Generated class or method.

validateFeatureChoice

public boolean validateFeatureChoice(FeatureChoice featureChoice,
 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.