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