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:
Generated class or method.

  • Field Details

    • 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:
      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:
      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:
      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:
      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:
      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:
      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:
      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:
      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:
      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:
      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:
      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:
      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:
      Generated class or method.

  • Constructor Details

    • QMLContractValidator

      public QMLContractValidator()
      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.

    • 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.