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