1------------------------------------------------------------------------------
2--                                                                          --
3--                            Matreshka Project                             --
4--                                                                          --
5--                          Ada Modeling Framework                          --
6--                                                                          --
7--                        Runtime Library Component                         --
8--                                                                          --
9------------------------------------------------------------------------------
10--                                                                          --
11-- Copyright © 2011-2012, Vadim Godunko <vgodunko@gmail.com>                --
12-- All rights reserved.                                                     --
13--                                                                          --
14-- Redistribution and use in source and binary forms, with or without       --
15-- modification, are permitted provided that the following conditions       --
16-- are met:                                                                 --
17--                                                                          --
18--  * Redistributions of source code must retain the above copyright        --
19--    notice, this list of conditions and the following disclaimer.         --
20--                                                                          --
21--  * Redistributions in binary form must reproduce the above copyright     --
22--    notice, this list of conditions and the following disclaimer in the   --
23--    documentation and/or other materials provided with the distribution.  --
24--                                                                          --
25--  * Neither the name of the Vadim Godunko, IE nor the names of its        --
26--    contributors may be used to endorse or promote products derived from  --
27--    this software without specific prior written permission.              --
28--                                                                          --
29-- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS      --
30-- "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT        --
31-- LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR    --
32-- A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT     --
33-- HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,   --
34-- SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED --
35-- TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR   --
36-- PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF   --
37-- LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING     --
38-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS       --
39-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.             --
40--                                                                          --
41------------------------------------------------------------------------------
42--  $Revision: 2937 $ $Date: 2012-05-01 21:07:27 +0400 (Tue, 01 May 2012) $
43------------------------------------------------------------------------------
44with AMF.Internals.UML_Classifiers;
45with AMF.String_Collections;
46with AMF.UML.Behaviors.Collections;
47with AMF.UML.Classifier_Template_Parameters;
48with AMF.UML.Classifiers.Collections;
49with AMF.UML.Collaboration_Uses.Collections;
50with AMF.UML.Collaborations;
51with AMF.UML.Connectable_Elements.Collections;
52with AMF.UML.Connectors.Collections;
53with AMF.UML.Constraints.Collections;
54with AMF.UML.Dependencies.Collections;
55with AMF.UML.Element_Imports.Collections;
56with AMF.UML.Features.Collections;
57with AMF.UML.Generalization_Sets.Collections;
58with AMF.UML.Generalizations.Collections;
59with AMF.UML.Interface_Realizations.Collections;
60with AMF.UML.Named_Elements.Collections;
61with AMF.UML.Namespaces;
62with AMF.UML.Package_Imports.Collections;
63with AMF.UML.Packageable_Elements.Collections;
64with AMF.UML.Packages.Collections;
65with AMF.UML.Parameterable_Elements.Collections;
66with AMF.UML.Properties.Collections;
67with AMF.UML.Redefinable_Elements.Collections;
68with AMF.UML.Redefinable_Template_Signatures;
69with AMF.UML.String_Expressions;
70with AMF.UML.Substitutions.Collections;
71with AMF.UML.Template_Bindings.Collections;
72with AMF.UML.Template_Parameters;
73with AMF.UML.Template_Signatures;
74with AMF.UML.Types;
75with AMF.UML.Use_Cases.Collections;
76with AMF.Visitors;
77
78package AMF.Internals.UML_Collaborations is
79
80   type UML_Collaboration_Proxy is
81     limited new AMF.Internals.UML_Classifiers.UML_Classifier_Proxy
82       and AMF.UML.Collaborations.UML_Collaboration with null record;
83
84   overriding function Get_Collaboration_Role
85    (Self : not null access constant UML_Collaboration_Proxy)
86       return AMF.UML.Connectable_Elements.Collections.Set_Of_UML_Connectable_Element;
87   --  Getter of Collaboration::collaborationRole.
88   --
89   --  References connectable elements (possibly owned by other classifiers)
90   --  which represent roles that instances may play in this collaboration.
91
92   overriding function Get_Classifier_Behavior
93    (Self : not null access constant UML_Collaboration_Proxy)
94       return AMF.UML.Behaviors.UML_Behavior_Access;
95   --  Getter of BehavioredClassifier::classifierBehavior.
96   --
97   --  A behavior specification that specifies the behavior of the classifier
98   --  itself.
99
100   overriding procedure Set_Classifier_Behavior
101    (Self : not null access UML_Collaboration_Proxy;
102     To   : AMF.UML.Behaviors.UML_Behavior_Access);
103   --  Setter of BehavioredClassifier::classifierBehavior.
104   --
105   --  A behavior specification that specifies the behavior of the classifier
106   --  itself.
107
108   overriding function Get_Interface_Realization
109    (Self : not null access constant UML_Collaboration_Proxy)
110       return AMF.UML.Interface_Realizations.Collections.Set_Of_UML_Interface_Realization;
111   --  Getter of BehavioredClassifier::interfaceRealization.
112   --
113   --  The set of InterfaceRealizations owned by the BehavioredClassifier.
114   --  Interface realizations reference the Interfaces of which the
115   --  BehavioredClassifier is an implementation.
116
117   overriding function Get_Owned_Behavior
118    (Self : not null access constant UML_Collaboration_Proxy)
119       return AMF.UML.Behaviors.Collections.Set_Of_UML_Behavior;
120   --  Getter of BehavioredClassifier::ownedBehavior.
121   --
122   --  References behavior specifications owned by a classifier.
123
124   overriding function Get_Attribute
125    (Self : not null access constant UML_Collaboration_Proxy)
126       return AMF.UML.Properties.Collections.Set_Of_UML_Property;
127   --  Getter of Classifier::attribute.
128   --
129   --  Refers to all of the Properties that are direct (i.e. not inherited or
130   --  imported) attributes of the classifier.
131
132   overriding function Get_Collaboration_Use
133    (Self : not null access constant UML_Collaboration_Proxy)
134       return AMF.UML.Collaboration_Uses.Collections.Set_Of_UML_Collaboration_Use;
135   --  Getter of Classifier::collaborationUse.
136   --
137   --  References the collaboration uses owned by the classifier.
138
139   overriding function Get_Feature
140    (Self : not null access constant UML_Collaboration_Proxy)
141       return AMF.UML.Features.Collections.Set_Of_UML_Feature;
142   --  Getter of Classifier::feature.
143   --
144   --  Specifies each feature defined in the classifier.
145   --  Note that there may be members of the Classifier that are of the type
146   --  Feature but are not included in this association, e.g. inherited
147   --  features.
148
149   overriding function Get_General
150    (Self : not null access constant UML_Collaboration_Proxy)
151       return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier;
152   --  Getter of Classifier::general.
153   --
154   --  Specifies the general Classifiers for this Classifier.
155   --  References the general classifier in the Generalization relationship.
156
157   overriding function Get_Generalization
158    (Self : not null access constant UML_Collaboration_Proxy)
159       return AMF.UML.Generalizations.Collections.Set_Of_UML_Generalization;
160   --  Getter of Classifier::generalization.
161   --
162   --  Specifies the Generalization relationships for this Classifier. These
163   --  Generalizations navigaten to more general classifiers in the
164   --  generalization hierarchy.
165
166   overriding function Get_Inherited_Member
167    (Self : not null access constant UML_Collaboration_Proxy)
168       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element;
169   --  Getter of Classifier::inheritedMember.
170   --
171   --  Specifies all elements inherited by this classifier from the general
172   --  classifiers.
173
174   overriding function Get_Is_Abstract
175    (Self : not null access constant UML_Collaboration_Proxy)
176       return Boolean;
177   --  Getter of Classifier::isAbstract.
178   --
179   --  If true, the Classifier does not provide a complete declaration and can
180   --  typically not be instantiated. An abstract classifier is intended to be
181   --  used by other classifiers e.g. as the target of general
182   --  metarelationships or generalization relationships.
183
184   overriding function Get_Is_Final_Specialization
185    (Self : not null access constant UML_Collaboration_Proxy)
186       return Boolean;
187   --  Getter of Classifier::isFinalSpecialization.
188   --
189   --  If true, the Classifier cannot be specialized by generalization. Note
190   --  that this property is preserved through package merge operations; that
191   --  is, the capability to specialize a Classifier (i.e.,
192   --  isFinalSpecialization =false) must be preserved in the resulting
193   --  Classifier of a package merge operation where a Classifier with
194   --  isFinalSpecialization =false is merged with a matching Classifier with
195   --  isFinalSpecialization =true: the resulting Classifier will have
196   --  isFinalSpecialization =false.
197
198   overriding procedure Set_Is_Final_Specialization
199    (Self : not null access UML_Collaboration_Proxy;
200     To   : Boolean);
201   --  Setter of Classifier::isFinalSpecialization.
202   --
203   --  If true, the Classifier cannot be specialized by generalization. Note
204   --  that this property is preserved through package merge operations; that
205   --  is, the capability to specialize a Classifier (i.e.,
206   --  isFinalSpecialization =false) must be preserved in the resulting
207   --  Classifier of a package merge operation where a Classifier with
208   --  isFinalSpecialization =false is merged with a matching Classifier with
209   --  isFinalSpecialization =true: the resulting Classifier will have
210   --  isFinalSpecialization =false.
211
212   overriding function Get_Owned_Template_Signature
213    (Self : not null access constant UML_Collaboration_Proxy)
214       return AMF.UML.Redefinable_Template_Signatures.UML_Redefinable_Template_Signature_Access;
215   --  Getter of Classifier::ownedTemplateSignature.
216   --
217   --  The optional template signature specifying the formal template
218   --  parameters.
219
220   overriding procedure Set_Owned_Template_Signature
221    (Self : not null access UML_Collaboration_Proxy;
222     To   : AMF.UML.Redefinable_Template_Signatures.UML_Redefinable_Template_Signature_Access);
223   --  Setter of Classifier::ownedTemplateSignature.
224   --
225   --  The optional template signature specifying the formal template
226   --  parameters.
227
228   overriding function Get_Owned_Use_Case
229    (Self : not null access constant UML_Collaboration_Proxy)
230       return AMF.UML.Use_Cases.Collections.Set_Of_UML_Use_Case;
231   --  Getter of Classifier::ownedUseCase.
232   --
233   --  References the use cases owned by this classifier.
234
235   overriding function Get_Powertype_Extent
236    (Self : not null access constant UML_Collaboration_Proxy)
237       return AMF.UML.Generalization_Sets.Collections.Set_Of_UML_Generalization_Set;
238   --  Getter of Classifier::powertypeExtent.
239   --
240   --  Designates the GeneralizationSet of which the associated Classifier is
241   --  a power type.
242
243   overriding function Get_Redefined_Classifier
244    (Self : not null access constant UML_Collaboration_Proxy)
245       return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier;
246   --  Getter of Classifier::redefinedClassifier.
247   --
248   --  References the Classifiers that are redefined by this Classifier.
249
250   overriding function Get_Representation
251    (Self : not null access constant UML_Collaboration_Proxy)
252       return AMF.UML.Collaboration_Uses.UML_Collaboration_Use_Access;
253   --  Getter of Classifier::representation.
254   --
255   --  References a collaboration use which indicates the collaboration that
256   --  represents this classifier.
257
258   overriding procedure Set_Representation
259    (Self : not null access UML_Collaboration_Proxy;
260     To   : AMF.UML.Collaboration_Uses.UML_Collaboration_Use_Access);
261   --  Setter of Classifier::representation.
262   --
263   --  References a collaboration use which indicates the collaboration that
264   --  represents this classifier.
265
266   overriding function Get_Substitution
267    (Self : not null access constant UML_Collaboration_Proxy)
268       return AMF.UML.Substitutions.Collections.Set_Of_UML_Substitution;
269   --  Getter of Classifier::substitution.
270   --
271   --  References the substitutions that are owned by this Classifier.
272
273   overriding function Get_Template_Parameter
274    (Self : not null access constant UML_Collaboration_Proxy)
275       return AMF.UML.Classifier_Template_Parameters.UML_Classifier_Template_Parameter_Access;
276   --  Getter of Classifier::templateParameter.
277   --
278   --  The template parameter that exposes this element as a formal parameter.
279
280   overriding procedure Set_Template_Parameter
281    (Self : not null access UML_Collaboration_Proxy;
282     To   : AMF.UML.Classifier_Template_Parameters.UML_Classifier_Template_Parameter_Access);
283   --  Setter of Classifier::templateParameter.
284   --
285   --  The template parameter that exposes this element as a formal parameter.
286
287   overriding function Get_Use_Case
288    (Self : not null access constant UML_Collaboration_Proxy)
289       return AMF.UML.Use_Cases.Collections.Set_Of_UML_Use_Case;
290   --  Getter of Classifier::useCase.
291   --
292   --  The set of use cases for which this Classifier is the subject.
293
294   overriding function Get_Element_Import
295    (Self : not null access constant UML_Collaboration_Proxy)
296       return AMF.UML.Element_Imports.Collections.Set_Of_UML_Element_Import;
297   --  Getter of Namespace::elementImport.
298   --
299   --  References the ElementImports owned by the Namespace.
300
301   overriding function Get_Imported_Member
302    (Self : not null access constant UML_Collaboration_Proxy)
303       return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element;
304   --  Getter of Namespace::importedMember.
305   --
306   --  References the PackageableElements that are members of this Namespace
307   --  as a result of either PackageImports or ElementImports.
308
309   overriding function Get_Member
310    (Self : not null access constant UML_Collaboration_Proxy)
311       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element;
312   --  Getter of Namespace::member.
313   --
314   --  A collection of NamedElements identifiable within the Namespace, either
315   --  by being owned or by being introduced by importing or inheritance.
316
317   overriding function Get_Owned_Member
318    (Self : not null access constant UML_Collaboration_Proxy)
319       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element;
320   --  Getter of Namespace::ownedMember.
321   --
322   --  A collection of NamedElements owned by the Namespace.
323
324   overriding function Get_Owned_Rule
325    (Self : not null access constant UML_Collaboration_Proxy)
326       return AMF.UML.Constraints.Collections.Set_Of_UML_Constraint;
327   --  Getter of Namespace::ownedRule.
328   --
329   --  Specifies a set of Constraints owned by this Namespace.
330
331   overriding function Get_Package_Import
332    (Self : not null access constant UML_Collaboration_Proxy)
333       return AMF.UML.Package_Imports.Collections.Set_Of_UML_Package_Import;
334   --  Getter of Namespace::packageImport.
335   --
336   --  References the PackageImports owned by the Namespace.
337
338   overriding function Get_Client_Dependency
339    (Self : not null access constant UML_Collaboration_Proxy)
340       return AMF.UML.Dependencies.Collections.Set_Of_UML_Dependency;
341   --  Getter of NamedElement::clientDependency.
342   --
343   --  Indicates the dependencies that reference the client.
344
345   overriding function Get_Name_Expression
346    (Self : not null access constant UML_Collaboration_Proxy)
347       return AMF.UML.String_Expressions.UML_String_Expression_Access;
348   --  Getter of NamedElement::nameExpression.
349   --
350   --  The string expression used to define the name of this named element.
351
352   overriding procedure Set_Name_Expression
353    (Self : not null access UML_Collaboration_Proxy;
354     To   : AMF.UML.String_Expressions.UML_String_Expression_Access);
355   --  Setter of NamedElement::nameExpression.
356   --
357   --  The string expression used to define the name of this named element.
358
359   overriding function Get_Namespace
360    (Self : not null access constant UML_Collaboration_Proxy)
361       return AMF.UML.Namespaces.UML_Namespace_Access;
362   --  Getter of NamedElement::namespace.
363   --
364   --  Specifies the namespace that owns the NamedElement.
365
366   overriding function Get_Qualified_Name
367    (Self : not null access constant UML_Collaboration_Proxy)
368       return AMF.Optional_String;
369   --  Getter of NamedElement::qualifiedName.
370   --
371   --  A name which allows the NamedElement to be identified within a
372   --  hierarchy of nested Namespaces. It is constructed from the names of the
373   --  containing namespaces starting at the root of the hierarchy and ending
374   --  with the name of the NamedElement itself.
375
376   overriding function Get_Package
377    (Self : not null access constant UML_Collaboration_Proxy)
378       return AMF.UML.Packages.UML_Package_Access;
379   --  Getter of Type::package.
380   --
381   --  Specifies the owning package of this classifier, if any.
382
383   overriding procedure Set_Package
384    (Self : not null access UML_Collaboration_Proxy;
385     To   : AMF.UML.Packages.UML_Package_Access);
386   --  Setter of Type::package.
387   --
388   --  Specifies the owning package of this classifier, if any.
389
390   overriding function Get_Owning_Template_Parameter
391    (Self : not null access constant UML_Collaboration_Proxy)
392       return AMF.UML.Template_Parameters.UML_Template_Parameter_Access;
393   --  Getter of ParameterableElement::owningTemplateParameter.
394   --
395   --  The formal template parameter that owns this element.
396
397   overriding procedure Set_Owning_Template_Parameter
398    (Self : not null access UML_Collaboration_Proxy;
399     To   : AMF.UML.Template_Parameters.UML_Template_Parameter_Access);
400   --  Setter of ParameterableElement::owningTemplateParameter.
401   --
402   --  The formal template parameter that owns this element.
403
404   overriding function Get_Template_Parameter
405    (Self : not null access constant UML_Collaboration_Proxy)
406       return AMF.UML.Template_Parameters.UML_Template_Parameter_Access;
407   --  Getter of ParameterableElement::templateParameter.
408   --
409   --  The template parameter that exposes this element as a formal parameter.
410
411   overriding procedure Set_Template_Parameter
412    (Self : not null access UML_Collaboration_Proxy;
413     To   : AMF.UML.Template_Parameters.UML_Template_Parameter_Access);
414   --  Setter of ParameterableElement::templateParameter.
415   --
416   --  The template parameter that exposes this element as a formal parameter.
417
418   overriding function Get_Owned_Template_Signature
419    (Self : not null access constant UML_Collaboration_Proxy)
420       return AMF.UML.Template_Signatures.UML_Template_Signature_Access;
421   --  Getter of TemplateableElement::ownedTemplateSignature.
422   --
423   --  The optional template signature specifying the formal template
424   --  parameters.
425
426   overriding procedure Set_Owned_Template_Signature
427    (Self : not null access UML_Collaboration_Proxy;
428     To   : AMF.UML.Template_Signatures.UML_Template_Signature_Access);
429   --  Setter of TemplateableElement::ownedTemplateSignature.
430   --
431   --  The optional template signature specifying the formal template
432   --  parameters.
433
434   overriding function Get_Template_Binding
435    (Self : not null access constant UML_Collaboration_Proxy)
436       return AMF.UML.Template_Bindings.Collections.Set_Of_UML_Template_Binding;
437   --  Getter of TemplateableElement::templateBinding.
438   --
439   --  The optional bindings from this element to templates.
440
441   overriding function Get_Is_Leaf
442    (Self : not null access constant UML_Collaboration_Proxy)
443       return Boolean;
444   --  Getter of RedefinableElement::isLeaf.
445   --
446   --  Indicates whether it is possible to further redefine a
447   --  RedefinableElement. If the value is true, then it is not possible to
448   --  further redefine the RedefinableElement. Note that this property is
449   --  preserved through package merge operations; that is, the capability to
450   --  redefine a RedefinableElement (i.e., isLeaf=false) must be preserved in
451   --  the resulting RedefinableElement of a package merge operation where a
452   --  RedefinableElement with isLeaf=false is merged with a matching
453   --  RedefinableElement with isLeaf=true: the resulting RedefinableElement
454   --  will have isLeaf=false. Default value is false.
455
456   overriding procedure Set_Is_Leaf
457    (Self : not null access UML_Collaboration_Proxy;
458     To   : Boolean);
459   --  Setter of RedefinableElement::isLeaf.
460   --
461   --  Indicates whether it is possible to further redefine a
462   --  RedefinableElement. If the value is true, then it is not possible to
463   --  further redefine the RedefinableElement. Note that this property is
464   --  preserved through package merge operations; that is, the capability to
465   --  redefine a RedefinableElement (i.e., isLeaf=false) must be preserved in
466   --  the resulting RedefinableElement of a package merge operation where a
467   --  RedefinableElement with isLeaf=false is merged with a matching
468   --  RedefinableElement with isLeaf=true: the resulting RedefinableElement
469   --  will have isLeaf=false. Default value is false.
470
471   overriding function Get_Redefined_Element
472    (Self : not null access constant UML_Collaboration_Proxy)
473       return AMF.UML.Redefinable_Elements.Collections.Set_Of_UML_Redefinable_Element;
474   --  Getter of RedefinableElement::redefinedElement.
475   --
476   --  The redefinable element that is being redefined by this element.
477
478   overriding function Get_Redefinition_Context
479    (Self : not null access constant UML_Collaboration_Proxy)
480       return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier;
481   --  Getter of RedefinableElement::redefinitionContext.
482   --
483   --  References the contexts that this element may be redefined from.
484
485   overriding function Get_Owned_Attribute
486    (Self : not null access constant UML_Collaboration_Proxy)
487       return AMF.UML.Properties.Collections.Ordered_Set_Of_UML_Property;
488   --  Getter of StructuredClassifier::ownedAttribute.
489   --
490   --  References the properties owned by the classifier.
491
492   overriding function Get_Owned_Connector
493    (Self : not null access constant UML_Collaboration_Proxy)
494       return AMF.UML.Connectors.Collections.Set_Of_UML_Connector;
495   --  Getter of StructuredClassifier::ownedConnector.
496   --
497   --  References the connectors owned by the classifier.
498
499   overriding function Get_Part
500    (Self : not null access constant UML_Collaboration_Proxy)
501       return AMF.UML.Properties.Collections.Set_Of_UML_Property;
502   --  Getter of StructuredClassifier::part.
503   --
504   --  References the properties specifying instances that the classifier owns
505   --  by composition. This association is derived, selecting those owned
506   --  properties where isComposite is true.
507
508   overriding function Get_Role
509    (Self : not null access constant UML_Collaboration_Proxy)
510       return AMF.UML.Connectable_Elements.Collections.Set_Of_UML_Connectable_Element;
511   --  Getter of StructuredClassifier::role.
512   --
513   --  References the roles that instances may play in this classifier.
514
515   overriding function All_Features
516    (Self : not null access constant UML_Collaboration_Proxy)
517       return AMF.UML.Features.Collections.Set_Of_UML_Feature;
518   --  Operation Classifier::allFeatures.
519   --
520   --  The query allFeatures() gives all of the features in the namespace of
521   --  the classifier. In general, through mechanisms such as inheritance,
522   --  this will be a larger set than feature.
523
524   overriding function Conforms_To
525    (Self : not null access constant UML_Collaboration_Proxy;
526     Other : AMF.UML.Classifiers.UML_Classifier_Access)
527       return Boolean;
528   --  Operation Classifier::conformsTo.
529   --
530   --  The query conformsTo() gives true for a classifier that defines a type
531   --  that conforms to another. This is used, for example, in the
532   --  specification of signature conformance for operations.
533
534   overriding function General
535    (Self : not null access constant UML_Collaboration_Proxy)
536       return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier;
537   --  Operation Classifier::general.
538   --
539   --  The general classifiers are the classifiers referenced by the
540   --  generalization relationships.
541
542   overriding function Has_Visibility_Of
543    (Self : not null access constant UML_Collaboration_Proxy;
544     N : AMF.UML.Named_Elements.UML_Named_Element_Access)
545       return Boolean;
546   --  Operation Classifier::hasVisibilityOf.
547   --
548   --  The query hasVisibilityOf() determines whether a named element is
549   --  visible in the classifier. By default all are visible. It is only
550   --  called when the argument is something owned by a parent.
551
552   overriding function Inherit
553    (Self : not null access constant UML_Collaboration_Proxy;
554     Inhs : AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element)
555       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element;
556   --  Operation Classifier::inherit.
557   --
558   --  The query inherit() defines how to inherit a set of elements. Here the
559   --  operation is defined to inherit them all. It is intended to be
560   --  redefined in circumstances where inheritance is affected by
561   --  redefinition.
562   --  The inherit operation is overridden to exclude redefined properties.
563
564   overriding function Inheritable_Members
565    (Self : not null access constant UML_Collaboration_Proxy;
566     C : AMF.UML.Classifiers.UML_Classifier_Access)
567       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element;
568   --  Operation Classifier::inheritableMembers.
569   --
570   --  The query inheritableMembers() gives all of the members of a classifier
571   --  that may be inherited in one of its descendants, subject to whatever
572   --  visibility restrictions apply.
573
574   overriding function Inherited_Member
575    (Self : not null access constant UML_Collaboration_Proxy)
576       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element;
577   --  Operation Classifier::inheritedMember.
578   --
579   --  The inheritedMember association is derived by inheriting the
580   --  inheritable members of the parents.
581   --  The inheritedMember association is derived by inheriting the
582   --  inheritable members of the parents.
583
584   overriding function Is_Template
585    (Self : not null access constant UML_Collaboration_Proxy)
586       return Boolean;
587   --  Operation Classifier::isTemplate.
588   --
589   --  The query isTemplate() returns whether this templateable element is
590   --  actually a template.
591
592   overriding function May_Specialize_Type
593    (Self : not null access constant UML_Collaboration_Proxy;
594     C : AMF.UML.Classifiers.UML_Classifier_Access)
595       return Boolean;
596   --  Operation Classifier::maySpecializeType.
597   --
598   --  The query maySpecializeType() determines whether this classifier may
599   --  have a generalization relationship to classifiers of the specified
600   --  type. By default a classifier may specialize classifiers of the same or
601   --  a more general type. It is intended to be redefined by classifiers that
602   --  have different specialization constraints.
603
604   overriding function Exclude_Collisions
605    (Self : not null access constant UML_Collaboration_Proxy;
606     Imps : AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element)
607       return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element;
608   --  Operation Namespace::excludeCollisions.
609   --
610   --  The query excludeCollisions() excludes from a set of
611   --  PackageableElements any that would not be distinguishable from each
612   --  other in this namespace.
613
614   overriding function Get_Names_Of_Member
615    (Self : not null access constant UML_Collaboration_Proxy;
616     Element : AMF.UML.Named_Elements.UML_Named_Element_Access)
617       return AMF.String_Collections.Set_Of_String;
618   --  Operation Namespace::getNamesOfMember.
619   --
620   --  The query getNamesOfMember() takes importing into account. It gives
621   --  back the set of names that an element would have in an importing
622   --  namespace, either because it is owned, or if not owned then imported
623   --  individually, or if not individually then from a package.
624   --  The query getNamesOfMember() gives a set of all of the names that a
625   --  member would have in a Namespace. In general a member can have multiple
626   --  names in a Namespace if it is imported more than once with different
627   --  aliases. The query takes account of importing. It gives back the set of
628   --  names that an element would have in an importing namespace, either
629   --  because it is owned, or if not owned then imported individually, or if
630   --  not individually then from a package.
631
632   overriding function Import_Members
633    (Self : not null access constant UML_Collaboration_Proxy;
634     Imps : AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element)
635       return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element;
636   --  Operation Namespace::importMembers.
637   --
638   --  The query importMembers() defines which of a set of PackageableElements
639   --  are actually imported into the namespace. This excludes hidden ones,
640   --  i.e., those which have names that conflict with names of owned members,
641   --  and also excludes elements which would have the same name when imported.
642
643   overriding function Imported_Member
644    (Self : not null access constant UML_Collaboration_Proxy)
645       return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element;
646   --  Operation Namespace::importedMember.
647   --
648   --  The importedMember property is derived from the ElementImports and the
649   --  PackageImports. References the PackageableElements that are members of
650   --  this Namespace as a result of either PackageImports or ElementImports.
651
652   overriding function Members_Are_Distinguishable
653    (Self : not null access constant UML_Collaboration_Proxy)
654       return Boolean;
655   --  Operation Namespace::membersAreDistinguishable.
656   --
657   --  The Boolean query membersAreDistinguishable() determines whether all of
658   --  the namespace's members are distinguishable within it.
659
660   overriding function Owned_Member
661    (Self : not null access constant UML_Collaboration_Proxy)
662       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element;
663   --  Operation Namespace::ownedMember.
664   --
665   --  Missing derivation for Namespace::/ownedMember : NamedElement
666
667   overriding function All_Owning_Packages
668    (Self : not null access constant UML_Collaboration_Proxy)
669       return AMF.UML.Packages.Collections.Set_Of_UML_Package;
670   --  Operation NamedElement::allOwningPackages.
671   --
672   --  The query allOwningPackages() returns all the directly or indirectly
673   --  owning packages.
674
675   overriding function Is_Distinguishable_From
676    (Self : not null access constant UML_Collaboration_Proxy;
677     N : AMF.UML.Named_Elements.UML_Named_Element_Access;
678     Ns : AMF.UML.Namespaces.UML_Namespace_Access)
679       return Boolean;
680   --  Operation NamedElement::isDistinguishableFrom.
681   --
682   --  The query isDistinguishableFrom() determines whether two NamedElements
683   --  may logically co-exist within a Namespace. By default, two named
684   --  elements are distinguishable if (a) they have unrelated types or (b)
685   --  they have related types but different names.
686
687   overriding function Namespace
688    (Self : not null access constant UML_Collaboration_Proxy)
689       return AMF.UML.Namespaces.UML_Namespace_Access;
690   --  Operation NamedElement::namespace.
691   --
692   --  Missing derivation for NamedElement::/namespace : Namespace
693
694   overriding function Conforms_To
695    (Self : not null access constant UML_Collaboration_Proxy;
696     Other : AMF.UML.Types.UML_Type_Access)
697       return Boolean;
698   --  Operation Type::conformsTo.
699   --
700   --  The query conformsTo() gives true for a type that conforms to another.
701   --  By default, two types do not conform to each other. This query is
702   --  intended to be redefined for specific conformance situations.
703
704   overriding function Is_Compatible_With
705    (Self : not null access constant UML_Collaboration_Proxy;
706     P : AMF.UML.Parameterable_Elements.UML_Parameterable_Element_Access)
707       return Boolean;
708   --  Operation ParameterableElement::isCompatibleWith.
709   --
710   --  The query isCompatibleWith() determines if this parameterable element
711   --  is compatible with the specified parameterable element. By default
712   --  parameterable element P is compatible with parameterable element Q if
713   --  the kind of P is the same or a subtype as the kind of Q. Subclasses
714   --  should override this operation to specify different compatibility
715   --  constraints.
716
717   overriding function Is_Template_Parameter
718    (Self : not null access constant UML_Collaboration_Proxy)
719       return Boolean;
720   --  Operation ParameterableElement::isTemplateParameter.
721   --
722   --  The query isTemplateParameter() determines if this parameterable
723   --  element is exposed as a formal template parameter.
724
725   overriding function Parameterable_Elements
726    (Self : not null access constant UML_Collaboration_Proxy)
727       return AMF.UML.Parameterable_Elements.Collections.Set_Of_UML_Parameterable_Element;
728   --  Operation TemplateableElement::parameterableElements.
729   --
730   --  The query parameterableElements() returns the set of elements that may
731   --  be used as the parametered elements for a template parameter of this
732   --  templateable element. By default, this set includes all the owned
733   --  elements. Subclasses may override this operation if they choose to
734   --  restrict the set of parameterable elements.
735
736   overriding function Is_Consistent_With
737    (Self : not null access constant UML_Collaboration_Proxy;
738     Redefinee : AMF.UML.Redefinable_Elements.UML_Redefinable_Element_Access)
739       return Boolean;
740   --  Operation RedefinableElement::isConsistentWith.
741   --
742   --  The query isConsistentWith() specifies, for any two RedefinableElements
743   --  in a context in which redefinition is possible, whether redefinition
744   --  would be logically consistent. By default, this is false; this
745   --  operation must be overridden for subclasses of RedefinableElement to
746   --  define the consistency conditions.
747
748   overriding function Is_Redefinition_Context_Valid
749    (Self : not null access constant UML_Collaboration_Proxy;
750     Redefined : AMF.UML.Redefinable_Elements.UML_Redefinable_Element_Access)
751       return Boolean;
752   --  Operation RedefinableElement::isRedefinitionContextValid.
753   --
754   --  The query isRedefinitionContextValid() specifies whether the
755   --  redefinition contexts of this RedefinableElement are properly related
756   --  to the redefinition contexts of the specified RedefinableElement to
757   --  allow this element to redefine the other. By default at least one of
758   --  the redefinition contexts of this element must be a specialization of
759   --  at least one of the redefinition contexts of the specified element.
760
761   overriding function Part
762    (Self : not null access constant UML_Collaboration_Proxy)
763       return AMF.UML.Properties.Collections.Set_Of_UML_Property;
764   --  Operation StructuredClassifier::part.
765   --
766   --  Missing derivation for StructuredClassifier::/part : Property
767
768   overriding procedure Enter_Element
769    (Self    : not null access constant UML_Collaboration_Proxy;
770     Visitor : in out AMF.Visitors.Abstract_Visitor'Class;
771     Control : in out AMF.Visitors.Traverse_Control);
772   --  Dispatch call to corresponding subprogram of visitor interface.
773
774   overriding procedure Leave_Element
775    (Self    : not null access constant UML_Collaboration_Proxy;
776     Visitor : in out AMF.Visitors.Abstract_Visitor'Class;
777     Control : in out AMF.Visitors.Traverse_Control);
778   --  Dispatch call to corresponding subprogram of visitor interface.
779
780   overriding procedure Visit_Element
781    (Self     : not null access constant UML_Collaboration_Proxy;
782     Iterator : in out AMF.Visitors.Abstract_Iterator'Class;
783     Visitor  : in out AMF.Visitors.Abstract_Visitor'Class;
784     Control  : in out AMF.Visitors.Traverse_Control);
785   --  Dispatch call to corresponding subprogram of iterator interface.
786
787end AMF.Internals.UML_Collaborations;
788