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_Interaction_Constraints is
54
55   -------------------
56   -- Enter_Element --
57   -------------------
58
59   overriding procedure Enter_Element
60    (Self    : not null access constant UML_Interaction_Constraint_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_Interaction_Constraint
67            (AMF.UML.Interaction_Constraints.UML_Interaction_Constraint_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_Interaction_Constraint_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_Interaction_Constraint
84            (AMF.UML.Interaction_Constraints.UML_Interaction_Constraint_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_Interaction_Constraint_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_Interaction_Constraint
102            (Visitor,
103             AMF.UML.Interaction_Constraints.UML_Interaction_Constraint_Access (Self),
104             Control);
105      end if;
106   end Visit_Element;
107
108   ----------------
109   -- Get_Maxint --
110   ----------------
111
112   overriding function Get_Maxint
113    (Self : not null access constant UML_Interaction_Constraint_Proxy)
114       return AMF.UML.Value_Specifications.UML_Value_Specification_Access is
115   begin
116      return
117        AMF.UML.Value_Specifications.UML_Value_Specification_Access
118         (AMF.Internals.Helpers.To_Element
119           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Maxint
120             (Self.Element)));
121   end Get_Maxint;
122
123   ----------------
124   -- Set_Maxint --
125   ----------------
126
127   overriding procedure Set_Maxint
128    (Self : not null access UML_Interaction_Constraint_Proxy;
129     To   : AMF.UML.Value_Specifications.UML_Value_Specification_Access) is
130   begin
131      AMF.Internals.Tables.UML_Attributes.Internal_Set_Maxint
132       (Self.Element,
133        AMF.Internals.Helpers.To_Element
134         (AMF.Elements.Element_Access (To)));
135   end Set_Maxint;
136
137   ----------------
138   -- Get_Minint --
139   ----------------
140
141   overriding function Get_Minint
142    (Self : not null access constant UML_Interaction_Constraint_Proxy)
143       return AMF.UML.Value_Specifications.UML_Value_Specification_Access is
144   begin
145      return
146        AMF.UML.Value_Specifications.UML_Value_Specification_Access
147         (AMF.Internals.Helpers.To_Element
148           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Minint
149             (Self.Element)));
150   end Get_Minint;
151
152   ----------------
153   -- Set_Minint --
154   ----------------
155
156   overriding procedure Set_Minint
157    (Self : not null access UML_Interaction_Constraint_Proxy;
158     To   : AMF.UML.Value_Specifications.UML_Value_Specification_Access) is
159   begin
160      AMF.Internals.Tables.UML_Attributes.Internal_Set_Minint
161       (Self.Element,
162        AMF.Internals.Helpers.To_Element
163         (AMF.Elements.Element_Access (To)));
164   end Set_Minint;
165
166   -----------------------------
167   -- Get_Constrained_Element --
168   -----------------------------
169
170   overriding function Get_Constrained_Element
171    (Self : not null access constant UML_Interaction_Constraint_Proxy)
172       return AMF.UML.Elements.Collections.Ordered_Set_Of_UML_Element is
173   begin
174      return
175        AMF.UML.Elements.Collections.Wrap
176         (AMF.Internals.Element_Collections.Wrap
177           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Constrained_Element
178             (Self.Element)));
179   end Get_Constrained_Element;
180
181   -----------------
182   -- Get_Context --
183   -----------------
184
185   overriding function Get_Context
186    (Self : not null access constant UML_Interaction_Constraint_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_Context
193             (Self.Element)));
194   end Get_Context;
195
196   -----------------
197   -- Set_Context --
198   -----------------
199
200   overriding procedure Set_Context
201    (Self : not null access UML_Interaction_Constraint_Proxy;
202     To   : AMF.UML.Namespaces.UML_Namespace_Access) is
203   begin
204      raise Program_Error;
205   end Set_Context;
206
207   -----------------------
208   -- Get_Specification --
209   -----------------------
210
211   overriding function Get_Specification
212    (Self : not null access constant UML_Interaction_Constraint_Proxy)
213       return AMF.UML.Value_Specifications.UML_Value_Specification_Access is
214   begin
215      return
216        AMF.UML.Value_Specifications.UML_Value_Specification_Access
217         (AMF.Internals.Helpers.To_Element
218           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Specification
219             (Self.Element)));
220   end Get_Specification;
221
222   -----------------------
223   -- Set_Specification --
224   -----------------------
225
226   overriding procedure Set_Specification
227    (Self : not null access UML_Interaction_Constraint_Proxy;
228     To   : AMF.UML.Value_Specifications.UML_Value_Specification_Access) is
229   begin
230      AMF.Internals.Tables.UML_Attributes.Internal_Set_Specification
231       (Self.Element,
232        AMF.Internals.Helpers.To_Element
233         (AMF.Elements.Element_Access (To)));
234   end Set_Specification;
235
236   ---------------------------
237   -- Get_Client_Dependency --
238   ---------------------------
239
240   overriding function Get_Client_Dependency
241    (Self : not null access constant UML_Interaction_Constraint_Proxy)
242       return AMF.UML.Dependencies.Collections.Set_Of_UML_Dependency is
243   begin
244      return
245        AMF.UML.Dependencies.Collections.Wrap
246         (AMF.Internals.Element_Collections.Wrap
247           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Client_Dependency
248             (Self.Element)));
249   end Get_Client_Dependency;
250
251   -------------------------
252   -- Get_Name_Expression --
253   -------------------------
254
255   overriding function Get_Name_Expression
256    (Self : not null access constant UML_Interaction_Constraint_Proxy)
257       return AMF.UML.String_Expressions.UML_String_Expression_Access is
258   begin
259      return
260        AMF.UML.String_Expressions.UML_String_Expression_Access
261         (AMF.Internals.Helpers.To_Element
262           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Name_Expression
263             (Self.Element)));
264   end Get_Name_Expression;
265
266   -------------------------
267   -- Set_Name_Expression --
268   -------------------------
269
270   overriding procedure Set_Name_Expression
271    (Self : not null access UML_Interaction_Constraint_Proxy;
272     To   : AMF.UML.String_Expressions.UML_String_Expression_Access) is
273   begin
274      AMF.Internals.Tables.UML_Attributes.Internal_Set_Name_Expression
275       (Self.Element,
276        AMF.Internals.Helpers.To_Element
277         (AMF.Elements.Element_Access (To)));
278   end Set_Name_Expression;
279
280   -------------------
281   -- Get_Namespace --
282   -------------------
283
284   overriding function Get_Namespace
285    (Self : not null access constant UML_Interaction_Constraint_Proxy)
286       return AMF.UML.Namespaces.UML_Namespace_Access is
287   begin
288      return
289        AMF.UML.Namespaces.UML_Namespace_Access
290         (AMF.Internals.Helpers.To_Element
291           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Namespace
292             (Self.Element)));
293   end Get_Namespace;
294
295   ------------------------
296   -- Get_Qualified_Name --
297   ------------------------
298
299   overriding function Get_Qualified_Name
300    (Self : not null access constant UML_Interaction_Constraint_Proxy)
301       return AMF.Optional_String is
302   begin
303      declare
304         use type Matreshka.Internals.Strings.Shared_String_Access;
305
306         Aux : constant Matreshka.Internals.Strings.Shared_String_Access
307           := AMF.Internals.Tables.UML_Attributes.Internal_Get_Qualified_Name (Self.Element);
308
309      begin
310         if Aux = null then
311            return (Is_Empty => True);
312
313         else
314            return (False, League.Strings.Internals.Create (Aux));
315         end if;
316      end;
317   end Get_Qualified_Name;
318
319   -----------------------------------
320   -- Get_Owning_Template_Parameter --
321   -----------------------------------
322
323   overriding function Get_Owning_Template_Parameter
324    (Self : not null access constant UML_Interaction_Constraint_Proxy)
325       return AMF.UML.Template_Parameters.UML_Template_Parameter_Access is
326   begin
327      return
328        AMF.UML.Template_Parameters.UML_Template_Parameter_Access
329         (AMF.Internals.Helpers.To_Element
330           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owning_Template_Parameter
331             (Self.Element)));
332   end Get_Owning_Template_Parameter;
333
334   -----------------------------------
335   -- Set_Owning_Template_Parameter --
336   -----------------------------------
337
338   overriding procedure Set_Owning_Template_Parameter
339    (Self : not null access UML_Interaction_Constraint_Proxy;
340     To   : AMF.UML.Template_Parameters.UML_Template_Parameter_Access) is
341   begin
342      AMF.Internals.Tables.UML_Attributes.Internal_Set_Owning_Template_Parameter
343       (Self.Element,
344        AMF.Internals.Helpers.To_Element
345         (AMF.Elements.Element_Access (To)));
346   end Set_Owning_Template_Parameter;
347
348   ----------------------------
349   -- Get_Template_Parameter --
350   ----------------------------
351
352   overriding function Get_Template_Parameter
353    (Self : not null access constant UML_Interaction_Constraint_Proxy)
354       return AMF.UML.Template_Parameters.UML_Template_Parameter_Access is
355   begin
356      return
357        AMF.UML.Template_Parameters.UML_Template_Parameter_Access
358         (AMF.Internals.Helpers.To_Element
359           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Template_Parameter
360             (Self.Element)));
361   end Get_Template_Parameter;
362
363   ----------------------------
364   -- Set_Template_Parameter --
365   ----------------------------
366
367   overriding procedure Set_Template_Parameter
368    (Self : not null access UML_Interaction_Constraint_Proxy;
369     To   : AMF.UML.Template_Parameters.UML_Template_Parameter_Access) is
370   begin
371      AMF.Internals.Tables.UML_Attributes.Internal_Set_Template_Parameter
372       (Self.Element,
373        AMF.Internals.Helpers.To_Element
374         (AMF.Elements.Element_Access (To)));
375   end Set_Template_Parameter;
376
377   -------------------------
378   -- All_Owning_Packages --
379   -------------------------
380
381   overriding function All_Owning_Packages
382    (Self : not null access constant UML_Interaction_Constraint_Proxy)
383       return AMF.UML.Packages.Collections.Set_Of_UML_Package is
384   begin
385      --  Generated stub: replace with real body!
386      pragma Compile_Time_Warning (Standard.True, "All_Owning_Packages unimplemented");
387      raise Program_Error with "Unimplemented procedure UML_Interaction_Constraint_Proxy.All_Owning_Packages";
388      return All_Owning_Packages (Self);
389   end All_Owning_Packages;
390
391   -----------------------------
392   -- Is_Distinguishable_From --
393   -----------------------------
394
395   overriding function Is_Distinguishable_From
396    (Self : not null access constant UML_Interaction_Constraint_Proxy;
397     N : AMF.UML.Named_Elements.UML_Named_Element_Access;
398     Ns : AMF.UML.Namespaces.UML_Namespace_Access)
399       return Boolean is
400   begin
401      --  Generated stub: replace with real body!
402      pragma Compile_Time_Warning (Standard.True, "Is_Distinguishable_From unimplemented");
403      raise Program_Error with "Unimplemented procedure UML_Interaction_Constraint_Proxy.Is_Distinguishable_From";
404      return Is_Distinguishable_From (Self, N, Ns);
405   end Is_Distinguishable_From;
406
407   ---------------
408   -- Namespace --
409   ---------------
410
411   overriding function Namespace
412    (Self : not null access constant UML_Interaction_Constraint_Proxy)
413       return AMF.UML.Namespaces.UML_Namespace_Access is
414   begin
415      --  Generated stub: replace with real body!
416      pragma Compile_Time_Warning (Standard.True, "Namespace unimplemented");
417      raise Program_Error with "Unimplemented procedure UML_Interaction_Constraint_Proxy.Namespace";
418      return Namespace (Self);
419   end Namespace;
420
421   ------------------------
422   -- Is_Compatible_With --
423   ------------------------
424
425   overriding function Is_Compatible_With
426    (Self : not null access constant UML_Interaction_Constraint_Proxy;
427     P : AMF.UML.Parameterable_Elements.UML_Parameterable_Element_Access)
428       return Boolean is
429   begin
430      --  Generated stub: replace with real body!
431      pragma Compile_Time_Warning (Standard.True, "Is_Compatible_With unimplemented");
432      raise Program_Error with "Unimplemented procedure UML_Interaction_Constraint_Proxy.Is_Compatible_With";
433      return Is_Compatible_With (Self, P);
434   end Is_Compatible_With;
435
436   ---------------------------
437   -- Is_Template_Parameter --
438   ---------------------------
439
440   overriding function Is_Template_Parameter
441    (Self : not null access constant UML_Interaction_Constraint_Proxy)
442       return Boolean is
443   begin
444      --  Generated stub: replace with real body!
445      pragma Compile_Time_Warning (Standard.True, "Is_Template_Parameter unimplemented");
446      raise Program_Error with "Unimplemented procedure UML_Interaction_Constraint_Proxy.Is_Template_Parameter";
447      return Is_Template_Parameter (Self);
448   end Is_Template_Parameter;
449
450end AMF.Internals.UML_Interaction_Constraints;
451