Package de.uka.ipd.sdq.dsexplore.qml.contract.QMLContract.util

Class QMLContractValidator

java.lang.Object

org.eclipse.emf.ecore.util.EObjectValidator

de.uka.ipd.sdq.dsexplore.qml.contract.QMLContract.util.QMLContractValidator

All Implemented Interfaces:

EValidator

public class QMLContractValidator
extends EObjectValidator

The Validator for the model.

See Also:

QMLContractPackage

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 int	CONSTRAINT__ALL_ASPECTS_OF_CONSTRAINTS_HAVE_RESTRICTIONS	The code for constraint 'All ASPECTS of CONSTRAINTS have RESTRICTIONS' of 'Constraint'.
static int	CRITERION__FREQUENCY_ONLY_POSSIBLE_IF_DIMENSION_IS_ORDERED	The code for constraint 'FREQUENCY only possible if DIMENSION is ordered' of 'Criterion'.
static int	CRITERION__ONLY_CONSTRAINTS_HAVE_RESTRICTIONS	The code for constraint 'Only CONSTRAINTS have RESTRICTIONS' of 'Criterion'.
static int	CRITERION__ONLY_OBJECTIVES_HAVE_GOALS	The code for constraint 'Only OBJECTIVES have GOALS' of 'Criterion'.
static int	CRITERION__POINTESTIMATOR_ONLY_FOR_NUMERIC_DIMENSIONS	The code for constraint 'POINTESTIMATOR only for numeric dimensions' of 'Criterion'.
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 int	EVALUATION_ASPECT__FREQUENCY_LIMIT_MUST_BE_BETWEEN_0AND_100	The code for constraint 'FREQUENCY LIMIT must be between 0and 100' of 'Evaluation Aspect'.
static int	EVALUATION_ASPECT__FREQUENCY_LIMIT_MUST_BE_NUMERIC	The code for constraint 'FREQUENCY LIMIT must be NUMERIC' of 'Evaluation Aspect'.
static int	FREQUENCY__RANGE_OF_FREQUENCY_MUST_HAVE_UPPERLIMIT_OR_LOWERLIMIT	The code for constraint 'Range of FREQUENCY must have UPPERLIMIT or LOWERLIMIT' of 'Frequency'.
static QMLContractValidator	INSTANCE	The cached model package
static int	PERCENTILE__PERCENTILE_BETWEEN_0AND_100	The code for constraint 'PERCENTILE between 0and 100' of 'Percentile'.
static int	REFINED_QML_CONTRACT__CONTRACT_CANNOT_REFINE_ITSELF	The code for constraint 'Contract cannot refine itself' of 'Refined QML Contract'.
static int	SIMPLE_QML_CONTRACT__ALL_DIMENSIO_NS_MUST_BE_FROM_SAME_CONTRACTTYPE	The code for constraint 'All DIMENSIO Ns must be from same CONTRACTTYPE' of 'Simple QML Contract'.

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
QMLContractValidator()	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	validateAspectRequirement(AspectRequirement aspectRequirement, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateConstraint(Constraint constraint, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateConstraint_All_ASPECTS_of_CONSTRAINTS_have_RESTRICTIONS(Constraint constraint, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the All_ASPECTS_of_CONSTRAINTS_have_RESTRICTIONS constraint of 'Constraint'.
boolean	validateCriterion(Criterion criterion, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCriterion_FREQUENCY_only_possible_if_DIMENSION_is_ordered(Criterion criterion, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the FREQUENCY_only_possible_if_DIMENSION_is_ordered constraint of 'Criterion'.
boolean	validateCriterion_Only_CONSTRAINTS_have_RESTRICTIONS(Criterion criterion, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the Only_CONSTRAINTS_have_RESTRICTIONS constraint of 'Criterion'.
boolean	validateCriterion_Only_OBJECTIVES_have_GOALS(Criterion criterion, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the Only_OBJECTIVES_have_GOALS constraint of 'Criterion'.
boolean	validateCriterion_POINTESTIMATOR_only_for_numeric_dimensions(Criterion criterion, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the POINTESTIMATOR_only_for_numeric_dimensions constraint of 'Criterion'.
boolean	validateDeterministicEvaluationAspect(DeterministicEvaluationAspect deterministicEvaluationAspect, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEnumLiteral(EnumLiteral enumLiteral, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEnumOperator(EnumOperator enumOperator, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEnumRangeValueType(EnumRangeValueType enumRangeValueType, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEvaluationAspect(EvaluationAspect evaluationAspect, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateEvaluationAspect_FREQUENCY_LIMIT_must_be_between_0_and_100(EvaluationAspect evaluationAspect, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the FREQUENCY_LIMIT_must_be_between_0_and_100 constraint of 'Evaluation Aspect'.
boolean	validateEvaluationAspect_FREQUENCY_LIMIT_must_be_NUMERIC(EvaluationAspect evaluationAspect, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the FREQUENCY_LIMIT_must_be_NUMERIC constraint of 'Evaluation Aspect'.
boolean	validateFrequency(Frequency frequency, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateFrequency_range_of_FREQUENCY_must_have_UPPERLIMIT_or_LOWERLIMIT(Frequency frequency, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the range_of_FREQUENCY_must_have_UPPERLIMIT_or_LOWERLIMIT constraint of 'Frequency'.
boolean	validateGenericQMLContract(GenericQMLContract genericQMLContract, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateGoal(Goal goal, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateMean(Mean mean, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNumericLiteral(NumericLiteral numericLiteral, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateObjective(Objective objective, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePercentile(Percentile percentile, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validatePercentile_PERCENTILE_between_0_and_100(Percentile percentile, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the PERCENTILE_between_0_and_100 constraint of 'Percentile'.
boolean	validatePointEstimator(PointEstimator pointEstimator, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateRangeValue(RangeValue rangeValue, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateRefinedQMLContract(RefinedQMLContract refinedQMLContract, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateRefinedQMLContract_contract_cannot_refine_itself(RefinedQMLContract refinedQMLContract, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the contract_cannot_refine_itself constraint of 'Refined QML Contract'.
boolean	validateRestriction(Restriction restriction, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateScaleLiteral(ScaleLiteral<?> scaleLiteral, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSetLiteral(SetLiteral setLiteral, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSimpleQMLContract(SimpleQMLContract simpleQMLContract, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSimpleQMLContract_all_DIMENSIONs_must_be_from_same_CONTRACTTYPE(SimpleQMLContract simpleQMLContract, DiagnosticChain diagnostics, Map<Object,Object> context)	Validates the all_DIMENSIONs_must_be_from_same_CONTRACTTYPE constraint of 'Simple QML Contract'.
boolean	validateStochasticEvaluationAspect(StochasticEvaluationAspect stochasticEvaluationAspect, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateValue(Value value, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateValueLiteral(ValueLiteral valueLiteral, DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateVariance(Variance variance, 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 QMLContractValidator 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.

SIMPLE_QML_CONTRACT__ALL_DIMENSIO_NS_MUST_BE_FROM_SAME_CONTRACTTYPE

public static final int SIMPLE_QML_CONTRACT__ALL_DIMENSIO_NS_MUST_BE_FROM_SAME_CONTRACTTYPE

The code for constraint 'All DIMENSIO Ns must be from same CONTRACTTYPE' of 'Simple QML Contract'.

See Also:

Constant Field Values

Generated class or method.

CRITERION__ONLY_CONSTRAINTS_HAVE_RESTRICTIONS

public static final int CRITERION__ONLY_CONSTRAINTS_HAVE_RESTRICTIONS

The code for constraint 'Only CONSTRAINTS have RESTRICTIONS' of 'Criterion'.

See Also:

Constant Field Values

Generated class or method.

CRITERION__FREQUENCY_ONLY_POSSIBLE_IF_DIMENSION_IS_ORDERED

public static final int CRITERION__FREQUENCY_ONLY_POSSIBLE_IF_DIMENSION_IS_ORDERED

The code for constraint 'FREQUENCY only possible if DIMENSION is ordered' of 'Criterion'.

See Also:

Constant Field Values

Generated class or method.

CRITERION__POINTESTIMATOR_ONLY_FOR_NUMERIC_DIMENSIONS

public static final int CRITERION__POINTESTIMATOR_ONLY_FOR_NUMERIC_DIMENSIONS

The code for constraint 'POINTESTIMATOR only for numeric dimensions' of 'Criterion'.

See Also:

Constant Field Values

Generated class or method.

CRITERION__ONLY_OBJECTIVES_HAVE_GOALS

public static final int CRITERION__ONLY_OBJECTIVES_HAVE_GOALS

The code for constraint 'Only OBJECTIVES have GOALS' of 'Criterion'.

See Also:

Constant Field Values

Generated class or method.

EVALUATION_ASPECT__FREQUENCY_LIMIT_MUST_BE_NUMERIC

public static final int EVALUATION_ASPECT__FREQUENCY_LIMIT_MUST_BE_NUMERIC

The code for constraint 'FREQUENCY LIMIT must be NUMERIC' of 'Evaluation Aspect'.

See Also:

Constant Field Values

Generated class or method.

EVALUATION_ASPECT__FREQUENCY_LIMIT_MUST_BE_BETWEEN_0AND_100

public static final int EVALUATION_ASPECT__FREQUENCY_LIMIT_MUST_BE_BETWEEN_0AND_100

The code for constraint 'FREQUENCY LIMIT must be between 0and 100' of 'Evaluation Aspect'.

See Also:

Constant Field Values

Generated class or method.

PERCENTILE__PERCENTILE_BETWEEN_0AND_100

public static final int PERCENTILE__PERCENTILE_BETWEEN_0AND_100

The code for constraint 'PERCENTILE between 0and 100' of 'Percentile'.

See Also:

Constant Field Values

Generated class or method.

FREQUENCY__RANGE_OF_FREQUENCY_MUST_HAVE_UPPERLIMIT_OR_LOWERLIMIT

public static final int FREQUENCY__RANGE_OF_FREQUENCY_MUST_HAVE_UPPERLIMIT_OR_LOWERLIMIT

The code for constraint 'Range of FREQUENCY must have UPPERLIMIT or LOWERLIMIT' of 'Frequency'.

See Also:

Constant Field Values

Generated class or method.

REFINED_QML_CONTRACT__CONTRACT_CANNOT_REFINE_ITSELF

public static final int REFINED_QML_CONTRACT__CONTRACT_CANNOT_REFINE_ITSELF

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

See Also:

Constant Field Values

Generated class or method.

CONSTRAINT__ALL_ASPECTS_OF_CONSTRAINTS_HAVE_RESTRICTIONS

public static final int CONSTRAINT__ALL_ASPECTS_OF_CONSTRAINTS_HAVE_RESTRICTIONS

The code for constraint 'All ASPECTS of CONSTRAINTS have RESTRICTIONS' of 'Constraint'.

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

QMLContractValidator

public QMLContractValidator()

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.

validateSimpleQMLContract

public boolean validateSimpleQMLContract(SimpleQMLContract simpleQMLContract,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

Generated class or method.

validateSimpleQMLContract_all_DIMENSIONs_must_be_from_same_CONTRACTTYPE

public boolean validateSimpleQMLContract_all_DIMENSIONs_must_be_from_same_CONTRACTTYPE(SimpleQMLContract simpleQMLContract,
                                                                                       DiagnosticChain diagnostics,
                                                                                       Map<Object,Object> context)

Validates the all_DIMENSIONs_must_be_from_same_CONTRACTTYPE constraint of 'Simple QML Contract'.

Generated class or method.

validateCriterion

public boolean validateCriterion(Criterion criterion,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

Generated class or method.

validateCriterion_Only_CONSTRAINTS_have_RESTRICTIONS

public boolean validateCriterion_Only_CONSTRAINTS_have_RESTRICTIONS(Criterion criterion,
                                                                    DiagnosticChain diagnostics,
                                                                    Map<Object,Object> context)

Validates the Only_CONSTRAINTS_have_RESTRICTIONS constraint of 'Criterion'.

Generated class or method.

validateCriterion_FREQUENCY_only_possible_if_DIMENSION_is_ordered

public boolean validateCriterion_FREQUENCY_only_possible_if_DIMENSION_is_ordered(Criterion criterion,
                                                                                 DiagnosticChain diagnostics,
                                                                                 Map<Object,Object> context)

Validates the FREQUENCY_only_possible_if_DIMENSION_is_ordered constraint of 'Criterion'.

Generated class or method.

validateCriterion_POINTESTIMATOR_only_for_numeric_dimensions

public boolean validateCriterion_POINTESTIMATOR_only_for_numeric_dimensions(Criterion criterion,
                                                                            DiagnosticChain diagnostics,
                                                                            Map<Object,Object> context)

Validates the POINTESTIMATOR_only_for_numeric_dimensions constraint of 'Criterion'.

Generated class or method.

validateCriterion_Only_OBJECTIVES_have_GOALS

public boolean validateCriterion_Only_OBJECTIVES_have_GOALS(Criterion criterion,
                                                            DiagnosticChain diagnostics,
                                                            Map<Object,Object> context)

Validates the Only_OBJECTIVES_have_GOALS constraint of 'Criterion'.

Generated class or method.

validateEvaluationAspect

public boolean validateEvaluationAspect(EvaluationAspect evaluationAspect,
                                        DiagnosticChain diagnostics,
                                        Map<Object,Object> context)

Generated class or method.

validateEvaluationAspect_FREQUENCY_LIMIT_must_be_NUMERIC

public boolean validateEvaluationAspect_FREQUENCY_LIMIT_must_be_NUMERIC(EvaluationAspect evaluationAspect,
                                                                        DiagnosticChain diagnostics,
                                                                        Map<Object,Object> context)

Validates the FREQUENCY_LIMIT_must_be_NUMERIC constraint of 'Evaluation Aspect'.

Generated class or method.

validateEvaluationAspect_FREQUENCY_LIMIT_must_be_between_0_and_100

public boolean validateEvaluationAspect_FREQUENCY_LIMIT_must_be_between_0_and_100(EvaluationAspect evaluationAspect,
                                                                                  DiagnosticChain diagnostics,
                                                                                  Map<Object,Object> context)

Validates the FREQUENCY_LIMIT_must_be_between_0_and_100 constraint of 'Evaluation Aspect'.

Generated class or method.

validateAspectRequirement

public boolean validateAspectRequirement(AspectRequirement aspectRequirement,
                                         DiagnosticChain diagnostics,
                                         Map<Object,Object> context)

Generated class or method.

validateValueLiteral

public boolean validateValueLiteral(ValueLiteral valueLiteral,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

Generated class or method.

validatePercentile

public boolean validatePercentile(Percentile percentile,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

Generated class or method.

validatePercentile_PERCENTILE_between_0_and_100

public boolean validatePercentile_PERCENTILE_between_0_and_100(Percentile percentile,
                                                               DiagnosticChain diagnostics,
                                                               Map<Object,Object> context)

Validates the PERCENTILE_between_0_and_100 constraint of 'Percentile'.

Generated class or method.

validatePointEstimator

public boolean validatePointEstimator(PointEstimator pointEstimator,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

Generated class or method.

validateStochasticEvaluationAspect

public boolean validateStochasticEvaluationAspect(StochasticEvaluationAspect stochasticEvaluationAspect,
                                                  DiagnosticChain diagnostics,
                                                  Map<Object,Object> context)

Generated class or method.

validateFrequency

public boolean validateFrequency(Frequency frequency,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

Generated class or method.

validateFrequency_range_of_FREQUENCY_must_have_UPPERLIMIT_or_LOWERLIMIT

public boolean validateFrequency_range_of_FREQUENCY_must_have_UPPERLIMIT_or_LOWERLIMIT(Frequency frequency,
                                                                                       DiagnosticChain diagnostics,
                                                                                       Map<Object,Object> context)

Validates the range_of_FREQUENCY_must_have_UPPERLIMIT_or_LOWERLIMIT constraint of 'Frequency'.

Generated class or method.

validateRangeValue

public boolean validateRangeValue(RangeValue rangeValue,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

Generated class or method.

validateMean

public boolean validateMean(Mean mean,
                            DiagnosticChain diagnostics,
                            Map<Object,Object> context)

Generated class or method.

validateVariance

public boolean validateVariance(Variance variance,
                                DiagnosticChain diagnostics,
                                Map<Object,Object> context)

Generated class or method.

validateNumericLiteral

public boolean validateNumericLiteral(NumericLiteral numericLiteral,
                                      DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

Generated class or method.

validateEnumLiteral

public boolean validateEnumLiteral(EnumLiteral enumLiteral,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

Generated class or method.

validateSetLiteral

public boolean validateSetLiteral(SetLiteral setLiteral,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

Generated class or method.

validateRefinedQMLContract

public boolean validateRefinedQMLContract(RefinedQMLContract refinedQMLContract,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

Generated class or method.

validateRefinedQMLContract_contract_cannot_refine_itself

public boolean validateRefinedQMLContract_contract_cannot_refine_itself(RefinedQMLContract refinedQMLContract,
                                                                        DiagnosticChain diagnostics,
                                                                        Map<Object,Object> context)

Validates the contract_cannot_refine_itself constraint of 'Refined QML Contract'.

Generated class or method.

validateValue

public boolean validateValue(Value value,
                             DiagnosticChain diagnostics,
                             Map<Object,Object> context)

Generated class or method.

validateDeterministicEvaluationAspect

public boolean validateDeterministicEvaluationAspect(DeterministicEvaluationAspect deterministicEvaluationAspect,
                                                     DiagnosticChain diagnostics,
                                                     Map<Object,Object> context)

Generated class or method.

validateObjective

public boolean validateObjective(Objective objective,
                                 DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

Generated class or method.

validateConstraint

public boolean validateConstraint(Constraint constraint,
                                  DiagnosticChain diagnostics,
                                  Map<Object,Object> context)

Generated class or method.

validateConstraint_All_ASPECTS_of_CONSTRAINTS_have_RESTRICTIONS

public boolean validateConstraint_All_ASPECTS_of_CONSTRAINTS_have_RESTRICTIONS(Constraint constraint,
                                                                               DiagnosticChain diagnostics,
                                                                               Map<Object,Object> context)

Validates the All_ASPECTS_of_CONSTRAINTS_have_RESTRICTIONS constraint of 'Constraint'.

Generated class or method.

validateRestriction

public boolean validateRestriction(Restriction restriction,
                                   DiagnosticChain diagnostics,
                                   Map<Object,Object> context)

Generated class or method.

validateGoal

public boolean validateGoal(Goal goal,
                            DiagnosticChain diagnostics,
                            Map<Object,Object> context)

Generated class or method.

validateGenericQMLContract

public boolean validateGenericQMLContract(GenericQMLContract genericQMLContract,
                                          DiagnosticChain diagnostics,
                                          Map<Object,Object> context)

Generated class or method.

validateScaleLiteral

public boolean validateScaleLiteral(ScaleLiteral<?> scaleLiteral,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

Generated class or method.

validateEnumOperator

public boolean validateEnumOperator(EnumOperator enumOperator,
                                    DiagnosticChain diagnostics,
                                    Map<Object,Object> context)

Generated class or method.

validateEnumRangeValueType

public boolean validateEnumRangeValueType(EnumRangeValueType enumRangeValueType,
                                          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.