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

COVERAGE SUMMARY FOR SOURCE FILE [featuremodelValidator.java]

nameclass, %method, %block, %line, %
featuremodelValidator.java0%   (0/1)0%   (0/29)0%   (0/1457)0%   (0/159)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class featuremodelValidator0%   (0/1)0%   (0/29)0%   (0/1457)0%   (0/159)
<static initializer> 0%   (0/1)0%   (0/5)0%   (0/2)
featuremodelValidator (): 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/130)0%   (0/20)
validateAttribute (Attribute, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateAttributeTypes (AttributeTypes, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/2)0%   (0/1)
validateChildRelation (ChildRelation, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/6)0%   (0/1)
validateConstraint (Constraint, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateContinousIntervalRange (ContinousIntervalRange, DiagnosticChain, Map)... 0%   (0/1)0%   (0/6)0%   (0/1)
validateDoubleAttribute (DoubleAttribute, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateExternalObjectAttribute (ExternalObjectAttribute, DiagnosticChain, Ma... 0%   (0/1)0%   (0/93)0%   (0/9)
validateFeature (Feature, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/105)0%   (0/10)
validateFeatureDiagram (FeatureDiagram, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateFeatureGroup (FeatureGroup, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/128)0%   (0/12)
validateFeatureGroup_ALLImpliesCardinalitiesToBeMinusOne (FeatureGroup, Diagn... 0%   (0/1)0%   (0/5)0%   (0/1)
validateFeatureGroup_ORImpliesCardinalitiesMinToBeOneAndMaxToBeMinusOne (Feat... 0%   (0/1)0%   (0/5)0%   (0/1)
validateFeatureGroup_XORImpliesCardinalitiesToBeOne (FeatureGroup, Diagnostic... 0%   (0/1)0%   (0/5)0%   (0/1)
validateFeatureGroup_XORorORImpliesChildrenAreMandatory (FeatureGroup, Diagno... 0%   (0/1)0%   (0/5)0%   (0/1)
validateFeature_EachAttributeNameDefinedJustOnce (Feature, DiagnosticChain, M... 0%   (0/1)0%   (0/5)0%   (0/1)
validateIntegerAttribute (IntegerAttribute, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateIntegerIntervalRange (IntegerIntervalRange, DiagnosticChain, Map): bo... 0%   (0/1)0%   (0/6)0%   (0/1)
validateIntervalRange (IntervalRange, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/6)0%   (0/1)
validateNamedElement (NamedElement, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateProhibitsConstraint (ProhibitsConstraint, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateRequiredConstraint (RequiredConstraint, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateSimple (Simple, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/92)0%   (0/9)
validateSimple_atLeastOneChild (Simple, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/5)0%   (0/1)
validateStringAttribute (StringAttribute, 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.featuremodel.util;
8 
9import de.uka.ipd.sdq.featuremodel.*;
10import java.util.Map;
11 
12import org.eclipse.emf.common.util.DiagnosticChain;
13import org.eclipse.emf.common.util.ResourceLocator;
14import org.eclipse.emf.ecore.EPackage;
15import org.eclipse.emf.ecore.util.EObjectValidator;
16 
17import de.uka.ipd.sdq.featuremodel.Attribute;
18import de.uka.ipd.sdq.featuremodel.AttributeTypes;
19import de.uka.ipd.sdq.featuremodel.ChildRelation;
20import de.uka.ipd.sdq.featuremodel.Constraint;
21import de.uka.ipd.sdq.featuremodel.ContinousIntervalRange;
22import de.uka.ipd.sdq.featuremodel.DoubleAttribute;
23import de.uka.ipd.sdq.featuremodel.Feature;
24import de.uka.ipd.sdq.featuremodel.FeatureDiagram;
25import de.uka.ipd.sdq.featuremodel.FeatureGroup;
26import de.uka.ipd.sdq.featuremodel.IntegerAttribute;
27import de.uka.ipd.sdq.featuremodel.IntegerIntervalRange;
28import de.uka.ipd.sdq.featuremodel.IntervalRange;
29import de.uka.ipd.sdq.featuremodel.NamedElement;
30import de.uka.ipd.sdq.featuremodel.ProhibitsConstraint;
31import de.uka.ipd.sdq.featuremodel.RequiredConstraint;
32import de.uka.ipd.sdq.featuremodel.Simple;
33import de.uka.ipd.sdq.featuremodel.featuremodelPackage;
34import de.uka.ipd.sdq.identifier.util.IdentifierValidator;
35 
36/**
37 * <!-- begin-user-doc -->
38 * The <b>Validator</b> for the model.
39 * <!-- end-user-doc -->
40 * @see de.uka.ipd.sdq.featuremodel.featuremodelPackage
41 * @generated
42 */
43public class featuremodelValidator extends EObjectValidator {
44        /**
45         * The cached model package
46         * <!-- begin-user-doc -->
47         * <!-- end-user-doc -->
48         * @generated
49         */
50        public static final featuremodelValidator INSTANCE = new featuremodelValidator();
51 
52        /**
53         * 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.
54         * <!-- begin-user-doc -->
55         * <!-- end-user-doc -->
56         * @see org.eclipse.emf.common.util.Diagnostic#getSource()
57         * @see org.eclipse.emf.common.util.Diagnostic#getCode()
58         * @generated
59         */
60        public static final String DIAGNOSTIC_SOURCE = "de.uka.ipd.sdq.featuremodel";
61 
62        /**
63         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Each Attribute Name Defined Just Once' of 'Feature'.
64         * <!-- begin-user-doc -->
65         * <!-- end-user-doc -->
66         * @generated
67         */
68        public static final int FEATURE__EACH_ATTRIBUTE_NAME_DEFINED_JUST_ONCE = 1;
69 
70        /**
71         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'XO Ror OR Implies Children Are Mandatory' of 'Feature Group'.
72         * <!-- begin-user-doc -->
73         * <!-- end-user-doc -->
74         * @generated
75         */
76        public static final int FEATURE_GROUP__XO_ROR_OR_IMPLIES_CHILDREN_ARE_MANDATORY = 3;
77 
78        /**
79         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'ALL Implies Cardinalities To Be Minus One' of 'Feature Group'.
80         * <!-- begin-user-doc -->
81         * <!-- end-user-doc -->
82         * @generated
83         */
84        public static final int FEATURE_GROUP__ALL_IMPLIES_CARDINALITIES_TO_BE_MINUS_ONE = 4;
85 
86        /**
87         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'OR Implies Cardinalities Min To Be One And Max To Be Minus One' of 'Feature Group'.
88         * <!-- begin-user-doc -->
89         * <!-- end-user-doc -->
90         * @generated
91         */
92        public static final int FEATURE_GROUP__OR_IMPLIES_CARDINALITIES_MIN_TO_BE_ONE_AND_MAX_TO_BE_MINUS_ONE = 5;
93 
94        /**
95         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'XOR Implies Cardinalities To Be One' of 'Feature Group'.
96         * <!-- begin-user-doc -->
97         * <!-- end-user-doc -->
98         * @generated
99         */
100        public static final int FEATURE_GROUP__XOR_IMPLIES_CARDINALITIES_TO_BE_ONE = 6;
101 
102        /**
103         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'At Least One Child' of 'Simple'.
104         * <!-- begin-user-doc -->
105         * <!-- end-user-doc -->
106         * @generated
107         */
108        public static final int SIMPLE__AT_LEAST_ONE_CHILD = 2;
109 
110        /**
111         * A constant with a fixed name that can be used as the base value for additional hand written constants.
112         * <!-- begin-user-doc -->
113         * <!-- end-user-doc -->
114         * @generated
115         */
116        private static final int GENERATED_DIAGNOSTIC_CODE_COUNT = 6;
117 
118        /**
119         * A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.
120         * <!-- begin-user-doc -->
121         * <!-- end-user-doc -->
122         * @generated
123         */
124        protected static final int DIAGNOSTIC_CODE_COUNT = GENERATED_DIAGNOSTIC_CODE_COUNT;
125 
126        /**
127         * The cached base package validator.
128         * <!-- begin-user-doc -->
129         * <!-- end-user-doc -->
130         * @generated
131         */
132        protected IdentifierValidator identifierValidator;
133 
134        /**
135         * Creates an instance of the switch.
136         * <!-- begin-user-doc -->
137         * <!-- end-user-doc -->
138         * @generated
139         */
140        public featuremodelValidator() {
141                super();
142                identifierValidator = IdentifierValidator.INSTANCE;
143        }
144 
145        /**
146         * Returns the package of this validator switch.
147         * <!-- begin-user-doc -->
148         * <!-- end-user-doc -->
149         * @generated
150         */
151        @Override
152        protected EPackage getEPackage() {
153          return featuremodelPackage.eINSTANCE;
154        }
155 
156        /**
157         * Calls <code>validateXXX</code> for the corresponding classifier of the model.
158         * <!-- begin-user-doc -->
159         * <!-- end-user-doc -->
160         * @generated
161         */
162        @Override
163        protected boolean validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object, Object> context) {
164                switch (classifierID) {
165                        case featuremodelPackage.FEATURE:
166                                return validateFeature((Feature)value, diagnostics, context);
167                        case featuremodelPackage.NAMED_ELEMENT:
168                                return validateNamedElement((NamedElement)value, diagnostics, context);
169                        case featuremodelPackage.ATTRIBUTE:
170                                return validateAttribute((Attribute)value, diagnostics, context);
171                        case featuremodelPackage.INTERVAL_RANGE:
172                                return validateIntervalRange((IntervalRange)value, diagnostics, context);
173                        case featuremodelPackage.CHILD_RELATION:
174                                return validateChildRelation((ChildRelation)value, diagnostics, context);
175                        case featuremodelPackage.SIMPLE:
176                                return validateSimple((Simple)value, diagnostics, context);
177                        case featuremodelPackage.FEATURE_GROUP:
178                                return validateFeatureGroup((FeatureGroup)value, diagnostics, context);
179                        case featuremodelPackage.FEATURE_DIAGRAM:
180                                return validateFeatureDiagram((FeatureDiagram)value, diagnostics, context);
181                        case featuremodelPackage.CONSTRAINT:
182                                return validateConstraint((Constraint)value, diagnostics, context);
183                        case featuremodelPackage.REQUIRED_CONSTRAINT:
184                                return validateRequiredConstraint((RequiredConstraint)value, diagnostics, context);
185                        case featuremodelPackage.PROHIBITS_CONSTRAINT:
186                                return validateProhibitsConstraint((ProhibitsConstraint)value, diagnostics, context);
187                        case featuremodelPackage.INTEGER_INTERVAL_RANGE:
188                                return validateIntegerIntervalRange((IntegerIntervalRange)value, diagnostics, context);
189                        case featuremodelPackage.CONTINOUS_INTERVAL_RANGE:
190                                return validateContinousIntervalRange((ContinousIntervalRange)value, diagnostics, context);
191                        case featuremodelPackage.INTEGER_ATTRIBUTE:
192                                return validateIntegerAttribute((IntegerAttribute)value, diagnostics, context);
193                        case featuremodelPackage.DOUBLE_ATTRIBUTE:
194                                return validateDoubleAttribute((DoubleAttribute)value, diagnostics, context);
195                        case featuremodelPackage.STRING_ATTRIBUTE:
196                                return validateStringAttribute((StringAttribute)value, diagnostics, context);
197                        case featuremodelPackage.EXTERNAL_OBJECT_ATTRIBUTE:
198                                return validateExternalObjectAttribute((ExternalObjectAttribute)value, diagnostics, context);
199                        case featuremodelPackage.ATTRIBUTE_TYPES:
200                                return validateAttributeTypes((AttributeTypes)value, diagnostics, context);
201                        default:
202                                return true;
203                }
204        }
205 
206        /**
207         * <!-- begin-user-doc -->
208         * <!-- end-user-doc -->
209         * @generated
210         */
211        public boolean validateFeature(Feature feature, DiagnosticChain diagnostics, Map<Object, Object> context) {
212                boolean result = validate_EveryMultiplicityConforms(feature, diagnostics, context);
213                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(feature, diagnostics, context);
214                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(feature, diagnostics, context);
215                if (result || diagnostics != null) result &= validate_EveryProxyResolves(feature, diagnostics, context);
216                if (result || diagnostics != null) result &= validate_UniqueID(feature, diagnostics, context);
217                if (result || diagnostics != null) result &= validate_EveryKeyUnique(feature, diagnostics, context);
218                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(feature, diagnostics, context);
219                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(feature, diagnostics, context);
220                if (result || diagnostics != null) result &= validateFeature_EachAttributeNameDefinedJustOnce(feature, diagnostics, context);
221                return result;
222        }
223 
224        /**
225         * Validates the EachAttributeNameDefinedJustOnce constraint of '<em>Feature</em>'.
226         * <!-- begin-user-doc -->
227         * <!-- end-user-doc -->
228         * @generated
229         */
230        public boolean validateFeature_EachAttributeNameDefinedJustOnce(Feature feature, DiagnosticChain diagnostics, Map<Object, Object> context) {
231                return feature.EachAttributeNameDefinedJustOnce(diagnostics, context);
232        }
233 
234        /**
235         * <!-- begin-user-doc -->
236         * <!-- end-user-doc -->
237         * @generated
238         */
239        public boolean validateNamedElement(NamedElement namedElement, DiagnosticChain diagnostics, Map<Object, Object> context) {
240                boolean result = validate_EveryMultiplicityConforms(namedElement, diagnostics, context);
241                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(namedElement, diagnostics, context);
242                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(namedElement, diagnostics, context);
243                if (result || diagnostics != null) result &= validate_EveryProxyResolves(namedElement, diagnostics, context);
244                if (result || diagnostics != null) result &= validate_UniqueID(namedElement, diagnostics, context);
245                if (result || diagnostics != null) result &= validate_EveryKeyUnique(namedElement, diagnostics, context);
246                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(namedElement, diagnostics, context);
247                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(namedElement, diagnostics, context);
248                return result;
249        }
250 
251        /**
252         * <!-- begin-user-doc -->
253         * <!-- end-user-doc -->
254         * @generated
255         */
256        public boolean validateAttribute(Attribute attribute, DiagnosticChain diagnostics, Map<Object, Object> context) {
257                boolean result = validate_EveryMultiplicityConforms(attribute, diagnostics, context);
258                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(attribute, diagnostics, context);
259                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(attribute, diagnostics, context);
260                if (result || diagnostics != null) result &= validate_EveryProxyResolves(attribute, diagnostics, context);
261                if (result || diagnostics != null) result &= validate_UniqueID(attribute, diagnostics, context);
262                if (result || diagnostics != null) result &= validate_EveryKeyUnique(attribute, diagnostics, context);
263                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(attribute, diagnostics, context);
264                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(attribute, diagnostics, context);
265                return result;
266        }
267 
268        /**
269         * <!-- begin-user-doc -->
270         * <!-- end-user-doc -->
271         * @generated
272         */
273        public boolean validateChildRelation(ChildRelation childRelation, DiagnosticChain diagnostics, Map<Object, Object> context) {
274                return validate_EveryDefaultConstraint(childRelation, diagnostics, context);
275        }
276 
277        /**
278         * <!-- begin-user-doc -->
279         * <!-- end-user-doc -->
280         * @generated
281         */
282        public boolean validateIntegerAttribute(IntegerAttribute integerAttribute, DiagnosticChain diagnostics, Map<Object, Object> context) {
283                boolean result = validate_EveryMultiplicityConforms(integerAttribute, diagnostics, context);
284                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(integerAttribute, diagnostics, context);
285                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(integerAttribute, diagnostics, context);
286                if (result || diagnostics != null) result &= validate_EveryProxyResolves(integerAttribute, diagnostics, context);
287                if (result || diagnostics != null) result &= validate_UniqueID(integerAttribute, diagnostics, context);
288                if (result || diagnostics != null) result &= validate_EveryKeyUnique(integerAttribute, diagnostics, context);
289                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(integerAttribute, diagnostics, context);
290                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(integerAttribute, diagnostics, context);
291                return result;
292        }
293 
294        /**
295         * <!-- begin-user-doc -->
296         * <!-- end-user-doc -->
297         * @generated
298         */
299        public boolean validateDoubleAttribute(DoubleAttribute doubleAttribute, DiagnosticChain diagnostics, Map<Object, Object> context) {
300                boolean result = validate_EveryMultiplicityConforms(doubleAttribute, diagnostics, context);
301                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(doubleAttribute, diagnostics, context);
302                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(doubleAttribute, diagnostics, context);
303                if (result || diagnostics != null) result &= validate_EveryProxyResolves(doubleAttribute, diagnostics, context);
304                if (result || diagnostics != null) result &= validate_UniqueID(doubleAttribute, diagnostics, context);
305                if (result || diagnostics != null) result &= validate_EveryKeyUnique(doubleAttribute, diagnostics, context);
306                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(doubleAttribute, diagnostics, context);
307                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(doubleAttribute, diagnostics, context);
308                return result;
309        }
310 
311        /**
312         * <!-- begin-user-doc -->
313         * <!-- end-user-doc -->
314         * @generated
315         */
316        public boolean validateStringAttribute(StringAttribute stringAttribute, DiagnosticChain diagnostics, Map<Object, Object> context) {
317                boolean result = validate_EveryMultiplicityConforms(stringAttribute, diagnostics, context);
318                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(stringAttribute, diagnostics, context);
319                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(stringAttribute, diagnostics, context);
320                if (result || diagnostics != null) result &= validate_EveryProxyResolves(stringAttribute, diagnostics, context);
321                if (result || diagnostics != null) result &= validate_UniqueID(stringAttribute, diagnostics, context);
322                if (result || diagnostics != null) result &= validate_EveryKeyUnique(stringAttribute, diagnostics, context);
323                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(stringAttribute, diagnostics, context);
324                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(stringAttribute, diagnostics, context);
325                return result;
326        }
327 
328        /**
329         * <!-- begin-user-doc -->
330         * <!-- end-user-doc -->
331         * @generated
332         */
333        public boolean validateExternalObjectAttribute(ExternalObjectAttribute externalObjectAttribute, DiagnosticChain diagnostics, Map<Object, Object> context) {
334                boolean result = validate_EveryMultiplicityConforms(externalObjectAttribute, diagnostics, context);
335                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(externalObjectAttribute, diagnostics, context);
336                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(externalObjectAttribute, diagnostics, context);
337                if (result || diagnostics != null) result &= validate_EveryProxyResolves(externalObjectAttribute, diagnostics, context);
338                if (result || diagnostics != null) result &= validate_UniqueID(externalObjectAttribute, diagnostics, context);
339                if (result || diagnostics != null) result &= validate_EveryKeyUnique(externalObjectAttribute, diagnostics, context);
340                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(externalObjectAttribute, diagnostics, context);
341                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(externalObjectAttribute, diagnostics, context);
342                return result;
343        }
344 
345        /**
346         * <!-- begin-user-doc -->
347         * <!-- end-user-doc -->
348         * @generated
349         */
350        public boolean validateIntervalRange(IntervalRange intervalRange, DiagnosticChain diagnostics, Map<Object, Object> context) {
351                return validate_EveryDefaultConstraint(intervalRange, diagnostics, context);
352        }
353 
354        /**
355         * <!-- begin-user-doc -->
356         * <!-- end-user-doc -->
357         * @generated
358         */
359        public boolean validateIntegerIntervalRange(IntegerIntervalRange integerIntervalRange, DiagnosticChain diagnostics, Map<Object, Object> context) {
360                return validate_EveryDefaultConstraint(integerIntervalRange, diagnostics, context);
361        }
362 
363        /**
364         * <!-- begin-user-doc -->
365         * <!-- end-user-doc -->
366         * @generated
367         */
368        public boolean validateContinousIntervalRange(ContinousIntervalRange continousIntervalRange, DiagnosticChain diagnostics, Map<Object, Object> context) {
369                return validate_EveryDefaultConstraint(continousIntervalRange, diagnostics, context);
370        }
371 
372        /**
373         * <!-- begin-user-doc -->
374         * <!-- end-user-doc -->
375         * @generated
376         */
377        public boolean validateFeatureGroup(FeatureGroup featureGroup, DiagnosticChain diagnostics, Map<Object, Object> context) {
378                boolean result = validate_EveryMultiplicityConforms(featureGroup, diagnostics, context);
379                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(featureGroup, diagnostics, context);
380                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(featureGroup, diagnostics, context);
381                if (result || diagnostics != null) result &= validate_EveryProxyResolves(featureGroup, diagnostics, context);
382                if (result || diagnostics != null) result &= validate_UniqueID(featureGroup, diagnostics, context);
383                if (result || diagnostics != null) result &= validate_EveryKeyUnique(featureGroup, diagnostics, context);
384                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(featureGroup, diagnostics, context);
385                if (result || diagnostics != null) result &= validateFeatureGroup_XORorORImpliesChildrenAreMandatory(featureGroup, diagnostics, context);
386                if (result || diagnostics != null) result &= validateFeatureGroup_ALLImpliesCardinalitiesToBeMinusOne(featureGroup, diagnostics, context);
387                if (result || diagnostics != null) result &= validateFeatureGroup_ORImpliesCardinalitiesMinToBeOneAndMaxToBeMinusOne(featureGroup, diagnostics, context);
388                if (result || diagnostics != null) result &= validateFeatureGroup_XORImpliesCardinalitiesToBeOne(featureGroup, diagnostics, context);
389                return result;
390        }
391 
392        /**
393         * Validates the XORorORImpliesChildrenAreMandatory constraint of '<em>Feature Group</em>'.
394         * <!-- begin-user-doc -->
395         * <!-- end-user-doc -->
396         * @generated
397         */
398        public boolean validateFeatureGroup_XORorORImpliesChildrenAreMandatory(FeatureGroup featureGroup, DiagnosticChain diagnostics, Map<Object, Object> context) {
399                return featureGroup.XORorORImpliesChildrenAreMandatory(diagnostics, context);
400        }
401 
402        /**
403         * Validates the ALLImpliesCardinalitiesToBeMinusOne constraint of '<em>Feature Group</em>'.
404         * <!-- begin-user-doc -->
405         * <!-- end-user-doc -->
406         * @generated
407         */
408        public boolean validateFeatureGroup_ALLImpliesCardinalitiesToBeMinusOne(FeatureGroup featureGroup, DiagnosticChain diagnostics, Map<Object, Object> context) {
409                return featureGroup.ALLImpliesCardinalitiesToBeMinusOne(diagnostics, context);
410        }
411 
412        /**
413         * Validates the ORImpliesCardinalitiesMinToBeOneAndMaxToBeMinusOne constraint of '<em>Feature Group</em>'.
414         * <!-- begin-user-doc -->
415         * <!-- end-user-doc -->
416         * @generated
417         */
418        public boolean validateFeatureGroup_ORImpliesCardinalitiesMinToBeOneAndMaxToBeMinusOne(FeatureGroup featureGroup, DiagnosticChain diagnostics, Map<Object, Object> context) {
419                return featureGroup.ORImpliesCardinalitiesMinToBeOneAndMaxToBeMinusOne(diagnostics, context);
420        }
421 
422        /**
423         * Validates the XORImpliesCardinalitiesToBeOne constraint of '<em>Feature Group</em>'.
424         * <!-- begin-user-doc -->
425         * <!-- end-user-doc -->
426         * @generated
427         */
428        public boolean validateFeatureGroup_XORImpliesCardinalitiesToBeOne(FeatureGroup featureGroup, DiagnosticChain diagnostics, Map<Object, Object> context) {
429                return featureGroup.XORImpliesCardinalitiesToBeOne(diagnostics, context);
430        }
431 
432        /**
433         * <!-- begin-user-doc -->
434         * <!-- end-user-doc -->
435         * @generated
436         */
437        public boolean validateFeatureDiagram(FeatureDiagram featureDiagram, DiagnosticChain diagnostics, Map<Object, Object> context) {
438                boolean result = validate_EveryMultiplicityConforms(featureDiagram, diagnostics, context);
439                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(featureDiagram, diagnostics, context);
440                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(featureDiagram, diagnostics, context);
441                if (result || diagnostics != null) result &= validate_EveryProxyResolves(featureDiagram, diagnostics, context);
442                if (result || diagnostics != null) result &= validate_UniqueID(featureDiagram, diagnostics, context);
443                if (result || diagnostics != null) result &= validate_EveryKeyUnique(featureDiagram, diagnostics, context);
444                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(featureDiagram, diagnostics, context);
445                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(featureDiagram, diagnostics, context);
446                return result;
447        }
448 
449        /**
450         * <!-- begin-user-doc -->
451         * <!-- end-user-doc -->
452         * @generated
453         */
454        public boolean validateConstraint(Constraint constraint, DiagnosticChain diagnostics, Map<Object, Object> context) {
455                boolean result = validate_EveryMultiplicityConforms(constraint, diagnostics, context);
456                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(constraint, diagnostics, context);
457                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(constraint, diagnostics, context);
458                if (result || diagnostics != null) result &= validate_EveryProxyResolves(constraint, diagnostics, context);
459                if (result || diagnostics != null) result &= validate_UniqueID(constraint, diagnostics, context);
460                if (result || diagnostics != null) result &= validate_EveryKeyUnique(constraint, diagnostics, context);
461                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(constraint, diagnostics, context);
462                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(constraint, diagnostics, context);
463                return result;
464        }
465 
466        /**
467         * <!-- begin-user-doc -->
468         * <!-- end-user-doc -->
469         * @generated
470         */
471        public boolean validateRequiredConstraint(RequiredConstraint requiredConstraint, DiagnosticChain diagnostics, Map<Object, Object> context) {
472                boolean result = validate_EveryMultiplicityConforms(requiredConstraint, diagnostics, context);
473                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(requiredConstraint, diagnostics, context);
474                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(requiredConstraint, diagnostics, context);
475                if (result || diagnostics != null) result &= validate_EveryProxyResolves(requiredConstraint, diagnostics, context);
476                if (result || diagnostics != null) result &= validate_UniqueID(requiredConstraint, diagnostics, context);
477                if (result || diagnostics != null) result &= validate_EveryKeyUnique(requiredConstraint, diagnostics, context);
478                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(requiredConstraint, diagnostics, context);
479                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(requiredConstraint, diagnostics, context);
480                return result;
481        }
482 
483        /**
484         * <!-- begin-user-doc -->
485         * <!-- end-user-doc -->
486         * @generated
487         */
488        public boolean validateProhibitsConstraint(ProhibitsConstraint prohibitsConstraint, DiagnosticChain diagnostics, Map<Object, Object> context) {
489                boolean result = validate_EveryMultiplicityConforms(prohibitsConstraint, diagnostics, context);
490                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(prohibitsConstraint, diagnostics, context);
491                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(prohibitsConstraint, diagnostics, context);
492                if (result || diagnostics != null) result &= validate_EveryProxyResolves(prohibitsConstraint, diagnostics, context);
493                if (result || diagnostics != null) result &= validate_UniqueID(prohibitsConstraint, diagnostics, context);
494                if (result || diagnostics != null) result &= validate_EveryKeyUnique(prohibitsConstraint, diagnostics, context);
495                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(prohibitsConstraint, diagnostics, context);
496                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(prohibitsConstraint, diagnostics, context);
497                return result;
498        }
499 
500        /**
501         * <!-- begin-user-doc -->
502         * <!-- end-user-doc -->
503         * @generated
504         */
505        public boolean validateSimple(Simple simple, DiagnosticChain diagnostics, Map<Object, Object> context) {
506                boolean result = validate_EveryMultiplicityConforms(simple, diagnostics, context);
507                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(simple, diagnostics, context);
508                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(simple, diagnostics, context);
509                if (result || diagnostics != null) result &= validate_EveryProxyResolves(simple, diagnostics, context);
510                if (result || diagnostics != null) result &= validate_UniqueID(simple, diagnostics, context);
511                if (result || diagnostics != null) result &= validate_EveryKeyUnique(simple, diagnostics, context);
512                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(simple, diagnostics, context);
513                if (result || diagnostics != null) result &= validateSimple_atLeastOneChild(simple, diagnostics, context);
514                return result;
515        }
516 
517        /**
518         * Validates the atLeastOneChild constraint of '<em>Simple</em>'.
519         * <!-- begin-user-doc -->
520         * <!-- end-user-doc -->
521         * @generated
522         */
523        public boolean validateSimple_atLeastOneChild(Simple simple, DiagnosticChain diagnostics, Map<Object, Object> context) {
524                return simple.atLeastOneChild(diagnostics, context);
525        }
526 
527        /**
528         * <!-- begin-user-doc -->
529         * <!-- end-user-doc -->
530         * @generated
531         */
532        public boolean validateAttributeTypes(AttributeTypes attributeTypes, DiagnosticChain diagnostics, Map<Object, Object> context) {
533                return true;
534        }
535 
536        /**
537         * Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
538         * <!-- begin-user-doc -->
539         * <!-- end-user-doc -->
540         * @generated
541         */
542        @Override
543        public ResourceLocator getResourceLocator() {
544                // TODO
545                // Specialize this to return a resource locator for messages specific to this validator.
546                // Ensure that you remove @generated or mark it @generated NOT
547                return super.getResourceLocator();
548        }
549 
550} //featuremodelValidator

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