1 | /** |
2 | * Copyright 2005-2009 by SDQ, IPD, University of Karlsruhe, Germany |
3 | * |
4 | * $Id$ |
5 | */ |
6 | package de.uka.ipd.sdq.pcm.repository.util; |
7 | |
8 | import java.util.Map; |
9 | |
10 | import org.eclipse.emf.common.util.DiagnosticChain; |
11 | import org.eclipse.emf.common.util.ResourceLocator; |
12 | import org.eclipse.emf.ecore.EPackage; |
13 | import org.eclipse.emf.ecore.util.EObjectValidator; |
14 | |
15 | import de.uka.ipd.sdq.identifier.util.IdentifierValidator; |
16 | import de.uka.ipd.sdq.pcm.core.composition.util.CompositionValidator; |
17 | import de.uka.ipd.sdq.pcm.core.entity.util.EntityValidator; |
18 | import de.uka.ipd.sdq.pcm.repository.*; |
19 | import de.uka.ipd.sdq.pcm.repository.BasicComponent; |
20 | import de.uka.ipd.sdq.pcm.repository.CollectionDataType; |
21 | import de.uka.ipd.sdq.pcm.repository.CompleteComponentType; |
22 | import de.uka.ipd.sdq.pcm.repository.ComponentType; |
23 | import de.uka.ipd.sdq.pcm.repository.CompositeComponent; |
24 | import de.uka.ipd.sdq.pcm.repository.CompositeDataType; |
25 | import de.uka.ipd.sdq.pcm.repository.DataType; |
26 | import de.uka.ipd.sdq.pcm.repository.EventGroup; |
27 | import de.uka.ipd.sdq.pcm.repository.EventType; |
28 | import de.uka.ipd.sdq.pcm.repository.ExceptionType; |
29 | import de.uka.ipd.sdq.pcm.repository.ImplementationComponentType; |
30 | import de.uka.ipd.sdq.pcm.repository.InfrastructureInterface; |
31 | import de.uka.ipd.sdq.pcm.repository.InfrastructureProvidedRole; |
32 | import de.uka.ipd.sdq.pcm.repository.InfrastructureRequiredRole; |
33 | import de.uka.ipd.sdq.pcm.repository.InfrastructureSignature; |
34 | import de.uka.ipd.sdq.pcm.repository.InnerDeclaration; |
35 | import de.uka.ipd.sdq.pcm.repository.Interface; |
36 | import de.uka.ipd.sdq.pcm.repository.OperationInterface; |
37 | import de.uka.ipd.sdq.pcm.repository.OperationProvidedRole; |
38 | import de.uka.ipd.sdq.pcm.repository.OperationRequiredRole; |
39 | import de.uka.ipd.sdq.pcm.repository.OperationSignature; |
40 | import de.uka.ipd.sdq.pcm.repository.Parameter; |
41 | import de.uka.ipd.sdq.pcm.repository.ParameterModifier; |
42 | import de.uka.ipd.sdq.pcm.repository.PassiveResource; |
43 | import de.uka.ipd.sdq.pcm.repository.PrimitiveDataType; |
44 | import de.uka.ipd.sdq.pcm.repository.PrimitiveTypeEnum; |
45 | import de.uka.ipd.sdq.pcm.repository.ProvidedRole; |
46 | import de.uka.ipd.sdq.pcm.repository.ProvidesComponentType; |
47 | import de.uka.ipd.sdq.pcm.repository.Repository; |
48 | import de.uka.ipd.sdq.pcm.repository.RepositoryComponent; |
49 | import de.uka.ipd.sdq.pcm.repository.RepositoryPackage; |
50 | import de.uka.ipd.sdq.pcm.repository.RequiredCharacterisation; |
51 | import de.uka.ipd.sdq.pcm.repository.RequiredRole; |
52 | import de.uka.ipd.sdq.pcm.repository.Role; |
53 | import de.uka.ipd.sdq.pcm.repository.Signature; |
54 | import de.uka.ipd.sdq.pcm.repository.SinkRole; |
55 | import de.uka.ipd.sdq.pcm.repository.SourceRole; |
56 | |
57 | /** |
58 | * <!-- begin-user-doc --> |
59 | * The <b>Validator</b> for the model. |
60 | * <!-- end-user-doc --> |
61 | * @see de.uka.ipd.sdq.pcm.repository.RepositoryPackage |
62 | * @generated |
63 | */ |
64 | public class RepositoryValidator extends EObjectValidator { |
65 | /** |
66 | * <!-- begin-user-doc --> |
67 | * <!-- end-user-doc --> |
68 | * @generated |
69 | */ |
70 | public static final String copyright = "Copyright 2005-2009 by SDQ, IPD, University of Karlsruhe, Germany"; |
71 | |
72 | /** |
73 | * The cached model package |
74 | * <!-- begin-user-doc --> |
75 | * <!-- end-user-doc --> |
76 | * @generated |
77 | */ |
78 | public static final RepositoryValidator INSTANCE = new RepositoryValidator(); |
79 | |
80 | /** |
81 | * 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. |
82 | * <!-- begin-user-doc --> |
83 | * <!-- end-user-doc --> |
84 | * @see org.eclipse.emf.common.util.Diagnostic#getSource() |
85 | * @see org.eclipse.emf.common.util.Diagnostic#getCode() |
86 | * @generated |
87 | */ |
88 | public static final String DIAGNOSTIC_SOURCE = "de.uka.ipd.sdq.pcm.repository"; |
89 | |
90 | /** |
91 | * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'No Seff Type Used Twice' of 'Basic Component'. |
92 | * <!-- begin-user-doc --> |
93 | * <!-- end-user-doc --> |
94 | * @generated |
95 | */ |
96 | public static final int BASIC_COMPONENT__NO_SEFF_TYPE_USED_TWICE = 1; |
97 | |
98 | /** |
99 | * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Provide Same Interfaces As Implementation Type' of 'Basic Component'. |
100 | * <!-- begin-user-doc --> |
101 | * <!-- end-user-doc --> |
102 | * @generated |
103 | */ |
104 | public static final int BASIC_COMPONENT__PROVIDE_SAME_INTERFACES_AS_IMPLEMENTATION_TYPE = 2; |
105 | |
106 | /** |
107 | * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Require Same Interfaces As Implementation Type' of 'Basic Component'. |
108 | * <!-- begin-user-doc --> |
109 | * <!-- end-user-doc --> |
110 | * @generated |
111 | */ |
112 | public static final int BASIC_COMPONENT__REQUIRE_SAME_INTERFACES_AS_IMPLEMENTATION_TYPE = 3; |
113 | |
114 | /** |
115 | * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Required Interfaces Have To Conform To Complete Type' of 'Implementation Component Type'. |
116 | * <!-- begin-user-doc --> |
117 | * <!-- end-user-doc --> |
118 | * @generated |
119 | */ |
120 | public static final int IMPLEMENTATION_COMPONENT_TYPE__REQUIRED_INTERFACES_HAVE_TO_CONFORM_TO_COMPLETE_TYPE = 4; |
121 | |
122 | /** |
123 | * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Provided Interfaces Have To Conform To Complete Type' of 'Implementation Component Type'. |
124 | * <!-- begin-user-doc --> |
125 | * <!-- end-user-doc --> |
126 | * @generated |
127 | */ |
128 | public static final int IMPLEMENTATION_COMPONENT_TYPE__PROVIDED_INTERFACES_HAVE_TO_CONFORM_TO_COMPLETE_TYPE = 5; |
129 | |
130 | /** |
131 | * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Provided Interface Have To Conform To Component Type' of 'Implementation Component Type'. |
132 | * <!-- begin-user-doc --> |
133 | * <!-- end-user-doc --> |
134 | * @generated |
135 | */ |
136 | public static final int IMPLEMENTATION_COMPONENT_TYPE__PROVIDED_INTERFACE_HAVE_TO_CONFORM_TO_COMPONENT_TYPE = 6; |
137 | |
138 | /** |
139 | * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'No Protocol Type ID Used Twice' of 'Interface'. |
140 | * <!-- begin-user-doc --> |
141 | * <!-- end-user-doc --> |
142 | * @generated |
143 | */ |
144 | public static final int INTERFACE__NO_PROTOCOL_TYPE_ID_USED_TWICE = 7; |
145 | |
146 | /** |
147 | * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Parameter Names Have To Be Unique For ASignature' of 'Operation Signature'. |
148 | * <!-- begin-user-doc --> |
149 | * <!-- end-user-doc --> |
150 | * @generated |
151 | */ |
152 | public static final int OPERATION_SIGNATURE__PARAMETER_NAMES_HAVE_TO_BE_UNIQUE_FOR_ASIGNATURE = 8; |
153 | |
154 | /** |
155 | * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Signatures Have To Be Unique For An Interface' of 'Operation Interface'. |
156 | * <!-- begin-user-doc --> |
157 | * <!-- end-user-doc --> |
158 | * @generated |
159 | */ |
160 | public static final int OPERATION_INTERFACE__SIGNATURES_HAVE_TO_BE_UNIQUE_FOR_AN_INTERFACE = 9; |
161 | |
162 | /** |
163 | * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'At Least One Interface Has To Be Provided Or Required By AUsefull Complete Component Type' of 'Complete Component Type'. |
164 | * <!-- begin-user-doc --> |
165 | * <!-- end-user-doc --> |
166 | * @generated |
167 | */ |
168 | public static final int COMPLETE_COMPONENT_TYPE__AT_LEAST_ONE_INTERFACE_HAS_TO_BE_PROVIDED_OR_REQUIRED_BY_AUSEFULL_COMPLETE_COMPONENT_TYPE = 10; |
169 | |
170 | /** |
171 | * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Provided Interfaces Have To Conform To Provided Type2' of 'Complete Component Type'. |
172 | * <!-- begin-user-doc --> |
173 | * <!-- end-user-doc --> |
174 | * @generated |
175 | */ |
176 | public static final int COMPLETE_COMPONENT_TYPE__PROVIDED_INTERFACES_HAVE_TO_CONFORM_TO_PROVIDED_TYPE2 = 11; |
177 | |
178 | /** |
179 | * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'At Least One Interface Has To Be Provided By AUsefull Provides Component Type' of 'Provides Component Type'. |
180 | * <!-- begin-user-doc --> |
181 | * <!-- end-user-doc --> |
182 | * @generated |
183 | */ |
184 | public static final int PROVIDES_COMPONENT_TYPE__AT_LEAST_ONE_INTERFACE_HAS_TO_BE_PROVIDED_BY_AUSEFULL_PROVIDES_COMPONENT_TYPE = 12; |
185 | |
186 | /** |
187 | * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Provide Same Interfaces' of 'Composite Component'. |
188 | * <!-- begin-user-doc --> |
189 | * <!-- end-user-doc --> |
190 | * @generated |
191 | */ |
192 | public static final int COMPOSITE_COMPONENT__PROVIDE_SAME_INTERFACES = 13; |
193 | |
194 | /** |
195 | * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Require Same Interfaces' of 'Composite Component'. |
196 | * <!-- begin-user-doc --> |
197 | * <!-- end-user-doc --> |
198 | * @generated |
199 | */ |
200 | public static final int COMPOSITE_COMPONENT__REQUIRE_SAME_INTERFACES = 14; |
201 | |
202 | /** |
203 | * A constant with a fixed name that can be used as the base value for additional hand written constants. |
204 | * <!-- begin-user-doc --> |
205 | * <!-- end-user-doc --> |
206 | * @generated |
207 | */ |
208 | private static final int GENERATED_DIAGNOSTIC_CODE_COUNT = 14; |
209 | |
210 | /** |
211 | * A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class. |
212 | * <!-- begin-user-doc --> |
213 | * <!-- end-user-doc --> |
214 | * @generated |
215 | */ |
216 | protected static final int DIAGNOSTIC_CODE_COUNT = GENERATED_DIAGNOSTIC_CODE_COUNT; |
217 | |
218 | /** |
219 | * The cached base package validator. |
220 | * <!-- begin-user-doc --> |
221 | * <!-- end-user-doc --> |
222 | * @generated |
223 | */ |
224 | protected IdentifierValidator identifierValidator; |
225 | |
226 | /** |
227 | * The cached base package validator. |
228 | * <!-- begin-user-doc --> |
229 | * <!-- end-user-doc --> |
230 | * @generated |
231 | */ |
232 | protected CompositionValidator compositionValidator; |
233 | |
234 | /** |
235 | * The cached base package validator. |
236 | * <!-- begin-user-doc --> |
237 | * <!-- end-user-doc --> |
238 | * @generated |
239 | */ |
240 | protected EntityValidator entityValidator; |
241 | |
242 | /** |
243 | * Creates an instance of the switch. |
244 | * <!-- begin-user-doc --> |
245 | * <!-- end-user-doc --> |
246 | * @generated |
247 | */ |
248 | public RepositoryValidator() { |
249 | super(); |
250 | identifierValidator = IdentifierValidator.INSTANCE; |
251 | compositionValidator = CompositionValidator.INSTANCE; |
252 | entityValidator = EntityValidator.INSTANCE; |
253 | } |
254 | |
255 | /** |
256 | * Returns the package of this validator switch. |
257 | * <!-- begin-user-doc --> |
258 | * <!-- end-user-doc --> |
259 | * @generated |
260 | */ |
261 | @Override |
262 | protected EPackage getEPackage() { |
263 | return RepositoryPackage.eINSTANCE; |
264 | } |
265 | |
266 | /** |
267 | * Calls <code>validateXXX</code> for the corresponding classifier of the model. |
268 | * <!-- begin-user-doc --> |
269 | * <!-- end-user-doc --> |
270 | * @generated |
271 | */ |
272 | @Override |
273 | protected boolean validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object, Object> context) { |
274 | switch (classifierID) { |
275 | case RepositoryPackage.PASSIVE_RESOURCE: |
276 | return validatePassiveResource((PassiveResource)value, diagnostics, context); |
277 | case RepositoryPackage.BASIC_COMPONENT: |
278 | return validateBasicComponent((BasicComponent)value, diagnostics, context); |
279 | case RepositoryPackage.IMPLEMENTATION_COMPONENT_TYPE: |
280 | return validateImplementationComponentType((ImplementationComponentType)value, diagnostics, context); |
281 | case RepositoryPackage.REPOSITORY_COMPONENT: |
282 | return validateRepositoryComponent((RepositoryComponent)value, diagnostics, context); |
283 | case RepositoryPackage.PROVIDED_ROLE: |
284 | return validateProvidedRole((ProvidedRole)value, diagnostics, context); |
285 | case RepositoryPackage.PARAMETER: |
286 | return validateParameter((Parameter)value, diagnostics, context); |
287 | case RepositoryPackage.DATA_TYPE: |
288 | return validateDataType((DataType)value, diagnostics, context); |
289 | case RepositoryPackage.REPOSITORY: |
290 | return validateRepository((Repository)value, diagnostics, context); |
291 | case RepositoryPackage.INTERFACE: |
292 | return validateInterface((Interface)value, diagnostics, context); |
293 | case RepositoryPackage.REQUIRED_CHARACTERISATION: |
294 | return validateRequiredCharacterisation((RequiredCharacterisation)value, diagnostics, context); |
295 | case RepositoryPackage.EVENT_GROUP: |
296 | return validateEventGroup((EventGroup)value, diagnostics, context); |
297 | case RepositoryPackage.EVENT_TYPE: |
298 | return validateEventType((EventType)value, diagnostics, context); |
299 | case RepositoryPackage.SIGNATURE: |
300 | return validateSignature((Signature)value, diagnostics, context); |
301 | case RepositoryPackage.EXCEPTION_TYPE: |
302 | return validateExceptionType((ExceptionType)value, diagnostics, context); |
303 | case RepositoryPackage.INFRASTRUCTURE_SIGNATURE: |
304 | return validateInfrastructureSignature((InfrastructureSignature)value, diagnostics, context); |
305 | case RepositoryPackage.INFRASTRUCTURE_INTERFACE: |
306 | return validateInfrastructureInterface((InfrastructureInterface)value, diagnostics, context); |
307 | case RepositoryPackage.INFRASTRUCTURE_REQUIRED_ROLE: |
308 | return validateInfrastructureRequiredRole((InfrastructureRequiredRole)value, diagnostics, context); |
309 | case RepositoryPackage.REQUIRED_ROLE: |
310 | return validateRequiredRole((RequiredRole)value, diagnostics, context); |
311 | case RepositoryPackage.OPERATION_SIGNATURE: |
312 | return validateOperationSignature((OperationSignature)value, diagnostics, context); |
313 | case RepositoryPackage.OPERATION_INTERFACE: |
314 | return validateOperationInterface((OperationInterface)value, diagnostics, context); |
315 | case RepositoryPackage.OPERATION_REQUIRED_ROLE: |
316 | return validateOperationRequiredRole((OperationRequiredRole)value, diagnostics, context); |
317 | case RepositoryPackage.SOURCE_ROLE: |
318 | return validateSourceRole((SourceRole)value, diagnostics, context); |
319 | case RepositoryPackage.SINK_ROLE: |
320 | return validateSinkRole((SinkRole)value, diagnostics, context); |
321 | case RepositoryPackage.OPERATION_PROVIDED_ROLE: |
322 | return validateOperationProvidedRole((OperationProvidedRole)value, diagnostics, context); |
323 | case RepositoryPackage.INFRASTRUCTURE_PROVIDED_ROLE: |
324 | return validateInfrastructureProvidedRole((InfrastructureProvidedRole)value, diagnostics, context); |
325 | case RepositoryPackage.COMPLETE_COMPONENT_TYPE: |
326 | return validateCompleteComponentType((CompleteComponentType)value, diagnostics, context); |
327 | case RepositoryPackage.PROVIDES_COMPONENT_TYPE: |
328 | return validateProvidesComponentType((ProvidesComponentType)value, diagnostics, context); |
329 | case RepositoryPackage.COMPOSITE_COMPONENT: |
330 | return validateCompositeComponent((CompositeComponent)value, diagnostics, context); |
331 | case RepositoryPackage.PRIMITIVE_DATA_TYPE: |
332 | return validatePrimitiveDataType((PrimitiveDataType)value, diagnostics, context); |
333 | case RepositoryPackage.COLLECTION_DATA_TYPE: |
334 | return validateCollectionDataType((CollectionDataType)value, diagnostics, context); |
335 | case RepositoryPackage.COMPOSITE_DATA_TYPE: |
336 | return validateCompositeDataType((CompositeDataType)value, diagnostics, context); |
337 | case RepositoryPackage.INNER_DECLARATION: |
338 | return validateInnerDeclaration((InnerDeclaration)value, diagnostics, context); |
339 | case RepositoryPackage.ROLE: |
340 | return validateRole((Role)value, diagnostics, context); |
341 | case RepositoryPackage.PARAMETER_MODIFIER: |
342 | return validateParameterModifier((ParameterModifier)value, diagnostics, context); |
343 | case RepositoryPackage.COMPONENT_TYPE: |
344 | return validateComponentType((ComponentType)value, diagnostics, context); |
345 | case RepositoryPackage.PRIMITIVE_TYPE_ENUM: |
346 | return validatePrimitiveTypeEnum((PrimitiveTypeEnum)value, diagnostics, context); |
347 | default: |
348 | return true; |
349 | } |
350 | } |
351 | |
352 | /** |
353 | * <!-- begin-user-doc --> |
354 | * <!-- end-user-doc --> |
355 | * @generated |
356 | */ |
357 | public boolean validatePassiveResource(PassiveResource passiveResource, DiagnosticChain diagnostics, Map<Object, Object> context) { |
358 | boolean result = validate_EveryMultiplicityConforms(passiveResource, diagnostics, context); |
359 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(passiveResource, diagnostics, context); |
360 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(passiveResource, diagnostics, context); |
361 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(passiveResource, diagnostics, context); |
362 | if (result || diagnostics != null) result &= validate_UniqueID(passiveResource, diagnostics, context); |
363 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(passiveResource, diagnostics, context); |
364 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(passiveResource, diagnostics, context); |
365 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(passiveResource, diagnostics, context); |
366 | return result; |
367 | } |
368 | |
369 | /** |
370 | * <!-- begin-user-doc --> |
371 | * <!-- end-user-doc --> |
372 | * @generated |
373 | */ |
374 | public boolean validateBasicComponent(BasicComponent basicComponent, DiagnosticChain diagnostics, Map<Object, Object> context) { |
375 | boolean result = validate_EveryMultiplicityConforms(basicComponent, diagnostics, context); |
376 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(basicComponent, diagnostics, context); |
377 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(basicComponent, diagnostics, context); |
378 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(basicComponent, diagnostics, context); |
379 | if (result || diagnostics != null) result &= validate_UniqueID(basicComponent, diagnostics, context); |
380 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(basicComponent, diagnostics, context); |
381 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(basicComponent, diagnostics, context); |
382 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(basicComponent, diagnostics, context); |
383 | if (result || diagnostics != null) result &= validateImplementationComponentType_RequiredInterfacesHaveToConformToCompleteType(basicComponent, diagnostics, context); |
384 | if (result || diagnostics != null) result &= validateImplementationComponentType_providedInterfacesHaveToConformToCompleteType(basicComponent, diagnostics, context); |
385 | if (result || diagnostics != null) result &= validateImplementationComponentType_ProvidedInterfaceHaveToConformToComponentType(basicComponent, diagnostics, context); |
386 | if (result || diagnostics != null) result &= validateBasicComponent_NoSeffTypeUsedTwice(basicComponent, diagnostics, context); |
387 | if (result || diagnostics != null) result &= validateBasicComponent_ProvideSameInterfacesAsImplementationType(basicComponent, diagnostics, context); |
388 | if (result || diagnostics != null) result &= validateBasicComponent_RequireSameInterfacesAsImplementationType(basicComponent, diagnostics, context); |
389 | return result; |
390 | } |
391 | |
392 | /** |
393 | * Validates the NoSeffTypeUsedTwice constraint of '<em>Basic Component</em>'. |
394 | * <!-- begin-user-doc --> |
395 | * <!-- end-user-doc --> |
396 | * @generated |
397 | */ |
398 | public boolean validateBasicComponent_NoSeffTypeUsedTwice(BasicComponent basicComponent, DiagnosticChain diagnostics, Map<Object, Object> context) { |
399 | return basicComponent.NoSeffTypeUsedTwice(diagnostics, context); |
400 | } |
401 | |
402 | /** |
403 | * Validates the ProvideSameInterfacesAsImplementationType constraint of '<em>Basic Component</em>'. |
404 | * <!-- begin-user-doc --> |
405 | * <!-- end-user-doc --> |
406 | * @generated |
407 | */ |
408 | public boolean validateBasicComponent_ProvideSameInterfacesAsImplementationType(BasicComponent basicComponent, DiagnosticChain diagnostics, Map<Object, Object> context) { |
409 | return basicComponent.ProvideSameInterfacesAsImplementationType(diagnostics, context); |
410 | } |
411 | |
412 | /** |
413 | * Validates the RequireSameInterfacesAsImplementationType constraint of '<em>Basic Component</em>'. |
414 | * <!-- begin-user-doc --> |
415 | * <!-- end-user-doc --> |
416 | * @generated |
417 | */ |
418 | public boolean validateBasicComponent_RequireSameInterfacesAsImplementationType(BasicComponent basicComponent, DiagnosticChain diagnostics, Map<Object, Object> context) { |
419 | return basicComponent.RequireSameInterfacesAsImplementationType(diagnostics, context); |
420 | } |
421 | |
422 | /** |
423 | * <!-- begin-user-doc --> |
424 | * <!-- end-user-doc --> |
425 | * @generated |
426 | */ |
427 | public boolean validateImplementationComponentType(ImplementationComponentType implementationComponentType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
428 | boolean result = validate_EveryMultiplicityConforms(implementationComponentType, diagnostics, context); |
429 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(implementationComponentType, diagnostics, context); |
430 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(implementationComponentType, diagnostics, context); |
431 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(implementationComponentType, diagnostics, context); |
432 | if (result || diagnostics != null) result &= validate_UniqueID(implementationComponentType, diagnostics, context); |
433 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(implementationComponentType, diagnostics, context); |
434 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(implementationComponentType, diagnostics, context); |
435 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(implementationComponentType, diagnostics, context); |
436 | if (result || diagnostics != null) result &= validateImplementationComponentType_RequiredInterfacesHaveToConformToCompleteType(implementationComponentType, diagnostics, context); |
437 | if (result || diagnostics != null) result &= validateImplementationComponentType_providedInterfacesHaveToConformToCompleteType(implementationComponentType, diagnostics, context); |
438 | if (result || diagnostics != null) result &= validateImplementationComponentType_ProvidedInterfaceHaveToConformToComponentType(implementationComponentType, diagnostics, context); |
439 | return result; |
440 | } |
441 | |
442 | /** |
443 | * Validates the RequiredInterfacesHaveToConformToCompleteType constraint of '<em>Implementation Component Type</em>'. |
444 | * <!-- begin-user-doc --> |
445 | * <!-- end-user-doc --> |
446 | * @generated |
447 | */ |
448 | public boolean validateImplementationComponentType_RequiredInterfacesHaveToConformToCompleteType(ImplementationComponentType implementationComponentType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
449 | return implementationComponentType.RequiredInterfacesHaveToConformToCompleteType(diagnostics, context); |
450 | } |
451 | |
452 | /** |
453 | * Validates the providedInterfacesHaveToConformToCompleteType constraint of '<em>Implementation Component Type</em>'. |
454 | * <!-- begin-user-doc --> |
455 | * <!-- end-user-doc --> |
456 | * @generated |
457 | */ |
458 | public boolean validateImplementationComponentType_providedInterfacesHaveToConformToCompleteType(ImplementationComponentType implementationComponentType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
459 | return implementationComponentType.providedInterfacesHaveToConformToCompleteType(diagnostics, context); |
460 | } |
461 | |
462 | /** |
463 | * Validates the ProvidedInterfaceHaveToConformToComponentType constraint of '<em>Implementation Component Type</em>'. |
464 | * <!-- begin-user-doc --> |
465 | * <!-- end-user-doc --> |
466 | * @generated |
467 | */ |
468 | public boolean validateImplementationComponentType_ProvidedInterfaceHaveToConformToComponentType(ImplementationComponentType implementationComponentType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
469 | return implementationComponentType.ProvidedInterfaceHaveToConformToComponentType(diagnostics, context); |
470 | } |
471 | |
472 | /** |
473 | * <!-- begin-user-doc --> |
474 | * <!-- end-user-doc --> |
475 | * @generated |
476 | */ |
477 | public boolean validateRepositoryComponent(RepositoryComponent repositoryComponent, DiagnosticChain diagnostics, Map<Object, Object> context) { |
478 | boolean result = validate_EveryMultiplicityConforms(repositoryComponent, diagnostics, context); |
479 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(repositoryComponent, diagnostics, context); |
480 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(repositoryComponent, diagnostics, context); |
481 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(repositoryComponent, diagnostics, context); |
482 | if (result || diagnostics != null) result &= validate_UniqueID(repositoryComponent, diagnostics, context); |
483 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(repositoryComponent, diagnostics, context); |
484 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(repositoryComponent, diagnostics, context); |
485 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(repositoryComponent, diagnostics, context); |
486 | return result; |
487 | } |
488 | |
489 | /** |
490 | * <!-- begin-user-doc --> |
491 | * <!-- end-user-doc --> |
492 | * @generated |
493 | */ |
494 | public boolean validateRequiredRole(RequiredRole requiredRole, DiagnosticChain diagnostics, Map<Object, Object> context) { |
495 | boolean result = validate_EveryMultiplicityConforms(requiredRole, diagnostics, context); |
496 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(requiredRole, diagnostics, context); |
497 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(requiredRole, diagnostics, context); |
498 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(requiredRole, diagnostics, context); |
499 | if (result || diagnostics != null) result &= validate_UniqueID(requiredRole, diagnostics, context); |
500 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(requiredRole, diagnostics, context); |
501 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(requiredRole, diagnostics, context); |
502 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(requiredRole, diagnostics, context); |
503 | return result; |
504 | } |
505 | |
506 | /** |
507 | * <!-- begin-user-doc --> |
508 | * <!-- end-user-doc --> |
509 | * @generated |
510 | */ |
511 | public boolean validateRole(Role role, DiagnosticChain diagnostics, Map<Object, Object> context) { |
512 | boolean result = validate_EveryMultiplicityConforms(role, diagnostics, context); |
513 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(role, diagnostics, context); |
514 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(role, diagnostics, context); |
515 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(role, diagnostics, context); |
516 | if (result || diagnostics != null) result &= validate_UniqueID(role, diagnostics, context); |
517 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(role, diagnostics, context); |
518 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(role, diagnostics, context); |
519 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(role, diagnostics, context); |
520 | return result; |
521 | } |
522 | |
523 | /** |
524 | * <!-- begin-user-doc --> |
525 | * <!-- end-user-doc --> |
526 | * @generated |
527 | */ |
528 | public boolean validateInterface(Interface interface_, DiagnosticChain diagnostics, Map<Object, Object> context) { |
529 | boolean result = validate_EveryMultiplicityConforms(interface_, diagnostics, context); |
530 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(interface_, diagnostics, context); |
531 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(interface_, diagnostics, context); |
532 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(interface_, diagnostics, context); |
533 | if (result || diagnostics != null) result &= validate_UniqueID(interface_, diagnostics, context); |
534 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(interface_, diagnostics, context); |
535 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(interface_, diagnostics, context); |
536 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(interface_, diagnostics, context); |
537 | if (result || diagnostics != null) result &= validateInterface_NoProtocolTypeIDUsedTwice(interface_, diagnostics, context); |
538 | return result; |
539 | } |
540 | |
541 | /** |
542 | * Validates the NoProtocolTypeIDUsedTwice constraint of '<em>Interface</em>'. |
543 | * <!-- begin-user-doc --> |
544 | * <!-- end-user-doc --> |
545 | * @generated |
546 | */ |
547 | public boolean validateInterface_NoProtocolTypeIDUsedTwice(Interface interface_, DiagnosticChain diagnostics, Map<Object, Object> context) { |
548 | return interface_.NoProtocolTypeIDUsedTwice(diagnostics, context); |
549 | } |
550 | |
551 | /** |
552 | * <!-- begin-user-doc --> |
553 | * <!-- end-user-doc --> |
554 | * @generated |
555 | */ |
556 | public boolean validateRepository(Repository repository, DiagnosticChain diagnostics, Map<Object, Object> context) { |
557 | boolean result = validate_EveryMultiplicityConforms(repository, diagnostics, context); |
558 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(repository, diagnostics, context); |
559 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(repository, diagnostics, context); |
560 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(repository, diagnostics, context); |
561 | if (result || diagnostics != null) result &= validate_UniqueID(repository, diagnostics, context); |
562 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(repository, diagnostics, context); |
563 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(repository, diagnostics, context); |
564 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(repository, diagnostics, context); |
565 | return result; |
566 | } |
567 | |
568 | /** |
569 | * <!-- begin-user-doc --> |
570 | * <!-- end-user-doc --> |
571 | * @generated |
572 | */ |
573 | public boolean validateDataType(DataType dataType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
574 | return validate_EveryDefaultConstraint(dataType, diagnostics, context); |
575 | } |
576 | |
577 | /** |
578 | * <!-- begin-user-doc --> |
579 | * <!-- end-user-doc --> |
580 | * @generated |
581 | */ |
582 | public boolean validateRequiredCharacterisation(RequiredCharacterisation requiredCharacterisation, DiagnosticChain diagnostics, Map<Object, Object> context) { |
583 | return validate_EveryDefaultConstraint(requiredCharacterisation, diagnostics, context); |
584 | } |
585 | |
586 | /** |
587 | * <!-- begin-user-doc --> |
588 | * <!-- end-user-doc --> |
589 | * @generated |
590 | */ |
591 | public boolean validateParameter(Parameter parameter, DiagnosticChain diagnostics, Map<Object, Object> context) { |
592 | return validate_EveryDefaultConstraint(parameter, diagnostics, context); |
593 | } |
594 | |
595 | /** |
596 | * <!-- begin-user-doc --> |
597 | * <!-- end-user-doc --> |
598 | * @generated |
599 | */ |
600 | public boolean validateComponentType(ComponentType componentType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
601 | return true; |
602 | } |
603 | |
604 | /** |
605 | * <!-- begin-user-doc --> |
606 | * <!-- end-user-doc --> |
607 | * @generated |
608 | */ |
609 | public boolean validateOperationSignature(OperationSignature operationSignature, DiagnosticChain diagnostics, Map<Object, Object> context) { |
610 | boolean result = validate_EveryMultiplicityConforms(operationSignature, diagnostics, context); |
611 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(operationSignature, diagnostics, context); |
612 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(operationSignature, diagnostics, context); |
613 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(operationSignature, diagnostics, context); |
614 | if (result || diagnostics != null) result &= validate_UniqueID(operationSignature, diagnostics, context); |
615 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(operationSignature, diagnostics, context); |
616 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(operationSignature, diagnostics, context); |
617 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(operationSignature, diagnostics, context); |
618 | if (result || diagnostics != null) result &= validateOperationSignature_ParameterNamesHaveToBeUniqueForASignature(operationSignature, diagnostics, context); |
619 | return result; |
620 | } |
621 | |
622 | /** |
623 | * Validates the ParameterNamesHaveToBeUniqueForASignature constraint of '<em>Operation Signature</em>'. |
624 | * <!-- begin-user-doc --> |
625 | * <!-- end-user-doc --> |
626 | * @generated |
627 | */ |
628 | public boolean validateOperationSignature_ParameterNamesHaveToBeUniqueForASignature(OperationSignature operationSignature, DiagnosticChain diagnostics, Map<Object, Object> context) { |
629 | return operationSignature.ParameterNamesHaveToBeUniqueForASignature(diagnostics, context); |
630 | } |
631 | |
632 | /** |
633 | * <!-- begin-user-doc --> |
634 | * <!-- end-user-doc --> |
635 | * @generated |
636 | */ |
637 | public boolean validateSignature(Signature signature, DiagnosticChain diagnostics, Map<Object, Object> context) { |
638 | boolean result = validate_EveryMultiplicityConforms(signature, diagnostics, context); |
639 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(signature, diagnostics, context); |
640 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(signature, diagnostics, context); |
641 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(signature, diagnostics, context); |
642 | if (result || diagnostics != null) result &= validate_UniqueID(signature, diagnostics, context); |
643 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(signature, diagnostics, context); |
644 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(signature, diagnostics, context); |
645 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(signature, diagnostics, context); |
646 | return result; |
647 | } |
648 | |
649 | /** |
650 | * <!-- begin-user-doc --> |
651 | * <!-- end-user-doc --> |
652 | * @generated |
653 | */ |
654 | public boolean validateExceptionType(ExceptionType exceptionType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
655 | return validate_EveryDefaultConstraint(exceptionType, diagnostics, context); |
656 | } |
657 | |
658 | /** |
659 | * <!-- begin-user-doc --> |
660 | * <!-- end-user-doc --> |
661 | * @generated |
662 | */ |
663 | public boolean validateOperationInterface(OperationInterface operationInterface, DiagnosticChain diagnostics, Map<Object, Object> context) { |
664 | boolean result = validate_EveryMultiplicityConforms(operationInterface, diagnostics, context); |
665 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(operationInterface, diagnostics, context); |
666 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(operationInterface, diagnostics, context); |
667 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(operationInterface, diagnostics, context); |
668 | if (result || diagnostics != null) result &= validate_UniqueID(operationInterface, diagnostics, context); |
669 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(operationInterface, diagnostics, context); |
670 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(operationInterface, diagnostics, context); |
671 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(operationInterface, diagnostics, context); |
672 | if (result || diagnostics != null) result &= validateInterface_NoProtocolTypeIDUsedTwice(operationInterface, diagnostics, context); |
673 | if (result || diagnostics != null) result &= validateOperationInterface_SignaturesHaveToBeUniqueForAnInterface(operationInterface, diagnostics, context); |
674 | return result; |
675 | } |
676 | |
677 | /** |
678 | * Validates the SignaturesHaveToBeUniqueForAnInterface constraint of '<em>Operation Interface</em>'. |
679 | * <!-- begin-user-doc --> |
680 | * <!-- end-user-doc --> |
681 | * @generated |
682 | */ |
683 | public boolean validateOperationInterface_SignaturesHaveToBeUniqueForAnInterface(OperationInterface operationInterface, DiagnosticChain diagnostics, Map<Object, Object> context) { |
684 | return operationInterface.SignaturesHaveToBeUniqueForAnInterface(diagnostics, context); |
685 | } |
686 | |
687 | /** |
688 | * <!-- begin-user-doc --> |
689 | * <!-- end-user-doc --> |
690 | * @generated |
691 | */ |
692 | public boolean validateInfrastructureSignature(InfrastructureSignature infrastructureSignature, DiagnosticChain diagnostics, Map<Object, Object> context) { |
693 | boolean result = validate_EveryMultiplicityConforms(infrastructureSignature, diagnostics, context); |
694 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(infrastructureSignature, diagnostics, context); |
695 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(infrastructureSignature, diagnostics, context); |
696 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(infrastructureSignature, diagnostics, context); |
697 | if (result || diagnostics != null) result &= validate_UniqueID(infrastructureSignature, diagnostics, context); |
698 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(infrastructureSignature, diagnostics, context); |
699 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(infrastructureSignature, diagnostics, context); |
700 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(infrastructureSignature, diagnostics, context); |
701 | return result; |
702 | } |
703 | |
704 | /** |
705 | * <!-- begin-user-doc --> |
706 | * <!-- end-user-doc --> |
707 | * @generated |
708 | */ |
709 | public boolean validateInfrastructureRequiredRole(InfrastructureRequiredRole infrastructureRequiredRole, DiagnosticChain diagnostics, Map<Object, Object> context) { |
710 | boolean result = validate_EveryMultiplicityConforms(infrastructureRequiredRole, diagnostics, context); |
711 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(infrastructureRequiredRole, diagnostics, context); |
712 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(infrastructureRequiredRole, diagnostics, context); |
713 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(infrastructureRequiredRole, diagnostics, context); |
714 | if (result || diagnostics != null) result &= validate_UniqueID(infrastructureRequiredRole, diagnostics, context); |
715 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(infrastructureRequiredRole, diagnostics, context); |
716 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(infrastructureRequiredRole, diagnostics, context); |
717 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(infrastructureRequiredRole, diagnostics, context); |
718 | return result; |
719 | } |
720 | |
721 | /** |
722 | * <!-- begin-user-doc --> |
723 | * <!-- end-user-doc --> |
724 | * @generated |
725 | */ |
726 | public boolean validateEventType(EventType eventType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
727 | boolean result = validate_EveryMultiplicityConforms(eventType, diagnostics, context); |
728 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(eventType, diagnostics, context); |
729 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(eventType, diagnostics, context); |
730 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(eventType, diagnostics, context); |
731 | if (result || diagnostics != null) result &= validate_UniqueID(eventType, diagnostics, context); |
732 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(eventType, diagnostics, context); |
733 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(eventType, diagnostics, context); |
734 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(eventType, diagnostics, context); |
735 | return result; |
736 | } |
737 | |
738 | /** |
739 | * <!-- begin-user-doc --> |
740 | * <!-- end-user-doc --> |
741 | * @generated |
742 | */ |
743 | public boolean validateEventGroup(EventGroup eventGroup, DiagnosticChain diagnostics, Map<Object, Object> context) { |
744 | boolean result = validate_EveryMultiplicityConforms(eventGroup, diagnostics, context); |
745 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(eventGroup, diagnostics, context); |
746 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(eventGroup, diagnostics, context); |
747 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(eventGroup, diagnostics, context); |
748 | if (result || diagnostics != null) result &= validate_UniqueID(eventGroup, diagnostics, context); |
749 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(eventGroup, diagnostics, context); |
750 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(eventGroup, diagnostics, context); |
751 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(eventGroup, diagnostics, context); |
752 | if (result || diagnostics != null) result &= validateInterface_NoProtocolTypeIDUsedTwice(eventGroup, diagnostics, context); |
753 | return result; |
754 | } |
755 | |
756 | /** |
757 | * <!-- begin-user-doc --> |
758 | * <!-- end-user-doc --> |
759 | * @generated |
760 | */ |
761 | public boolean validateCompleteComponentType(CompleteComponentType completeComponentType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
762 | boolean result = validate_EveryMultiplicityConforms(completeComponentType, diagnostics, context); |
763 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(completeComponentType, diagnostics, context); |
764 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(completeComponentType, diagnostics, context); |
765 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(completeComponentType, diagnostics, context); |
766 | if (result || diagnostics != null) result &= validate_UniqueID(completeComponentType, diagnostics, context); |
767 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(completeComponentType, diagnostics, context); |
768 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(completeComponentType, diagnostics, context); |
769 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(completeComponentType, diagnostics, context); |
770 | if (result || diagnostics != null) result &= validateCompleteComponentType_AtLeastOneInterfaceHasToBeProvidedOrRequiredByAUsefullCompleteComponentType(completeComponentType, diagnostics, context); |
771 | if (result || diagnostics != null) result &= validateCompleteComponentType_providedInterfacesHaveToConformToProvidedType2(completeComponentType, diagnostics, context); |
772 | return result; |
773 | } |
774 | |
775 | /** |
776 | * Validates the AtLeastOneInterfaceHasToBeProvidedOrRequiredByAUsefullCompleteComponentType constraint of '<em>Complete Component Type</em>'. |
777 | * <!-- begin-user-doc --> |
778 | * <!-- end-user-doc --> |
779 | * @generated |
780 | */ |
781 | public boolean validateCompleteComponentType_AtLeastOneInterfaceHasToBeProvidedOrRequiredByAUsefullCompleteComponentType(CompleteComponentType completeComponentType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
782 | return completeComponentType.AtLeastOneInterfaceHasToBeProvidedOrRequiredByAUsefullCompleteComponentType(diagnostics, context); |
783 | } |
784 | |
785 | /** |
786 | * Validates the providedInterfacesHaveToConformToProvidedType2 constraint of '<em>Complete Component Type</em>'. |
787 | * <!-- begin-user-doc --> |
788 | * <!-- end-user-doc --> |
789 | * @generated |
790 | */ |
791 | public boolean validateCompleteComponentType_providedInterfacesHaveToConformToProvidedType2(CompleteComponentType completeComponentType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
792 | return completeComponentType.providedInterfacesHaveToConformToProvidedType2(diagnostics, context); |
793 | } |
794 | |
795 | /** |
796 | * <!-- begin-user-doc --> |
797 | * <!-- end-user-doc --> |
798 | * @generated |
799 | */ |
800 | public boolean validateProvidesComponentType(ProvidesComponentType providesComponentType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
801 | boolean result = validate_EveryMultiplicityConforms(providesComponentType, diagnostics, context); |
802 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(providesComponentType, diagnostics, context); |
803 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(providesComponentType, diagnostics, context); |
804 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(providesComponentType, diagnostics, context); |
805 | if (result || diagnostics != null) result &= validate_UniqueID(providesComponentType, diagnostics, context); |
806 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(providesComponentType, diagnostics, context); |
807 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(providesComponentType, diagnostics, context); |
808 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(providesComponentType, diagnostics, context); |
809 | if (result || diagnostics != null) result &= validateProvidesComponentType_AtLeastOneInterfaceHasToBeProvidedByAUsefullProvidesComponentType(providesComponentType, diagnostics, context); |
810 | return result; |
811 | } |
812 | |
813 | /** |
814 | * Validates the AtLeastOneInterfaceHasToBeProvidedByAUsefullProvidesComponentType constraint of '<em>Provides Component Type</em>'. |
815 | * <!-- begin-user-doc --> |
816 | * <!-- end-user-doc --> |
817 | * @generated |
818 | */ |
819 | public boolean validateProvidesComponentType_AtLeastOneInterfaceHasToBeProvidedByAUsefullProvidesComponentType(ProvidesComponentType providesComponentType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
820 | return providesComponentType.AtLeastOneInterfaceHasToBeProvidedByAUsefullProvidesComponentType(diagnostics, context); |
821 | } |
822 | |
823 | /** |
824 | * <!-- begin-user-doc --> |
825 | * <!-- end-user-doc --> |
826 | * @generated |
827 | */ |
828 | public boolean validateOperationRequiredRole(OperationRequiredRole operationRequiredRole, DiagnosticChain diagnostics, Map<Object, Object> context) { |
829 | boolean result = validate_EveryMultiplicityConforms(operationRequiredRole, diagnostics, context); |
830 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(operationRequiredRole, diagnostics, context); |
831 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(operationRequiredRole, diagnostics, context); |
832 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(operationRequiredRole, diagnostics, context); |
833 | if (result || diagnostics != null) result &= validate_UniqueID(operationRequiredRole, diagnostics, context); |
834 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(operationRequiredRole, diagnostics, context); |
835 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(operationRequiredRole, diagnostics, context); |
836 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(operationRequiredRole, diagnostics, context); |
837 | return result; |
838 | } |
839 | |
840 | /** |
841 | * <!-- begin-user-doc --> |
842 | * <!-- end-user-doc --> |
843 | * @generated |
844 | */ |
845 | public boolean validateSourceRole(SourceRole sourceRole, DiagnosticChain diagnostics, Map<Object, Object> context) { |
846 | boolean result = validate_EveryMultiplicityConforms(sourceRole, diagnostics, context); |
847 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(sourceRole, diagnostics, context); |
848 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(sourceRole, diagnostics, context); |
849 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(sourceRole, diagnostics, context); |
850 | if (result || diagnostics != null) result &= validate_UniqueID(sourceRole, diagnostics, context); |
851 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(sourceRole, diagnostics, context); |
852 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(sourceRole, diagnostics, context); |
853 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(sourceRole, diagnostics, context); |
854 | return result; |
855 | } |
856 | |
857 | /** |
858 | * <!-- begin-user-doc --> |
859 | * <!-- end-user-doc --> |
860 | * @generated |
861 | */ |
862 | public boolean validateInfrastructureProvidedRole(InfrastructureProvidedRole infrastructureProvidedRole, DiagnosticChain diagnostics, Map<Object, Object> context) { |
863 | boolean result = validate_EveryMultiplicityConforms(infrastructureProvidedRole, diagnostics, context); |
864 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(infrastructureProvidedRole, diagnostics, context); |
865 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(infrastructureProvidedRole, diagnostics, context); |
866 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(infrastructureProvidedRole, diagnostics, context); |
867 | if (result || diagnostics != null) result &= validate_UniqueID(infrastructureProvidedRole, diagnostics, context); |
868 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(infrastructureProvidedRole, diagnostics, context); |
869 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(infrastructureProvidedRole, diagnostics, context); |
870 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(infrastructureProvidedRole, diagnostics, context); |
871 | return result; |
872 | } |
873 | |
874 | /** |
875 | * <!-- begin-user-doc --> |
876 | * <!-- end-user-doc --> |
877 | * @generated |
878 | */ |
879 | public boolean validateOperationProvidedRole(OperationProvidedRole operationProvidedRole, DiagnosticChain diagnostics, Map<Object, Object> context) { |
880 | boolean result = validate_EveryMultiplicityConforms(operationProvidedRole, diagnostics, context); |
881 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(operationProvidedRole, diagnostics, context); |
882 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(operationProvidedRole, diagnostics, context); |
883 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(operationProvidedRole, diagnostics, context); |
884 | if (result || diagnostics != null) result &= validate_UniqueID(operationProvidedRole, diagnostics, context); |
885 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(operationProvidedRole, diagnostics, context); |
886 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(operationProvidedRole, diagnostics, context); |
887 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(operationProvidedRole, diagnostics, context); |
888 | return result; |
889 | } |
890 | |
891 | /** |
892 | * <!-- begin-user-doc --> |
893 | * <!-- end-user-doc --> |
894 | * @generated |
895 | */ |
896 | public boolean validateCompositeComponent(CompositeComponent compositeComponent, DiagnosticChain diagnostics, Map<Object, Object> context) { |
897 | boolean result = validate_EveryMultiplicityConforms(compositeComponent, diagnostics, context); |
898 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(compositeComponent, diagnostics, context); |
899 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(compositeComponent, diagnostics, context); |
900 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(compositeComponent, diagnostics, context); |
901 | if (result || diagnostics != null) result &= validate_UniqueID(compositeComponent, diagnostics, context); |
902 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(compositeComponent, diagnostics, context); |
903 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(compositeComponent, diagnostics, context); |
904 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(compositeComponent, diagnostics, context); |
905 | if (result || diagnostics != null) result &= compositionValidator.validateComposedStructure_MultipleConnectorsConstraint(compositeComponent, diagnostics, context); |
906 | if (result || diagnostics != null) result &= compositionValidator.validateComposedStructure_MultipleConnectorsConstraintForAssemblyConnectors(compositeComponent, diagnostics, context); |
907 | if (result || diagnostics != null) result &= entityValidator.validateComposedProvidingRequiringEntity_ProvidedRolesMustBeBound(compositeComponent, diagnostics, context); |
908 | if (result || diagnostics != null) result &= validateImplementationComponentType_RequiredInterfacesHaveToConformToCompleteType(compositeComponent, diagnostics, context); |
909 | if (result || diagnostics != null) result &= validateImplementationComponentType_providedInterfacesHaveToConformToCompleteType(compositeComponent, diagnostics, context); |
910 | if (result || diagnostics != null) result &= validateImplementationComponentType_ProvidedInterfaceHaveToConformToComponentType(compositeComponent, diagnostics, context); |
911 | if (result || diagnostics != null) result &= validateCompositeComponent_ProvideSameInterfaces(compositeComponent, diagnostics, context); |
912 | if (result || diagnostics != null) result &= validateCompositeComponent_RequireSameInterfaces(compositeComponent, diagnostics, context); |
913 | return result; |
914 | } |
915 | |
916 | /** |
917 | * Validates the ProvideSameInterfaces constraint of '<em>Composite Component</em>'. |
918 | * <!-- begin-user-doc --> |
919 | * <!-- end-user-doc --> |
920 | * @generated |
921 | */ |
922 | public boolean validateCompositeComponent_ProvideSameInterfaces(CompositeComponent compositeComponent, DiagnosticChain diagnostics, Map<Object, Object> context) { |
923 | return compositeComponent.ProvideSameInterfaces(diagnostics, context); |
924 | } |
925 | |
926 | /** |
927 | * Validates the RequireSameInterfaces constraint of '<em>Composite Component</em>'. |
928 | * <!-- begin-user-doc --> |
929 | * <!-- end-user-doc --> |
930 | * @generated |
931 | */ |
932 | public boolean validateCompositeComponent_RequireSameInterfaces(CompositeComponent compositeComponent, DiagnosticChain diagnostics, Map<Object, Object> context) { |
933 | return compositeComponent.RequireSameInterfaces(diagnostics, context); |
934 | } |
935 | |
936 | /** |
937 | * <!-- begin-user-doc --> |
938 | * <!-- end-user-doc --> |
939 | * @generated |
940 | */ |
941 | public boolean validateSinkRole(SinkRole sinkRole, DiagnosticChain diagnostics, Map<Object, Object> context) { |
942 | boolean result = validate_EveryMultiplicityConforms(sinkRole, diagnostics, context); |
943 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(sinkRole, diagnostics, context); |
944 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(sinkRole, diagnostics, context); |
945 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(sinkRole, diagnostics, context); |
946 | if (result || diagnostics != null) result &= validate_UniqueID(sinkRole, diagnostics, context); |
947 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(sinkRole, diagnostics, context); |
948 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(sinkRole, diagnostics, context); |
949 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(sinkRole, diagnostics, context); |
950 | return result; |
951 | } |
952 | |
953 | /** |
954 | * <!-- begin-user-doc --> |
955 | * <!-- end-user-doc --> |
956 | * @generated |
957 | */ |
958 | public boolean validatePrimitiveDataType(PrimitiveDataType primitiveDataType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
959 | return validate_EveryDefaultConstraint(primitiveDataType, diagnostics, context); |
960 | } |
961 | |
962 | /** |
963 | * <!-- begin-user-doc --> |
964 | * <!-- end-user-doc --> |
965 | * @generated |
966 | */ |
967 | public boolean validateCollectionDataType(CollectionDataType collectionDataType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
968 | boolean result = validate_EveryMultiplicityConforms(collectionDataType, diagnostics, context); |
969 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(collectionDataType, diagnostics, context); |
970 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(collectionDataType, diagnostics, context); |
971 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(collectionDataType, diagnostics, context); |
972 | if (result || diagnostics != null) result &= validate_UniqueID(collectionDataType, diagnostics, context); |
973 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(collectionDataType, diagnostics, context); |
974 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(collectionDataType, diagnostics, context); |
975 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(collectionDataType, diagnostics, context); |
976 | return result; |
977 | } |
978 | |
979 | /** |
980 | * <!-- begin-user-doc --> |
981 | * <!-- end-user-doc --> |
982 | * @generated |
983 | */ |
984 | public boolean validateCompositeDataType(CompositeDataType compositeDataType, DiagnosticChain diagnostics, Map<Object, Object> context) { |
985 | boolean result = validate_EveryMultiplicityConforms(compositeDataType, diagnostics, context); |
986 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(compositeDataType, diagnostics, context); |
987 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(compositeDataType, diagnostics, context); |
988 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(compositeDataType, diagnostics, context); |
989 | if (result || diagnostics != null) result &= validate_UniqueID(compositeDataType, diagnostics, context); |
990 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(compositeDataType, diagnostics, context); |
991 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(compositeDataType, diagnostics, context); |
992 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(compositeDataType, diagnostics, context); |
993 | return result; |
994 | } |
995 | |
996 | /** |
997 | * <!-- begin-user-doc --> |
998 | * <!-- end-user-doc --> |
999 | * @generated |
1000 | */ |
1001 | public boolean validateInnerDeclaration(InnerDeclaration innerDeclaration, DiagnosticChain diagnostics, Map<Object, Object> context) { |
1002 | return validate_EveryDefaultConstraint(innerDeclaration, diagnostics, context); |
1003 | } |
1004 | |
1005 | /** |
1006 | * <!-- begin-user-doc --> |
1007 | * <!-- end-user-doc --> |
1008 | * @generated |
1009 | */ |
1010 | public boolean validateInfrastructureInterface(InfrastructureInterface infrastructureInterface, DiagnosticChain diagnostics, Map<Object, Object> context) { |
1011 | boolean result = validate_EveryMultiplicityConforms(infrastructureInterface, diagnostics, context); |
1012 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(infrastructureInterface, diagnostics, context); |
1013 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(infrastructureInterface, diagnostics, context); |
1014 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(infrastructureInterface, diagnostics, context); |
1015 | if (result || diagnostics != null) result &= validate_UniqueID(infrastructureInterface, diagnostics, context); |
1016 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(infrastructureInterface, diagnostics, context); |
1017 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(infrastructureInterface, diagnostics, context); |
1018 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(infrastructureInterface, diagnostics, context); |
1019 | if (result || diagnostics != null) result &= validateInterface_NoProtocolTypeIDUsedTwice(infrastructureInterface, diagnostics, context); |
1020 | return result; |
1021 | } |
1022 | |
1023 | /** |
1024 | * <!-- begin-user-doc --> |
1025 | * <!-- end-user-doc --> |
1026 | * @generated |
1027 | */ |
1028 | public boolean validateProvidedRole(ProvidedRole providedRole, DiagnosticChain diagnostics, Map<Object, Object> context) { |
1029 | boolean result = validate_EveryMultiplicityConforms(providedRole, diagnostics, context); |
1030 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(providedRole, diagnostics, context); |
1031 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(providedRole, diagnostics, context); |
1032 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(providedRole, diagnostics, context); |
1033 | if (result || diagnostics != null) result &= validate_UniqueID(providedRole, diagnostics, context); |
1034 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(providedRole, diagnostics, context); |
1035 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(providedRole, diagnostics, context); |
1036 | if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(providedRole, diagnostics, context); |
1037 | return result; |
1038 | } |
1039 | |
1040 | /** |
1041 | * <!-- begin-user-doc --> |
1042 | * <!-- end-user-doc --> |
1043 | * @generated |
1044 | */ |
1045 | public boolean validateParameterModifier(ParameterModifier parameterModifier, DiagnosticChain diagnostics, Map<Object, Object> context) { |
1046 | return true; |
1047 | } |
1048 | |
1049 | /** |
1050 | * <!-- begin-user-doc --> |
1051 | * <!-- end-user-doc --> |
1052 | * @generated |
1053 | */ |
1054 | public boolean validatePrimitiveTypeEnum(PrimitiveTypeEnum primitiveTypeEnum, DiagnosticChain diagnostics, Map<Object, Object> context) { |
1055 | return true; |
1056 | } |
1057 | |
1058 | /** |
1059 | * Returns the resource locator that will be used to fetch messages for this validator's diagnostics. |
1060 | * <!-- begin-user-doc --> |
1061 | * <!-- end-user-doc --> |
1062 | * @generated |
1063 | */ |
1064 | @Override |
1065 | public ResourceLocator getResourceLocator() { |
1066 | // TODO |
1067 | // Specialize this to return a resource locator for messages specific to this validator. |
1068 | // Ensure that you remove @generated or mark it @generated NOT |
1069 | return super.getResourceLocator(); |
1070 | } |
1071 | |
1072 | } //RepositoryValidator |