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_Message_Occurrence_Specifications is
54
55   -------------------
56   -- Enter_Element --
57   -------------------
58
59   overriding procedure Enter_Element
60    (Self    : not null access constant UML_Message_Occurrence_Specification_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_Message_Occurrence_Specification
67            (AMF.UML.Message_Occurrence_Specifications.UML_Message_Occurrence_Specification_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_Message_Occurrence_Specification_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_Message_Occurrence_Specification
84            (AMF.UML.Message_Occurrence_Specifications.UML_Message_Occurrence_Specification_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_Message_Occurrence_Specification_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_Message_Occurrence_Specification
102            (Visitor,
103             AMF.UML.Message_Occurrence_Specifications.UML_Message_Occurrence_Specification_Access (Self),
104             Control);
105      end if;
106   end Visit_Element;
107
108   -----------------
109   -- Get_Message --
110   -----------------
111
112   overriding function Get_Message
113    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy)
114       return AMF.UML.Messages.UML_Message_Access is
115   begin
116      return
117        AMF.UML.Messages.UML_Message_Access
118         (AMF.Internals.Helpers.To_Element
119           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Message
120             (Self.Element)));
121   end Get_Message;
122
123   -----------------
124   -- Set_Message --
125   -----------------
126
127   overriding procedure Set_Message
128    (Self : not null access UML_Message_Occurrence_Specification_Proxy;
129     To   : AMF.UML.Messages.UML_Message_Access) is
130   begin
131      AMF.Internals.Tables.UML_Attributes.Internal_Set_Message
132       (Self.Element,
133        AMF.Internals.Helpers.To_Element
134         (AMF.Elements.Element_Access (To)));
135   end Set_Message;
136
137   ---------------------------
138   -- Get_Client_Dependency --
139   ---------------------------
140
141   overriding function Get_Client_Dependency
142    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy)
143       return AMF.UML.Dependencies.Collections.Set_Of_UML_Dependency is
144   begin
145      return
146        AMF.UML.Dependencies.Collections.Wrap
147         (AMF.Internals.Element_Collections.Wrap
148           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Client_Dependency
149             (Self.Element)));
150   end Get_Client_Dependency;
151
152   -------------------------
153   -- Get_Name_Expression --
154   -------------------------
155
156   overriding function Get_Name_Expression
157    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy)
158       return AMF.UML.String_Expressions.UML_String_Expression_Access is
159   begin
160      return
161        AMF.UML.String_Expressions.UML_String_Expression_Access
162         (AMF.Internals.Helpers.To_Element
163           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Name_Expression
164             (Self.Element)));
165   end Get_Name_Expression;
166
167   -------------------------
168   -- Set_Name_Expression --
169   -------------------------
170
171   overriding procedure Set_Name_Expression
172    (Self : not null access UML_Message_Occurrence_Specification_Proxy;
173     To   : AMF.UML.String_Expressions.UML_String_Expression_Access) is
174   begin
175      AMF.Internals.Tables.UML_Attributes.Internal_Set_Name_Expression
176       (Self.Element,
177        AMF.Internals.Helpers.To_Element
178         (AMF.Elements.Element_Access (To)));
179   end Set_Name_Expression;
180
181   -------------------
182   -- Get_Namespace --
183   -------------------
184
185   overriding function Get_Namespace
186    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy)
187       return AMF.UML.Namespaces.UML_Namespace_Access is
188   begin
189      return
190        AMF.UML.Namespaces.UML_Namespace_Access
191         (AMF.Internals.Helpers.To_Element
192           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Namespace
193             (Self.Element)));
194   end Get_Namespace;
195
196   ------------------------
197   -- Get_Qualified_Name --
198   ------------------------
199
200   overriding function Get_Qualified_Name
201    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy)
202       return AMF.Optional_String is
203   begin
204      declare
205         use type Matreshka.Internals.Strings.Shared_String_Access;
206
207         Aux : constant Matreshka.Internals.Strings.Shared_String_Access
208           := AMF.Internals.Tables.UML_Attributes.Internal_Get_Qualified_Name (Self.Element);
209
210      begin
211         if Aux = null then
212            return (Is_Empty => True);
213
214         else
215            return (False, League.Strings.Internals.Create (Aux));
216         end if;
217      end;
218   end Get_Qualified_Name;
219
220   -----------------
221   -- Get_Covered --
222   -----------------
223
224   overriding function Get_Covered
225    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy)
226       return AMF.UML.Lifelines.UML_Lifeline_Access
227   is
228      Set : constant AMF.UML.Lifelines.Collections.Set_Of_UML_Lifeline
229        := Self.Get_Covered;
230
231   begin
232      if Set.Is_Empty then
233         return null;
234
235      else
236         return Set.Element (1);
237      end if;
238   end Get_Covered;
239
240   -----------------
241   -- Set_Covered --
242   -----------------
243
244   overriding procedure Set_Covered
245    (Self : not null access UML_Message_Occurrence_Specification_Proxy;
246     To   : AMF.UML.Lifelines.UML_Lifeline_Access) is
247   begin
248      raise Program_Error;
249   end Set_Covered;
250
251   ------------------
252   -- Get_To_After --
253   ------------------
254
255   overriding function Get_To_After
256    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy)
257       return AMF.UML.General_Orderings.Collections.Set_Of_UML_General_Ordering is
258   begin
259      return
260        AMF.UML.General_Orderings.Collections.Wrap
261         (AMF.Internals.Element_Collections.Wrap
262           (AMF.Internals.Tables.UML_Attributes.Internal_Get_To_After
263             (Self.Element)));
264   end Get_To_After;
265
266   -------------------
267   -- Get_To_Before --
268   -------------------
269
270   overriding function Get_To_Before
271    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy)
272       return AMF.UML.General_Orderings.Collections.Set_Of_UML_General_Ordering is
273   begin
274      return
275        AMF.UML.General_Orderings.Collections.Wrap
276         (AMF.Internals.Element_Collections.Wrap
277           (AMF.Internals.Tables.UML_Attributes.Internal_Get_To_Before
278             (Self.Element)));
279   end Get_To_Before;
280
281   -----------------
282   -- Get_Covered --
283   -----------------
284
285   overriding function Get_Covered
286    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy)
287       return AMF.UML.Lifelines.Collections.Set_Of_UML_Lifeline is
288   begin
289      return
290        AMF.UML.Lifelines.Collections.Wrap
291         (AMF.Internals.Element_Collections.Wrap
292           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Covered
293             (Self.Element)));
294   end Get_Covered;
295
296   -------------------------------
297   -- Get_Enclosing_Interaction --
298   -------------------------------
299
300   overriding function Get_Enclosing_Interaction
301    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy)
302       return AMF.UML.Interactions.UML_Interaction_Access is
303   begin
304      return
305        AMF.UML.Interactions.UML_Interaction_Access
306         (AMF.Internals.Helpers.To_Element
307           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Enclosing_Interaction
308             (Self.Element)));
309   end Get_Enclosing_Interaction;
310
311   -------------------------------
312   -- Set_Enclosing_Interaction --
313   -------------------------------
314
315   overriding procedure Set_Enclosing_Interaction
316    (Self : not null access UML_Message_Occurrence_Specification_Proxy;
317     To   : AMF.UML.Interactions.UML_Interaction_Access) is
318   begin
319      AMF.Internals.Tables.UML_Attributes.Internal_Set_Enclosing_Interaction
320       (Self.Element,
321        AMF.Internals.Helpers.To_Element
322         (AMF.Elements.Element_Access (To)));
323   end Set_Enclosing_Interaction;
324
325   ---------------------------
326   -- Get_Enclosing_Operand --
327   ---------------------------
328
329   overriding function Get_Enclosing_Operand
330    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy)
331       return AMF.UML.Interaction_Operands.UML_Interaction_Operand_Access is
332   begin
333      return
334        AMF.UML.Interaction_Operands.UML_Interaction_Operand_Access
335         (AMF.Internals.Helpers.To_Element
336           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Enclosing_Operand
337             (Self.Element)));
338   end Get_Enclosing_Operand;
339
340   ---------------------------
341   -- Set_Enclosing_Operand --
342   ---------------------------
343
344   overriding procedure Set_Enclosing_Operand
345    (Self : not null access UML_Message_Occurrence_Specification_Proxy;
346     To   : AMF.UML.Interaction_Operands.UML_Interaction_Operand_Access) is
347   begin
348      AMF.Internals.Tables.UML_Attributes.Internal_Set_Enclosing_Operand
349       (Self.Element,
350        AMF.Internals.Helpers.To_Element
351         (AMF.Elements.Element_Access (To)));
352   end Set_Enclosing_Operand;
353
354   --------------------------
355   -- Get_General_Ordering --
356   --------------------------
357
358   overriding function Get_General_Ordering
359    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy)
360       return AMF.UML.General_Orderings.Collections.Set_Of_UML_General_Ordering is
361   begin
362      return
363        AMF.UML.General_Orderings.Collections.Wrap
364         (AMF.Internals.Element_Collections.Wrap
365           (AMF.Internals.Tables.UML_Attributes.Internal_Get_General_Ordering
366             (Self.Element)));
367   end Get_General_Ordering;
368
369   -------------------------
370   -- All_Owning_Packages --
371   -------------------------
372
373   overriding function All_Owning_Packages
374    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy)
375       return AMF.UML.Packages.Collections.Set_Of_UML_Package is
376   begin
377      --  Generated stub: replace with real body!
378      pragma Compile_Time_Warning (Standard.True, "All_Owning_Packages unimplemented");
379      raise Program_Error with "Unimplemented procedure UML_Message_Occurrence_Specification_Proxy.All_Owning_Packages";
380      return All_Owning_Packages (Self);
381   end All_Owning_Packages;
382
383   -----------------------------
384   -- Is_Distinguishable_From --
385   -----------------------------
386
387   overriding function Is_Distinguishable_From
388    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy;
389     N : AMF.UML.Named_Elements.UML_Named_Element_Access;
390     Ns : AMF.UML.Namespaces.UML_Namespace_Access)
391       return Boolean is
392   begin
393      --  Generated stub: replace with real body!
394      pragma Compile_Time_Warning (Standard.True, "Is_Distinguishable_From unimplemented");
395      raise Program_Error with "Unimplemented procedure UML_Message_Occurrence_Specification_Proxy.Is_Distinguishable_From";
396      return Is_Distinguishable_From (Self, N, Ns);
397   end Is_Distinguishable_From;
398
399   ---------------
400   -- Namespace --
401   ---------------
402
403   overriding function Namespace
404    (Self : not null access constant UML_Message_Occurrence_Specification_Proxy)
405       return AMF.UML.Namespaces.UML_Namespace_Access is
406   begin
407      --  Generated stub: replace with real body!
408      pragma Compile_Time_Warning (Standard.True, "Namespace unimplemented");
409      raise Program_Error with "Unimplemented procedure UML_Message_Occurrence_Specification_Proxy.Namespace";
410      return Namespace (Self);
411   end Namespace;
412
413end AMF.Internals.UML_Message_Occurrence_Specifications;
414