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