1------------------------------------------------------------------------------
2--                                                                          --
3--                            Matreshka Project                             --
4--                                                                          --
5--                          Ada Modeling Framework                          --
6--                                                                          --
7--                        Runtime Library Component                         --
8--                                                                          --
9------------------------------------------------------------------------------
10--                                                                          --
11-- Copyright © 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: 2635 $ $Date: 2012-03-18 19:06:27 +0400 (Sun, 18 Mar 2012) $
43------------------------------------------------------------------------------
44--  This file is generated, don't edit it.
45------------------------------------------------------------------------------
46with AMF.Internals.OCL_Elements;
47with AMF.OCL.Type_Exps;
48with AMF.UML.Classifiers;
49with AMF.UML.Comments.Collections;
50with AMF.UML.Dependencies.Collections;
51with AMF.UML.Elements.Collections;
52with AMF.UML.Named_Elements;
53with AMF.UML.Namespaces.Collections;
54with AMF.UML.Packages.Collections;
55with AMF.UML.String_Expressions;
56with AMF.UML.Types;
57with AMF.Visitors;
58
59package AMF.Internals.OCL_Type_Exps is
60
61   type OCL_Type_Exp_Proxy is
62     limited new AMF.Internals.OCL_Elements.OCL_Element_Proxy
63       and AMF.OCL.Type_Exps.OCL_Type_Exp with null record;
64
65   overriding function Get_Referred_Type
66    (Self : not null access constant OCL_Type_Exp_Proxy)
67       return AMF.UML.Classifiers.UML_Classifier_Access;
68   --  Getter of TypeExp::referredType.
69   --
70
71   overriding procedure Set_Referred_Type
72    (Self : not null access OCL_Type_Exp_Proxy;
73     To   : AMF.UML.Classifiers.UML_Classifier_Access);
74   --  Setter of TypeExp::referredType.
75   --
76
77   overriding function Get_Type
78    (Self : not null access constant OCL_Type_Exp_Proxy)
79       return AMF.UML.Types.UML_Type_Access;
80   --  Getter of TypedElement::type.
81   --
82   --  The type of the TypedElement.
83   --  This information is derived from the return result for this Operation.
84
85   overriding procedure Set_Type
86    (Self : not null access OCL_Type_Exp_Proxy;
87     To   : AMF.UML.Types.UML_Type_Access);
88   --  Setter of TypedElement::type.
89   --
90   --  The type of the TypedElement.
91   --  This information is derived from the return result for this Operation.
92
93   overriding function Get_Client_Dependency
94    (Self : not null access constant OCL_Type_Exp_Proxy)
95       return AMF.UML.Dependencies.Collections.Set_Of_UML_Dependency;
96   --  Getter of NamedElement::clientDependency.
97   --
98   --  Indicates the dependencies that reference the client.
99
100   overriding function Get_Name
101    (Self : not null access constant OCL_Type_Exp_Proxy)
102       return AMF.Optional_String;
103   --  Getter of NamedElement::name.
104   --
105   --  The name of the NamedElement.
106
107   overriding procedure Set_Name
108    (Self : not null access OCL_Type_Exp_Proxy;
109     To   : AMF.Optional_String);
110   --  Setter of NamedElement::name.
111   --
112   --  The name of the NamedElement.
113
114   overriding function Get_Name_Expression
115    (Self : not null access constant OCL_Type_Exp_Proxy)
116       return AMF.UML.String_Expressions.UML_String_Expression_Access;
117   --  Getter of NamedElement::nameExpression.
118   --
119   --  The string expression used to define the name of this named element.
120
121   overriding procedure Set_Name_Expression
122    (Self : not null access OCL_Type_Exp_Proxy;
123     To   : AMF.UML.String_Expressions.UML_String_Expression_Access);
124   --  Setter of NamedElement::nameExpression.
125   --
126   --  The string expression used to define the name of this named element.
127
128   overriding function Get_Namespace
129    (Self : not null access constant OCL_Type_Exp_Proxy)
130       return AMF.UML.Namespaces.UML_Namespace_Access;
131   --  Getter of NamedElement::namespace.
132   --
133   --  Specifies the namespace that owns the NamedElement.
134
135   overriding function Get_Qualified_Name
136    (Self : not null access constant OCL_Type_Exp_Proxy)
137       return AMF.Optional_String;
138   --  Getter of NamedElement::qualifiedName.
139   --
140   --  A name which allows the NamedElement to be identified within a
141   --  hierarchy of nested Namespaces. It is constructed from the names of the
142   --  containing namespaces starting at the root of the hierarchy and ending
143   --  with the name of the NamedElement itself.
144
145   overriding function Get_Visibility
146    (Self : not null access constant OCL_Type_Exp_Proxy)
147       return AMF.UML.Optional_UML_Visibility_Kind;
148   --  Getter of NamedElement::visibility.
149   --
150   --  Determines where the NamedElement appears within different Namespaces
151   --  within the overall model, and its accessibility.
152
153   overriding procedure Set_Visibility
154    (Self : not null access OCL_Type_Exp_Proxy;
155     To   : AMF.UML.Optional_UML_Visibility_Kind);
156   --  Setter of NamedElement::visibility.
157   --
158   --  Determines where the NamedElement appears within different Namespaces
159   --  within the overall model, and its accessibility.
160
161   overriding function Get_Owned_Comment
162    (Self : not null access constant OCL_Type_Exp_Proxy)
163       return AMF.UML.Comments.Collections.Set_Of_UML_Comment;
164   --  Getter of Element::ownedComment.
165   --
166   --  The Comments owned by this element.
167
168   overriding function Get_Owned_Element
169    (Self : not null access constant OCL_Type_Exp_Proxy)
170       return AMF.UML.Elements.Collections.Set_Of_UML_Element;
171   --  Getter of Element::ownedElement.
172   --
173   --  The Elements owned by this element.
174
175   overriding function Get_Owner
176    (Self : not null access constant OCL_Type_Exp_Proxy)
177       return AMF.UML.Elements.UML_Element_Access;
178   --  Getter of Element::owner.
179   --
180   --  The Element that owns this element.
181
182   overriding function All_Namespaces
183    (Self : not null access constant OCL_Type_Exp_Proxy)
184       return AMF.UML.Namespaces.Collections.Ordered_Set_Of_UML_Namespace;
185   --  Operation NamedElement::allNamespaces.
186   --
187   --  The query allNamespaces() gives the sequence of namespaces in which the
188   --  NamedElement is nested, working outwards.
189
190   overriding function All_Owning_Packages
191    (Self : not null access constant OCL_Type_Exp_Proxy)
192       return AMF.UML.Packages.Collections.Set_Of_UML_Package;
193   --  Operation NamedElement::allOwningPackages.
194   --
195   --  The query allOwningPackages() returns all the directly or indirectly
196   --  owning packages.
197
198   overriding function Is_Distinguishable_From
199    (Self : not null access constant OCL_Type_Exp_Proxy;
200     N : AMF.UML.Named_Elements.UML_Named_Element_Access;
201     Ns : AMF.UML.Namespaces.UML_Namespace_Access)
202       return Boolean;
203   --  Operation NamedElement::isDistinguishableFrom.
204   --
205   --  The query isDistinguishableFrom() determines whether two NamedElements
206   --  may logically co-exist within a Namespace. By default, two named
207   --  elements are distinguishable if (a) they have unrelated types or (b)
208   --  they have related types but different names.
209
210   overriding function Namespace
211    (Self : not null access constant OCL_Type_Exp_Proxy)
212       return AMF.UML.Namespaces.UML_Namespace_Access;
213   --  Operation NamedElement::namespace.
214   --
215   --  Missing derivation for NamedElement::/namespace : Namespace
216
217   overriding function Qualified_Name
218    (Self : not null access constant OCL_Type_Exp_Proxy)
219       return League.Strings.Universal_String;
220   --  Operation NamedElement::qualifiedName.
221   --
222   --  When there is a name, and all of the containing namespaces have a name,
223   --  the qualified name is constructed from the names of the containing
224   --  namespaces.
225
226   overriding function Separator
227    (Self : not null access constant OCL_Type_Exp_Proxy)
228       return League.Strings.Universal_String;
229   --  Operation NamedElement::separator.
230   --
231   --  The query separator() gives the string that is used to separate names
232   --  when constructing a qualified name.
233
234   overriding function All_Owned_Elements
235    (Self : not null access constant OCL_Type_Exp_Proxy)
236       return AMF.UML.Elements.Collections.Set_Of_UML_Element;
237   --  Operation Element::allOwnedElements.
238   --
239   --  The query allOwnedElements() gives all of the direct and indirect owned
240   --  elements of an element.
241
242   overriding function Must_Be_Owned
243    (Self : not null access constant OCL_Type_Exp_Proxy)
244       return Boolean;
245   --  Operation Element::mustBeOwned.
246   --
247   --  The query mustBeOwned() indicates whether elements of this type must
248   --  have an owner. Subclasses of Element that do not require an owner must
249   --  override this operation.
250
251   overriding procedure Enter_Element
252    (Self    : not null access constant OCL_Type_Exp_Proxy;
253     Visitor : in out AMF.Visitors.Abstract_Visitor'Class;
254     Control : in out AMF.Visitors.Traverse_Control);
255
256   overriding procedure Leave_Element
257    (Self    : not null access constant OCL_Type_Exp_Proxy;
258     Visitor : in out AMF.Visitors.Abstract_Visitor'Class;
259     Control : in out AMF.Visitors.Traverse_Control);
260
261   overriding procedure Visit_Element
262    (Self     : not null access constant OCL_Type_Exp_Proxy;
263     Iterator : in out AMF.Visitors.Abstract_Iterator'Class;
264     Visitor  : in out AMF.Visitors.Abstract_Visitor'Class;
265     Control  : in out AMF.Visitors.Traverse_Control);
266
267end AMF.Internals.OCL_Type_Exps;
268