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_Regions is
54
55   -------------------
56   -- Enter_Element --
57   -------------------
58
59   overriding procedure Enter_Element
60    (Self    : not null access constant UML_Region_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_Region
67            (AMF.UML.Regions.UML_Region_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_Region_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_Region
84            (AMF.UML.Regions.UML_Region_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_Region_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_Region
102            (Visitor,
103             AMF.UML.Regions.UML_Region_Access (Self),
104             Control);
105      end if;
106   end Visit_Element;
107
108   -------------------------
109   -- Get_Extended_Region --
110   -------------------------
111
112   overriding function Get_Extended_Region
113    (Self : not null access constant UML_Region_Proxy)
114       return AMF.UML.Regions.UML_Region_Access is
115   begin
116      return
117        AMF.UML.Regions.UML_Region_Access
118         (AMF.Internals.Helpers.To_Element
119           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Extended_Region
120             (Self.Element)));
121   end Get_Extended_Region;
122
123   -------------------------
124   -- Set_Extended_Region --
125   -------------------------
126
127   overriding procedure Set_Extended_Region
128    (Self : not null access UML_Region_Proxy;
129     To   : AMF.UML.Regions.UML_Region_Access) is
130   begin
131      AMF.Internals.Tables.UML_Attributes.Internal_Set_Extended_Region
132       (Self.Element,
133        AMF.Internals.Helpers.To_Element
134         (AMF.Elements.Element_Access (To)));
135   end Set_Extended_Region;
136
137   ------------------------------
138   -- Get_Redefinition_Context --
139   ------------------------------
140
141   overriding function Get_Redefinition_Context
142    (Self : not null access constant UML_Region_Proxy)
143       return AMF.UML.Classifiers.UML_Classifier_Access is
144   begin
145      raise Program_Error;
146      return Get_Redefinition_Context (Self);
147   end Get_Redefinition_Context;
148
149   ---------------
150   -- Get_State --
151   ---------------
152
153   overriding function Get_State
154    (Self : not null access constant UML_Region_Proxy)
155       return AMF.UML.States.UML_State_Access is
156   begin
157      return
158        AMF.UML.States.UML_State_Access
159         (AMF.Internals.Helpers.To_Element
160           (AMF.Internals.Tables.UML_Attributes.Internal_Get_State
161             (Self.Element)));
162   end Get_State;
163
164   ---------------
165   -- Set_State --
166   ---------------
167
168   overriding procedure Set_State
169    (Self : not null access UML_Region_Proxy;
170     To   : AMF.UML.States.UML_State_Access) is
171   begin
172      AMF.Internals.Tables.UML_Attributes.Internal_Set_State
173       (Self.Element,
174        AMF.Internals.Helpers.To_Element
175         (AMF.Elements.Element_Access (To)));
176   end Set_State;
177
178   -----------------------
179   -- Get_State_Machine --
180   -----------------------
181
182   overriding function Get_State_Machine
183    (Self : not null access constant UML_Region_Proxy)
184       return AMF.UML.State_Machines.UML_State_Machine_Access is
185   begin
186      return
187        AMF.UML.State_Machines.UML_State_Machine_Access
188         (AMF.Internals.Helpers.To_Element
189           (AMF.Internals.Tables.UML_Attributes.Internal_Get_State_Machine
190             (Self.Element)));
191   end Get_State_Machine;
192
193   -----------------------
194   -- Set_State_Machine --
195   -----------------------
196
197   overriding procedure Set_State_Machine
198    (Self : not null access UML_Region_Proxy;
199     To   : AMF.UML.State_Machines.UML_State_Machine_Access) is
200   begin
201      AMF.Internals.Tables.UML_Attributes.Internal_Set_State_Machine
202       (Self.Element,
203        AMF.Internals.Helpers.To_Element
204         (AMF.Elements.Element_Access (To)));
205   end Set_State_Machine;
206
207   -------------------
208   -- Get_Subvertex --
209   -------------------
210
211   overriding function Get_Subvertex
212    (Self : not null access constant UML_Region_Proxy)
213       return AMF.UML.Vertexs.Collections.Set_Of_UML_Vertex is
214   begin
215      return
216        AMF.UML.Vertexs.Collections.Wrap
217         (AMF.Internals.Element_Collections.Wrap
218           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Subvertex
219             (Self.Element)));
220   end Get_Subvertex;
221
222   --------------------
223   -- Get_Transition --
224   --------------------
225
226   overriding function Get_Transition
227    (Self : not null access constant UML_Region_Proxy)
228       return AMF.UML.Transitions.Collections.Set_Of_UML_Transition is
229   begin
230      return
231        AMF.UML.Transitions.Collections.Wrap
232         (AMF.Internals.Element_Collections.Wrap
233           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Transition
234             (Self.Element)));
235   end Get_Transition;
236
237   ------------------------
238   -- Get_Element_Import --
239   ------------------------
240
241   overriding function Get_Element_Import
242    (Self : not null access constant UML_Region_Proxy)
243       return AMF.UML.Element_Imports.Collections.Set_Of_UML_Element_Import is
244   begin
245      return
246        AMF.UML.Element_Imports.Collections.Wrap
247         (AMF.Internals.Element_Collections.Wrap
248           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Element_Import
249             (Self.Element)));
250   end Get_Element_Import;
251
252   -------------------------
253   -- Get_Imported_Member --
254   -------------------------
255
256   overriding function Get_Imported_Member
257    (Self : not null access constant UML_Region_Proxy)
258       return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element is
259   begin
260      return
261        AMF.UML.Packageable_Elements.Collections.Wrap
262         (AMF.Internals.Element_Collections.Wrap
263           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Imported_Member
264             (Self.Element)));
265   end Get_Imported_Member;
266
267   ----------------
268   -- Get_Member --
269   ----------------
270
271   overriding function Get_Member
272    (Self : not null access constant UML_Region_Proxy)
273       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is
274   begin
275      return
276        AMF.UML.Named_Elements.Collections.Wrap
277         (AMF.Internals.Element_Collections.Wrap
278           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Member
279             (Self.Element)));
280   end Get_Member;
281
282   ----------------------
283   -- Get_Owned_Member --
284   ----------------------
285
286   overriding function Get_Owned_Member
287    (Self : not null access constant UML_Region_Proxy)
288       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is
289   begin
290      return
291        AMF.UML.Named_Elements.Collections.Wrap
292         (AMF.Internals.Element_Collections.Wrap
293           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Member
294             (Self.Element)));
295   end Get_Owned_Member;
296
297   --------------------
298   -- Get_Owned_Rule --
299   --------------------
300
301   overriding function Get_Owned_Rule
302    (Self : not null access constant UML_Region_Proxy)
303       return AMF.UML.Constraints.Collections.Set_Of_UML_Constraint is
304   begin
305      return
306        AMF.UML.Constraints.Collections.Wrap
307         (AMF.Internals.Element_Collections.Wrap
308           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Rule
309             (Self.Element)));
310   end Get_Owned_Rule;
311
312   ------------------------
313   -- Get_Package_Import --
314   ------------------------
315
316   overriding function Get_Package_Import
317    (Self : not null access constant UML_Region_Proxy)
318       return AMF.UML.Package_Imports.Collections.Set_Of_UML_Package_Import is
319   begin
320      return
321        AMF.UML.Package_Imports.Collections.Wrap
322         (AMF.Internals.Element_Collections.Wrap
323           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Package_Import
324             (Self.Element)));
325   end Get_Package_Import;
326
327   ---------------------------
328   -- Get_Client_Dependency --
329   ---------------------------
330
331   overriding function Get_Client_Dependency
332    (Self : not null access constant UML_Region_Proxy)
333       return AMF.UML.Dependencies.Collections.Set_Of_UML_Dependency is
334   begin
335      return
336        AMF.UML.Dependencies.Collections.Wrap
337         (AMF.Internals.Element_Collections.Wrap
338           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Client_Dependency
339             (Self.Element)));
340   end Get_Client_Dependency;
341
342   -------------------------
343   -- Get_Name_Expression --
344   -------------------------
345
346   overriding function Get_Name_Expression
347    (Self : not null access constant UML_Region_Proxy)
348       return AMF.UML.String_Expressions.UML_String_Expression_Access is
349   begin
350      return
351        AMF.UML.String_Expressions.UML_String_Expression_Access
352         (AMF.Internals.Helpers.To_Element
353           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Name_Expression
354             (Self.Element)));
355   end Get_Name_Expression;
356
357   -------------------------
358   -- Set_Name_Expression --
359   -------------------------
360
361   overriding procedure Set_Name_Expression
362    (Self : not null access UML_Region_Proxy;
363     To   : AMF.UML.String_Expressions.UML_String_Expression_Access) is
364   begin
365      AMF.Internals.Tables.UML_Attributes.Internal_Set_Name_Expression
366       (Self.Element,
367        AMF.Internals.Helpers.To_Element
368         (AMF.Elements.Element_Access (To)));
369   end Set_Name_Expression;
370
371   -------------------
372   -- Get_Namespace --
373   -------------------
374
375   overriding function Get_Namespace
376    (Self : not null access constant UML_Region_Proxy)
377       return AMF.UML.Namespaces.UML_Namespace_Access is
378   begin
379      return
380        AMF.UML.Namespaces.UML_Namespace_Access
381         (AMF.Internals.Helpers.To_Element
382           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Namespace
383             (Self.Element)));
384   end Get_Namespace;
385
386   ------------------------
387   -- Get_Qualified_Name --
388   ------------------------
389
390   overriding function Get_Qualified_Name
391    (Self : not null access constant UML_Region_Proxy)
392       return AMF.Optional_String is
393   begin
394      declare
395         use type Matreshka.Internals.Strings.Shared_String_Access;
396
397         Aux : constant Matreshka.Internals.Strings.Shared_String_Access
398           := AMF.Internals.Tables.UML_Attributes.Internal_Get_Qualified_Name (Self.Element);
399
400      begin
401         if Aux = null then
402            return (Is_Empty => True);
403
404         else
405            return (False, League.Strings.Internals.Create (Aux));
406         end if;
407      end;
408   end Get_Qualified_Name;
409
410   -----------------
411   -- Get_Is_Leaf --
412   -----------------
413
414   overriding function Get_Is_Leaf
415    (Self : not null access constant UML_Region_Proxy)
416       return Boolean is
417   begin
418      return
419        AMF.Internals.Tables.UML_Attributes.Internal_Get_Is_Leaf
420         (Self.Element);
421   end Get_Is_Leaf;
422
423   -----------------
424   -- Set_Is_Leaf --
425   -----------------
426
427   overriding procedure Set_Is_Leaf
428    (Self : not null access UML_Region_Proxy;
429     To   : Boolean) is
430   begin
431      AMF.Internals.Tables.UML_Attributes.Internal_Set_Is_Leaf
432       (Self.Element, To);
433   end Set_Is_Leaf;
434
435   ---------------------------
436   -- Get_Redefined_Element --
437   ---------------------------
438
439   overriding function Get_Redefined_Element
440    (Self : not null access constant UML_Region_Proxy)
441       return AMF.UML.Redefinable_Elements.Collections.Set_Of_UML_Redefinable_Element is
442   begin
443      return
444        AMF.UML.Redefinable_Elements.Collections.Wrap
445         (AMF.Internals.Element_Collections.Wrap
446           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Redefined_Element
447             (Self.Element)));
448   end Get_Redefined_Element;
449
450   ------------------------------
451   -- Get_Redefinition_Context --
452   ------------------------------
453
454   overriding function Get_Redefinition_Context
455    (Self : not null access constant UML_Region_Proxy)
456       return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier is
457   begin
458      return
459        AMF.UML.Classifiers.Collections.Wrap
460         (AMF.Internals.Element_Collections.Wrap
461           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Redefinition_Context
462             (Self.Element)));
463   end Get_Redefinition_Context;
464
465   --------------------
466   -- Belongs_To_PSM --
467   --------------------
468
469   overriding function Belongs_To_PSM
470    (Self : not null access constant UML_Region_Proxy)
471       return Boolean is
472   begin
473      --  Generated stub: replace with real body!
474      pragma Compile_Time_Warning (Standard.True, "Belongs_To_PSM unimplemented");
475      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.Belongs_To_PSM";
476      return Belongs_To_PSM (Self);
477   end Belongs_To_PSM;
478
479   ------------------------------
480   -- Containing_State_Machine --
481   ------------------------------
482
483   overriding function Containing_State_Machine
484    (Self : not null access constant UML_Region_Proxy)
485       return AMF.UML.State_Machines.UML_State_Machine_Access is
486   begin
487      --  Generated stub: replace with real body!
488      pragma Compile_Time_Warning (Standard.True, "Containing_State_Machine unimplemented");
489      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.Containing_State_Machine";
490      return Containing_State_Machine (Self);
491   end Containing_State_Machine;
492
493   ------------------------
494   -- Is_Consistent_With --
495   ------------------------
496
497   overriding function Is_Consistent_With
498    (Self : not null access constant UML_Region_Proxy;
499     Redefinee : AMF.UML.Redefinable_Elements.UML_Redefinable_Element_Access)
500       return Boolean is
501   begin
502      --  Generated stub: replace with real body!
503      pragma Compile_Time_Warning (Standard.True, "Is_Consistent_With unimplemented");
504      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.Is_Consistent_With";
505      return Is_Consistent_With (Self, Redefinee);
506   end Is_Consistent_With;
507
508   -----------------------------------
509   -- Is_Redefinition_Context_Valid --
510   -----------------------------------
511
512   overriding function Is_Redefinition_Context_Valid
513    (Self : not null access constant UML_Region_Proxy;
514     Redefined : AMF.UML.Regions.UML_Region_Access)
515       return Boolean is
516   begin
517      --  Generated stub: replace with real body!
518      pragma Compile_Time_Warning (Standard.True, "Is_Redefinition_Context_Valid unimplemented");
519      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.Is_Redefinition_Context_Valid";
520      return Is_Redefinition_Context_Valid (Self, Redefined);
521   end Is_Redefinition_Context_Valid;
522
523   --------------------------
524   -- Redefinition_Context --
525   --------------------------
526
527   overriding function Redefinition_Context
528    (Self : not null access constant UML_Region_Proxy)
529       return AMF.UML.Classifiers.UML_Classifier_Access is
530   begin
531      --  Generated stub: replace with real body!
532      pragma Compile_Time_Warning (Standard.True, "Redefinition_Context unimplemented");
533      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.Redefinition_Context";
534      return Redefinition_Context (Self);
535   end Redefinition_Context;
536
537   ------------------------
538   -- Exclude_Collisions --
539   ------------------------
540
541   overriding function Exclude_Collisions
542    (Self : not null access constant UML_Region_Proxy;
543     Imps : AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element)
544       return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element is
545   begin
546      --  Generated stub: replace with real body!
547      pragma Compile_Time_Warning (Standard.True, "Exclude_Collisions unimplemented");
548      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.Exclude_Collisions";
549      return Exclude_Collisions (Self, Imps);
550   end Exclude_Collisions;
551
552   -------------------------
553   -- Get_Names_Of_Member --
554   -------------------------
555
556   overriding function Get_Names_Of_Member
557    (Self : not null access constant UML_Region_Proxy;
558     Element : AMF.UML.Named_Elements.UML_Named_Element_Access)
559       return AMF.String_Collections.Set_Of_String is
560   begin
561      --  Generated stub: replace with real body!
562      pragma Compile_Time_Warning (Standard.True, "Get_Names_Of_Member unimplemented");
563      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.Get_Names_Of_Member";
564      return Get_Names_Of_Member (Self, Element);
565   end Get_Names_Of_Member;
566
567   --------------------
568   -- Import_Members --
569   --------------------
570
571   overriding function Import_Members
572    (Self : not null access constant UML_Region_Proxy;
573     Imps : AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element)
574       return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element is
575   begin
576      --  Generated stub: replace with real body!
577      pragma Compile_Time_Warning (Standard.True, "Import_Members unimplemented");
578      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.Import_Members";
579      return Import_Members (Self, Imps);
580   end Import_Members;
581
582   ---------------------
583   -- Imported_Member --
584   ---------------------
585
586   overriding function Imported_Member
587    (Self : not null access constant UML_Region_Proxy)
588       return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element is
589   begin
590      --  Generated stub: replace with real body!
591      pragma Compile_Time_Warning (Standard.True, "Imported_Member unimplemented");
592      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.Imported_Member";
593      return Imported_Member (Self);
594   end Imported_Member;
595
596   ---------------------------------
597   -- Members_Are_Distinguishable --
598   ---------------------------------
599
600   overriding function Members_Are_Distinguishable
601    (Self : not null access constant UML_Region_Proxy)
602       return Boolean is
603   begin
604      --  Generated stub: replace with real body!
605      pragma Compile_Time_Warning (Standard.True, "Members_Are_Distinguishable unimplemented");
606      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.Members_Are_Distinguishable";
607      return Members_Are_Distinguishable (Self);
608   end Members_Are_Distinguishable;
609
610   ------------------
611   -- Owned_Member --
612   ------------------
613
614   overriding function Owned_Member
615    (Self : not null access constant UML_Region_Proxy)
616       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is
617   begin
618      --  Generated stub: replace with real body!
619      pragma Compile_Time_Warning (Standard.True, "Owned_Member unimplemented");
620      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.Owned_Member";
621      return Owned_Member (Self);
622   end Owned_Member;
623
624   -------------------------
625   -- All_Owning_Packages --
626   -------------------------
627
628   overriding function All_Owning_Packages
629    (Self : not null access constant UML_Region_Proxy)
630       return AMF.UML.Packages.Collections.Set_Of_UML_Package is
631   begin
632      --  Generated stub: replace with real body!
633      pragma Compile_Time_Warning (Standard.True, "All_Owning_Packages unimplemented");
634      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.All_Owning_Packages";
635      return All_Owning_Packages (Self);
636   end All_Owning_Packages;
637
638   -----------------------------
639   -- Is_Distinguishable_From --
640   -----------------------------
641
642   overriding function Is_Distinguishable_From
643    (Self : not null access constant UML_Region_Proxy;
644     N : AMF.UML.Named_Elements.UML_Named_Element_Access;
645     Ns : AMF.UML.Namespaces.UML_Namespace_Access)
646       return Boolean is
647   begin
648      --  Generated stub: replace with real body!
649      pragma Compile_Time_Warning (Standard.True, "Is_Distinguishable_From unimplemented");
650      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.Is_Distinguishable_From";
651      return Is_Distinguishable_From (Self, N, Ns);
652   end Is_Distinguishable_From;
653
654   ---------------
655   -- Namespace --
656   ---------------
657
658   overriding function Namespace
659    (Self : not null access constant UML_Region_Proxy)
660       return AMF.UML.Namespaces.UML_Namespace_Access is
661   begin
662      --  Generated stub: replace with real body!
663      pragma Compile_Time_Warning (Standard.True, "Namespace unimplemented");
664      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.Namespace";
665      return Namespace (Self);
666   end Namespace;
667
668   -----------------------------------
669   -- Is_Redefinition_Context_Valid --
670   -----------------------------------
671
672   overriding function Is_Redefinition_Context_Valid
673    (Self : not null access constant UML_Region_Proxy;
674     Redefined : AMF.UML.Redefinable_Elements.UML_Redefinable_Element_Access)
675       return Boolean is
676   begin
677      --  Generated stub: replace with real body!
678      pragma Compile_Time_Warning (Standard.True, "Is_Redefinition_Context_Valid unimplemented");
679      raise Program_Error with "Unimplemented procedure UML_Region_Proxy.Is_Redefinition_Context_Valid";
680      return Is_Redefinition_Context_Valid (Self, Redefined);
681   end Is_Redefinition_Context_Valid;
682
683end AMF.Internals.UML_Regions;
684