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