EMMA Coverage Report (generated Sun Feb 05 10:43:15 CET 2012)
[all classes][de.uka.ipd.sdq.dsexplore.qml.contract.QMLContract.util]

COVERAGE SUMMARY FOR SOURCE FILE [QMLContractValidator.java]

nameclass, %method, %block, %line, %
QMLContractValidator.java0%   (0/1)0%   (0/41)0%   (0/2813)0%   (0/289)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class QMLContractValidator0%   (0/1)0%   (0/41)0%   (0/2813)0%   (0/289)
<static initializer> 0%   (0/1)0%   (0/5)0%   (0/2)
QMLContractValidator (): void 0%   (0/1)0%   (0/6)0%   (0/3)
getEPackage (): EPackage 0%   (0/1)0%   (0/2)0%   (0/1)
getResourceLocator (): ResourceLocator 0%   (0/1)0%   (0/3)0%   (0/1)
validate (int, Object, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/179)0%   (0/27)
validateAspectRequirement (AspectRequirement, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateConstraint (Constraint, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/153)0%   (0/14)
validateConstraint_All_ASPECTS_of_CONSTRAINTS_have_RESTRICTIONS (Constraint, ... 0%   (0/1)0%   (0/5)0%   (0/1)
validateCriterion (Criterion, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/141)0%   (0/13)
validateCriterion_FREQUENCY_only_possible_if_DIMENSION_is_ordered (Criterion,... 0%   (0/1)0%   (0/5)0%   (0/1)
validateCriterion_Only_CONSTRAINTS_have_RESTRICTIONS (Criterion, DiagnosticCh... 0%   (0/1)0%   (0/5)0%   (0/1)
validateCriterion_Only_OBJECTIVES_have_GOALS (Criterion, DiagnosticChain, Map... 0%   (0/1)0%   (0/5)0%   (0/1)
validateCriterion_POINTESTIMATOR_only_for_numeric_dimensions (Criterion, Diag... 0%   (0/1)0%   (0/5)0%   (0/1)
validateDeterministicEvaluationAspect (DeterministicEvaluationAspect, Diagnos... 0%   (0/1)0%   (0/117)0%   (0/11)
validateEnumLiteral (EnumLiteral, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateEnumOperator (EnumOperator, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/2)0%   (0/1)
validateEnumRangeValueType (EnumRangeValueType, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/2)0%   (0/1)
validateEvaluationAspect (EvaluationAspect, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/117)0%   (0/11)
validateEvaluationAspect_FREQUENCY_LIMIT_must_be_NUMERIC (EvaluationAspect, D... 0%   (0/1)0%   (0/5)0%   (0/1)
validateEvaluationAspect_FREQUENCY_LIMIT_must_be_between_0_and_100 (Evaluatio... 0%   (0/1)0%   (0/5)0%   (0/1)
validateFrequency (Frequency, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/129)0%   (0/12)
validateFrequency_range_of_FREQUENCY_must_have_UPPERLIMIT_or_LOWERLIMIT (Freq... 0%   (0/1)0%   (0/5)0%   (0/1)
validateGenericQMLContract (GenericQMLContract, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateGoal (Goal, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateMean (Mean, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/117)0%   (0/11)
validateNumericLiteral (NumericLiteral, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateObjective (Objective, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/141)0%   (0/13)
validatePercentile (Percentile, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/129)0%   (0/12)
validatePercentile_PERCENTILE_between_0_and_100 (Percentile, DiagnosticChain,... 0%   (0/1)0%   (0/5)0%   (0/1)
validatePointEstimator (PointEstimator, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/117)0%   (0/11)
validateRangeValue (RangeValue, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateRefinedQMLContract (RefinedQMLContract, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/105)0%   (0/10)
validateRefinedQMLContract_contract_cannot_refine_itself (RefinedQMLContract,... 0%   (0/1)0%   (0/5)0%   (0/1)
validateRestriction (Restriction, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateSetLiteral (SetLiteral, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateSimpleQMLContract (SimpleQMLContract, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/105)0%   (0/10)
validateSimpleQMLContract_all_DIMENSIONs_must_be_from_same_CONTRACTTYPE (Simp... 0%   (0/1)0%   (0/5)0%   (0/1)
validateStochasticEvaluationAspect (StochasticEvaluationAspect, DiagnosticCha... 0%   (0/1)0%   (0/117)0%   (0/11)
validateValue (Value, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/117)0%   (0/11)
validateValueLiteral (ValueLiteral, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateVariance (Variance, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/117)0%   (0/11)

1/**
2 * <copyright>
3 * </copyright>
4 *
5 * $Id$
6 */
7package de.uka.ipd.sdq.dsexplore.qml.contract.QMLContract.util;
8 
9import de.uka.ipd.sdq.dsexplore.qml.contract.QMLContract.*;
10 
11import de.uka.ipd.sdq.identifier.util.IdentifierValidator;
12 
13import java.util.Map;
14 
15import org.eclipse.emf.common.util.DiagnosticChain;
16import org.eclipse.emf.common.util.ResourceLocator;
17 
18import org.eclipse.emf.ecore.EPackage;
19 
20import org.eclipse.emf.ecore.util.EObjectValidator;
21 
22/**
23 * <!-- begin-user-doc -->
24 * The <b>Validator</b> for the model.
25 * <!-- end-user-doc -->
26 * @see de.uka.ipd.sdq.dsexplore.qml.contract.QMLContract.QMLContractPackage
27 * @generated
28 */
29public class QMLContractValidator extends EObjectValidator {
30        /**
31         * The cached model package
32         * <!-- begin-user-doc -->
33         * <!-- end-user-doc -->
34         * @generated
35         */
36        public static final QMLContractValidator INSTANCE = new QMLContractValidator();
37 
38        /**
39         * A constant for the {@link org.eclipse.emf.common.util.Diagnostic#getSource() source} of diagnostic {@link org.eclipse.emf.common.util.Diagnostic#getCode() codes} from this package.
40         * <!-- begin-user-doc -->
41         * <!-- end-user-doc -->
42         * @see org.eclipse.emf.common.util.Diagnostic#getSource()
43         * @see org.eclipse.emf.common.util.Diagnostic#getCode()
44         * @generated
45         */
46        public static final String DIAGNOSTIC_SOURCE = "de.uka.ipd.sdq.dsexplore.qml.contract.QMLContract";
47 
48        /**
49         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'All DIMENSIO Ns must be from same CONTRACTTYPE' of 'Simple QML Contract'.
50         * <!-- begin-user-doc -->
51         * <!-- end-user-doc -->
52         * @generated
53         */
54        public static final int SIMPLE_QML_CONTRACT__ALL_DIMENSIO_NS_MUST_BE_FROM_SAME_CONTRACTTYPE = 1;
55 
56        /**
57         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Only CONSTRAINTS have RESTRICTIONS' of 'Criterion'.
58         * <!-- begin-user-doc -->
59         * <!-- end-user-doc -->
60         * @generated
61         */
62        public static final int CRITERION__ONLY_CONSTRAINTS_HAVE_RESTRICTIONS = 2;
63 
64        /**
65         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'FREQUENCY only possible if DIMENSION is ordered' of 'Criterion'.
66         * <!-- begin-user-doc -->
67         * <!-- end-user-doc -->
68         * @generated
69         */
70        public static final int CRITERION__FREQUENCY_ONLY_POSSIBLE_IF_DIMENSION_IS_ORDERED = 3;
71 
72        /**
73         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'POINTESTIMATOR only for numeric dimensions' of 'Criterion'.
74         * <!-- begin-user-doc -->
75         * <!-- end-user-doc -->
76         * @generated
77         */
78        public static final int CRITERION__POINTESTIMATOR_ONLY_FOR_NUMERIC_DIMENSIONS = 4;
79 
80        /**
81         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Only OBJECTIVES have GOALS' of 'Criterion'.
82         * <!-- begin-user-doc -->
83         * <!-- end-user-doc -->
84         * @generated
85         */
86        public static final int CRITERION__ONLY_OBJECTIVES_HAVE_GOALS = 5;
87 
88        /**
89         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'FREQUENCY LIMIT must be NUMERIC' of 'Evaluation Aspect'.
90         * <!-- begin-user-doc -->
91         * <!-- end-user-doc -->
92         * @generated
93         */
94        public static final int EVALUATION_ASPECT__FREQUENCY_LIMIT_MUST_BE_NUMERIC = 6;
95 
96        /**
97         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'FREQUENCY LIMIT must be between 0and 100' of 'Evaluation Aspect'.
98         * <!-- begin-user-doc -->
99         * <!-- end-user-doc -->
100         * @generated
101         */
102        public static final int EVALUATION_ASPECT__FREQUENCY_LIMIT_MUST_BE_BETWEEN_0AND_100 = 7;
103 
104        /**
105         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'PERCENTILE between 0and 100' of 'Percentile'.
106         * <!-- begin-user-doc -->
107         * <!-- end-user-doc -->
108         * @generated
109         */
110        public static final int PERCENTILE__PERCENTILE_BETWEEN_0AND_100 = 8;
111 
112        /**
113         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Range of FREQUENCY must have UPPERLIMIT or LOWERLIMIT' of 'Frequency'.
114         * <!-- begin-user-doc -->
115         * <!-- end-user-doc -->
116         * @generated
117         */
118        public static final int FREQUENCY__RANGE_OF_FREQUENCY_MUST_HAVE_UPPERLIMIT_OR_LOWERLIMIT = 9;
119 
120        /**
121         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Contract cannot refine itself' of 'Refined QML Contract'.
122         * <!-- begin-user-doc -->
123         * <!-- end-user-doc -->
124         * @generated
125         */
126        public static final int REFINED_QML_CONTRACT__CONTRACT_CANNOT_REFINE_ITSELF = 10;
127 
128        /**
129         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'All ASPECTS of CONSTRAINTS have RESTRICTIONS' of 'Constraint'.
130         * <!-- begin-user-doc -->
131         * <!-- end-user-doc -->
132         * @generated
133         */
134        public static final int CONSTRAINT__ALL_ASPECTS_OF_CONSTRAINTS_HAVE_RESTRICTIONS = 11;
135 
136        /**
137         * A constant with a fixed name that can be used as the base value for additional hand written constants.
138         * <!-- begin-user-doc -->
139         * <!-- end-user-doc -->
140         * @generated
141         */
142        private static final int GENERATED_DIAGNOSTIC_CODE_COUNT = 11;
143 
144        /**
145         * A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.
146         * <!-- begin-user-doc -->
147         * <!-- end-user-doc -->
148         * @generated
149         */
150        protected static final int DIAGNOSTIC_CODE_COUNT = GENERATED_DIAGNOSTIC_CODE_COUNT;
151 
152        /**
153         * The cached base package validator.
154         * <!-- begin-user-doc -->
155         * <!-- end-user-doc -->
156         * @generated
157         */
158        protected IdentifierValidator identifierValidator;
159 
160        /**
161         * Creates an instance of the switch.
162         * <!-- begin-user-doc -->
163         * <!-- end-user-doc -->
164         * @generated
165         */
166        public QMLContractValidator() {
167                super();
168                identifierValidator = IdentifierValidator.INSTANCE;
169        }
170 
171        /**
172         * Returns the package of this validator switch.
173         * <!-- begin-user-doc -->
174         * <!-- end-user-doc -->
175         * @generated
176         */
177        @Override
178        protected EPackage getEPackage() {
179          return QMLContractPackage.eINSTANCE;
180        }
181 
182        /**
183         * Calls <code>validateXXX</code> for the corresponding classifier of the model.
184         * <!-- begin-user-doc -->
185         * <!-- end-user-doc -->
186         * @generated
187         */
188        @Override
189        protected boolean validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object, Object> context) {
190                switch (classifierID) {
191                        case QMLContractPackage.SIMPLE_QML_CONTRACT:
192                                return validateSimpleQMLContract((SimpleQMLContract)value, diagnostics, context);
193                        case QMLContractPackage.CRITERION:
194                                return validateCriterion((Criterion)value, diagnostics, context);
195                        case QMLContractPackage.EVALUATION_ASPECT:
196                                return validateEvaluationAspect((EvaluationAspect)value, diagnostics, context);
197                        case QMLContractPackage.ASPECT_REQUIREMENT:
198                                return validateAspectRequirement((AspectRequirement)value, diagnostics, context);
199                        case QMLContractPackage.VALUE_LITERAL:
200                                return validateValueLiteral((ValueLiteral)value, diagnostics, context);
201                        case QMLContractPackage.PERCENTILE:
202                                return validatePercentile((Percentile)value, diagnostics, context);
203                        case QMLContractPackage.POINT_ESTIMATOR:
204                                return validatePointEstimator((PointEstimator)value, diagnostics, context);
205                        case QMLContractPackage.STOCHASTIC_EVALUATION_ASPECT:
206                                return validateStochasticEvaluationAspect((StochasticEvaluationAspect)value, diagnostics, context);
207                        case QMLContractPackage.FREQUENCY:
208                                return validateFrequency((Frequency)value, diagnostics, context);
209                        case QMLContractPackage.RANGE_VALUE:
210                                return validateRangeValue((RangeValue)value, diagnostics, context);
211                        case QMLContractPackage.MEAN:
212                                return validateMean((Mean)value, diagnostics, context);
213                        case QMLContractPackage.VARIANCE:
214                                return validateVariance((Variance)value, diagnostics, context);
215                        case QMLContractPackage.NUMERIC_LITERAL:
216                                return validateNumericLiteral((NumericLiteral)value, diagnostics, context);
217                        case QMLContractPackage.ENUM_LITERAL:
218                                return validateEnumLiteral((EnumLiteral)value, diagnostics, context);
219                        case QMLContractPackage.SET_LITERAL:
220                                return validateSetLiteral((SetLiteral)value, diagnostics, context);
221                        case QMLContractPackage.REFINED_QML_CONTRACT:
222                                return validateRefinedQMLContract((RefinedQMLContract)value, diagnostics, context);
223                        case QMLContractPackage.VALUE:
224                                return validateValue((Value)value, diagnostics, context);
225                        case QMLContractPackage.DETERMINISTIC_EVALUATION_ASPECT:
226                                return validateDeterministicEvaluationAspect((DeterministicEvaluationAspect)value, diagnostics, context);
227                        case QMLContractPackage.OBJECTIVE:
228                                return validateObjective((Objective)value, diagnostics, context);
229                        case QMLContractPackage.CONSTRAINT:
230                                return validateConstraint((Constraint)value, diagnostics, context);
231                        case QMLContractPackage.RESTRICTION:
232                                return validateRestriction((Restriction)value, diagnostics, context);
233                        case QMLContractPackage.GOAL:
234                                return validateGoal((Goal)value, diagnostics, context);
235                        case QMLContractPackage.GENERIC_QML_CONTRACT:
236                                return validateGenericQMLContract((GenericQMLContract)value, diagnostics, context);
237                        case QMLContractPackage.ENUM_OPERATOR:
238                                return validateEnumOperator((EnumOperator)value, diagnostics, context);
239                        case QMLContractPackage.ENUM_RANGE_VALUE_TYPE:
240                                return validateEnumRangeValueType((EnumRangeValueType)value, diagnostics, context);
241                        default:
242                                return true;
243                }
244        }
245 
246        /**
247         * <!-- begin-user-doc -->
248         * <!-- end-user-doc -->
249         * @generated
250         */
251        public boolean validateSimpleQMLContract(SimpleQMLContract simpleQMLContract, DiagnosticChain diagnostics, Map<Object, Object> context) {
252                boolean result = validate_EveryMultiplicityConforms(simpleQMLContract, diagnostics, context);
253                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(simpleQMLContract, diagnostics, context);
254                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(simpleQMLContract, diagnostics, context);
255                if (result || diagnostics != null) result &= validate_EveryProxyResolves(simpleQMLContract, diagnostics, context);
256                if (result || diagnostics != null) result &= validate_UniqueID(simpleQMLContract, diagnostics, context);
257                if (result || diagnostics != null) result &= validate_EveryKeyUnique(simpleQMLContract, diagnostics, context);
258                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(simpleQMLContract, diagnostics, context);
259                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(simpleQMLContract, diagnostics, context);
260                if (result || diagnostics != null) result &= validateSimpleQMLContract_all_DIMENSIONs_must_be_from_same_CONTRACTTYPE(simpleQMLContract, diagnostics, context);
261                return result;
262        }
263 
264        /**
265         * Validates the all_DIMENSIONs_must_be_from_same_CONTRACTTYPE constraint of '<em>Simple QML Contract</em>'.
266         * <!-- begin-user-doc -->
267         * <!-- end-user-doc -->
268         * @generated
269         */
270        public boolean validateSimpleQMLContract_all_DIMENSIONs_must_be_from_same_CONTRACTTYPE(SimpleQMLContract simpleQMLContract, DiagnosticChain diagnostics, Map<Object, Object> context) {
271                return simpleQMLContract.all_DIMENSIONs_must_be_from_same_CONTRACTTYPE(diagnostics, context);
272        }
273 
274        /**
275         * <!-- begin-user-doc -->
276         * <!-- end-user-doc -->
277         * @generated
278         */
279        public boolean validateCriterion(Criterion criterion, DiagnosticChain diagnostics, Map<Object, Object> context) {
280                boolean result = validate_EveryMultiplicityConforms(criterion, diagnostics, context);
281                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(criterion, diagnostics, context);
282                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(criterion, diagnostics, context);
283                if (result || diagnostics != null) result &= validate_EveryProxyResolves(criterion, diagnostics, context);
284                if (result || diagnostics != null) result &= validate_UniqueID(criterion, diagnostics, context);
285                if (result || diagnostics != null) result &= validate_EveryKeyUnique(criterion, diagnostics, context);
286                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(criterion, diagnostics, context);
287                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(criterion, diagnostics, context);
288                if (result || diagnostics != null) result &= validateCriterion_Only_CONSTRAINTS_have_RESTRICTIONS(criterion, diagnostics, context);
289                if (result || diagnostics != null) result &= validateCriterion_FREQUENCY_only_possible_if_DIMENSION_is_ordered(criterion, diagnostics, context);
290                if (result || diagnostics != null) result &= validateCriterion_POINTESTIMATOR_only_for_numeric_dimensions(criterion, diagnostics, context);
291                if (result || diagnostics != null) result &= validateCriterion_Only_OBJECTIVES_have_GOALS(criterion, diagnostics, context);
292                return result;
293        }
294 
295        /**
296         * Validates the Only_CONSTRAINTS_have_RESTRICTIONS constraint of '<em>Criterion</em>'.
297         * <!-- begin-user-doc -->
298         * <!-- end-user-doc -->
299         * @generated
300         */
301        public boolean validateCriterion_Only_CONSTRAINTS_have_RESTRICTIONS(Criterion criterion, DiagnosticChain diagnostics, Map<Object, Object> context) {
302                return criterion.Only_CONSTRAINTS_have_RESTRICTIONS(diagnostics, context);
303        }
304 
305        /**
306         * Validates the FREQUENCY_only_possible_if_DIMENSION_is_ordered constraint of '<em>Criterion</em>'.
307         * <!-- begin-user-doc -->
308         * <!-- end-user-doc -->
309         * @generated
310         */
311        public boolean validateCriterion_FREQUENCY_only_possible_if_DIMENSION_is_ordered(Criterion criterion, DiagnosticChain diagnostics, Map<Object, Object> context) {
312                return criterion.FREQUENCY_only_possible_if_DIMENSION_is_ordered(diagnostics, context);
313        }
314 
315        /**
316         * Validates the POINTESTIMATOR_only_for_numeric_dimensions constraint of '<em>Criterion</em>'.
317         * <!-- begin-user-doc -->
318         * <!-- end-user-doc -->
319         * @generated
320         */
321        public boolean validateCriterion_POINTESTIMATOR_only_for_numeric_dimensions(Criterion criterion, DiagnosticChain diagnostics, Map<Object, Object> context) {
322                return criterion.POINTESTIMATOR_only_for_numeric_dimensions(diagnostics, context);
323        }
324 
325        /**
326         * Validates the Only_OBJECTIVES_have_GOALS constraint of '<em>Criterion</em>'.
327         * <!-- begin-user-doc -->
328         * <!-- end-user-doc -->
329         * @generated
330         */
331        public boolean validateCriterion_Only_OBJECTIVES_have_GOALS(Criterion criterion, DiagnosticChain diagnostics, Map<Object, Object> context) {
332                return criterion.Only_OBJECTIVES_have_GOALS(diagnostics, context);
333        }
334 
335        /**
336         * <!-- begin-user-doc -->
337         * <!-- end-user-doc -->
338         * @generated
339         */
340        public boolean validateEvaluationAspect(EvaluationAspect evaluationAspect, DiagnosticChain diagnostics, Map<Object, Object> context) {
341                boolean result = validate_EveryMultiplicityConforms(evaluationAspect, diagnostics, context);
342                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(evaluationAspect, diagnostics, context);
343                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(evaluationAspect, diagnostics, context);
344                if (result || diagnostics != null) result &= validate_EveryProxyResolves(evaluationAspect, diagnostics, context);
345                if (result || diagnostics != null) result &= validate_UniqueID(evaluationAspect, diagnostics, context);
346                if (result || diagnostics != null) result &= validate_EveryKeyUnique(evaluationAspect, diagnostics, context);
347                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(evaluationAspect, diagnostics, context);
348                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(evaluationAspect, diagnostics, context);
349                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_NUMERIC(evaluationAspect, diagnostics, context);
350                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_between_0_and_100(evaluationAspect, diagnostics, context);
351                return result;
352        }
353 
354        /**
355         * Validates the FREQUENCY_LIMIT_must_be_NUMERIC constraint of '<em>Evaluation Aspect</em>'.
356         * <!-- begin-user-doc -->
357         * <!-- end-user-doc -->
358         * @generated
359         */
360        public boolean validateEvaluationAspect_FREQUENCY_LIMIT_must_be_NUMERIC(EvaluationAspect evaluationAspect, DiagnosticChain diagnostics, Map<Object, Object> context) {
361                return evaluationAspect.FREQUENCY_LIMIT_must_be_NUMERIC(diagnostics, context);
362        }
363 
364        /**
365         * Validates the FREQUENCY_LIMIT_must_be_between_0_and_100 constraint of '<em>Evaluation Aspect</em>'.
366         * <!-- begin-user-doc -->
367         * <!-- end-user-doc -->
368         * @generated
369         */
370        public boolean validateEvaluationAspect_FREQUENCY_LIMIT_must_be_between_0_and_100(EvaluationAspect evaluationAspect, DiagnosticChain diagnostics, Map<Object, Object> context) {
371                return evaluationAspect.FREQUENCY_LIMIT_must_be_between_0_and_100(diagnostics, context);
372        }
373 
374        /**
375         * <!-- begin-user-doc -->
376         * <!-- end-user-doc -->
377         * @generated
378         */
379        public boolean validateAspectRequirement(AspectRequirement aspectRequirement, DiagnosticChain diagnostics, Map<Object, Object> context) {
380                boolean result = validate_EveryMultiplicityConforms(aspectRequirement, diagnostics, context);
381                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(aspectRequirement, diagnostics, context);
382                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(aspectRequirement, diagnostics, context);
383                if (result || diagnostics != null) result &= validate_EveryProxyResolves(aspectRequirement, diagnostics, context);
384                if (result || diagnostics != null) result &= validate_UniqueID(aspectRequirement, diagnostics, context);
385                if (result || diagnostics != null) result &= validate_EveryKeyUnique(aspectRequirement, diagnostics, context);
386                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(aspectRequirement, diagnostics, context);
387                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(aspectRequirement, diagnostics, context);
388                return result;
389        }
390 
391        /**
392         * <!-- begin-user-doc -->
393         * <!-- end-user-doc -->
394         * @generated
395         */
396        public boolean validateValueLiteral(ValueLiteral valueLiteral, DiagnosticChain diagnostics, Map<Object, Object> context) {
397                boolean result = validate_EveryMultiplicityConforms(valueLiteral, diagnostics, context);
398                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(valueLiteral, diagnostics, context);
399                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(valueLiteral, diagnostics, context);
400                if (result || diagnostics != null) result &= validate_EveryProxyResolves(valueLiteral, diagnostics, context);
401                if (result || diagnostics != null) result &= validate_UniqueID(valueLiteral, diagnostics, context);
402                if (result || diagnostics != null) result &= validate_EveryKeyUnique(valueLiteral, diagnostics, context);
403                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(valueLiteral, diagnostics, context);
404                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(valueLiteral, diagnostics, context);
405                return result;
406        }
407 
408        /**
409         * <!-- begin-user-doc -->
410         * <!-- end-user-doc -->
411         * @generated
412         */
413        public boolean validatePercentile(Percentile percentile, DiagnosticChain diagnostics, Map<Object, Object> context) {
414                boolean result = validate_EveryMultiplicityConforms(percentile, diagnostics, context);
415                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(percentile, diagnostics, context);
416                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(percentile, diagnostics, context);
417                if (result || diagnostics != null) result &= validate_EveryProxyResolves(percentile, diagnostics, context);
418                if (result || diagnostics != null) result &= validate_UniqueID(percentile, diagnostics, context);
419                if (result || diagnostics != null) result &= validate_EveryKeyUnique(percentile, diagnostics, context);
420                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(percentile, diagnostics, context);
421                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(percentile, diagnostics, context);
422                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_NUMERIC(percentile, diagnostics, context);
423                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_between_0_and_100(percentile, diagnostics, context);
424                if (result || diagnostics != null) result &= validatePercentile_PERCENTILE_between_0_and_100(percentile, diagnostics, context);
425                return result;
426        }
427 
428        /**
429         * Validates the PERCENTILE_between_0_and_100 constraint of '<em>Percentile</em>'.
430         * <!-- begin-user-doc -->
431         * <!-- end-user-doc -->
432         * @generated
433         */
434        public boolean validatePercentile_PERCENTILE_between_0_and_100(Percentile percentile, DiagnosticChain diagnostics, Map<Object, Object> context) {
435                return percentile.PERCENTILE_between_0_and_100(diagnostics, context);
436        }
437 
438        /**
439         * <!-- begin-user-doc -->
440         * <!-- end-user-doc -->
441         * @generated
442         */
443        public boolean validatePointEstimator(PointEstimator pointEstimator, DiagnosticChain diagnostics, Map<Object, Object> context) {
444                boolean result = validate_EveryMultiplicityConforms(pointEstimator, diagnostics, context);
445                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(pointEstimator, diagnostics, context);
446                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(pointEstimator, diagnostics, context);
447                if (result || diagnostics != null) result &= validate_EveryProxyResolves(pointEstimator, diagnostics, context);
448                if (result || diagnostics != null) result &= validate_UniqueID(pointEstimator, diagnostics, context);
449                if (result || diagnostics != null) result &= validate_EveryKeyUnique(pointEstimator, diagnostics, context);
450                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(pointEstimator, diagnostics, context);
451                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(pointEstimator, diagnostics, context);
452                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_NUMERIC(pointEstimator, diagnostics, context);
453                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_between_0_and_100(pointEstimator, diagnostics, context);
454                return result;
455        }
456 
457        /**
458         * <!-- begin-user-doc -->
459         * <!-- end-user-doc -->
460         * @generated
461         */
462        public boolean validateStochasticEvaluationAspect(StochasticEvaluationAspect stochasticEvaluationAspect, DiagnosticChain diagnostics, Map<Object, Object> context) {
463                boolean result = validate_EveryMultiplicityConforms(stochasticEvaluationAspect, diagnostics, context);
464                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(stochasticEvaluationAspect, diagnostics, context);
465                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(stochasticEvaluationAspect, diagnostics, context);
466                if (result || diagnostics != null) result &= validate_EveryProxyResolves(stochasticEvaluationAspect, diagnostics, context);
467                if (result || diagnostics != null) result &= validate_UniqueID(stochasticEvaluationAspect, diagnostics, context);
468                if (result || diagnostics != null) result &= validate_EveryKeyUnique(stochasticEvaluationAspect, diagnostics, context);
469                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(stochasticEvaluationAspect, diagnostics, context);
470                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(stochasticEvaluationAspect, diagnostics, context);
471                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_NUMERIC(stochasticEvaluationAspect, diagnostics, context);
472                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_between_0_and_100(stochasticEvaluationAspect, diagnostics, context);
473                return result;
474        }
475 
476        /**
477         * <!-- begin-user-doc -->
478         * <!-- end-user-doc -->
479         * @generated
480         */
481        public boolean validateFrequency(Frequency frequency, DiagnosticChain diagnostics, Map<Object, Object> context) {
482                boolean result = validate_EveryMultiplicityConforms(frequency, diagnostics, context);
483                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(frequency, diagnostics, context);
484                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(frequency, diagnostics, context);
485                if (result || diagnostics != null) result &= validate_EveryProxyResolves(frequency, diagnostics, context);
486                if (result || diagnostics != null) result &= validate_UniqueID(frequency, diagnostics, context);
487                if (result || diagnostics != null) result &= validate_EveryKeyUnique(frequency, diagnostics, context);
488                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(frequency, diagnostics, context);
489                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(frequency, diagnostics, context);
490                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_NUMERIC(frequency, diagnostics, context);
491                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_between_0_and_100(frequency, diagnostics, context);
492                if (result || diagnostics != null) result &= validateFrequency_range_of_FREQUENCY_must_have_UPPERLIMIT_or_LOWERLIMIT(frequency, diagnostics, context);
493                return result;
494        }
495 
496        /**
497         * Validates the range_of_FREQUENCY_must_have_UPPERLIMIT_or_LOWERLIMIT constraint of '<em>Frequency</em>'.
498         * <!-- begin-user-doc -->
499         * <!-- end-user-doc -->
500         * @generated
501         */
502        public boolean validateFrequency_range_of_FREQUENCY_must_have_UPPERLIMIT_or_LOWERLIMIT(Frequency frequency, DiagnosticChain diagnostics, Map<Object, Object> context) {
503                return frequency.range_of_FREQUENCY_must_have_UPPERLIMIT_or_LOWERLIMIT(diagnostics, context);
504        }
505 
506        /**
507         * <!-- begin-user-doc -->
508         * <!-- end-user-doc -->
509         * @generated
510         */
511        public boolean validateRangeValue(RangeValue rangeValue, DiagnosticChain diagnostics, Map<Object, Object> context) {
512                boolean result = validate_EveryMultiplicityConforms(rangeValue, diagnostics, context);
513                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(rangeValue, diagnostics, context);
514                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(rangeValue, diagnostics, context);
515                if (result || diagnostics != null) result &= validate_EveryProxyResolves(rangeValue, diagnostics, context);
516                if (result || diagnostics != null) result &= validate_UniqueID(rangeValue, diagnostics, context);
517                if (result || diagnostics != null) result &= validate_EveryKeyUnique(rangeValue, diagnostics, context);
518                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(rangeValue, diagnostics, context);
519                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(rangeValue, diagnostics, context);
520                return result;
521        }
522 
523        /**
524         * <!-- begin-user-doc -->
525         * <!-- end-user-doc -->
526         * @generated
527         */
528        public boolean validateMean(Mean mean, DiagnosticChain diagnostics, Map<Object, Object> context) {
529                boolean result = validate_EveryMultiplicityConforms(mean, diagnostics, context);
530                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(mean, diagnostics, context);
531                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(mean, diagnostics, context);
532                if (result || diagnostics != null) result &= validate_EveryProxyResolves(mean, diagnostics, context);
533                if (result || diagnostics != null) result &= validate_UniqueID(mean, diagnostics, context);
534                if (result || diagnostics != null) result &= validate_EveryKeyUnique(mean, diagnostics, context);
535                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(mean, diagnostics, context);
536                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(mean, diagnostics, context);
537                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_NUMERIC(mean, diagnostics, context);
538                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_between_0_and_100(mean, diagnostics, context);
539                return result;
540        }
541 
542        /**
543         * <!-- begin-user-doc -->
544         * <!-- end-user-doc -->
545         * @generated
546         */
547        public boolean validateVariance(Variance variance, DiagnosticChain diagnostics, Map<Object, Object> context) {
548                boolean result = validate_EveryMultiplicityConforms(variance, diagnostics, context);
549                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(variance, diagnostics, context);
550                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(variance, diagnostics, context);
551                if (result || diagnostics != null) result &= validate_EveryProxyResolves(variance, diagnostics, context);
552                if (result || diagnostics != null) result &= validate_UniqueID(variance, diagnostics, context);
553                if (result || diagnostics != null) result &= validate_EveryKeyUnique(variance, diagnostics, context);
554                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(variance, diagnostics, context);
555                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(variance, diagnostics, context);
556                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_NUMERIC(variance, diagnostics, context);
557                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_between_0_and_100(variance, diagnostics, context);
558                return result;
559        }
560 
561        /**
562         * <!-- begin-user-doc -->
563         * <!-- end-user-doc -->
564         * @generated
565         */
566        public boolean validateNumericLiteral(NumericLiteral numericLiteral, DiagnosticChain diagnostics, Map<Object, Object> context) {
567                boolean result = validate_EveryMultiplicityConforms(numericLiteral, diagnostics, context);
568                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(numericLiteral, diagnostics, context);
569                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(numericLiteral, diagnostics, context);
570                if (result || diagnostics != null) result &= validate_EveryProxyResolves(numericLiteral, diagnostics, context);
571                if (result || diagnostics != null) result &= validate_UniqueID(numericLiteral, diagnostics, context);
572                if (result || diagnostics != null) result &= validate_EveryKeyUnique(numericLiteral, diagnostics, context);
573                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(numericLiteral, diagnostics, context);
574                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(numericLiteral, diagnostics, context);
575                return result;
576        }
577 
578        /**
579         * <!-- begin-user-doc -->
580         * <!-- end-user-doc -->
581         * @generated
582         */
583        public boolean validateEnumLiteral(EnumLiteral enumLiteral, DiagnosticChain diagnostics, Map<Object, Object> context) {
584                boolean result = validate_EveryMultiplicityConforms(enumLiteral, diagnostics, context);
585                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(enumLiteral, diagnostics, context);
586                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(enumLiteral, diagnostics, context);
587                if (result || diagnostics != null) result &= validate_EveryProxyResolves(enumLiteral, diagnostics, context);
588                if (result || diagnostics != null) result &= validate_UniqueID(enumLiteral, diagnostics, context);
589                if (result || diagnostics != null) result &= validate_EveryKeyUnique(enumLiteral, diagnostics, context);
590                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(enumLiteral, diagnostics, context);
591                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(enumLiteral, diagnostics, context);
592                return result;
593        }
594 
595        /**
596         * <!-- begin-user-doc -->
597         * <!-- end-user-doc -->
598         * @generated
599         */
600        public boolean validateSetLiteral(SetLiteral setLiteral, DiagnosticChain diagnostics, Map<Object, Object> context) {
601                boolean result = validate_EveryMultiplicityConforms(setLiteral, diagnostics, context);
602                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(setLiteral, diagnostics, context);
603                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(setLiteral, diagnostics, context);
604                if (result || diagnostics != null) result &= validate_EveryProxyResolves(setLiteral, diagnostics, context);
605                if (result || diagnostics != null) result &= validate_UniqueID(setLiteral, diagnostics, context);
606                if (result || diagnostics != null) result &= validate_EveryKeyUnique(setLiteral, diagnostics, context);
607                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(setLiteral, diagnostics, context);
608                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(setLiteral, diagnostics, context);
609                return result;
610        }
611 
612        /**
613         * <!-- begin-user-doc -->
614         * <!-- end-user-doc -->
615         * @generated
616         */
617        public boolean validateRefinedQMLContract(RefinedQMLContract refinedQMLContract, DiagnosticChain diagnostics, Map<Object, Object> context) {
618                boolean result = validate_EveryMultiplicityConforms(refinedQMLContract, diagnostics, context);
619                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(refinedQMLContract, diagnostics, context);
620                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(refinedQMLContract, diagnostics, context);
621                if (result || diagnostics != null) result &= validate_EveryProxyResolves(refinedQMLContract, diagnostics, context);
622                if (result || diagnostics != null) result &= validate_UniqueID(refinedQMLContract, diagnostics, context);
623                if (result || diagnostics != null) result &= validate_EveryKeyUnique(refinedQMLContract, diagnostics, context);
624                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(refinedQMLContract, diagnostics, context);
625                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(refinedQMLContract, diagnostics, context);
626                if (result || diagnostics != null) result &= validateRefinedQMLContract_contract_cannot_refine_itself(refinedQMLContract, diagnostics, context);
627                return result;
628        }
629 
630        /**
631         * Validates the contract_cannot_refine_itself constraint of '<em>Refined QML Contract</em>'.
632         * <!-- begin-user-doc -->
633         * <!-- end-user-doc -->
634         * @generated
635         */
636        public boolean validateRefinedQMLContract_contract_cannot_refine_itself(RefinedQMLContract refinedQMLContract, DiagnosticChain diagnostics, Map<Object, Object> context) {
637                return refinedQMLContract.contract_cannot_refine_itself(diagnostics, context);
638        }
639 
640        /**
641         * <!-- begin-user-doc -->
642         * <!-- end-user-doc -->
643         * @generated
644         */
645        public boolean validateValue(Value value, DiagnosticChain diagnostics, Map<Object, Object> context) {
646                boolean result = validate_EveryMultiplicityConforms(value, diagnostics, context);
647                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(value, diagnostics, context);
648                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(value, diagnostics, context);
649                if (result || diagnostics != null) result &= validate_EveryProxyResolves(value, diagnostics, context);
650                if (result || diagnostics != null) result &= validate_UniqueID(value, diagnostics, context);
651                if (result || diagnostics != null) result &= validate_EveryKeyUnique(value, diagnostics, context);
652                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(value, diagnostics, context);
653                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(value, diagnostics, context);
654                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_NUMERIC(value, diagnostics, context);
655                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_between_0_and_100(value, diagnostics, context);
656                return result;
657        }
658 
659        /**
660         * <!-- begin-user-doc -->
661         * <!-- end-user-doc -->
662         * @generated
663         */
664        public boolean validateDeterministicEvaluationAspect(DeterministicEvaluationAspect deterministicEvaluationAspect, DiagnosticChain diagnostics, Map<Object, Object> context) {
665                boolean result = validate_EveryMultiplicityConforms(deterministicEvaluationAspect, diagnostics, context);
666                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(deterministicEvaluationAspect, diagnostics, context);
667                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(deterministicEvaluationAspect, diagnostics, context);
668                if (result || diagnostics != null) result &= validate_EveryProxyResolves(deterministicEvaluationAspect, diagnostics, context);
669                if (result || diagnostics != null) result &= validate_UniqueID(deterministicEvaluationAspect, diagnostics, context);
670                if (result || diagnostics != null) result &= validate_EveryKeyUnique(deterministicEvaluationAspect, diagnostics, context);
671                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(deterministicEvaluationAspect, diagnostics, context);
672                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(deterministicEvaluationAspect, diagnostics, context);
673                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_NUMERIC(deterministicEvaluationAspect, diagnostics, context);
674                if (result || diagnostics != null) result &= validateEvaluationAspect_FREQUENCY_LIMIT_must_be_between_0_and_100(deterministicEvaluationAspect, diagnostics, context);
675                return result;
676        }
677 
678        /**
679         * <!-- begin-user-doc -->
680         * <!-- end-user-doc -->
681         * @generated
682         */
683        public boolean validateObjective(Objective objective, DiagnosticChain diagnostics, Map<Object, Object> context) {
684                boolean result = validate_EveryMultiplicityConforms(objective, diagnostics, context);
685                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(objective, diagnostics, context);
686                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(objective, diagnostics, context);
687                if (result || diagnostics != null) result &= validate_EveryProxyResolves(objective, diagnostics, context);
688                if (result || diagnostics != null) result &= validate_UniqueID(objective, diagnostics, context);
689                if (result || diagnostics != null) result &= validate_EveryKeyUnique(objective, diagnostics, context);
690                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(objective, diagnostics, context);
691                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(objective, diagnostics, context);
692                if (result || diagnostics != null) result &= validateCriterion_Only_CONSTRAINTS_have_RESTRICTIONS(objective, diagnostics, context);
693                if (result || diagnostics != null) result &= validateCriterion_FREQUENCY_only_possible_if_DIMENSION_is_ordered(objective, diagnostics, context);
694                if (result || diagnostics != null) result &= validateCriterion_POINTESTIMATOR_only_for_numeric_dimensions(objective, diagnostics, context);
695                if (result || diagnostics != null) result &= validateCriterion_Only_OBJECTIVES_have_GOALS(objective, diagnostics, context);
696                return result;
697        }
698 
699        /**
700         * <!-- begin-user-doc -->
701         * <!-- end-user-doc -->
702         * @generated
703         */
704        public boolean validateConstraint(Constraint constraint, DiagnosticChain diagnostics, Map<Object, Object> context) {
705                boolean result = validate_EveryMultiplicityConforms(constraint, diagnostics, context);
706                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(constraint, diagnostics, context);
707                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(constraint, diagnostics, context);
708                if (result || diagnostics != null) result &= validate_EveryProxyResolves(constraint, diagnostics, context);
709                if (result || diagnostics != null) result &= validate_UniqueID(constraint, diagnostics, context);
710                if (result || diagnostics != null) result &= validate_EveryKeyUnique(constraint, diagnostics, context);
711                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(constraint, diagnostics, context);
712                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(constraint, diagnostics, context);
713                if (result || diagnostics != null) result &= validateCriterion_Only_CONSTRAINTS_have_RESTRICTIONS(constraint, diagnostics, context);
714                if (result || diagnostics != null) result &= validateCriterion_FREQUENCY_only_possible_if_DIMENSION_is_ordered(constraint, diagnostics, context);
715                if (result || diagnostics != null) result &= validateCriterion_POINTESTIMATOR_only_for_numeric_dimensions(constraint, diagnostics, context);
716                if (result || diagnostics != null) result &= validateCriterion_Only_OBJECTIVES_have_GOALS(constraint, diagnostics, context);
717                if (result || diagnostics != null) result &= validateConstraint_All_ASPECTS_of_CONSTRAINTS_have_RESTRICTIONS(constraint, diagnostics, context);
718                return result;
719        }
720 
721        /**
722         * Validates the All_ASPECTS_of_CONSTRAINTS_have_RESTRICTIONS constraint of '<em>Constraint</em>'.
723         * <!-- begin-user-doc -->
724         * <!-- end-user-doc -->
725         * @generated
726         */
727        public boolean validateConstraint_All_ASPECTS_of_CONSTRAINTS_have_RESTRICTIONS(Constraint constraint, DiagnosticChain diagnostics, Map<Object, Object> context) {
728                return constraint.All_ASPECTS_of_CONSTRAINTS_have_RESTRICTIONS(diagnostics, context);
729        }
730 
731        /**
732         * <!-- begin-user-doc -->
733         * <!-- end-user-doc -->
734         * @generated
735         */
736        public boolean validateRestriction(Restriction restriction, DiagnosticChain diagnostics, Map<Object, Object> context) {
737                boolean result = validate_EveryMultiplicityConforms(restriction, diagnostics, context);
738                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(restriction, diagnostics, context);
739                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(restriction, diagnostics, context);
740                if (result || diagnostics != null) result &= validate_EveryProxyResolves(restriction, diagnostics, context);
741                if (result || diagnostics != null) result &= validate_UniqueID(restriction, diagnostics, context);
742                if (result || diagnostics != null) result &= validate_EveryKeyUnique(restriction, diagnostics, context);
743                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(restriction, diagnostics, context);
744                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(restriction, diagnostics, context);
745                return result;
746        }
747 
748        /**
749         * <!-- begin-user-doc -->
750         * <!-- end-user-doc -->
751         * @generated
752         */
753        public boolean validateGoal(Goal goal, DiagnosticChain diagnostics, Map<Object, Object> context) {
754                boolean result = validate_EveryMultiplicityConforms(goal, diagnostics, context);
755                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(goal, diagnostics, context);
756                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(goal, diagnostics, context);
757                if (result || diagnostics != null) result &= validate_EveryProxyResolves(goal, diagnostics, context);
758                if (result || diagnostics != null) result &= validate_UniqueID(goal, diagnostics, context);
759                if (result || diagnostics != null) result &= validate_EveryKeyUnique(goal, diagnostics, context);
760                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(goal, diagnostics, context);
761                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(goal, diagnostics, context);
762                return result;
763        }
764 
765        /**
766         * <!-- begin-user-doc -->
767         * <!-- end-user-doc -->
768         * @generated
769         */
770        public boolean validateGenericQMLContract(GenericQMLContract genericQMLContract, DiagnosticChain diagnostics, Map<Object, Object> context) {
771                boolean result = validate_EveryMultiplicityConforms(genericQMLContract, diagnostics, context);
772                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(genericQMLContract, diagnostics, context);
773                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(genericQMLContract, diagnostics, context);
774                if (result || diagnostics != null) result &= validate_EveryProxyResolves(genericQMLContract, diagnostics, context);
775                if (result || diagnostics != null) result &= validate_UniqueID(genericQMLContract, diagnostics, context);
776                if (result || diagnostics != null) result &= validate_EveryKeyUnique(genericQMLContract, diagnostics, context);
777                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(genericQMLContract, diagnostics, context);
778                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(genericQMLContract, diagnostics, context);
779                return result;
780        }
781 
782        /**
783         * <!-- begin-user-doc -->
784         * <!-- end-user-doc -->
785         * @generated
786         */
787        public boolean validateEnumOperator(EnumOperator enumOperator, DiagnosticChain diagnostics, Map<Object, Object> context) {
788                return true;
789        }
790 
791        /**
792         * <!-- begin-user-doc -->
793         * <!-- end-user-doc -->
794         * @generated
795         */
796        public boolean validateEnumRangeValueType(EnumRangeValueType enumRangeValueType, DiagnosticChain diagnostics, Map<Object, Object> context) {
797                return true;
798        }
799 
800        /**
801         * Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
802         * <!-- begin-user-doc -->
803         * <!-- end-user-doc -->
804         * @generated
805         */
806        @Override
807        public ResourceLocator getResourceLocator() {
808                // TODO
809                // Specialize this to return a resource locator for messages specific to this validator.
810                // Ensure that you remove @generated or mark it @generated NOT
811                return super.getResourceLocator();
812        }
813 
814} //QMLContractValidator

[all classes][de.uka.ipd.sdq.dsexplore.qml.contract.QMLContract.util]
EMMA 2.0.9414 (unsupported private build) (C) Vladimir Roubtsov