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

COVERAGE SUMMARY FOR SOURCE FILE [QMLContractTypeValidator.java]

nameclass, %method, %block, %line, %
QMLContractTypeValidator.java0%   (0/1)0%   (0/25)0%   (0/1423)0%   (0/153)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class QMLContractTypeValidator0%   (0/1)0%   (0/25)0%   (0/1423)0%   (0/153)
<static initializer> 0%   (0/1)0%   (0/5)0%   (0/2)
QMLContractTypeValidator (): 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/109)0%   (0/17)
validateDimension (Dimension, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateDimensionType (DimensionType, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateDimensionTypeEnum (DimensionTypeEnum, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/105)0%   (0/10)
validateDimensionTypeEnum_ORDER_can_only_exist_with_RELATIONSEMANTICS_and_vic... 0%   (0/1)0%   (0/5)0%   (0/1)
validateDimensionTypeNumeric (DimensionTypeNumeric, DiagnosticChain, Map): bo... 0%   (0/1)0%   (0/105)0%   (0/10)
validateDimensionTypeNumeric_NUMERICDIMENSIONTYPE_must_have_RELATIONSEMANTICS... 0%   (0/1)0%   (0/5)0%   (0/1)
validateDimensionTypeRepository (DimensionTypeRepository, DiagnosticChain, Ma... 0%   (0/1)0%   (0/93)0%   (0/9)
validateDimensionTypeSet (DimensionTypeSet, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/105)0%   (0/10)
validateDimensionTypeSet_ORDER_can_only_exist_with_RELATIONSEMANTICS (Dimensi... 0%   (0/1)0%   (0/5)0%   (0/1)
validateElement (Element, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateEnumNumericDomain (EnumNumericDomain, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/2)0%   (0/1)
validateEnumRelationSemantics (EnumRelationSemantics, DiagnosticChain, Map): ... 0%   (0/1)0%   (0/2)0%   (0/1)
validateNumericRange (NumericRange, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/105)0%   (0/10)
validateNumericRange_UPPERLIMIT_must_be_greater_than_LOWERLIMIT (NumericRange... 0%   (0/1)0%   (0/5)0%   (0/1)
validateOrder (Order, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/105)0%   (0/10)
validateOrder_BIGGERELEMENT_must_not_be_SMALLELEMENT (Order, DiagnosticChain,... 0%   (0/1)0%   (0/5)0%   (0/1)
validateQMLContractType (QMLContractType, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateRelationSemantics (RelationSemantics, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateUnit (Unit, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateUnitRepository (UnitRepository, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)

1/**
2 * <copyright>
3 * </copyright>
4 *
5 * $Id$
6 */
7package de.uka.ipd.sdq.dsexplore.qml.contracttype.QMLContractType.util;
8 
9import de.uka.ipd.sdq.dsexplore.qml.contracttype.QMLContractType.*;
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.contracttype.QMLContractType.QMLContractTypePackage
27 * @generated
28 */
29public class QMLContractTypeValidator extends EObjectValidator {
30        /**
31         * The cached model package
32         * <!-- begin-user-doc -->
33         * <!-- end-user-doc -->
34         * @generated
35         */
36        public static final QMLContractTypeValidator INSTANCE = new QMLContractTypeValidator();
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.contracttype.QMLContractType";
47 
48        /**
49         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'ORDER can only exist with RELATIONSEMANTICS' of 'Dimension Type Set'.
50         * <!-- begin-user-doc -->
51         * <!-- end-user-doc -->
52         * @generated
53         */
54        public static final int DIMENSION_TYPE_SET__ORDER_CAN_ONLY_EXIST_WITH_RELATIONSEMANTICS = 1;
55 
56        /**
57         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'BIGGERELEMENT must not be SMALLELEMENT' of 'Order'.
58         * <!-- begin-user-doc -->
59         * <!-- end-user-doc -->
60         * @generated
61         */
62        public static final int ORDER__BIGGERELEMENT_MUST_NOT_BE_SMALLELEMENT = 2;
63 
64        /**
65         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'ORDER can only exist with RELATIONSEMANTICS and vice versa' of 'Dimension Type Enum'.
66         * <!-- begin-user-doc -->
67         * <!-- end-user-doc -->
68         * @generated
69         */
70        public static final int DIMENSION_TYPE_ENUM__ORDER_CAN_ONLY_EXIST_WITH_RELATIONSEMANTICS_AND_VICE_VERSA = 3;
71 
72        /**
73         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'NUMERICDIMENSIONTYPE must have RELATIONSEMANTICS' of 'Dimension Type Numeric'.
74         * <!-- begin-user-doc -->
75         * <!-- end-user-doc -->
76         * @generated
77         */
78        public static final int DIMENSION_TYPE_NUMERIC__NUMERICDIMENSIONTYPE_MUST_HAVE_RELATIONSEMANTICS = 4;
79 
80        /**
81         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'UPPERLIMIT must be greater than LOWERLIMIT' of 'Numeric Range'.
82         * <!-- begin-user-doc -->
83         * <!-- end-user-doc -->
84         * @generated
85         */
86        public static final int NUMERIC_RANGE__UPPERLIMIT_MUST_BE_GREATER_THAN_LOWERLIMIT = 5;
87 
88        /**
89         * A constant with a fixed name that can be used as the base value for additional hand written constants.
90         * <!-- begin-user-doc -->
91         * <!-- end-user-doc -->
92         * @generated
93         */
94        private static final int GENERATED_DIAGNOSTIC_CODE_COUNT = 5;
95 
96        /**
97         * A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.
98         * <!-- begin-user-doc -->
99         * <!-- end-user-doc -->
100         * @generated
101         */
102        protected static final int DIAGNOSTIC_CODE_COUNT = GENERATED_DIAGNOSTIC_CODE_COUNT;
103 
104        /**
105         * The cached base package validator.
106         * <!-- begin-user-doc -->
107         * <!-- end-user-doc -->
108         * @generated
109         */
110        protected IdentifierValidator identifierValidator;
111 
112        /**
113         * Creates an instance of the switch.
114         * <!-- begin-user-doc -->
115         * <!-- end-user-doc -->
116         * @generated
117         */
118        public QMLContractTypeValidator() {
119                super();
120                identifierValidator = IdentifierValidator.INSTANCE;
121        }
122 
123        /**
124         * Returns the package of this validator switch.
125         * <!-- begin-user-doc -->
126         * <!-- end-user-doc -->
127         * @generated
128         */
129        @Override
130        protected EPackage getEPackage() {
131          return QMLContractTypePackage.eINSTANCE;
132        }
133 
134        /**
135         * Calls <code>validateXXX</code> for the corresponding classifier of the model.
136         * <!-- begin-user-doc -->
137         * <!-- end-user-doc -->
138         * @generated
139         */
140        @Override
141        protected boolean validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object, Object> context) {
142                switch (classifierID) {
143                        case QMLContractTypePackage.DIMENSION_TYPE_SET:
144                                return validateDimensionTypeSet((DimensionTypeSet)value, diagnostics, context);
145                        case QMLContractTypePackage.DIMENSION_TYPE:
146                                return validateDimensionType((DimensionType)value, diagnostics, context);
147                        case QMLContractTypePackage.RELATION_SEMANTICS:
148                                return validateRelationSemantics((RelationSemantics)value, diagnostics, context);
149                        case QMLContractTypePackage.ELEMENT:
150                                return validateElement((Element)value, diagnostics, context);
151                        case QMLContractTypePackage.ORDER:
152                                return validateOrder((Order)value, diagnostics, context);
153                        case QMLContractTypePackage.DIMENSION_TYPE_ENUM:
154                                return validateDimensionTypeEnum((DimensionTypeEnum)value, diagnostics, context);
155                        case QMLContractTypePackage.UNIT:
156                                return validateUnit((Unit)value, diagnostics, context);
157                        case QMLContractTypePackage.DIMENSION_TYPE_NUMERIC:
158                                return validateDimensionTypeNumeric((DimensionTypeNumeric)value, diagnostics, context);
159                        case QMLContractTypePackage.NUMERIC_RANGE:
160                                return validateNumericRange((NumericRange)value, diagnostics, context);
161                        case QMLContractTypePackage.QML_CONTRACT_TYPE:
162                                return validateQMLContractType((QMLContractType)value, diagnostics, context);
163                        case QMLContractTypePackage.UNIT_REPOSITORY:
164                                return validateUnitRepository((UnitRepository)value, diagnostics, context);
165                        case QMLContractTypePackage.DIMENSION_TYPE_REPOSITORY:
166                                return validateDimensionTypeRepository((DimensionTypeRepository)value, diagnostics, context);
167                        case QMLContractTypePackage.DIMENSION:
168                                return validateDimension((Dimension)value, diagnostics, context);
169                        case QMLContractTypePackage.ENUM_RELATION_SEMANTICS:
170                                return validateEnumRelationSemantics((EnumRelationSemantics)value, diagnostics, context);
171                        case QMLContractTypePackage.ENUM_NUMERIC_DOMAIN:
172                                return validateEnumNumericDomain((EnumNumericDomain)value, diagnostics, context);
173                        default:
174                                return true;
175                }
176        }
177 
178        /**
179         * <!-- begin-user-doc -->
180         * <!-- end-user-doc -->
181         * @generated
182         */
183        public boolean validateDimensionTypeSet(DimensionTypeSet dimensionTypeSet, DiagnosticChain diagnostics, Map<Object, Object> context) {
184                boolean result = validate_EveryMultiplicityConforms(dimensionTypeSet, diagnostics, context);
185                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(dimensionTypeSet, diagnostics, context);
186                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(dimensionTypeSet, diagnostics, context);
187                if (result || diagnostics != null) result &= validate_EveryProxyResolves(dimensionTypeSet, diagnostics, context);
188                if (result || diagnostics != null) result &= validate_UniqueID(dimensionTypeSet, diagnostics, context);
189                if (result || diagnostics != null) result &= validate_EveryKeyUnique(dimensionTypeSet, diagnostics, context);
190                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(dimensionTypeSet, diagnostics, context);
191                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(dimensionTypeSet, diagnostics, context);
192                if (result || diagnostics != null) result &= validateDimensionTypeSet_ORDER_can_only_exist_with_RELATIONSEMANTICS(dimensionTypeSet, diagnostics, context);
193                return result;
194        }
195 
196        /**
197         * Validates the ORDER_can_only_exist_with_RELATIONSEMANTICS constraint of '<em>Dimension Type Set</em>'.
198         * <!-- begin-user-doc -->
199         * <!-- end-user-doc -->
200         * @generated
201         */
202        public boolean validateDimensionTypeSet_ORDER_can_only_exist_with_RELATIONSEMANTICS(DimensionTypeSet dimensionTypeSet, DiagnosticChain diagnostics, Map<Object, Object> context) {
203                return dimensionTypeSet.ORDER_can_only_exist_with_RELATIONSEMANTICS(diagnostics, context);
204        }
205 
206        /**
207         * <!-- begin-user-doc -->
208         * <!-- end-user-doc -->
209         * @generated
210         */
211        public boolean validateDimensionType(DimensionType dimensionType, DiagnosticChain diagnostics, Map<Object, Object> context) {
212                boolean result = validate_EveryMultiplicityConforms(dimensionType, diagnostics, context);
213                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(dimensionType, diagnostics, context);
214                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(dimensionType, diagnostics, context);
215                if (result || diagnostics != null) result &= validate_EveryProxyResolves(dimensionType, diagnostics, context);
216                if (result || diagnostics != null) result &= validate_UniqueID(dimensionType, diagnostics, context);
217                if (result || diagnostics != null) result &= validate_EveryKeyUnique(dimensionType, diagnostics, context);
218                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(dimensionType, diagnostics, context);
219                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(dimensionType, diagnostics, context);
220                return result;
221        }
222 
223        /**
224         * <!-- begin-user-doc -->
225         * <!-- end-user-doc -->
226         * @generated
227         */
228        public boolean validateRelationSemantics(RelationSemantics relationSemantics, DiagnosticChain diagnostics, Map<Object, Object> context) {
229                boolean result = validate_EveryMultiplicityConforms(relationSemantics, diagnostics, context);
230                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(relationSemantics, diagnostics, context);
231                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(relationSemantics, diagnostics, context);
232                if (result || diagnostics != null) result &= validate_EveryProxyResolves(relationSemantics, diagnostics, context);
233                if (result || diagnostics != null) result &= validate_UniqueID(relationSemantics, diagnostics, context);
234                if (result || diagnostics != null) result &= validate_EveryKeyUnique(relationSemantics, diagnostics, context);
235                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(relationSemantics, diagnostics, context);
236                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(relationSemantics, diagnostics, context);
237                return result;
238        }
239 
240        /**
241         * <!-- begin-user-doc -->
242         * <!-- end-user-doc -->
243         * @generated
244         */
245        public boolean validateElement(Element element, DiagnosticChain diagnostics, Map<Object, Object> context) {
246                boolean result = validate_EveryMultiplicityConforms(element, diagnostics, context);
247                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(element, diagnostics, context);
248                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(element, diagnostics, context);
249                if (result || diagnostics != null) result &= validate_EveryProxyResolves(element, diagnostics, context);
250                if (result || diagnostics != null) result &= validate_UniqueID(element, diagnostics, context);
251                if (result || diagnostics != null) result &= validate_EveryKeyUnique(element, diagnostics, context);
252                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(element, diagnostics, context);
253                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(element, diagnostics, context);
254                return result;
255        }
256 
257        /**
258         * <!-- begin-user-doc -->
259         * <!-- end-user-doc -->
260         * @generated
261         */
262        public boolean validateOrder(Order order, DiagnosticChain diagnostics, Map<Object, Object> context) {
263                boolean result = validate_EveryMultiplicityConforms(order, diagnostics, context);
264                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(order, diagnostics, context);
265                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(order, diagnostics, context);
266                if (result || diagnostics != null) result &= validate_EveryProxyResolves(order, diagnostics, context);
267                if (result || diagnostics != null) result &= validate_UniqueID(order, diagnostics, context);
268                if (result || diagnostics != null) result &= validate_EveryKeyUnique(order, diagnostics, context);
269                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(order, diagnostics, context);
270                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(order, diagnostics, context);
271                if (result || diagnostics != null) result &= validateOrder_BIGGERELEMENT_must_not_be_SMALLELEMENT(order, diagnostics, context);
272                return result;
273        }
274 
275        /**
276         * Validates the BIGGERELEMENT_must_not_be_SMALLELEMENT constraint of '<em>Order</em>'.
277         * <!-- begin-user-doc -->
278         * <!-- end-user-doc -->
279         * @generated
280         */
281        public boolean validateOrder_BIGGERELEMENT_must_not_be_SMALLELEMENT(Order order, DiagnosticChain diagnostics, Map<Object, Object> context) {
282                return order.BIGGERELEMENT_must_not_be_SMALLELEMENT(diagnostics, context);
283        }
284 
285        /**
286         * <!-- begin-user-doc -->
287         * <!-- end-user-doc -->
288         * @generated
289         */
290        public boolean validateDimensionTypeEnum(DimensionTypeEnum dimensionTypeEnum, DiagnosticChain diagnostics, Map<Object, Object> context) {
291                boolean result = validate_EveryMultiplicityConforms(dimensionTypeEnum, diagnostics, context);
292                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(dimensionTypeEnum, diagnostics, context);
293                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(dimensionTypeEnum, diagnostics, context);
294                if (result || diagnostics != null) result &= validate_EveryProxyResolves(dimensionTypeEnum, diagnostics, context);
295                if (result || diagnostics != null) result &= validate_UniqueID(dimensionTypeEnum, diagnostics, context);
296                if (result || diagnostics != null) result &= validate_EveryKeyUnique(dimensionTypeEnum, diagnostics, context);
297                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(dimensionTypeEnum, diagnostics, context);
298                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(dimensionTypeEnum, diagnostics, context);
299                if (result || diagnostics != null) result &= validateDimensionTypeEnum_ORDER_can_only_exist_with_RELATIONSEMANTICS_and_vice_versa(dimensionTypeEnum, diagnostics, context);
300                return result;
301        }
302 
303        /**
304         * Validates the ORDER_can_only_exist_with_RELATIONSEMANTICS_and_vice_versa constraint of '<em>Dimension Type Enum</em>'.
305         * <!-- begin-user-doc -->
306         * <!-- end-user-doc -->
307         * @generated
308         */
309        public boolean validateDimensionTypeEnum_ORDER_can_only_exist_with_RELATIONSEMANTICS_and_vice_versa(DimensionTypeEnum dimensionTypeEnum, DiagnosticChain diagnostics, Map<Object, Object> context) {
310                return dimensionTypeEnum.ORDER_can_only_exist_with_RELATIONSEMANTICS_and_vice_versa(diagnostics, context);
311        }
312 
313        /**
314         * <!-- begin-user-doc -->
315         * <!-- end-user-doc -->
316         * @generated
317         */
318        public boolean validateUnit(Unit unit, DiagnosticChain diagnostics, Map<Object, Object> context) {
319                boolean result = validate_EveryMultiplicityConforms(unit, diagnostics, context);
320                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(unit, diagnostics, context);
321                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(unit, diagnostics, context);
322                if (result || diagnostics != null) result &= validate_EveryProxyResolves(unit, diagnostics, context);
323                if (result || diagnostics != null) result &= validate_UniqueID(unit, diagnostics, context);
324                if (result || diagnostics != null) result &= validate_EveryKeyUnique(unit, diagnostics, context);
325                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(unit, diagnostics, context);
326                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(unit, diagnostics, context);
327                return result;
328        }
329 
330        /**
331         * <!-- begin-user-doc -->
332         * <!-- end-user-doc -->
333         * @generated
334         */
335        public boolean validateDimensionTypeNumeric(DimensionTypeNumeric dimensionTypeNumeric, DiagnosticChain diagnostics, Map<Object, Object> context) {
336                boolean result = validate_EveryMultiplicityConforms(dimensionTypeNumeric, diagnostics, context);
337                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(dimensionTypeNumeric, diagnostics, context);
338                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(dimensionTypeNumeric, diagnostics, context);
339                if (result || diagnostics != null) result &= validate_EveryProxyResolves(dimensionTypeNumeric, diagnostics, context);
340                if (result || diagnostics != null) result &= validate_UniqueID(dimensionTypeNumeric, diagnostics, context);
341                if (result || diagnostics != null) result &= validate_EveryKeyUnique(dimensionTypeNumeric, diagnostics, context);
342                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(dimensionTypeNumeric, diagnostics, context);
343                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(dimensionTypeNumeric, diagnostics, context);
344                if (result || diagnostics != null) result &= validateDimensionTypeNumeric_NUMERICDIMENSIONTYPE_must_have_RELATIONSEMANTICS(dimensionTypeNumeric, diagnostics, context);
345                return result;
346        }
347 
348        /**
349         * Validates the NUMERICDIMENSIONTYPE_must_have_RELATIONSEMANTICS constraint of '<em>Dimension Type Numeric</em>'.
350         * <!-- begin-user-doc -->
351         * <!-- end-user-doc -->
352         * @generated
353         */
354        public boolean validateDimensionTypeNumeric_NUMERICDIMENSIONTYPE_must_have_RELATIONSEMANTICS(DimensionTypeNumeric dimensionTypeNumeric, DiagnosticChain diagnostics, Map<Object, Object> context) {
355                return dimensionTypeNumeric.NUMERICDIMENSIONTYPE_must_have_RELATIONSEMANTICS(diagnostics, context);
356        }
357 
358        /**
359         * <!-- begin-user-doc -->
360         * <!-- end-user-doc -->
361         * @generated
362         */
363        public boolean validateNumericRange(NumericRange numericRange, DiagnosticChain diagnostics, Map<Object, Object> context) {
364                boolean result = validate_EveryMultiplicityConforms(numericRange, diagnostics, context);
365                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(numericRange, diagnostics, context);
366                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(numericRange, diagnostics, context);
367                if (result || diagnostics != null) result &= validate_EveryProxyResolves(numericRange, diagnostics, context);
368                if (result || diagnostics != null) result &= validate_UniqueID(numericRange, diagnostics, context);
369                if (result || diagnostics != null) result &= validate_EveryKeyUnique(numericRange, diagnostics, context);
370                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(numericRange, diagnostics, context);
371                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(numericRange, diagnostics, context);
372                if (result || diagnostics != null) result &= validateNumericRange_UPPERLIMIT_must_be_greater_than_LOWERLIMIT(numericRange, diagnostics, context);
373                return result;
374        }
375 
376        /**
377         * Validates the UPPERLIMIT_must_be_greater_than_LOWERLIMIT constraint of '<em>Numeric Range</em>'.
378         * <!-- begin-user-doc -->
379         * <!-- end-user-doc -->
380         * @generated
381         */
382        public boolean validateNumericRange_UPPERLIMIT_must_be_greater_than_LOWERLIMIT(NumericRange numericRange, DiagnosticChain diagnostics, Map<Object, Object> context) {
383                return numericRange.UPPERLIMIT_must_be_greater_than_LOWERLIMIT(diagnostics, context);
384        }
385 
386        /**
387         * <!-- begin-user-doc -->
388         * <!-- end-user-doc -->
389         * @generated
390         */
391        public boolean validateQMLContractType(QMLContractType qmlContractType, DiagnosticChain diagnostics, Map<Object, Object> context) {
392                boolean result = validate_EveryMultiplicityConforms(qmlContractType, diagnostics, context);
393                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(qmlContractType, diagnostics, context);
394                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(qmlContractType, diagnostics, context);
395                if (result || diagnostics != null) result &= validate_EveryProxyResolves(qmlContractType, diagnostics, context);
396                if (result || diagnostics != null) result &= validate_UniqueID(qmlContractType, diagnostics, context);
397                if (result || diagnostics != null) result &= validate_EveryKeyUnique(qmlContractType, diagnostics, context);
398                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(qmlContractType, diagnostics, context);
399                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(qmlContractType, diagnostics, context);
400                return result;
401        }
402 
403        /**
404         * <!-- begin-user-doc -->
405         * <!-- end-user-doc -->
406         * @generated
407         */
408        public boolean validateUnitRepository(UnitRepository unitRepository, DiagnosticChain diagnostics, Map<Object, Object> context) {
409                boolean result = validate_EveryMultiplicityConforms(unitRepository, diagnostics, context);
410                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(unitRepository, diagnostics, context);
411                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(unitRepository, diagnostics, context);
412                if (result || diagnostics != null) result &= validate_EveryProxyResolves(unitRepository, diagnostics, context);
413                if (result || diagnostics != null) result &= validate_UniqueID(unitRepository, diagnostics, context);
414                if (result || diagnostics != null) result &= validate_EveryKeyUnique(unitRepository, diagnostics, context);
415                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(unitRepository, diagnostics, context);
416                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(unitRepository, diagnostics, context);
417                return result;
418        }
419 
420        /**
421         * <!-- begin-user-doc -->
422         * <!-- end-user-doc -->
423         * @generated
424         */
425        public boolean validateDimensionTypeRepository(DimensionTypeRepository dimensionTypeRepository, DiagnosticChain diagnostics, Map<Object, Object> context) {
426                boolean result = validate_EveryMultiplicityConforms(dimensionTypeRepository, diagnostics, context);
427                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(dimensionTypeRepository, diagnostics, context);
428                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(dimensionTypeRepository, diagnostics, context);
429                if (result || diagnostics != null) result &= validate_EveryProxyResolves(dimensionTypeRepository, diagnostics, context);
430                if (result || diagnostics != null) result &= validate_UniqueID(dimensionTypeRepository, diagnostics, context);
431                if (result || diagnostics != null) result &= validate_EveryKeyUnique(dimensionTypeRepository, diagnostics, context);
432                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(dimensionTypeRepository, diagnostics, context);
433                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(dimensionTypeRepository, diagnostics, context);
434                return result;
435        }
436 
437        /**
438         * <!-- begin-user-doc -->
439         * <!-- end-user-doc -->
440         * @generated
441         */
442        public boolean validateDimension(Dimension dimension, DiagnosticChain diagnostics, Map<Object, Object> context) {
443                boolean result = validate_EveryMultiplicityConforms(dimension, diagnostics, context);
444                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(dimension, diagnostics, context);
445                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(dimension, diagnostics, context);
446                if (result || diagnostics != null) result &= validate_EveryProxyResolves(dimension, diagnostics, context);
447                if (result || diagnostics != null) result &= validate_UniqueID(dimension, diagnostics, context);
448                if (result || diagnostics != null) result &= validate_EveryKeyUnique(dimension, diagnostics, context);
449                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(dimension, diagnostics, context);
450                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(dimension, diagnostics, context);
451                return result;
452        }
453 
454        /**
455         * <!-- begin-user-doc -->
456         * <!-- end-user-doc -->
457         * @generated
458         */
459        public boolean validateEnumRelationSemantics(EnumRelationSemantics enumRelationSemantics, DiagnosticChain diagnostics, Map<Object, Object> context) {
460                return true;
461        }
462 
463        /**
464         * <!-- begin-user-doc -->
465         * <!-- end-user-doc -->
466         * @generated
467         */
468        public boolean validateEnumNumericDomain(EnumNumericDomain enumNumericDomain, DiagnosticChain diagnostics, Map<Object, Object> context) {
469                return true;
470        }
471 
472        /**
473         * Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
474         * <!-- begin-user-doc -->
475         * <!-- end-user-doc -->
476         * @generated
477         */
478        @Override
479        public ResourceLocator getResourceLocator() {
480                // TODO
481                // Specialize this to return a resource locator for messages specific to this validator.
482                // Ensure that you remove @generated or mark it @generated NOT
483                return super.getResourceLocator();
484        }
485 
486} //QMLContractTypeValidator

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