EMMA Coverage Report (generated Sun Feb 05 10:43:15 CET 2012)
[all classes][de.fzi.se.quality.qualityannotation.util]

COVERAGE SUMMARY FOR SOURCE FILE [QualityAnnotationValidator.java]

nameclass, %method, %block, %line, %
QualityAnnotationValidator.java0%   (0/1)0%   (0/39)0%   (0/2336)0%   (0/245)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class QualityAnnotationValidator0%   (0/1)0%   (0/39)0%   (0/2336)0%   (0/245)
<static initializer> 0%   (0/1)0%   (0/5)0%   (0/2)
QualityAnnotationValidator (): void 0%   (0/1)0%   (0/6)0%   (0/3)
getEPackage (): EPackage 0%   (0/1)0%   (0/2)0%   (0/1)
validate (int, Object, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/172)0%   (0/26)
validateCallParameterDeviation (CallParameterDeviation, DiagnosticChain, Map)... 0%   (0/1)0%   (0/6)0%   (0/1)
validateCharacterisedPCMParameterPartition (CharacterisedPCMParameterPartitio... 0%   (0/1)0%   (0/93)0%   (0/9)
validateCharacterisedPCMParameterPartitionInterval (CharacterisedPCMParameter... 0%   (0/1)0%   (0/93)0%   (0/9)
validateCharacterisedPCMParameterPartitionRange (CharacterisedPCMParameterPar... 0%   (0/1)0%   (0/93)0%   (0/9)
validateExactlyAsSpecifiedPrecision (ExactlyAsSpecifiedPrecision, DiagnosticC... 0%   (0/1)0%   (0/93)0%   (0/9)
validateInternalStateInfluenceAnalysisAggregation (InternalStateInfluenceAnal... 0%   (0/1)0%   (0/93)0%   (0/9)
validateLimitedDeviationPrecision (LimitedDeviationPrecision, DiagnosticChain... 0%   (0/1)0%   (0/93)0%   (0/9)
validateNoPrecision (NoPrecision, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateNumberOfCallsDeviation (NumberOfCallsDeviation, DiagnosticChain, Map)... 0%   (0/1)0%   (0/6)0%   (0/1)
validatePCMParameterPartition (PCMParameterPartition, DiagnosticChain, Map): ... 0%   (0/1)0%   (0/93)0%   (0/9)
validatePCMRE (PCMRE, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/105)0%   (0/10)
validatePCMRECategory (PCMRECategory, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/153)0%   (0/14)
validatePCMRECategory_ExistingREPrecisionCallParameterMustBeNoPrecisionDueToT... 0%   (0/1)0%   (0/5)0%   (0/1)
validatePCMRECategory_NextLowerHierarchyLevelIsInterface (PCMRECategory, Diag... 0%   (0/1)0%   (0/5)0%   (0/1)
validatePCMRECategory_NoSublevelsForCategoryResourceDemand (PCMRECategory, Di... 0%   (0/1)0%   (0/5)0%   (0/1)
validatePCMRECategory_ThisIsHighestHierarchyLevel (PCMRECategory, DiagnosticC... 0%   (0/1)0%   (0/5)0%   (0/1)
validatePCMREInterface (PCMREInterface, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/129)0%   (0/12)
validatePCMREInterface_NextLowerHierachyLevelIsRole (PCMREInterface, Diagnost... 0%   (0/1)0%   (0/5)0%   (0/1)
validatePCMREInterface_NextUpperHierarchyLevelIsCategory (PCMREInterface, Dia... 0%   (0/1)0%   (0/5)0%   (0/1)
validatePCMRERequestCategory (PCMRERequestCategory, DiagnosticChain, Map): bo... 0%   (0/1)0%   (0/2)0%   (0/1)
validatePCMREResourceInterface (PCMREResourceInterface, DiagnosticChain, Map)... 0%   (0/1)0%   (0/105)0%   (0/10)
validatePCMREResourceSignature (PCMREResourceSignature, DiagnosticChain, Map)... 0%   (0/1)0%   (0/105)0%   (0/10)
validatePCMRERole (PCMRERole, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/129)0%   (0/12)
validatePCMRERole_NextLowerHierarchyLevelIsSignature (PCMRERole, DiagnosticCh... 0%   (0/1)0%   (0/5)0%   (0/1)
validatePCMRERole_NextUpperHierarchyLevelIsInterface (PCMRERole, DiagnosticCh... 0%   (0/1)0%   (0/5)0%   (0/1)
validatePCMRESignature (PCMRESignature, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/129)0%   (0/12)
validatePCMRESignature_NextUpperHierarchyLevelIsRole (PCMRESignature, Diagnos... 0%   (0/1)0%   (0/5)0%   (0/1)
validatePCMRESignature_ThisIsTheLowestHierarchyLevel (PCMRESignature, Diagnos... 0%   (0/1)0%   (0/5)0%   (0/1)
validatePCMServiceSpecification (PCMServiceSpecification, DiagnosticChain, Ma... 0%   (0/1)0%   (0/93)0%   (0/9)
validatePrecision (Precision, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateQualityAnnotation (QualityAnnotation, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateREPrecision (REPrecision, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/6)0%   (0/1)
validateRequiredElement (RequiredElement, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/105)0%   (0/10)
validateRequiredElement_StipulatedPrecisionMustBeSetInStipulationContext (Req... 0%   (0/1)0%   (0/5)0%   (0/1)
validateServiceSpecification (ServiceSpecification, DiagnosticChain, Map): bo... 0%   (0/1)0%   (0/93)0%   (0/9)

1/**
2 * <copyright>
3 * </copyright>
4 *
5 * $Id$
6 */
7package de.fzi.se.quality.qualityannotation.util;
8 
9import de.fzi.se.quality.qualityannotation.*;
10 
11import de.uka.ipd.sdq.identifier.util.IdentifierValidator;
12 
13import java.util.Map;
14 
15import org.eclipse.emf.common.util.DiagnosticChain;
16 
17import org.eclipse.emf.ecore.EPackage;
18 
19import org.eclipse.emf.ecore.util.EObjectValidator;
20 
21/**
22 * <!-- begin-user-doc -->
23 * The <b>Validator</b> for the model.
24 * <!-- end-user-doc -->
25 * @see de.fzi.se.quality.qualityannotation.QualityAnnotationPackage
26 * @generated
27 */
28public class QualityAnnotationValidator extends EObjectValidator {
29        /**
30         * The cached model package
31         * <!-- begin-user-doc -->
32         * <!-- end-user-doc -->
33         * @generated
34         */
35        public static final QualityAnnotationValidator INSTANCE = new QualityAnnotationValidator();
36 
37        /**
38         * 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.
39         * <!-- begin-user-doc -->
40         * <!-- end-user-doc -->
41         * @see org.eclipse.emf.common.util.Diagnostic#getSource()
42         * @see org.eclipse.emf.common.util.Diagnostic#getCode()
43         * @generated
44         */
45        public static final String DIAGNOSTIC_SOURCE = "de.fzi.se.quality.qualityannotation";
46 
47        /**
48         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Stipulated Precision Must Be Set In Stipulation Context' of 'Required Element'.
49         * <!-- begin-user-doc -->
50         * <!-- end-user-doc -->
51         * @generated
52         */
53        public static final int REQUIRED_ELEMENT__STIPULATED_PRECISION_MUST_BE_SET_IN_STIPULATION_CONTEXT = 1;
54 
55        /**
56         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Next Lower Hierarchy Level Is Interface' of 'PCMRE Category'.
57         * <!-- begin-user-doc -->
58         * <!-- end-user-doc -->
59         * @generated
60         */
61        public static final int PCMRE_CATEGORY__NEXT_LOWER_HIERARCHY_LEVEL_IS_INTERFACE = 2;
62 
63        /**
64         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'This Is Highest Hierarchy Level' of 'PCMRE Category'.
65         * <!-- begin-user-doc -->
66         * <!-- end-user-doc -->
67         * @generated
68         */
69        public static final int PCMRE_CATEGORY__THIS_IS_HIGHEST_HIERARCHY_LEVEL = 3;
70 
71        /**
72         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'No Sublevels For Category Resource Demand' of 'PCMRE Category'.
73         * <!-- begin-user-doc -->
74         * <!-- end-user-doc -->
75         * @generated
76         */
77        public static final int PCMRE_CATEGORY__NO_SUBLEVELS_FOR_CATEGORY_RESOURCE_DEMAND = 4;
78 
79        /**
80         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Existing RE Precision Call Parameter Must Be No Precision Due To The Non Existence Of Parameters For Category Resource Demand' of 'PCMRE Category'.
81         * <!-- begin-user-doc -->
82         * <!-- end-user-doc -->
83         * @generated
84         */
85        public static final int PCMRE_CATEGORY__EXISTING_RE_PRECISION_CALL_PARAMETER_MUST_BE_NO_PRECISION_DUE_TO_THE_NON_EXISTENCE_OF_PARAMETERS_FOR_CATEGORY_RESOURCE_DEMAND = 5;
86 
87        /**
88         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Next Lower Hierachy Level Is Role' of 'PCMRE Interface'.
89         * <!-- begin-user-doc -->
90         * <!-- end-user-doc -->
91         * @generated
92         */
93        public static final int PCMRE_INTERFACE__NEXT_LOWER_HIERACHY_LEVEL_IS_ROLE = 6;
94 
95        /**
96         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Next Upper Hierarchy Level Is Category' of 'PCMRE Interface'.
97         * <!-- begin-user-doc -->
98         * <!-- end-user-doc -->
99         * @generated
100         */
101        public static final int PCMRE_INTERFACE__NEXT_UPPER_HIERARCHY_LEVEL_IS_CATEGORY = 7;
102 
103        /**
104         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Next Lower Hierarchy Level Is Signature' of 'PCMRE Role'.
105         * <!-- begin-user-doc -->
106         * <!-- end-user-doc -->
107         * @generated
108         */
109        public static final int PCMRE_ROLE__NEXT_LOWER_HIERARCHY_LEVEL_IS_SIGNATURE = 8;
110 
111        /**
112         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Next Upper Hierarchy Level Is Interface' of 'PCMRE Role'.
113         * <!-- begin-user-doc -->
114         * <!-- end-user-doc -->
115         * @generated
116         */
117        public static final int PCMRE_ROLE__NEXT_UPPER_HIERARCHY_LEVEL_IS_INTERFACE = 9;
118 
119        /**
120         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'This Is The Lowest Hierarchy Level' of 'PCMRE Signature'.
121         * <!-- begin-user-doc -->
122         * <!-- end-user-doc -->
123         * @generated
124         */
125        public static final int PCMRE_SIGNATURE__THIS_IS_THE_LOWEST_HIERARCHY_LEVEL = 10;
126 
127        /**
128         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Next Upper Hierarchy Level Is Role' of 'PCMRE Signature'.
129         * <!-- begin-user-doc -->
130         * <!-- end-user-doc -->
131         * @generated
132         */
133        public static final int PCMRE_SIGNATURE__NEXT_UPPER_HIERARCHY_LEVEL_IS_ROLE = 11;
134 
135        /**
136         * A constant with a fixed name that can be used as the base value for additional hand written constants.
137         * <!-- begin-user-doc -->
138         * <!-- end-user-doc -->
139         * @generated
140         */
141        private static final int GENERATED_DIAGNOSTIC_CODE_COUNT = 11;
142 
143        /**
144         * A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.
145         * <!-- begin-user-doc -->
146         * <!-- end-user-doc -->
147         * @generated
148         */
149        protected static final int DIAGNOSTIC_CODE_COUNT = GENERATED_DIAGNOSTIC_CODE_COUNT;
150 
151        /**
152         * The cached base package validator.
153         * <!-- begin-user-doc -->
154         * <!-- end-user-doc -->
155         * @generated
156         */
157        protected IdentifierValidator identifierValidator;
158 
159        /**
160         * Creates an instance of the switch.
161         * <!-- begin-user-doc -->
162         * <!-- end-user-doc -->
163         * @generated
164         */
165        public QualityAnnotationValidator() {
166                super();
167                identifierValidator = IdentifierValidator.INSTANCE;
168        }
169 
170        /**
171         * Returns the package of this validator switch.
172         * <!-- begin-user-doc -->
173         * <!-- end-user-doc -->
174         * @generated
175         */
176        @Override
177        protected EPackage getEPackage() {
178          return QualityAnnotationPackage.eINSTANCE;
179        }
180 
181        /**
182         * Calls <code>validateXXX</code> for the corresponding classifier of the model.
183         * <!-- begin-user-doc -->
184         * <!-- end-user-doc -->
185         * @generated
186         */
187        @Override
188        protected boolean validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object, Object> context) {
189                switch (classifierID) {
190                        case QualityAnnotationPackage.CALL_PARAMETER_DEVIATION:
191                                return validateCallParameterDeviation((CallParameterDeviation)value, diagnostics, context);
192                        case QualityAnnotationPackage.QUALITY_ANNOTATION:
193                                return validateQualityAnnotation((QualityAnnotation)value, diagnostics, context);
194                        case QualityAnnotationPackage.SERVICE_SPECIFICATION:
195                                return validateServiceSpecification((ServiceSpecification)value, diagnostics, context);
196                        case QualityAnnotationPackage.REQUIRED_ELEMENT:
197                                return validateRequiredElement((RequiredElement)value, diagnostics, context);
198                        case QualityAnnotationPackage.NUMBER_OF_CALLS_DEVIATION:
199                                return validateNumberOfCallsDeviation((NumberOfCallsDeviation)value, diagnostics, context);
200                        case QualityAnnotationPackage.INTERNAL_STATE_INFLUENCE_ANALYSIS_AGGREGATION:
201                                return validateInternalStateInfluenceAnalysisAggregation((InternalStateInfluenceAnalysisAggregation)value, diagnostics, context);
202                        case QualityAnnotationPackage.RE_PRECISION:
203                                return validateREPrecision((REPrecision)value, diagnostics, context);
204                        case QualityAnnotationPackage.PRECISION:
205                                return validatePrecision((Precision)value, diagnostics, context);
206                        case QualityAnnotationPackage.PCM_PARAMETER_PARTITION:
207                                return validatePCMParameterPartition((PCMParameterPartition)value, diagnostics, context);
208                        case QualityAnnotationPackage.CHARACTERISED_PCM_PARAMETER_PARTITION:
209                                return validateCharacterisedPCMParameterPartition((CharacterisedPCMParameterPartition)value, diagnostics, context);
210                        case QualityAnnotationPackage.CHARACTERISED_PCM_PARAMETER_PARTITION_INTERVAL:
211                                return validateCharacterisedPCMParameterPartitionInterval((CharacterisedPCMParameterPartitionInterval)value, diagnostics, context);
212                        case QualityAnnotationPackage.CHARACTERISED_PCM_PARAMETER_PARTITION_RANGE:
213                                return validateCharacterisedPCMParameterPartitionRange((CharacterisedPCMParameterPartitionRange)value, diagnostics, context);
214                        case QualityAnnotationPackage.EXACTLY_AS_SPECIFIED_PRECISION:
215                                return validateExactlyAsSpecifiedPrecision((ExactlyAsSpecifiedPrecision)value, diagnostics, context);
216                        case QualityAnnotationPackage.LIMITED_DEVIATION_PRECISION:
217                                return validateLimitedDeviationPrecision((LimitedDeviationPrecision)value, diagnostics, context);
218                        case QualityAnnotationPackage.NO_PRECISION:
219                                return validateNoPrecision((NoPrecision)value, diagnostics, context);
220                        case QualityAnnotationPackage.PCMRE_CATEGORY:
221                                return validatePCMRECategory((PCMRECategory)value, diagnostics, context);
222                        case QualityAnnotationPackage.PCMRE:
223                                return validatePCMRE((PCMRE)value, diagnostics, context);
224                        case QualityAnnotationPackage.PCMRE_INTERFACE:
225                                return validatePCMREInterface((PCMREInterface)value, diagnostics, context);
226                        case QualityAnnotationPackage.PCMRE_ROLE:
227                                return validatePCMRERole((PCMRERole)value, diagnostics, context);
228                        case QualityAnnotationPackage.PCMRE_SIGNATURE:
229                                return validatePCMRESignature((PCMRESignature)value, diagnostics, context);
230                        case QualityAnnotationPackage.PCM_SERVICE_SPECIFICATION:
231                                return validatePCMServiceSpecification((PCMServiceSpecification)value, diagnostics, context);
232                        case QualityAnnotationPackage.PCMRE_RESOURCE_INTERFACE:
233                                return validatePCMREResourceInterface((PCMREResourceInterface)value, diagnostics, context);
234                        case QualityAnnotationPackage.PCMRE_RESOURCE_SIGNATURE:
235                                return validatePCMREResourceSignature((PCMREResourceSignature)value, diagnostics, context);
236                        case QualityAnnotationPackage.PCMRE_REQUEST_CATEGORY:
237                                return validatePCMRERequestCategory((PCMRERequestCategory)value, diagnostics, context);
238                        default:
239                                return true;
240                }
241        }
242 
243        /**
244         * <!-- begin-user-doc -->
245         * <!-- end-user-doc -->
246         * @generated
247         */
248        public boolean validateCallParameterDeviation(CallParameterDeviation callParameterDeviation, DiagnosticChain diagnostics, Map<Object, Object> context) {
249                return validate_EveryDefaultConstraint(callParameterDeviation, diagnostics, context);
250        }
251 
252        /**
253         * <!-- begin-user-doc -->
254         * <!-- end-user-doc -->
255         * @generated
256         */
257        public boolean validateQualityAnnotation(QualityAnnotation qualityAnnotation, DiagnosticChain diagnostics, Map<Object, Object> context) {
258                boolean result = validate_EveryMultiplicityConforms(qualityAnnotation, diagnostics, context);
259                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(qualityAnnotation, diagnostics, context);
260                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(qualityAnnotation, diagnostics, context);
261                if (result || diagnostics != null) result &= validate_EveryProxyResolves(qualityAnnotation, diagnostics, context);
262                if (result || diagnostics != null) result &= validate_UniqueID(qualityAnnotation, diagnostics, context);
263                if (result || diagnostics != null) result &= validate_EveryKeyUnique(qualityAnnotation, diagnostics, context);
264                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(qualityAnnotation, diagnostics, context);
265                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(qualityAnnotation, diagnostics, context);
266                return result;
267        }
268 
269        /**
270         * <!-- begin-user-doc -->
271         * <!-- end-user-doc -->
272         * @generated
273         */
274        public boolean validateServiceSpecification(ServiceSpecification serviceSpecification, DiagnosticChain diagnostics, Map<Object, Object> context) {
275                boolean result = validate_EveryMultiplicityConforms(serviceSpecification, diagnostics, context);
276                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(serviceSpecification, diagnostics, context);
277                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(serviceSpecification, diagnostics, context);
278                if (result || diagnostics != null) result &= validate_EveryProxyResolves(serviceSpecification, diagnostics, context);
279                if (result || diagnostics != null) result &= validate_UniqueID(serviceSpecification, diagnostics, context);
280                if (result || diagnostics != null) result &= validate_EveryKeyUnique(serviceSpecification, diagnostics, context);
281                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(serviceSpecification, diagnostics, context);
282                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(serviceSpecification, diagnostics, context);
283                return result;
284        }
285 
286        /**
287         * <!-- begin-user-doc -->
288         * <!-- end-user-doc -->
289         * @generated
290         */
291        public boolean validateRequiredElement(RequiredElement requiredElement, DiagnosticChain diagnostics, Map<Object, Object> context) {
292                boolean result = validate_EveryMultiplicityConforms(requiredElement, diagnostics, context);
293                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(requiredElement, diagnostics, context);
294                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(requiredElement, diagnostics, context);
295                if (result || diagnostics != null) result &= validate_EveryProxyResolves(requiredElement, diagnostics, context);
296                if (result || diagnostics != null) result &= validate_UniqueID(requiredElement, diagnostics, context);
297                if (result || diagnostics != null) result &= validate_EveryKeyUnique(requiredElement, diagnostics, context);
298                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(requiredElement, diagnostics, context);
299                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(requiredElement, diagnostics, context);
300                if (result || diagnostics != null) result &= validateRequiredElement_StipulatedPrecisionMustBeSetInStipulationContext(requiredElement, diagnostics, context);
301                return result;
302        }
303 
304        /**
305         * Validates the StipulatedPrecisionMustBeSetInStipulationContext constraint of '<em>Required Element</em>'.
306         * <!-- begin-user-doc -->
307         * <!-- end-user-doc -->
308         * @generated
309         */
310        public boolean validateRequiredElement_StipulatedPrecisionMustBeSetInStipulationContext(RequiredElement requiredElement, DiagnosticChain diagnostics, Map<Object, Object> context) {
311                return requiredElement.StipulatedPrecisionMustBeSetInStipulationContext(diagnostics, context);
312        }
313 
314        /**
315         * <!-- begin-user-doc -->
316         * <!-- end-user-doc -->
317         * @generated
318         */
319        public boolean validateNumberOfCallsDeviation(NumberOfCallsDeviation numberOfCallsDeviation, DiagnosticChain diagnostics, Map<Object, Object> context) {
320                return validate_EveryDefaultConstraint(numberOfCallsDeviation, diagnostics, context);
321        }
322 
323        /**
324         * <!-- begin-user-doc -->
325         * <!-- end-user-doc -->
326         * @generated
327         */
328        public boolean validateInternalStateInfluenceAnalysisAggregation(InternalStateInfluenceAnalysisAggregation internalStateInfluenceAnalysisAggregation, DiagnosticChain diagnostics, Map<Object, Object> context) {
329                boolean result = validate_EveryMultiplicityConforms(internalStateInfluenceAnalysisAggregation, diagnostics, context);
330                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(internalStateInfluenceAnalysisAggregation, diagnostics, context);
331                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(internalStateInfluenceAnalysisAggregation, diagnostics, context);
332                if (result || diagnostics != null) result &= validate_EveryProxyResolves(internalStateInfluenceAnalysisAggregation, diagnostics, context);
333                if (result || diagnostics != null) result &= validate_UniqueID(internalStateInfluenceAnalysisAggregation, diagnostics, context);
334                if (result || diagnostics != null) result &= validate_EveryKeyUnique(internalStateInfluenceAnalysisAggregation, diagnostics, context);
335                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(internalStateInfluenceAnalysisAggregation, diagnostics, context);
336                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(internalStateInfluenceAnalysisAggregation, diagnostics, context);
337                return result;
338        }
339 
340        /**
341         * <!-- begin-user-doc -->
342         * <!-- end-user-doc -->
343         * @generated
344         */
345        public boolean validateREPrecision(REPrecision rePrecision, DiagnosticChain diagnostics, Map<Object, Object> context) {
346                return validate_EveryDefaultConstraint(rePrecision, diagnostics, context);
347        }
348 
349        /**
350         * <!-- begin-user-doc -->
351         * <!-- end-user-doc -->
352         * @generated
353         */
354        public boolean validatePrecision(Precision precision, DiagnosticChain diagnostics, Map<Object, Object> context) {
355                boolean result = validate_EveryMultiplicityConforms(precision, diagnostics, context);
356                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(precision, diagnostics, context);
357                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(precision, diagnostics, context);
358                if (result || diagnostics != null) result &= validate_EveryProxyResolves(precision, diagnostics, context);
359                if (result || diagnostics != null) result &= validate_UniqueID(precision, diagnostics, context);
360                if (result || diagnostics != null) result &= validate_EveryKeyUnique(precision, diagnostics, context);
361                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(precision, diagnostics, context);
362                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(precision, diagnostics, context);
363                return result;
364        }
365 
366        /**
367         * <!-- begin-user-doc -->
368         * <!-- end-user-doc -->
369         * @generated
370         */
371        public boolean validatePCMParameterPartition(PCMParameterPartition pcmParameterPartition, DiagnosticChain diagnostics, Map<Object, Object> context) {
372                boolean result = validate_EveryMultiplicityConforms(pcmParameterPartition, diagnostics, context);
373                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(pcmParameterPartition, diagnostics, context);
374                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(pcmParameterPartition, diagnostics, context);
375                if (result || diagnostics != null) result &= validate_EveryProxyResolves(pcmParameterPartition, diagnostics, context);
376                if (result || diagnostics != null) result &= validate_UniqueID(pcmParameterPartition, diagnostics, context);
377                if (result || diagnostics != null) result &= validate_EveryKeyUnique(pcmParameterPartition, diagnostics, context);
378                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(pcmParameterPartition, diagnostics, context);
379                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(pcmParameterPartition, diagnostics, context);
380                return result;
381        }
382 
383        /**
384         * <!-- begin-user-doc -->
385         * <!-- end-user-doc -->
386         * @generated
387         */
388        public boolean validateCharacterisedPCMParameterPartition(CharacterisedPCMParameterPartition characterisedPCMParameterPartition, DiagnosticChain diagnostics, Map<Object, Object> context) {
389                boolean result = validate_EveryMultiplicityConforms(characterisedPCMParameterPartition, diagnostics, context);
390                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(characterisedPCMParameterPartition, diagnostics, context);
391                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(characterisedPCMParameterPartition, diagnostics, context);
392                if (result || diagnostics != null) result &= validate_EveryProxyResolves(characterisedPCMParameterPartition, diagnostics, context);
393                if (result || diagnostics != null) result &= validate_UniqueID(characterisedPCMParameterPartition, diagnostics, context);
394                if (result || diagnostics != null) result &= validate_EveryKeyUnique(characterisedPCMParameterPartition, diagnostics, context);
395                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(characterisedPCMParameterPartition, diagnostics, context);
396                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(characterisedPCMParameterPartition, diagnostics, context);
397                return result;
398        }
399 
400        /**
401         * <!-- begin-user-doc -->
402         * <!-- end-user-doc -->
403         * @generated
404         */
405        public boolean validateCharacterisedPCMParameterPartitionInterval(CharacterisedPCMParameterPartitionInterval characterisedPCMParameterPartitionInterval, DiagnosticChain diagnostics, Map<Object, Object> context) {
406                boolean result = validate_EveryMultiplicityConforms(characterisedPCMParameterPartitionInterval, diagnostics, context);
407                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(characterisedPCMParameterPartitionInterval, diagnostics, context);
408                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(characterisedPCMParameterPartitionInterval, diagnostics, context);
409                if (result || diagnostics != null) result &= validate_EveryProxyResolves(characterisedPCMParameterPartitionInterval, diagnostics, context);
410                if (result || diagnostics != null) result &= validate_UniqueID(characterisedPCMParameterPartitionInterval, diagnostics, context);
411                if (result || diagnostics != null) result &= validate_EveryKeyUnique(characterisedPCMParameterPartitionInterval, diagnostics, context);
412                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(characterisedPCMParameterPartitionInterval, diagnostics, context);
413                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(characterisedPCMParameterPartitionInterval, diagnostics, context);
414                return result;
415        }
416 
417        /**
418         * <!-- begin-user-doc -->
419         * <!-- end-user-doc -->
420         * @generated
421         */
422        public boolean validateCharacterisedPCMParameterPartitionRange(CharacterisedPCMParameterPartitionRange characterisedPCMParameterPartitionRange, DiagnosticChain diagnostics, Map<Object, Object> context) {
423                boolean result = validate_EveryMultiplicityConforms(characterisedPCMParameterPartitionRange, diagnostics, context);
424                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(characterisedPCMParameterPartitionRange, diagnostics, context);
425                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(characterisedPCMParameterPartitionRange, diagnostics, context);
426                if (result || diagnostics != null) result &= validate_EveryProxyResolves(characterisedPCMParameterPartitionRange, diagnostics, context);
427                if (result || diagnostics != null) result &= validate_UniqueID(characterisedPCMParameterPartitionRange, diagnostics, context);
428                if (result || diagnostics != null) result &= validate_EveryKeyUnique(characterisedPCMParameterPartitionRange, diagnostics, context);
429                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(characterisedPCMParameterPartitionRange, diagnostics, context);
430                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(characterisedPCMParameterPartitionRange, diagnostics, context);
431                return result;
432        }
433 
434        /**
435         * <!-- begin-user-doc -->
436         * <!-- end-user-doc -->
437         * @generated
438         */
439        public boolean validateExactlyAsSpecifiedPrecision(ExactlyAsSpecifiedPrecision exactlyAsSpecifiedPrecision, DiagnosticChain diagnostics, Map<Object, Object> context) {
440                boolean result = validate_EveryMultiplicityConforms(exactlyAsSpecifiedPrecision, diagnostics, context);
441                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(exactlyAsSpecifiedPrecision, diagnostics, context);
442                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(exactlyAsSpecifiedPrecision, diagnostics, context);
443                if (result || diagnostics != null) result &= validate_EveryProxyResolves(exactlyAsSpecifiedPrecision, diagnostics, context);
444                if (result || diagnostics != null) result &= validate_UniqueID(exactlyAsSpecifiedPrecision, diagnostics, context);
445                if (result || diagnostics != null) result &= validate_EveryKeyUnique(exactlyAsSpecifiedPrecision, diagnostics, context);
446                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(exactlyAsSpecifiedPrecision, diagnostics, context);
447                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(exactlyAsSpecifiedPrecision, diagnostics, context);
448                return result;
449        }
450 
451        /**
452         * <!-- begin-user-doc -->
453         * <!-- end-user-doc -->
454         * @generated
455         */
456        public boolean validateLimitedDeviationPrecision(LimitedDeviationPrecision limitedDeviationPrecision, DiagnosticChain diagnostics, Map<Object, Object> context) {
457                boolean result = validate_EveryMultiplicityConforms(limitedDeviationPrecision, diagnostics, context);
458                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(limitedDeviationPrecision, diagnostics, context);
459                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(limitedDeviationPrecision, diagnostics, context);
460                if (result || diagnostics != null) result &= validate_EveryProxyResolves(limitedDeviationPrecision, diagnostics, context);
461                if (result || diagnostics != null) result &= validate_UniqueID(limitedDeviationPrecision, diagnostics, context);
462                if (result || diagnostics != null) result &= validate_EveryKeyUnique(limitedDeviationPrecision, diagnostics, context);
463                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(limitedDeviationPrecision, diagnostics, context);
464                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(limitedDeviationPrecision, diagnostics, context);
465                return result;
466        }
467 
468        /**
469         * <!-- begin-user-doc -->
470         * <!-- end-user-doc -->
471         * @generated
472         */
473        public boolean validateNoPrecision(NoPrecision noPrecision, DiagnosticChain diagnostics, Map<Object, Object> context) {
474                boolean result = validate_EveryMultiplicityConforms(noPrecision, diagnostics, context);
475                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(noPrecision, diagnostics, context);
476                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(noPrecision, diagnostics, context);
477                if (result || diagnostics != null) result &= validate_EveryProxyResolves(noPrecision, diagnostics, context);
478                if (result || diagnostics != null) result &= validate_UniqueID(noPrecision, diagnostics, context);
479                if (result || diagnostics != null) result &= validate_EveryKeyUnique(noPrecision, diagnostics, context);
480                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(noPrecision, diagnostics, context);
481                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(noPrecision, diagnostics, context);
482                return result;
483        }
484 
485        /**
486         * <!-- begin-user-doc -->
487         * <!-- end-user-doc -->
488         * @generated
489         */
490        public boolean validatePCMRECategory(PCMRECategory pcmreCategory, DiagnosticChain diagnostics, Map<Object, Object> context) {
491                boolean result = validate_EveryMultiplicityConforms(pcmreCategory, diagnostics, context);
492                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(pcmreCategory, diagnostics, context);
493                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(pcmreCategory, diagnostics, context);
494                if (result || diagnostics != null) result &= validate_EveryProxyResolves(pcmreCategory, diagnostics, context);
495                if (result || diagnostics != null) result &= validate_UniqueID(pcmreCategory, diagnostics, context);
496                if (result || diagnostics != null) result &= validate_EveryKeyUnique(pcmreCategory, diagnostics, context);
497                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(pcmreCategory, diagnostics, context);
498                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(pcmreCategory, diagnostics, context);
499                if (result || diagnostics != null) result &= validateRequiredElement_StipulatedPrecisionMustBeSetInStipulationContext(pcmreCategory, diagnostics, context);
500                if (result || diagnostics != null) result &= validatePCMRECategory_NextLowerHierarchyLevelIsInterface(pcmreCategory, diagnostics, context);
501                if (result || diagnostics != null) result &= validatePCMRECategory_ThisIsHighestHierarchyLevel(pcmreCategory, diagnostics, context);
502                if (result || diagnostics != null) result &= validatePCMRECategory_NoSublevelsForCategoryResourceDemand(pcmreCategory, diagnostics, context);
503                if (result || diagnostics != null) result &= validatePCMRECategory_ExistingREPrecisionCallParameterMustBeNoPrecisionDueToTheNonExistenceOfParametersForCategoryResourceDemand(pcmreCategory, diagnostics, context);
504                return result;
505        }
506 
507        /**
508         * Validates the NextLowerHierarchyLevelIsInterface constraint of '<em>PCMRE Category</em>'.
509         * <!-- begin-user-doc -->
510         * <!-- end-user-doc -->
511         * @generated
512         */
513        public boolean validatePCMRECategory_NextLowerHierarchyLevelIsInterface(PCMRECategory pcmreCategory, DiagnosticChain diagnostics, Map<Object, Object> context) {
514                return pcmreCategory.NextLowerHierarchyLevelIsInterface(diagnostics, context);
515        }
516 
517        /**
518         * Validates the ThisIsHighestHierarchyLevel constraint of '<em>PCMRE Category</em>'.
519         * <!-- begin-user-doc -->
520         * <!-- end-user-doc -->
521         * @generated
522         */
523        public boolean validatePCMRECategory_ThisIsHighestHierarchyLevel(PCMRECategory pcmreCategory, DiagnosticChain diagnostics, Map<Object, Object> context) {
524                return pcmreCategory.ThisIsHighestHierarchyLevel(diagnostics, context);
525        }
526 
527        /**
528         * Validates the NoSublevelsForCategoryResourceDemand constraint of '<em>PCMRE Category</em>'.
529         * <!-- begin-user-doc -->
530         * <!-- end-user-doc -->
531         * @generated
532         */
533        public boolean validatePCMRECategory_NoSublevelsForCategoryResourceDemand(PCMRECategory pcmreCategory, DiagnosticChain diagnostics, Map<Object, Object> context) {
534                return pcmreCategory.NoSublevelsForCategoryResourceDemand(diagnostics, context);
535        }
536 
537        /**
538         * Validates the ExistingREPrecisionCallParameterMustBeNoPrecisionDueToTheNonExistenceOfParametersForCategoryResourceDemand constraint of '<em>PCMRE Category</em>'.
539         * <!-- begin-user-doc -->
540         * <!-- end-user-doc -->
541         * @generated
542         */
543        public boolean validatePCMRECategory_ExistingREPrecisionCallParameterMustBeNoPrecisionDueToTheNonExistenceOfParametersForCategoryResourceDemand(PCMRECategory pcmreCategory, DiagnosticChain diagnostics, Map<Object, Object> context) {
544                return pcmreCategory.ExistingREPrecisionCallParameterMustBeNoPrecisionDueToTheNonExistenceOfParametersForCategoryResourceDemand(diagnostics, context);
545        }
546 
547        /**
548         * <!-- begin-user-doc -->
549         * <!-- end-user-doc -->
550         * @generated
551         */
552        public boolean validatePCMRE(PCMRE pcmre, DiagnosticChain diagnostics, Map<Object, Object> context) {
553                boolean result = validate_EveryMultiplicityConforms(pcmre, diagnostics, context);
554                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(pcmre, diagnostics, context);
555                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(pcmre, diagnostics, context);
556                if (result || diagnostics != null) result &= validate_EveryProxyResolves(pcmre, diagnostics, context);
557                if (result || diagnostics != null) result &= validate_UniqueID(pcmre, diagnostics, context);
558                if (result || diagnostics != null) result &= validate_EveryKeyUnique(pcmre, diagnostics, context);
559                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(pcmre, diagnostics, context);
560                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(pcmre, diagnostics, context);
561                if (result || diagnostics != null) result &= validateRequiredElement_StipulatedPrecisionMustBeSetInStipulationContext(pcmre, diagnostics, context);
562                return result;
563        }
564 
565        /**
566         * <!-- begin-user-doc -->
567         * <!-- end-user-doc -->
568         * @generated
569         */
570        public boolean validatePCMREInterface(PCMREInterface pcmreInterface, DiagnosticChain diagnostics, Map<Object, Object> context) {
571                boolean result = validate_EveryMultiplicityConforms(pcmreInterface, diagnostics, context);
572                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(pcmreInterface, diagnostics, context);
573                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(pcmreInterface, diagnostics, context);
574                if (result || diagnostics != null) result &= validate_EveryProxyResolves(pcmreInterface, diagnostics, context);
575                if (result || diagnostics != null) result &= validate_UniqueID(pcmreInterface, diagnostics, context);
576                if (result || diagnostics != null) result &= validate_EveryKeyUnique(pcmreInterface, diagnostics, context);
577                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(pcmreInterface, diagnostics, context);
578                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(pcmreInterface, diagnostics, context);
579                if (result || diagnostics != null) result &= validateRequiredElement_StipulatedPrecisionMustBeSetInStipulationContext(pcmreInterface, diagnostics, context);
580                if (result || diagnostics != null) result &= validatePCMREInterface_NextLowerHierachyLevelIsRole(pcmreInterface, diagnostics, context);
581                if (result || diagnostics != null) result &= validatePCMREInterface_NextUpperHierarchyLevelIsCategory(pcmreInterface, diagnostics, context);
582                return result;
583        }
584 
585        /**
586         * Validates the NextLowerHierachyLevelIsRole constraint of '<em>PCMRE Interface</em>'.
587         * <!-- begin-user-doc -->
588         * <!-- end-user-doc -->
589         * @generated
590         */
591        public boolean validatePCMREInterface_NextLowerHierachyLevelIsRole(PCMREInterface pcmreInterface, DiagnosticChain diagnostics, Map<Object, Object> context) {
592                return pcmreInterface.NextLowerHierachyLevelIsRole(diagnostics, context);
593        }
594 
595        /**
596         * Validates the NextUpperHierarchyLevelIsCategory constraint of '<em>PCMRE Interface</em>'.
597         * <!-- begin-user-doc -->
598         * <!-- end-user-doc -->
599         * @generated
600         */
601        public boolean validatePCMREInterface_NextUpperHierarchyLevelIsCategory(PCMREInterface pcmreInterface, DiagnosticChain diagnostics, Map<Object, Object> context) {
602                return pcmreInterface.NextUpperHierarchyLevelIsCategory(diagnostics, context);
603        }
604 
605        /**
606         * <!-- begin-user-doc -->
607         * <!-- end-user-doc -->
608         * @generated
609         */
610        public boolean validatePCMRERole(PCMRERole pcmreRole, DiagnosticChain diagnostics, Map<Object, Object> context) {
611                boolean result = validate_EveryMultiplicityConforms(pcmreRole, diagnostics, context);
612                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(pcmreRole, diagnostics, context);
613                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(pcmreRole, diagnostics, context);
614                if (result || diagnostics != null) result &= validate_EveryProxyResolves(pcmreRole, diagnostics, context);
615                if (result || diagnostics != null) result &= validate_UniqueID(pcmreRole, diagnostics, context);
616                if (result || diagnostics != null) result &= validate_EveryKeyUnique(pcmreRole, diagnostics, context);
617                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(pcmreRole, diagnostics, context);
618                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(pcmreRole, diagnostics, context);
619                if (result || diagnostics != null) result &= validateRequiredElement_StipulatedPrecisionMustBeSetInStipulationContext(pcmreRole, diagnostics, context);
620                if (result || diagnostics != null) result &= validatePCMRERole_NextLowerHierarchyLevelIsSignature(pcmreRole, diagnostics, context);
621                if (result || diagnostics != null) result &= validatePCMRERole_NextUpperHierarchyLevelIsInterface(pcmreRole, diagnostics, context);
622                return result;
623        }
624 
625        /**
626         * Validates the NextLowerHierarchyLevelIsSignature constraint of '<em>PCMRE Role</em>'.
627         * <!-- begin-user-doc -->
628         * <!-- end-user-doc -->
629         * @generated
630         */
631        public boolean validatePCMRERole_NextLowerHierarchyLevelIsSignature(PCMRERole pcmreRole, DiagnosticChain diagnostics, Map<Object, Object> context) {
632                return pcmreRole.NextLowerHierarchyLevelIsSignature(diagnostics, context);
633        }
634 
635        /**
636         * Validates the NextUpperHierarchyLevelIsInterface constraint of '<em>PCMRE Role</em>'.
637         * <!-- begin-user-doc -->
638         * <!-- end-user-doc -->
639         * @generated
640         */
641        public boolean validatePCMRERole_NextUpperHierarchyLevelIsInterface(PCMRERole pcmreRole, DiagnosticChain diagnostics, Map<Object, Object> context) {
642                return pcmreRole.NextUpperHierarchyLevelIsInterface(diagnostics, context);
643        }
644 
645        /**
646         * <!-- begin-user-doc -->
647         * <!-- end-user-doc -->
648         * @generated
649         */
650        public boolean validatePCMRESignature(PCMRESignature pcmreSignature, DiagnosticChain diagnostics, Map<Object, Object> context) {
651                boolean result = validate_EveryMultiplicityConforms(pcmreSignature, diagnostics, context);
652                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(pcmreSignature, diagnostics, context);
653                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(pcmreSignature, diagnostics, context);
654                if (result || diagnostics != null) result &= validate_EveryProxyResolves(pcmreSignature, diagnostics, context);
655                if (result || diagnostics != null) result &= validate_UniqueID(pcmreSignature, diagnostics, context);
656                if (result || diagnostics != null) result &= validate_EveryKeyUnique(pcmreSignature, diagnostics, context);
657                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(pcmreSignature, diagnostics, context);
658                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(pcmreSignature, diagnostics, context);
659                if (result || diagnostics != null) result &= validateRequiredElement_StipulatedPrecisionMustBeSetInStipulationContext(pcmreSignature, diagnostics, context);
660                if (result || diagnostics != null) result &= validatePCMRESignature_ThisIsTheLowestHierarchyLevel(pcmreSignature, diagnostics, context);
661                if (result || diagnostics != null) result &= validatePCMRESignature_NextUpperHierarchyLevelIsRole(pcmreSignature, diagnostics, context);
662                return result;
663        }
664 
665        /**
666         * Validates the ThisIsTheLowestHierarchyLevel constraint of '<em>PCMRE Signature</em>'.
667         * <!-- begin-user-doc -->
668         * <!-- end-user-doc -->
669         * @generated
670         */
671        public boolean validatePCMRESignature_ThisIsTheLowestHierarchyLevel(PCMRESignature pcmreSignature, DiagnosticChain diagnostics, Map<Object, Object> context) {
672                return pcmreSignature.ThisIsTheLowestHierarchyLevel(diagnostics, context);
673        }
674 
675        /**
676         * Validates the NextUpperHierarchyLevelIsRole constraint of '<em>PCMRE Signature</em>'.
677         * <!-- begin-user-doc -->
678         * <!-- end-user-doc -->
679         * @generated
680         */
681        public boolean validatePCMRESignature_NextUpperHierarchyLevelIsRole(PCMRESignature pcmreSignature, DiagnosticChain diagnostics, Map<Object, Object> context) {
682                return pcmreSignature.NextUpperHierarchyLevelIsRole(diagnostics, context);
683        }
684 
685        /**
686         * <!-- begin-user-doc -->
687         * <!-- end-user-doc -->
688         * @generated
689         */
690        public boolean validatePCMServiceSpecification(PCMServiceSpecification pcmServiceSpecification, DiagnosticChain diagnostics, Map<Object, Object> context) {
691                boolean result = validate_EveryMultiplicityConforms(pcmServiceSpecification, diagnostics, context);
692                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(pcmServiceSpecification, diagnostics, context);
693                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(pcmServiceSpecification, diagnostics, context);
694                if (result || diagnostics != null) result &= validate_EveryProxyResolves(pcmServiceSpecification, diagnostics, context);
695                if (result || diagnostics != null) result &= validate_UniqueID(pcmServiceSpecification, diagnostics, context);
696                if (result || diagnostics != null) result &= validate_EveryKeyUnique(pcmServiceSpecification, diagnostics, context);
697                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(pcmServiceSpecification, diagnostics, context);
698                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(pcmServiceSpecification, diagnostics, context);
699                return result;
700        }
701 
702        /**
703         * <!-- begin-user-doc -->
704         * <!-- end-user-doc -->
705         * @generated
706         */
707        public boolean validatePCMREResourceInterface(PCMREResourceInterface pcmreResourceInterface, DiagnosticChain diagnostics, Map<Object, Object> context) {
708                boolean result = validate_EveryMultiplicityConforms(pcmreResourceInterface, diagnostics, context);
709                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(pcmreResourceInterface, diagnostics, context);
710                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(pcmreResourceInterface, diagnostics, context);
711                if (result || diagnostics != null) result &= validate_EveryProxyResolves(pcmreResourceInterface, diagnostics, context);
712                if (result || diagnostics != null) result &= validate_UniqueID(pcmreResourceInterface, diagnostics, context);
713                if (result || diagnostics != null) result &= validate_EveryKeyUnique(pcmreResourceInterface, diagnostics, context);
714                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(pcmreResourceInterface, diagnostics, context);
715                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(pcmreResourceInterface, diagnostics, context);
716                if (result || diagnostics != null) result &= validateRequiredElement_StipulatedPrecisionMustBeSetInStipulationContext(pcmreResourceInterface, diagnostics, context);
717                return result;
718        }
719 
720        /**
721         * <!-- begin-user-doc -->
722         * <!-- end-user-doc -->
723         * @generated
724         */
725        public boolean validatePCMREResourceSignature(PCMREResourceSignature pcmreResourceSignature, DiagnosticChain diagnostics, Map<Object, Object> context) {
726                boolean result = validate_EveryMultiplicityConforms(pcmreResourceSignature, diagnostics, context);
727                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(pcmreResourceSignature, diagnostics, context);
728                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(pcmreResourceSignature, diagnostics, context);
729                if (result || diagnostics != null) result &= validate_EveryProxyResolves(pcmreResourceSignature, diagnostics, context);
730                if (result || diagnostics != null) result &= validate_UniqueID(pcmreResourceSignature, diagnostics, context);
731                if (result || diagnostics != null) result &= validate_EveryKeyUnique(pcmreResourceSignature, diagnostics, context);
732                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(pcmreResourceSignature, diagnostics, context);
733                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(pcmreResourceSignature, diagnostics, context);
734                if (result || diagnostics != null) result &= validateRequiredElement_StipulatedPrecisionMustBeSetInStipulationContext(pcmreResourceSignature, diagnostics, context);
735                return result;
736        }
737 
738        /**
739         * <!-- begin-user-doc -->
740         * <!-- end-user-doc -->
741         * @generated
742         */
743        public boolean validatePCMRERequestCategory(PCMRERequestCategory pcmreRequestCategory, DiagnosticChain diagnostics, Map<Object, Object> context) {
744                return true;
745        }
746 
747} //QualityAnnotationValidator

[all classes][de.fzi.se.quality.qualityannotation.util]
EMMA 2.0.9414 (unsupported private build) (C) Vladimir Roubtsov