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_Protocol_State_Machines is
54
55   -------------------
56   -- Enter_Element --
57   -------------------
58
59   overriding procedure Enter_Element
60    (Self    : not null access constant UML_Protocol_State_Machine_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_Protocol_State_Machine
67            (AMF.UML.Protocol_State_Machines.UML_Protocol_State_Machine_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_Protocol_State_Machine_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_Protocol_State_Machine
84            (AMF.UML.Protocol_State_Machines.UML_Protocol_State_Machine_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_Protocol_State_Machine_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_Protocol_State_Machine
102            (Visitor,
103             AMF.UML.Protocol_State_Machines.UML_Protocol_State_Machine_Access (Self),
104             Control);
105      end if;
106   end Visit_Element;
107
108   ---------------------
109   -- Get_Conformance --
110   ---------------------
111
112   overriding function Get_Conformance
113    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
114       return AMF.UML.Protocol_Conformances.Collections.Set_Of_UML_Protocol_Conformance is
115   begin
116      return
117        AMF.UML.Protocol_Conformances.Collections.Wrap
118         (AMF.Internals.Element_Collections.Wrap
119           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Conformance
120             (Self.Element)));
121   end Get_Conformance;
122
123   --------------------------
124   -- Get_Connection_Point --
125   --------------------------
126
127   overriding function Get_Connection_Point
128    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
129       return AMF.UML.Pseudostates.Collections.Set_Of_UML_Pseudostate is
130   begin
131      return
132        AMF.UML.Pseudostates.Collections.Wrap
133         (AMF.Internals.Element_Collections.Wrap
134           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Connection_Point
135             (Self.Element)));
136   end Get_Connection_Point;
137
138   --------------------------------
139   -- Get_Extended_State_Machine --
140   --------------------------------
141
142   overriding function Get_Extended_State_Machine
143    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
144       return AMF.UML.State_Machines.Collections.Set_Of_UML_State_Machine is
145   begin
146      return
147        AMF.UML.State_Machines.Collections.Wrap
148         (AMF.Internals.Element_Collections.Wrap
149           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Extended_State_Machine
150             (Self.Element)));
151   end Get_Extended_State_Machine;
152
153   ----------------
154   -- Get_Region --
155   ----------------
156
157   overriding function Get_Region
158    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
159       return AMF.UML.Regions.Collections.Set_Of_UML_Region is
160   begin
161      return
162        AMF.UML.Regions.Collections.Wrap
163         (AMF.Internals.Element_Collections.Wrap
164           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Region
165             (Self.Element)));
166   end Get_Region;
167
168   --------------------------
169   -- Get_Submachine_State --
170   --------------------------
171
172   overriding function Get_Submachine_State
173    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
174       return AMF.UML.States.Collections.Set_Of_UML_State is
175   begin
176      return
177        AMF.UML.States.Collections.Wrap
178         (AMF.Internals.Element_Collections.Wrap
179           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Submachine_State
180             (Self.Element)));
181   end Get_Submachine_State;
182
183   -----------------
184   -- Get_Context --
185   -----------------
186
187   overriding function Get_Context
188    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
189       return AMF.UML.Behaviored_Classifiers.UML_Behaviored_Classifier_Access is
190   begin
191      return
192        AMF.UML.Behaviored_Classifiers.UML_Behaviored_Classifier_Access
193         (AMF.Internals.Helpers.To_Element
194           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Context
195             (Self.Element)));
196   end Get_Context;
197
198   ----------------------
199   -- Get_Is_Reentrant --
200   ----------------------
201
202   overriding function Get_Is_Reentrant
203    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
204       return Boolean is
205   begin
206      return
207        AMF.Internals.Tables.UML_Attributes.Internal_Get_Is_Reentrant
208         (Self.Element);
209   end Get_Is_Reentrant;
210
211   ----------------------
212   -- Set_Is_Reentrant --
213   ----------------------
214
215   overriding procedure Set_Is_Reentrant
216    (Self : not null access UML_Protocol_State_Machine_Proxy;
217     To   : Boolean) is
218   begin
219      AMF.Internals.Tables.UML_Attributes.Internal_Set_Is_Reentrant
220       (Self.Element, To);
221   end Set_Is_Reentrant;
222
223   -------------------------
224   -- Get_Owned_Parameter --
225   -------------------------
226
227   overriding function Get_Owned_Parameter
228    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
229       return AMF.UML.Parameters.Collections.Ordered_Set_Of_UML_Parameter is
230   begin
231      return
232        AMF.UML.Parameters.Collections.Wrap
233         (AMF.Internals.Element_Collections.Wrap
234           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Parameter
235             (Self.Element)));
236   end Get_Owned_Parameter;
237
238   -----------------------------
239   -- Get_Owned_Parameter_Set --
240   -----------------------------
241
242   overriding function Get_Owned_Parameter_Set
243    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
244       return AMF.UML.Parameter_Sets.Collections.Set_Of_UML_Parameter_Set is
245   begin
246      return
247        AMF.UML.Parameter_Sets.Collections.Wrap
248         (AMF.Internals.Element_Collections.Wrap
249           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Parameter_Set
250             (Self.Element)));
251   end Get_Owned_Parameter_Set;
252
253   -----------------------
254   -- Get_Postcondition --
255   -----------------------
256
257   overriding function Get_Postcondition
258    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
259       return AMF.UML.Constraints.Collections.Set_Of_UML_Constraint is
260   begin
261      return
262        AMF.UML.Constraints.Collections.Wrap
263         (AMF.Internals.Element_Collections.Wrap
264           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Postcondition
265             (Self.Element)));
266   end Get_Postcondition;
267
268   ----------------------
269   -- Get_Precondition --
270   ----------------------
271
272   overriding function Get_Precondition
273    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
274       return AMF.UML.Constraints.Collections.Set_Of_UML_Constraint is
275   begin
276      return
277        AMF.UML.Constraints.Collections.Wrap
278         (AMF.Internals.Element_Collections.Wrap
279           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Precondition
280             (Self.Element)));
281   end Get_Precondition;
282
283   ----------------------------
284   -- Get_Redefined_Behavior --
285   ----------------------------
286
287   overriding function Get_Redefined_Behavior
288    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
289       return AMF.UML.Behaviors.Collections.Set_Of_UML_Behavior is
290   begin
291      return
292        AMF.UML.Behaviors.Collections.Wrap
293         (AMF.Internals.Element_Collections.Wrap
294           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Redefined_Behavior
295             (Self.Element)));
296   end Get_Redefined_Behavior;
297
298   -----------------------
299   -- Get_Specification --
300   -----------------------
301
302   overriding function Get_Specification
303    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
304       return AMF.UML.Behavioral_Features.UML_Behavioral_Feature_Access is
305   begin
306      return
307        AMF.UML.Behavioral_Features.UML_Behavioral_Feature_Access
308         (AMF.Internals.Helpers.To_Element
309           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Specification
310             (Self.Element)));
311   end Get_Specification;
312
313   -----------------------
314   -- Set_Specification --
315   -----------------------
316
317   overriding procedure Set_Specification
318    (Self : not null access UML_Protocol_State_Machine_Proxy;
319     To   : AMF.UML.Behavioral_Features.UML_Behavioral_Feature_Access) is
320   begin
321      AMF.Internals.Tables.UML_Attributes.Internal_Set_Specification
322       (Self.Element,
323        AMF.Internals.Helpers.To_Element
324         (AMF.Elements.Element_Access (To)));
325   end Set_Specification;
326
327   -------------------
328   -- Get_Extension --
329   -------------------
330
331   overriding function Get_Extension
332    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
333       return AMF.UML.Extensions.Collections.Set_Of_UML_Extension is
334   begin
335      return
336        AMF.UML.Extensions.Collections.Wrap
337         (AMF.Internals.Element_Collections.Wrap
338           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Extension
339             (Self.Element)));
340   end Get_Extension;
341
342   ---------------------
343   -- Get_Is_Abstract --
344   ---------------------
345
346   overriding function Get_Is_Abstract
347    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
348       return Boolean is
349   begin
350      return
351        AMF.Internals.Tables.UML_Attributes.Internal_Get_Is_Abstract
352         (Self.Element);
353   end Get_Is_Abstract;
354
355   -------------------
356   -- Get_Is_Active --
357   -------------------
358
359   overriding function Get_Is_Active
360    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
361       return Boolean is
362   begin
363      return
364        AMF.Internals.Tables.UML_Attributes.Internal_Get_Is_Active
365         (Self.Element);
366   end Get_Is_Active;
367
368   -------------------
369   -- Set_Is_Active --
370   -------------------
371
372   overriding procedure Set_Is_Active
373    (Self : not null access UML_Protocol_State_Machine_Proxy;
374     To   : Boolean) is
375   begin
376      AMF.Internals.Tables.UML_Attributes.Internal_Set_Is_Active
377       (Self.Element, To);
378   end Set_Is_Active;
379
380   ---------------------------
381   -- Get_Nested_Classifier --
382   ---------------------------
383
384   overriding function Get_Nested_Classifier
385    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
386       return AMF.UML.Classifiers.Collections.Ordered_Set_Of_UML_Classifier is
387   begin
388      return
389        AMF.UML.Classifiers.Collections.Wrap
390         (AMF.Internals.Element_Collections.Wrap
391           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Nested_Classifier
392             (Self.Element)));
393   end Get_Nested_Classifier;
394
395   -------------------------
396   -- Get_Owned_Attribute --
397   -------------------------
398
399   overriding function Get_Owned_Attribute
400    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
401       return AMF.UML.Properties.Collections.Ordered_Set_Of_UML_Property is
402   begin
403      return
404        AMF.UML.Properties.Collections.Wrap
405         (AMF.Internals.Element_Collections.Wrap
406           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Attribute
407             (Self.Element)));
408   end Get_Owned_Attribute;
409
410   -------------------------
411   -- Get_Owned_Operation --
412   -------------------------
413
414   overriding function Get_Owned_Operation
415    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
416       return AMF.UML.Operations.Collections.Ordered_Set_Of_UML_Operation is
417   begin
418      return
419        AMF.UML.Operations.Collections.Wrap
420         (AMF.Internals.Element_Collections.Wrap
421           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Operation
422             (Self.Element)));
423   end Get_Owned_Operation;
424
425   -------------------------
426   -- Get_Owned_Reception --
427   -------------------------
428
429   overriding function Get_Owned_Reception
430    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
431       return AMF.UML.Receptions.Collections.Set_Of_UML_Reception is
432   begin
433      return
434        AMF.UML.Receptions.Collections.Wrap
435         (AMF.Internals.Element_Collections.Wrap
436           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Reception
437             (Self.Element)));
438   end Get_Owned_Reception;
439
440   ---------------------
441   -- Get_Super_Class --
442   ---------------------
443
444   overriding function Get_Super_Class
445    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
446       return AMF.UML.Classes.Collections.Set_Of_UML_Class is
447   begin
448      return
449        AMF.UML.Classes.Collections.Wrap
450         (AMF.Internals.Element_Collections.Wrap
451           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Super_Class
452             (Self.Element)));
453   end Get_Super_Class;
454
455   -----------------------------
456   -- Get_Classifier_Behavior --
457   -----------------------------
458
459   overriding function Get_Classifier_Behavior
460    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
461       return AMF.UML.Behaviors.UML_Behavior_Access is
462   begin
463      return
464        AMF.UML.Behaviors.UML_Behavior_Access
465         (AMF.Internals.Helpers.To_Element
466           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Classifier_Behavior
467             (Self.Element)));
468   end Get_Classifier_Behavior;
469
470   -----------------------------
471   -- Set_Classifier_Behavior --
472   -----------------------------
473
474   overriding procedure Set_Classifier_Behavior
475    (Self : not null access UML_Protocol_State_Machine_Proxy;
476     To   : AMF.UML.Behaviors.UML_Behavior_Access) is
477   begin
478      AMF.Internals.Tables.UML_Attributes.Internal_Set_Classifier_Behavior
479       (Self.Element,
480        AMF.Internals.Helpers.To_Element
481         (AMF.Elements.Element_Access (To)));
482   end Set_Classifier_Behavior;
483
484   -------------------------------
485   -- Get_Interface_Realization --
486   -------------------------------
487
488   overriding function Get_Interface_Realization
489    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
490       return AMF.UML.Interface_Realizations.Collections.Set_Of_UML_Interface_Realization is
491   begin
492      return
493        AMF.UML.Interface_Realizations.Collections.Wrap
494         (AMF.Internals.Element_Collections.Wrap
495           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Interface_Realization
496             (Self.Element)));
497   end Get_Interface_Realization;
498
499   ------------------------
500   -- Get_Owned_Behavior --
501   ------------------------
502
503   overriding function Get_Owned_Behavior
504    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
505       return AMF.UML.Behaviors.Collections.Set_Of_UML_Behavior is
506   begin
507      return
508        AMF.UML.Behaviors.Collections.Wrap
509         (AMF.Internals.Element_Collections.Wrap
510           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Behavior
511             (Self.Element)));
512   end Get_Owned_Behavior;
513
514   -------------------
515   -- Get_Attribute --
516   -------------------
517
518   overriding function Get_Attribute
519    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
520       return AMF.UML.Properties.Collections.Set_Of_UML_Property is
521   begin
522      return
523        AMF.UML.Properties.Collections.Wrap
524         (AMF.Internals.Element_Collections.Wrap
525           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Attribute
526             (Self.Element)));
527   end Get_Attribute;
528
529   ---------------------------
530   -- Get_Collaboration_Use --
531   ---------------------------
532
533   overriding function Get_Collaboration_Use
534    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
535       return AMF.UML.Collaboration_Uses.Collections.Set_Of_UML_Collaboration_Use is
536   begin
537      return
538        AMF.UML.Collaboration_Uses.Collections.Wrap
539         (AMF.Internals.Element_Collections.Wrap
540           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Collaboration_Use
541             (Self.Element)));
542   end Get_Collaboration_Use;
543
544   -----------------
545   -- Get_Feature --
546   -----------------
547
548   overriding function Get_Feature
549    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
550       return AMF.UML.Features.Collections.Set_Of_UML_Feature is
551   begin
552      return
553        AMF.UML.Features.Collections.Wrap
554         (AMF.Internals.Element_Collections.Wrap
555           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Feature
556             (Self.Element)));
557   end Get_Feature;
558
559   -----------------
560   -- Get_General --
561   -----------------
562
563   overriding function Get_General
564    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
565       return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier is
566   begin
567      return
568        AMF.UML.Classifiers.Collections.Wrap
569         (AMF.Internals.Element_Collections.Wrap
570           (AMF.Internals.Tables.UML_Attributes.Internal_Get_General
571             (Self.Element)));
572   end Get_General;
573
574   ------------------------
575   -- Get_Generalization --
576   ------------------------
577
578   overriding function Get_Generalization
579    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
580       return AMF.UML.Generalizations.Collections.Set_Of_UML_Generalization is
581   begin
582      return
583        AMF.UML.Generalizations.Collections.Wrap
584         (AMF.Internals.Element_Collections.Wrap
585           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Generalization
586             (Self.Element)));
587   end Get_Generalization;
588
589   --------------------------
590   -- Get_Inherited_Member --
591   --------------------------
592
593   overriding function Get_Inherited_Member
594    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
595       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is
596   begin
597      return
598        AMF.UML.Named_Elements.Collections.Wrap
599         (AMF.Internals.Element_Collections.Wrap
600           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Inherited_Member
601             (Self.Element)));
602   end Get_Inherited_Member;
603
604   ---------------------------------
605   -- Get_Is_Final_Specialization --
606   ---------------------------------
607
608   overriding function Get_Is_Final_Specialization
609    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
610       return Boolean is
611   begin
612      return
613        AMF.Internals.Tables.UML_Attributes.Internal_Get_Is_Final_Specialization
614         (Self.Element);
615   end Get_Is_Final_Specialization;
616
617   ---------------------------------
618   -- Set_Is_Final_Specialization --
619   ---------------------------------
620
621   overriding procedure Set_Is_Final_Specialization
622    (Self : not null access UML_Protocol_State_Machine_Proxy;
623     To   : Boolean) is
624   begin
625      AMF.Internals.Tables.UML_Attributes.Internal_Set_Is_Final_Specialization
626       (Self.Element, To);
627   end Set_Is_Final_Specialization;
628
629   ----------------------------------
630   -- Get_Owned_Template_Signature --
631   ----------------------------------
632
633   overriding function Get_Owned_Template_Signature
634    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
635       return AMF.UML.Redefinable_Template_Signatures.UML_Redefinable_Template_Signature_Access is
636   begin
637      return
638        AMF.UML.Redefinable_Template_Signatures.UML_Redefinable_Template_Signature_Access
639         (AMF.Internals.Helpers.To_Element
640           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Template_Signature
641             (Self.Element)));
642   end Get_Owned_Template_Signature;
643
644   ----------------------------------
645   -- Set_Owned_Template_Signature --
646   ----------------------------------
647
648   overriding procedure Set_Owned_Template_Signature
649    (Self : not null access UML_Protocol_State_Machine_Proxy;
650     To   : AMF.UML.Redefinable_Template_Signatures.UML_Redefinable_Template_Signature_Access) is
651   begin
652      AMF.Internals.Tables.UML_Attributes.Internal_Set_Owned_Template_Signature
653       (Self.Element,
654        AMF.Internals.Helpers.To_Element
655         (AMF.Elements.Element_Access (To)));
656   end Set_Owned_Template_Signature;
657
658   ------------------------
659   -- Get_Owned_Use_Case --
660   ------------------------
661
662   overriding function Get_Owned_Use_Case
663    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
664       return AMF.UML.Use_Cases.Collections.Set_Of_UML_Use_Case is
665   begin
666      return
667        AMF.UML.Use_Cases.Collections.Wrap
668         (AMF.Internals.Element_Collections.Wrap
669           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Use_Case
670             (Self.Element)));
671   end Get_Owned_Use_Case;
672
673   --------------------------
674   -- Get_Powertype_Extent --
675   --------------------------
676
677   overriding function Get_Powertype_Extent
678    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
679       return AMF.UML.Generalization_Sets.Collections.Set_Of_UML_Generalization_Set is
680   begin
681      return
682        AMF.UML.Generalization_Sets.Collections.Wrap
683         (AMF.Internals.Element_Collections.Wrap
684           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Powertype_Extent
685             (Self.Element)));
686   end Get_Powertype_Extent;
687
688   ------------------------------
689   -- Get_Redefined_Classifier --
690   ------------------------------
691
692   overriding function Get_Redefined_Classifier
693    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
694       return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier is
695   begin
696      return
697        AMF.UML.Classifiers.Collections.Wrap
698         (AMF.Internals.Element_Collections.Wrap
699           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Redefined_Classifier
700             (Self.Element)));
701   end Get_Redefined_Classifier;
702
703   ------------------------
704   -- Get_Representation --
705   ------------------------
706
707   overriding function Get_Representation
708    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
709       return AMF.UML.Collaboration_Uses.UML_Collaboration_Use_Access is
710   begin
711      return
712        AMF.UML.Collaboration_Uses.UML_Collaboration_Use_Access
713         (AMF.Internals.Helpers.To_Element
714           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Representation
715             (Self.Element)));
716   end Get_Representation;
717
718   ------------------------
719   -- Set_Representation --
720   ------------------------
721
722   overriding procedure Set_Representation
723    (Self : not null access UML_Protocol_State_Machine_Proxy;
724     To   : AMF.UML.Collaboration_Uses.UML_Collaboration_Use_Access) is
725   begin
726      AMF.Internals.Tables.UML_Attributes.Internal_Set_Representation
727       (Self.Element,
728        AMF.Internals.Helpers.To_Element
729         (AMF.Elements.Element_Access (To)));
730   end Set_Representation;
731
732   ----------------------
733   -- Get_Substitution --
734   ----------------------
735
736   overriding function Get_Substitution
737    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
738       return AMF.UML.Substitutions.Collections.Set_Of_UML_Substitution is
739   begin
740      return
741        AMF.UML.Substitutions.Collections.Wrap
742         (AMF.Internals.Element_Collections.Wrap
743           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Substitution
744             (Self.Element)));
745   end Get_Substitution;
746
747   ----------------------------
748   -- Get_Template_Parameter --
749   ----------------------------
750
751   overriding function Get_Template_Parameter
752    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
753       return AMF.UML.Classifier_Template_Parameters.UML_Classifier_Template_Parameter_Access is
754   begin
755      return
756        AMF.UML.Classifier_Template_Parameters.UML_Classifier_Template_Parameter_Access
757         (AMF.Internals.Helpers.To_Element
758           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Template_Parameter
759             (Self.Element)));
760   end Get_Template_Parameter;
761
762   ----------------------------
763   -- Set_Template_Parameter --
764   ----------------------------
765
766   overriding procedure Set_Template_Parameter
767    (Self : not null access UML_Protocol_State_Machine_Proxy;
768     To   : AMF.UML.Classifier_Template_Parameters.UML_Classifier_Template_Parameter_Access) is
769   begin
770      AMF.Internals.Tables.UML_Attributes.Internal_Set_Template_Parameter
771       (Self.Element,
772        AMF.Internals.Helpers.To_Element
773         (AMF.Elements.Element_Access (To)));
774   end Set_Template_Parameter;
775
776   ------------------
777   -- Get_Use_Case --
778   ------------------
779
780   overriding function Get_Use_Case
781    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
782       return AMF.UML.Use_Cases.Collections.Set_Of_UML_Use_Case is
783   begin
784      return
785        AMF.UML.Use_Cases.Collections.Wrap
786         (AMF.Internals.Element_Collections.Wrap
787           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Use_Case
788             (Self.Element)));
789   end Get_Use_Case;
790
791   ------------------------
792   -- Get_Element_Import --
793   ------------------------
794
795   overriding function Get_Element_Import
796    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
797       return AMF.UML.Element_Imports.Collections.Set_Of_UML_Element_Import is
798   begin
799      return
800        AMF.UML.Element_Imports.Collections.Wrap
801         (AMF.Internals.Element_Collections.Wrap
802           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Element_Import
803             (Self.Element)));
804   end Get_Element_Import;
805
806   -------------------------
807   -- Get_Imported_Member --
808   -------------------------
809
810   overriding function Get_Imported_Member
811    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
812       return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element is
813   begin
814      return
815        AMF.UML.Packageable_Elements.Collections.Wrap
816         (AMF.Internals.Element_Collections.Wrap
817           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Imported_Member
818             (Self.Element)));
819   end Get_Imported_Member;
820
821   ----------------
822   -- Get_Member --
823   ----------------
824
825   overriding function Get_Member
826    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
827       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is
828   begin
829      return
830        AMF.UML.Named_Elements.Collections.Wrap
831         (AMF.Internals.Element_Collections.Wrap
832           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Member
833             (Self.Element)));
834   end Get_Member;
835
836   ----------------------
837   -- Get_Owned_Member --
838   ----------------------
839
840   overriding function Get_Owned_Member
841    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
842       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is
843   begin
844      return
845        AMF.UML.Named_Elements.Collections.Wrap
846         (AMF.Internals.Element_Collections.Wrap
847           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Member
848             (Self.Element)));
849   end Get_Owned_Member;
850
851   --------------------
852   -- Get_Owned_Rule --
853   --------------------
854
855   overriding function Get_Owned_Rule
856    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
857       return AMF.UML.Constraints.Collections.Set_Of_UML_Constraint is
858   begin
859      return
860        AMF.UML.Constraints.Collections.Wrap
861         (AMF.Internals.Element_Collections.Wrap
862           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Rule
863             (Self.Element)));
864   end Get_Owned_Rule;
865
866   ------------------------
867   -- Get_Package_Import --
868   ------------------------
869
870   overriding function Get_Package_Import
871    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
872       return AMF.UML.Package_Imports.Collections.Set_Of_UML_Package_Import is
873   begin
874      return
875        AMF.UML.Package_Imports.Collections.Wrap
876         (AMF.Internals.Element_Collections.Wrap
877           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Package_Import
878             (Self.Element)));
879   end Get_Package_Import;
880
881   ---------------------------
882   -- Get_Client_Dependency --
883   ---------------------------
884
885   overriding function Get_Client_Dependency
886    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
887       return AMF.UML.Dependencies.Collections.Set_Of_UML_Dependency is
888   begin
889      return
890        AMF.UML.Dependencies.Collections.Wrap
891         (AMF.Internals.Element_Collections.Wrap
892           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Client_Dependency
893             (Self.Element)));
894   end Get_Client_Dependency;
895
896   -------------------------
897   -- Get_Name_Expression --
898   -------------------------
899
900   overriding function Get_Name_Expression
901    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
902       return AMF.UML.String_Expressions.UML_String_Expression_Access is
903   begin
904      return
905        AMF.UML.String_Expressions.UML_String_Expression_Access
906         (AMF.Internals.Helpers.To_Element
907           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Name_Expression
908             (Self.Element)));
909   end Get_Name_Expression;
910
911   -------------------------
912   -- Set_Name_Expression --
913   -------------------------
914
915   overriding procedure Set_Name_Expression
916    (Self : not null access UML_Protocol_State_Machine_Proxy;
917     To   : AMF.UML.String_Expressions.UML_String_Expression_Access) is
918   begin
919      AMF.Internals.Tables.UML_Attributes.Internal_Set_Name_Expression
920       (Self.Element,
921        AMF.Internals.Helpers.To_Element
922         (AMF.Elements.Element_Access (To)));
923   end Set_Name_Expression;
924
925   -------------------
926   -- Get_Namespace --
927   -------------------
928
929   overriding function Get_Namespace
930    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
931       return AMF.UML.Namespaces.UML_Namespace_Access is
932   begin
933      return
934        AMF.UML.Namespaces.UML_Namespace_Access
935         (AMF.Internals.Helpers.To_Element
936           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Namespace
937             (Self.Element)));
938   end Get_Namespace;
939
940   ------------------------
941   -- Get_Qualified_Name --
942   ------------------------
943
944   overriding function Get_Qualified_Name
945    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
946       return AMF.Optional_String is
947   begin
948      declare
949         use type Matreshka.Internals.Strings.Shared_String_Access;
950
951         Aux : constant Matreshka.Internals.Strings.Shared_String_Access
952           := AMF.Internals.Tables.UML_Attributes.Internal_Get_Qualified_Name (Self.Element);
953
954      begin
955         if Aux = null then
956            return (Is_Empty => True);
957
958         else
959            return (False, League.Strings.Internals.Create (Aux));
960         end if;
961      end;
962   end Get_Qualified_Name;
963
964   -----------------
965   -- Get_Package --
966   -----------------
967
968   overriding function Get_Package
969    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
970       return AMF.UML.Packages.UML_Package_Access is
971   begin
972      return
973        AMF.UML.Packages.UML_Package_Access
974         (AMF.Internals.Helpers.To_Element
975           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Package
976             (Self.Element)));
977   end Get_Package;
978
979   -----------------
980   -- Set_Package --
981   -----------------
982
983   overriding procedure Set_Package
984    (Self : not null access UML_Protocol_State_Machine_Proxy;
985     To   : AMF.UML.Packages.UML_Package_Access) is
986   begin
987      AMF.Internals.Tables.UML_Attributes.Internal_Set_Package
988       (Self.Element,
989        AMF.Internals.Helpers.To_Element
990         (AMF.Elements.Element_Access (To)));
991   end Set_Package;
992
993   -----------------------------------
994   -- Get_Owning_Template_Parameter --
995   -----------------------------------
996
997   overriding function Get_Owning_Template_Parameter
998    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
999       return AMF.UML.Template_Parameters.UML_Template_Parameter_Access is
1000   begin
1001      return
1002        AMF.UML.Template_Parameters.UML_Template_Parameter_Access
1003         (AMF.Internals.Helpers.To_Element
1004           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owning_Template_Parameter
1005             (Self.Element)));
1006   end Get_Owning_Template_Parameter;
1007
1008   -----------------------------------
1009   -- Set_Owning_Template_Parameter --
1010   -----------------------------------
1011
1012   overriding procedure Set_Owning_Template_Parameter
1013    (Self : not null access UML_Protocol_State_Machine_Proxy;
1014     To   : AMF.UML.Template_Parameters.UML_Template_Parameter_Access) is
1015   begin
1016      AMF.Internals.Tables.UML_Attributes.Internal_Set_Owning_Template_Parameter
1017       (Self.Element,
1018        AMF.Internals.Helpers.To_Element
1019         (AMF.Elements.Element_Access (To)));
1020   end Set_Owning_Template_Parameter;
1021
1022   ----------------------------
1023   -- Get_Template_Parameter --
1024   ----------------------------
1025
1026   overriding function Get_Template_Parameter
1027    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1028       return AMF.UML.Template_Parameters.UML_Template_Parameter_Access is
1029   begin
1030      return
1031        AMF.UML.Template_Parameters.UML_Template_Parameter_Access
1032         (AMF.Internals.Helpers.To_Element
1033           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Template_Parameter
1034             (Self.Element)));
1035   end Get_Template_Parameter;
1036
1037   ----------------------------
1038   -- Set_Template_Parameter --
1039   ----------------------------
1040
1041   overriding procedure Set_Template_Parameter
1042    (Self : not null access UML_Protocol_State_Machine_Proxy;
1043     To   : AMF.UML.Template_Parameters.UML_Template_Parameter_Access) is
1044   begin
1045      AMF.Internals.Tables.UML_Attributes.Internal_Set_Template_Parameter
1046       (Self.Element,
1047        AMF.Internals.Helpers.To_Element
1048         (AMF.Elements.Element_Access (To)));
1049   end Set_Template_Parameter;
1050
1051   ----------------------------------
1052   -- Get_Owned_Template_Signature --
1053   ----------------------------------
1054
1055   overriding function Get_Owned_Template_Signature
1056    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1057       return AMF.UML.Template_Signatures.UML_Template_Signature_Access is
1058   begin
1059      return
1060        AMF.UML.Template_Signatures.UML_Template_Signature_Access
1061         (AMF.Internals.Helpers.To_Element
1062           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Template_Signature
1063             (Self.Element)));
1064   end Get_Owned_Template_Signature;
1065
1066   ----------------------------------
1067   -- Set_Owned_Template_Signature --
1068   ----------------------------------
1069
1070   overriding procedure Set_Owned_Template_Signature
1071    (Self : not null access UML_Protocol_State_Machine_Proxy;
1072     To   : AMF.UML.Template_Signatures.UML_Template_Signature_Access) is
1073   begin
1074      AMF.Internals.Tables.UML_Attributes.Internal_Set_Owned_Template_Signature
1075       (Self.Element,
1076        AMF.Internals.Helpers.To_Element
1077         (AMF.Elements.Element_Access (To)));
1078   end Set_Owned_Template_Signature;
1079
1080   --------------------------
1081   -- Get_Template_Binding --
1082   --------------------------
1083
1084   overriding function Get_Template_Binding
1085    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1086       return AMF.UML.Template_Bindings.Collections.Set_Of_UML_Template_Binding is
1087   begin
1088      return
1089        AMF.UML.Template_Bindings.Collections.Wrap
1090         (AMF.Internals.Element_Collections.Wrap
1091           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Template_Binding
1092             (Self.Element)));
1093   end Get_Template_Binding;
1094
1095   -----------------
1096   -- Get_Is_Leaf --
1097   -----------------
1098
1099   overriding function Get_Is_Leaf
1100    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1101       return Boolean is
1102   begin
1103      return
1104        AMF.Internals.Tables.UML_Attributes.Internal_Get_Is_Leaf
1105         (Self.Element);
1106   end Get_Is_Leaf;
1107
1108   -----------------
1109   -- Set_Is_Leaf --
1110   -----------------
1111
1112   overriding procedure Set_Is_Leaf
1113    (Self : not null access UML_Protocol_State_Machine_Proxy;
1114     To   : Boolean) is
1115   begin
1116      AMF.Internals.Tables.UML_Attributes.Internal_Set_Is_Leaf
1117       (Self.Element, To);
1118   end Set_Is_Leaf;
1119
1120   ---------------------------
1121   -- Get_Redefined_Element --
1122   ---------------------------
1123
1124   overriding function Get_Redefined_Element
1125    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1126       return AMF.UML.Redefinable_Elements.Collections.Set_Of_UML_Redefinable_Element is
1127   begin
1128      return
1129        AMF.UML.Redefinable_Elements.Collections.Wrap
1130         (AMF.Internals.Element_Collections.Wrap
1131           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Redefined_Element
1132             (Self.Element)));
1133   end Get_Redefined_Element;
1134
1135   ------------------------------
1136   -- Get_Redefinition_Context --
1137   ------------------------------
1138
1139   overriding function Get_Redefinition_Context
1140    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1141       return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier is
1142   begin
1143      return
1144        AMF.UML.Classifiers.Collections.Wrap
1145         (AMF.Internals.Element_Collections.Wrap
1146           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Redefinition_Context
1147             (Self.Element)));
1148   end Get_Redefinition_Context;
1149
1150   --------------------
1151   -- Get_Owned_Port --
1152   --------------------
1153
1154   overriding function Get_Owned_Port
1155    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1156       return AMF.UML.Ports.Collections.Set_Of_UML_Port is
1157   begin
1158      return
1159        AMF.UML.Ports.Collections.Wrap
1160         (AMF.Internals.Element_Collections.Wrap
1161           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Port
1162             (Self.Element)));
1163   end Get_Owned_Port;
1164
1165   -------------------------
1166   -- Get_Owned_Connector --
1167   -------------------------
1168
1169   overriding function Get_Owned_Connector
1170    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1171       return AMF.UML.Connectors.Collections.Set_Of_UML_Connector is
1172   begin
1173      return
1174        AMF.UML.Connectors.Collections.Wrap
1175         (AMF.Internals.Element_Collections.Wrap
1176           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Connector
1177             (Self.Element)));
1178   end Get_Owned_Connector;
1179
1180   --------------
1181   -- Get_Part --
1182   --------------
1183
1184   overriding function Get_Part
1185    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1186       return AMF.UML.Properties.Collections.Set_Of_UML_Property is
1187   begin
1188      return
1189        AMF.UML.Properties.Collections.Wrap
1190         (AMF.Internals.Element_Collections.Wrap
1191           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Part
1192             (Self.Element)));
1193   end Get_Part;
1194
1195   --------------
1196   -- Get_Role --
1197   --------------
1198
1199   overriding function Get_Role
1200    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1201       return AMF.UML.Connectable_Elements.Collections.Set_Of_UML_Connectable_Element is
1202   begin
1203      return
1204        AMF.UML.Connectable_Elements.Collections.Wrap
1205         (AMF.Internals.Element_Collections.Wrap
1206           (AMF.Internals.Tables.UML_Attributes.Internal_Get_Role
1207             (Self.Element)));
1208   end Get_Role;
1209
1210   ---------
1211   -- LCA --
1212   ---------
1213
1214   overriding function LCA
1215    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1216     S1 : AMF.UML.States.UML_State_Access;
1217     S2 : AMF.UML.States.UML_State_Access)
1218       return AMF.UML.Namespaces.UML_Namespace_Access is
1219   begin
1220      --  Generated stub: replace with real body!
1221      pragma Compile_Time_Warning (Standard.True, "LCA unimplemented");
1222      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.LCA";
1223      return LCA (Self, S1, S2);
1224   end LCA;
1225
1226   --------------
1227   -- Ancestor --
1228   --------------
1229
1230   overriding function Ancestor
1231    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1232     S1 : AMF.UML.States.UML_State_Access;
1233     S2 : AMF.UML.States.UML_State_Access)
1234       return Boolean is
1235   begin
1236      --  Generated stub: replace with real body!
1237      pragma Compile_Time_Warning (Standard.True, "Ancestor unimplemented");
1238      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Ancestor";
1239      return Ancestor (Self, S1, S2);
1240   end Ancestor;
1241
1242   ------------------------
1243   -- Is_Consistent_With --
1244   ------------------------
1245
1246   overriding function Is_Consistent_With
1247    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1248     Redefinee : AMF.UML.Redefinable_Elements.UML_Redefinable_Element_Access)
1249       return Boolean is
1250   begin
1251      --  Generated stub: replace with real body!
1252      pragma Compile_Time_Warning (Standard.True, "Is_Consistent_With unimplemented");
1253      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Is_Consistent_With";
1254      return Is_Consistent_With (Self, Redefinee);
1255   end Is_Consistent_With;
1256
1257   -----------------------------------
1258   -- Is_Redefinition_Context_Valid --
1259   -----------------------------------
1260
1261   overriding function Is_Redefinition_Context_Valid
1262    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1263     Redefined : AMF.UML.State_Machines.UML_State_Machine_Access)
1264       return Boolean is
1265   begin
1266      --  Generated stub: replace with real body!
1267      pragma Compile_Time_Warning (Standard.True, "Is_Redefinition_Context_Valid unimplemented");
1268      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Is_Redefinition_Context_Valid";
1269      return Is_Redefinition_Context_Valid (Self, Redefined);
1270   end Is_Redefinition_Context_Valid;
1271
1272   -------------
1273   -- Context --
1274   -------------
1275
1276   overriding function Context
1277    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1278       return AMF.UML.Behaviored_Classifiers.UML_Behaviored_Classifier_Access is
1279   begin
1280      --  Generated stub: replace with real body!
1281      pragma Compile_Time_Warning (Standard.True, "Context unimplemented");
1282      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Context";
1283      return Context (Self);
1284   end Context;
1285
1286   ---------------
1287   -- Extension --
1288   ---------------
1289
1290   overriding function Extension
1291    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1292       return AMF.UML.Extensions.Collections.Set_Of_UML_Extension is
1293   begin
1294      --  Generated stub: replace with real body!
1295      pragma Compile_Time_Warning (Standard.True, "Extension unimplemented");
1296      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Extension";
1297      return Extension (Self);
1298   end Extension;
1299
1300   -------------
1301   -- Inherit --
1302   -------------
1303
1304   overriding function Inherit
1305    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1306     Inhs : AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element)
1307       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is
1308   begin
1309      --  Generated stub: replace with real body!
1310      pragma Compile_Time_Warning (Standard.True, "Inherit unimplemented");
1311      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Inherit";
1312      return Inherit (Self, Inhs);
1313   end Inherit;
1314
1315   -----------------
1316   -- Super_Class --
1317   -----------------
1318
1319   overriding function Super_Class
1320    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1321       return AMF.UML.Classes.Collections.Set_Of_UML_Class is
1322   begin
1323      --  Generated stub: replace with real body!
1324      pragma Compile_Time_Warning (Standard.True, "Super_Class unimplemented");
1325      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Super_Class";
1326      return Super_Class (Self);
1327   end Super_Class;
1328
1329   ------------------
1330   -- All_Features --
1331   ------------------
1332
1333   overriding function All_Features
1334    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1335       return AMF.UML.Features.Collections.Set_Of_UML_Feature is
1336   begin
1337      --  Generated stub: replace with real body!
1338      pragma Compile_Time_Warning (Standard.True, "All_Features unimplemented");
1339      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.All_Features";
1340      return All_Features (Self);
1341   end All_Features;
1342
1343   -----------------
1344   -- Conforms_To --
1345   -----------------
1346
1347   overriding function Conforms_To
1348    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1349     Other : AMF.UML.Classifiers.UML_Classifier_Access)
1350       return Boolean is
1351   begin
1352      --  Generated stub: replace with real body!
1353      pragma Compile_Time_Warning (Standard.True, "Conforms_To unimplemented");
1354      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Conforms_To";
1355      return Conforms_To (Self, Other);
1356   end Conforms_To;
1357
1358   -------------
1359   -- General --
1360   -------------
1361
1362   overriding function General
1363    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1364       return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier is
1365   begin
1366      --  Generated stub: replace with real body!
1367      pragma Compile_Time_Warning (Standard.True, "General unimplemented");
1368      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.General";
1369      return General (Self);
1370   end General;
1371
1372   -----------------------
1373   -- Has_Visibility_Of --
1374   -----------------------
1375
1376   overriding function Has_Visibility_Of
1377    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1378     N : AMF.UML.Named_Elements.UML_Named_Element_Access)
1379       return Boolean is
1380   begin
1381      --  Generated stub: replace with real body!
1382      pragma Compile_Time_Warning (Standard.True, "Has_Visibility_Of unimplemented");
1383      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Has_Visibility_Of";
1384      return Has_Visibility_Of (Self, N);
1385   end Has_Visibility_Of;
1386
1387   -------------------------
1388   -- Inheritable_Members --
1389   -------------------------
1390
1391   overriding function Inheritable_Members
1392    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1393     C : AMF.UML.Classifiers.UML_Classifier_Access)
1394       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is
1395   begin
1396      --  Generated stub: replace with real body!
1397      pragma Compile_Time_Warning (Standard.True, "Inheritable_Members unimplemented");
1398      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Inheritable_Members";
1399      return Inheritable_Members (Self, C);
1400   end Inheritable_Members;
1401
1402   ----------------------
1403   -- Inherited_Member --
1404   ----------------------
1405
1406   overriding function Inherited_Member
1407    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1408       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is
1409   begin
1410      --  Generated stub: replace with real body!
1411      pragma Compile_Time_Warning (Standard.True, "Inherited_Member unimplemented");
1412      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Inherited_Member";
1413      return Inherited_Member (Self);
1414   end Inherited_Member;
1415
1416   -----------------
1417   -- Is_Template --
1418   -----------------
1419
1420   overriding function Is_Template
1421    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1422       return Boolean is
1423   begin
1424      --  Generated stub: replace with real body!
1425      pragma Compile_Time_Warning (Standard.True, "Is_Template unimplemented");
1426      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Is_Template";
1427      return Is_Template (Self);
1428   end Is_Template;
1429
1430   -------------------------
1431   -- May_Specialize_Type --
1432   -------------------------
1433
1434   overriding function May_Specialize_Type
1435    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1436     C : AMF.UML.Classifiers.UML_Classifier_Access)
1437       return Boolean is
1438   begin
1439      --  Generated stub: replace with real body!
1440      pragma Compile_Time_Warning (Standard.True, "May_Specialize_Type unimplemented");
1441      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.May_Specialize_Type";
1442      return May_Specialize_Type (Self, C);
1443   end May_Specialize_Type;
1444
1445   ------------------------
1446   -- Exclude_Collisions --
1447   ------------------------
1448
1449   overriding function Exclude_Collisions
1450    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1451     Imps : AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element)
1452       return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element is
1453   begin
1454      --  Generated stub: replace with real body!
1455      pragma Compile_Time_Warning (Standard.True, "Exclude_Collisions unimplemented");
1456      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Exclude_Collisions";
1457      return Exclude_Collisions (Self, Imps);
1458   end Exclude_Collisions;
1459
1460   -------------------------
1461   -- Get_Names_Of_Member --
1462   -------------------------
1463
1464   overriding function Get_Names_Of_Member
1465    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1466     Element : AMF.UML.Named_Elements.UML_Named_Element_Access)
1467       return AMF.String_Collections.Set_Of_String is
1468   begin
1469      --  Generated stub: replace with real body!
1470      pragma Compile_Time_Warning (Standard.True, "Get_Names_Of_Member unimplemented");
1471      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Get_Names_Of_Member";
1472      return Get_Names_Of_Member (Self, Element);
1473   end Get_Names_Of_Member;
1474
1475   --------------------
1476   -- Import_Members --
1477   --------------------
1478
1479   overriding function Import_Members
1480    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1481     Imps : AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element)
1482       return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element is
1483   begin
1484      --  Generated stub: replace with real body!
1485      pragma Compile_Time_Warning (Standard.True, "Import_Members unimplemented");
1486      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Import_Members";
1487      return Import_Members (Self, Imps);
1488   end Import_Members;
1489
1490   ---------------------
1491   -- Imported_Member --
1492   ---------------------
1493
1494   overriding function Imported_Member
1495    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1496       return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element is
1497   begin
1498      --  Generated stub: replace with real body!
1499      pragma Compile_Time_Warning (Standard.True, "Imported_Member unimplemented");
1500      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Imported_Member";
1501      return Imported_Member (Self);
1502   end Imported_Member;
1503
1504   ---------------------------------
1505   -- Members_Are_Distinguishable --
1506   ---------------------------------
1507
1508   overriding function Members_Are_Distinguishable
1509    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1510       return Boolean is
1511   begin
1512      --  Generated stub: replace with real body!
1513      pragma Compile_Time_Warning (Standard.True, "Members_Are_Distinguishable unimplemented");
1514      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Members_Are_Distinguishable";
1515      return Members_Are_Distinguishable (Self);
1516   end Members_Are_Distinguishable;
1517
1518   ------------------
1519   -- Owned_Member --
1520   ------------------
1521
1522   overriding function Owned_Member
1523    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1524       return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is
1525   begin
1526      --  Generated stub: replace with real body!
1527      pragma Compile_Time_Warning (Standard.True, "Owned_Member unimplemented");
1528      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Owned_Member";
1529      return Owned_Member (Self);
1530   end Owned_Member;
1531
1532   -------------------------
1533   -- All_Owning_Packages --
1534   -------------------------
1535
1536   overriding function All_Owning_Packages
1537    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1538       return AMF.UML.Packages.Collections.Set_Of_UML_Package is
1539   begin
1540      --  Generated stub: replace with real body!
1541      pragma Compile_Time_Warning (Standard.True, "All_Owning_Packages unimplemented");
1542      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.All_Owning_Packages";
1543      return All_Owning_Packages (Self);
1544   end All_Owning_Packages;
1545
1546   -----------------------------
1547   -- Is_Distinguishable_From --
1548   -----------------------------
1549
1550   overriding function Is_Distinguishable_From
1551    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1552     N : AMF.UML.Named_Elements.UML_Named_Element_Access;
1553     Ns : AMF.UML.Namespaces.UML_Namespace_Access)
1554       return Boolean is
1555   begin
1556      --  Generated stub: replace with real body!
1557      pragma Compile_Time_Warning (Standard.True, "Is_Distinguishable_From unimplemented");
1558      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Is_Distinguishable_From";
1559      return Is_Distinguishable_From (Self, N, Ns);
1560   end Is_Distinguishable_From;
1561
1562   ---------------
1563   -- Namespace --
1564   ---------------
1565
1566   overriding function Namespace
1567    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1568       return AMF.UML.Namespaces.UML_Namespace_Access is
1569   begin
1570      --  Generated stub: replace with real body!
1571      pragma Compile_Time_Warning (Standard.True, "Namespace unimplemented");
1572      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Namespace";
1573      return Namespace (Self);
1574   end Namespace;
1575
1576   -----------------
1577   -- Conforms_To --
1578   -----------------
1579
1580   overriding function Conforms_To
1581    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1582     Other : AMF.UML.Types.UML_Type_Access)
1583       return Boolean is
1584   begin
1585      --  Generated stub: replace with real body!
1586      pragma Compile_Time_Warning (Standard.True, "Conforms_To unimplemented");
1587      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Conforms_To";
1588      return Conforms_To (Self, Other);
1589   end Conforms_To;
1590
1591   ------------------------
1592   -- Is_Compatible_With --
1593   ------------------------
1594
1595   overriding function Is_Compatible_With
1596    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1597     P : AMF.UML.Parameterable_Elements.UML_Parameterable_Element_Access)
1598       return Boolean is
1599   begin
1600      --  Generated stub: replace with real body!
1601      pragma Compile_Time_Warning (Standard.True, "Is_Compatible_With unimplemented");
1602      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Is_Compatible_With";
1603      return Is_Compatible_With (Self, P);
1604   end Is_Compatible_With;
1605
1606   ---------------------------
1607   -- Is_Template_Parameter --
1608   ---------------------------
1609
1610   overriding function Is_Template_Parameter
1611    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1612       return Boolean is
1613   begin
1614      --  Generated stub: replace with real body!
1615      pragma Compile_Time_Warning (Standard.True, "Is_Template_Parameter unimplemented");
1616      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Is_Template_Parameter";
1617      return Is_Template_Parameter (Self);
1618   end Is_Template_Parameter;
1619
1620   ----------------------------
1621   -- Parameterable_Elements --
1622   ----------------------------
1623
1624   overriding function Parameterable_Elements
1625    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1626       return AMF.UML.Parameterable_Elements.Collections.Set_Of_UML_Parameterable_Element is
1627   begin
1628      --  Generated stub: replace with real body!
1629      pragma Compile_Time_Warning (Standard.True, "Parameterable_Elements unimplemented");
1630      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Parameterable_Elements";
1631      return Parameterable_Elements (Self);
1632   end Parameterable_Elements;
1633
1634   -----------------------------------
1635   -- Is_Redefinition_Context_Valid --
1636   -----------------------------------
1637
1638   overriding function Is_Redefinition_Context_Valid
1639    (Self : not null access constant UML_Protocol_State_Machine_Proxy;
1640     Redefined : AMF.UML.Redefinable_Elements.UML_Redefinable_Element_Access)
1641       return Boolean is
1642   begin
1643      --  Generated stub: replace with real body!
1644      pragma Compile_Time_Warning (Standard.True, "Is_Redefinition_Context_Valid unimplemented");
1645      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Is_Redefinition_Context_Valid";
1646      return Is_Redefinition_Context_Valid (Self, Redefined);
1647   end Is_Redefinition_Context_Valid;
1648
1649   ----------------
1650   -- Owned_Port --
1651   ----------------
1652
1653   overriding function Owned_Port
1654    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1655       return AMF.UML.Ports.Collections.Set_Of_UML_Port is
1656   begin
1657      --  Generated stub: replace with real body!
1658      pragma Compile_Time_Warning (Standard.True, "Owned_Port unimplemented");
1659      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Owned_Port";
1660      return Owned_Port (Self);
1661   end Owned_Port;
1662
1663   ----------
1664   -- Part --
1665   ----------
1666
1667   overriding function Part
1668    (Self : not null access constant UML_Protocol_State_Machine_Proxy)
1669       return AMF.UML.Properties.Collections.Set_Of_UML_Property is
1670   begin
1671      --  Generated stub: replace with real body!
1672      pragma Compile_Time_Warning (Standard.True, "Part unimplemented");
1673      raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Part";
1674      return Part (Self);
1675   end Part;
1676
1677end AMF.Internals.UML_Protocol_State_Machines;
1678