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.Elements;
45with AMF.Internals.Element_Collections;
46with AMF.Internals.Helpers;
47with AMF.Internals.Tables.UML_Attributes;
48with AMF.Visitors.UML_Iterators;
49with AMF.Visitors.UML_Visitors;
50with League.Strings.Internals;
51with Matreshka.Internals.Strings;
52
53package body AMF.Internals.UML_Literal_Unlimited_Naturals is
54
55   -------------------
56   -- Enter_Element --
57   -------------------
58
59   overriding procedure Enter_Element
60    (Self    : not null access constant UML_Literal_Unlimited_Natural_Proxy;
61     Visitor : in out AMF.Visitors.Abstract_Visitor'Class;
62     Control : in out AMF.Visitors.Traverse_Control) is
63   begin
64      if Visitor in AMF.Visitors.UML_Visitors.UML_Visitor'Class then
65         AMF.Visitors.UML_Visitors.UML_Visitor'Class
66          (Visitor).Enter_Literal_Unlimited_Natural
67            (AMF.UML.Literal_Unlimited_Naturals.UML_Literal_Unlimited_Natural_Access (Self),
68           Control);
69      end if;
70   end Enter_Element;
71
72   -------------------
73   -- Leave_Element --
74   -------------------
75
76   overriding procedure Leave_Element
77    (Self    : not null access constant UML_Literal_Unlimited_Natural_Proxy;
78     Visitor : in out AMF.Visitors.Abstract_Visitor'Class;
79     Control : in out AMF.Visitors.Traverse_Control) is
80   begin
81      if Visitor in AMF.Visitors.UML_Visitors.UML_Visitor'Class then
82         AMF.Visitors.UML_Visitors.UML_Visitor'Class
83          (Visitor).Leave_Literal_Unlimited_Natural
84            (AMF.UML.Literal_Unlimited_Naturals.UML_Literal_Unlimited_Natural_Access (Self),
85           Control);
86      end if;
87   end Leave_Element;
88
89   -------------------
90   -- Visit_Element --
91   -------------------
92
93   overriding procedure Visit_Element
94    (Self     : not null access constant UML_Literal_Unlimited_Natural_Proxy;
95     Iterator : in out AMF.Visitors.Abstract_Iterator'Class;
96     Visitor  : in out AMF.Visitors.Abstract_Visitor'Class;
97     Control  : in out AMF.Visitors.Traverse_Control) is
98   begin
99      if Iterator in AMF.Visitors.UML_Iterators.UML_Iterator'Class then
100         AMF.Visitors.UML_Iterators.UML_Iterator'Class
101          (Iterator).Visit_Literal_Unlimited_Natural
102            (Visitor,
103             AMF.UML.Literal_Unlimited_Naturals.UML_Literal_Unlimited_Natural_Access (Self),
104             Control);
105      end if;
106   end Visit_Element;
107
108   ---------------------------
109   -- Get_Client_Dependency --
110   ---------------------------
111
112   overriding function Get_Client_Dependency
113    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy)
114       return AMF.UML.Dependencies.Collections.Set_Of_UML_Dependency is
115   begin
116      return
117        AMF.UML.Dependencies.Collections.Wrap
118         (AMF.Internals.Element_Collections.Wrap
119           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Client_Dependency
120             (Self.Element)));
121   end Get_Client_Dependency;
122
123   -------------------------
124   -- Get_Name_Expression --
125   -------------------------
126
127   overriding function Get_Name_Expression
128    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy)
129       return AMF.UML.String_Expressions.UML_String_Expression_Access is
130   begin
131      return
132        AMF.UML.String_Expressions.UML_String_Expression_Access
133         (AMF.Internals.Helpers.To_Element
134           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Name_Expression
135             (Self.Element)));
136   end Get_Name_Expression;
137
138   -------------------
139   -- Get_Namespace --
140   -------------------
141
142   overriding function Get_Namespace
143    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy)
144       return AMF.UML.Namespaces.UML_Namespace_Access is
145   begin
146      return
147        AMF.UML.Namespaces.UML_Namespace_Access
148         (AMF.Internals.Helpers.To_Element
149           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Namespace
150             (Self.Element)));
151   end Get_Namespace;
152
153   -----------------------------------
154   -- Get_Owning_Template_Parameter --
155   -----------------------------------
156
157   overriding function Get_Owning_Template_Parameter
158    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy)
159       return AMF.UML.Template_Parameters.UML_Template_Parameter_Access is
160   begin
161      return
162        AMF.UML.Template_Parameters.UML_Template_Parameter_Access
163         (AMF.Internals.Helpers.To_Element
164           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owning_Template_Parameter
165             (Self.Element)));
166   end Get_Owning_Template_Parameter;
167
168   ------------------------
169   -- Get_Qualified_Name --
170   ------------------------
171
172   overriding function Get_Qualified_Name
173    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy)
174       return AMF.Optional_String is
175   begin
176      declare
177         use type Matreshka.Internals.Strings.Shared_String_Access;
178
179         Aux : constant Matreshka.Internals.Strings.Shared_String_Access
180           := AMF.Internals.Tables.UML_Attributes.Internal_Get_Qualified_Name (Self.Element);
181
182      begin
183         if Aux = null then
184            return (Is_Empty => True);
185
186         else
187            return (False, League.Strings.Internals.Create (Aux));
188         end if;
189      end;
190   end Get_Qualified_Name;
191
192   ----------------------------
193   -- Get_Template_Parameter --
194   ----------------------------
195
196   overriding function Get_Template_Parameter
197    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy)
198       return AMF.UML.Template_Parameters.UML_Template_Parameter_Access is
199   begin
200      return
201        AMF.UML.Template_Parameters.UML_Template_Parameter_Access
202         (AMF.Internals.Helpers.To_Element
203           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Template_Parameter
204             (Self.Element)));
205   end Get_Template_Parameter;
206
207   --------------
208   -- Get_Type --
209   --------------
210
211   overriding function Get_Type
212    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy)
213       return AMF.UML.Types.UML_Type_Access is
214   begin
215      return
216        AMF.UML.Types.UML_Type_Access
217         (AMF.Internals.Helpers.To_Element
218           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Type
219             (Self.Element)));
220   end Get_Type;
221
222   ---------------
223   -- Get_Value --
224   ---------------
225
226   overriding function Get_Value
227    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy)
228       return AMF.Unlimited_Natural is
229   begin
230      return
231        AMF.Internals.Tables.UML_Attributes.Internal_Get_Value
232         (Self.Element);
233   end Get_Value;
234
235   -------------------------
236   -- Set_Name_Expression --
237   -------------------------
238
239   overriding procedure Set_Name_Expression
240    (Self : not null access UML_Literal_Unlimited_Natural_Proxy;
241     To   : AMF.UML.String_Expressions.UML_String_Expression_Access) is
242   begin
243      AMF.Internals.Tables.UML_Attributes.Internal_Set_Name_Expression
244       (Self.Element,
245        AMF.Internals.Helpers.To_Element
246         (AMF.Elements.Element_Access (To)));
247   end Set_Name_Expression;
248
249   -----------------------------------
250   -- Set_Owning_Template_Parameter --
251   -----------------------------------
252
253   overriding procedure Set_Owning_Template_Parameter
254    (Self : not null access UML_Literal_Unlimited_Natural_Proxy;
255     To   : AMF.UML.Template_Parameters.UML_Template_Parameter_Access) is
256   begin
257      AMF.Internals.Tables.UML_Attributes.Internal_Set_Owning_Template_Parameter
258       (Self.Element,
259        AMF.Internals.Helpers.To_Element
260         (AMF.Elements.Element_Access (To)));
261   end Set_Owning_Template_Parameter;
262
263   ----------------------------
264   -- Set_Template_Parameter --
265   ----------------------------
266
267   overriding procedure Set_Template_Parameter
268    (Self : not null access UML_Literal_Unlimited_Natural_Proxy;
269     To   : AMF.UML.Template_Parameters.UML_Template_Parameter_Access) is
270   begin
271      AMF.Internals.Tables.UML_Attributes.Internal_Set_Template_Parameter
272       (Self.Element,
273        AMF.Internals.Helpers.To_Element
274         (AMF.Elements.Element_Access (To)));
275   end Set_Template_Parameter;
276
277   --------------
278   -- Set_Type --
279   --------------
280
281   overriding procedure Set_Type
282    (Self : not null access UML_Literal_Unlimited_Natural_Proxy;
283     To   : AMF.UML.Types.UML_Type_Access) is
284   begin
285      AMF.Internals.Tables.UML_Attributes.Internal_Set_Type
286       (Self.Element,
287        AMF.Internals.Helpers.To_Element
288         (AMF.Elements.Element_Access (To)));
289   end Set_Type;
290
291   ---------------
292   -- Set_Value --
293   ---------------
294
295   overriding procedure Set_Value
296    (Self : not null access UML_Literal_Unlimited_Natural_Proxy;
297     To   : AMF.Unlimited_Natural) is
298   begin
299      AMF.Internals.Tables.UML_Attributes.Internal_Set_Value
300       (Self.Element, To);
301   end Set_Value;
302
303   ---------------------
304   -- Unlimited_Value --
305   ---------------------
306
307   overriding function Unlimited_Value
308    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy)
309       return AMF.Unlimited_Natural
310   is
311      --  7.3.32 LiteralUnlimitedNatural (from Kernel)
312      --
313      --  [2] The query unlimitedValue() gives the value.
314      --
315      --  LiteralUnlimitedNatural::unlimitedValue() : [UnlimitedNatural];
316      --  unlimitedValue = value
317
318   begin
319      return UML_Literal_Unlimited_Natural_Proxy'Class (Self.all).Get_Value;
320   end Unlimited_Value;
321
322   ---------------------
323   -- Unlimited_Value --
324   ---------------------
325
326   overriding function Unlimited_Value
327    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy)
328       return AMF.Optional_Unlimited_Natural
329   is
330      --  7.3.32 LiteralUnlimitedNatural (from Kernel)
331      --
332      --  [2] The query unlimitedValue() gives the value.
333      --
334      --  LiteralUnlimitedNatural::unlimitedValue() : [UnlimitedNatural];
335      --  unlimitedValue = value
336
337   begin
338      return
339       (False, UML_Literal_Unlimited_Natural_Proxy'Class (Self.all).Get_Value);
340   end Unlimited_Value;
341
342   -------------------
343   -- Is_Computable --
344   -------------------
345
346   overriding function Is_Computable
347    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy)
348       return Boolean is
349   begin
350      --  Generated stub: replace with real body!
351      pragma Compile_Time_Warning (Standard.True, "Is_Computable unimplemented");
352      raise Program_Error with "Unimplemented procedure UML_Literal_Unlimited_Natural_Proxy.Is_Computable";
353      return Is_Computable (Self);
354   end Is_Computable;
355
356   ------------------------
357   -- Is_Compatible_With --
358   ------------------------
359
360   overriding function Is_Compatible_With
361    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy;
362     P : AMF.UML.Parameterable_Elements.UML_Parameterable_Element_Access)
363       return Boolean is
364   begin
365      --  Generated stub: replace with real body!
366      pragma Compile_Time_Warning (Standard.True, "Is_Compatible_With unimplemented");
367      raise Program_Error with "Unimplemented procedure UML_Literal_Unlimited_Natural_Proxy.Is_Compatible_With";
368      return Is_Compatible_With (Self, P);
369   end Is_Compatible_With;
370
371   -------------------------
372   -- All_Owning_Packages --
373   -------------------------
374
375   overriding function All_Owning_Packages
376    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy)
377       return AMF.UML.Packages.Collections.Set_Of_UML_Package is
378   begin
379      --  Generated stub: replace with real body!
380      pragma Compile_Time_Warning (Standard.True, "All_Owning_Packages unimplemented");
381      raise Program_Error with "Unimplemented procedure UML_Literal_Unlimited_Natural_Proxy.All_Owning_Packages";
382      return All_Owning_Packages (Self);
383   end All_Owning_Packages;
384
385   -----------------------------
386   -- Is_Distinguishable_From --
387   -----------------------------
388
389   overriding function Is_Distinguishable_From
390    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy;
391     N : AMF.UML.Named_Elements.UML_Named_Element_Access;
392     Ns : AMF.UML.Namespaces.UML_Namespace_Access)
393       return Boolean is
394   begin
395      --  Generated stub: replace with real body!
396      pragma Compile_Time_Warning (Standard.True, "Is_Distinguishable_From unimplemented");
397      raise Program_Error with "Unimplemented procedure UML_Literal_Unlimited_Natural_Proxy.Is_Distinguishable_From";
398      return Is_Distinguishable_From (Self, N, Ns);
399   end Is_Distinguishable_From;
400
401   ---------------
402   -- Namespace --
403   ---------------
404
405   overriding function Namespace
406    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy)
407       return AMF.UML.Namespaces.UML_Namespace_Access is
408   begin
409      --  Generated stub: replace with real body!
410      pragma Compile_Time_Warning (Standard.True, "Namespace unimplemented");
411      raise Program_Error with "Unimplemented procedure UML_Literal_Unlimited_Natural_Proxy.Namespace";
412      return Namespace (Self);
413   end Namespace;
414
415   ---------------------------
416   -- Is_Template_Parameter --
417   ---------------------------
418
419   overriding function Is_Template_Parameter
420    (Self : not null access constant UML_Literal_Unlimited_Natural_Proxy)
421       return Boolean is
422   begin
423      --  Generated stub: replace with real body!
424      pragma Compile_Time_Warning (Standard.True, "Is_Template_Parameter unimplemented");
425      raise Program_Error with "Unimplemented procedure UML_Literal_Unlimited_Natural_Proxy.Is_Template_Parameter";
426      return Is_Template_Parameter (Self);
427   end Is_Template_Parameter;
428
429end AMF.Internals.UML_Literal_Unlimited_Naturals;
430