1------------------------------------------------------------------------------
2--                                                                          --
3--                            Matreshka Project                             --
4--                                                                          --
5--                          Ada Modeling Framework                          --
6--                                                                          --
7--                        Runtime Library Component                         --
8--                                                                          --
9------------------------------------------------------------------------------
10--                                                                          --
11-- Copyright © 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: 2671 $ $Date: 2012-03-23 00:51:37 +0400 (Fri, 23 Mar 2012) $
43------------------------------------------------------------------------------
44--  This file is generated, don't edit it.
45------------------------------------------------------------------------------
46with AMF.Elements;
47with AMF.Internals.Element_Collections;
48with AMF.Internals.Helpers;
49with AMF.Internals.Tables.OCL_Attributes;
50with AMF.OCL.Ocl_Expressions;
51with AMF.OCL.Variables.Collections;
52with AMF.String_Collections;
53with AMF.UML.Behaviors;
54with AMF.UML.Classifiers;
55with AMF.UML.Comments.Collections;
56with AMF.UML.Dependencies.Collections;
57with AMF.UML.Elements.Collections;
58with AMF.UML.Named_Elements;
59with AMF.UML.Namespaces.Collections;
60with AMF.UML.Packages.Collections;
61with AMF.UML.Parameterable_Elements;
62with AMF.UML.Parameters;
63with AMF.UML.String_Expressions;
64with AMF.UML.Template_Parameters;
65with AMF.UML.Types;
66with AMF.Visitors.OCL_Iterators;
67with AMF.Visitors.OCL_Visitors;
68with League.Strings.Internals;
69with Matreshka.Internals.Strings;
70
71package body AMF.Internals.OCL_Expression_In_Ocls is
72
73   -------------------------
74   -- Get_Body_Expression --
75   -------------------------
76
77   overriding function Get_Body_Expression
78    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
79       return AMF.OCL.Ocl_Expressions.OCL_Ocl_Expression_Access is
80   begin
81      return
82        AMF.OCL.Ocl_Expressions.OCL_Ocl_Expression_Access
83         (AMF.Internals.Helpers.To_Element
84           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Body_Expression
85             (Self.Element)));
86   end Get_Body_Expression;
87
88   -------------------------
89   -- Set_Body_Expression --
90   -------------------------
91
92   overriding procedure Set_Body_Expression
93    (Self : not null access OCL_Expression_In_Ocl_Proxy;
94     To   : AMF.OCL.Ocl_Expressions.OCL_Ocl_Expression_Access) is
95   begin
96      AMF.Internals.Tables.OCL_Attributes.Internal_Set_Body_Expression
97       (Self.Element,
98        AMF.Internals.Helpers.To_Element
99         (AMF.Elements.Element_Access (To)));
100   end Set_Body_Expression;
101
102   --------------------------
103   -- Get_Context_Variable --
104   --------------------------
105
106   overriding function Get_Context_Variable
107    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
108       return AMF.OCL.Variables.OCL_Variable_Access is
109   begin
110      return
111        AMF.OCL.Variables.OCL_Variable_Access
112         (AMF.Internals.Helpers.To_Element
113           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Context_Variable
114             (Self.Element)));
115   end Get_Context_Variable;
116
117   --------------------------
118   -- Set_Context_Variable --
119   --------------------------
120
121   overriding procedure Set_Context_Variable
122    (Self : not null access OCL_Expression_In_Ocl_Proxy;
123     To   : AMF.OCL.Variables.OCL_Variable_Access) is
124   begin
125      AMF.Internals.Tables.OCL_Attributes.Internal_Set_Context_Variable
126       (Self.Element,
127        AMF.Internals.Helpers.To_Element
128         (AMF.Elements.Element_Access (To)));
129   end Set_Context_Variable;
130
131   -------------------------
132   -- Get_Result_Variable --
133   -------------------------
134
135   overriding function Get_Result_Variable
136    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
137       return AMF.OCL.Variables.OCL_Variable_Access is
138   begin
139      return
140        AMF.OCL.Variables.OCL_Variable_Access
141         (AMF.Internals.Helpers.To_Element
142           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Result_Variable
143             (Self.Element)));
144   end Get_Result_Variable;
145
146   -------------------------
147   -- Set_Result_Variable --
148   -------------------------
149
150   overriding procedure Set_Result_Variable
151    (Self : not null access OCL_Expression_In_Ocl_Proxy;
152     To   : AMF.OCL.Variables.OCL_Variable_Access) is
153   begin
154      AMF.Internals.Tables.OCL_Attributes.Internal_Set_Result_Variable
155       (Self.Element,
156        AMF.Internals.Helpers.To_Element
157         (AMF.Elements.Element_Access (To)));
158   end Set_Result_Variable;
159
160   ----------------------------
161   -- Get_Parameter_Variable --
162   ----------------------------
163
164   overriding function Get_Parameter_Variable
165    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
166       return AMF.OCL.Variables.Collections.Ordered_Set_Of_OCL_Variable is
167   begin
168      return
169        AMF.OCL.Variables.Collections.Wrap
170         (AMF.Internals.Element_Collections.Wrap
171           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Parameter_Variable
172             (Self.Element)));
173   end Get_Parameter_Variable;
174
175   ------------------------
176   -- Get_Generated_Type --
177   ------------------------
178
179   overriding function Get_Generated_Type
180    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
181       return AMF.UML.Classifiers.UML_Classifier_Access is
182   begin
183      return
184        AMF.UML.Classifiers.UML_Classifier_Access
185         (AMF.Internals.Helpers.To_Element
186           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Generated_Type
187             (Self.Element)));
188   end Get_Generated_Type;
189
190   ------------------------
191   -- Set_Generated_Type --
192   ------------------------
193
194   overriding procedure Set_Generated_Type
195    (Self : not null access OCL_Expression_In_Ocl_Proxy;
196     To   : AMF.UML.Classifiers.UML_Classifier_Access) is
197   begin
198      AMF.Internals.Tables.OCL_Attributes.Internal_Set_Generated_Type
199       (Self.Element,
200        AMF.Internals.Helpers.To_Element
201         (AMF.Elements.Element_Access (To)));
202   end Set_Generated_Type;
203
204   ------------------
205   -- Get_Behavior --
206   ------------------
207
208   overriding function Get_Behavior
209    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
210       return AMF.UML.Behaviors.UML_Behavior_Access is
211   begin
212      return
213        AMF.UML.Behaviors.UML_Behavior_Access
214         (AMF.Internals.Helpers.To_Element
215           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Behavior
216             (Self.Element)));
217   end Get_Behavior;
218
219   ------------------
220   -- Set_Behavior --
221   ------------------
222
223   overriding procedure Set_Behavior
224    (Self : not null access OCL_Expression_In_Ocl_Proxy;
225     To   : AMF.UML.Behaviors.UML_Behavior_Access) is
226   begin
227      AMF.Internals.Tables.OCL_Attributes.Internal_Set_Behavior
228       (Self.Element,
229        AMF.Internals.Helpers.To_Element
230         (AMF.Elements.Element_Access (To)));
231   end Set_Behavior;
232
233   --------------
234   -- Get_Body --
235   --------------
236
237   overriding function Get_Body
238    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
239       return AMF.String_Collections.Sequence_Of_String is
240   begin
241      return X : AMF.String_Collections.Sequence_Of_String;
242   end Get_Body;
243
244   ------------------
245   -- Get_Language --
246   ------------------
247
248   overriding function Get_Language
249    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
250       return AMF.String_Collections.Ordered_Set_Of_String is
251   begin
252      return X : AMF.String_Collections.Ordered_Set_Of_String;
253   end Get_Language;
254
255   ----------------
256   -- Get_Result --
257   ----------------
258
259   overriding function Get_Result
260    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
261       return AMF.UML.Parameters.UML_Parameter_Access is
262   begin
263      return
264        AMF.UML.Parameters.UML_Parameter_Access
265         (AMF.Internals.Helpers.To_Element
266           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Result
267             (Self.Element)));
268   end Get_Result;
269
270   --------------
271   -- Get_Type --
272   --------------
273
274   overriding function Get_Type
275    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
276       return AMF.UML.Types.UML_Type_Access is
277   begin
278      return
279        AMF.UML.Types.UML_Type_Access
280         (AMF.Internals.Helpers.To_Element
281           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Type
282             (Self.Element)));
283   end Get_Type;
284
285   --------------
286   -- Set_Type --
287   --------------
288
289   overriding procedure Set_Type
290    (Self : not null access OCL_Expression_In_Ocl_Proxy;
291     To   : AMF.UML.Types.UML_Type_Access) is
292   begin
293      AMF.Internals.Tables.OCL_Attributes.Internal_Set_Type
294       (Self.Element,
295        AMF.Internals.Helpers.To_Element
296         (AMF.Elements.Element_Access (To)));
297   end Set_Type;
298
299   ---------------------------
300   -- Get_Client_Dependency --
301   ---------------------------
302
303   overriding function Get_Client_Dependency
304    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
305       return AMF.UML.Dependencies.Collections.Set_Of_UML_Dependency is
306   begin
307      return
308        AMF.UML.Dependencies.Collections.Wrap
309         (AMF.Internals.Element_Collections.Wrap
310           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Client_Dependency
311             (Self.Element)));
312   end Get_Client_Dependency;
313
314   --------------
315   -- Get_Name --
316   --------------
317
318   overriding function Get_Name
319    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
320       return AMF.Optional_String is
321   begin
322      declare
323         use type Matreshka.Internals.Strings.Shared_String_Access;
324
325         Aux : constant Matreshka.Internals.Strings.Shared_String_Access
326           := AMF.Internals.Tables.OCL_Attributes.Internal_Get_Name (Self.Element);
327
328      begin
329         if Aux = null then
330            return (Is_Empty => True);
331
332         else
333            return (False, League.Strings.Internals.Create (Aux));
334         end if;
335      end;
336   end Get_Name;
337
338   --------------
339   -- Set_Name --
340   --------------
341
342   overriding procedure Set_Name
343    (Self : not null access OCL_Expression_In_Ocl_Proxy;
344     To   : AMF.Optional_String) is
345   begin
346      if To.Is_Empty then
347         AMF.Internals.Tables.OCL_Attributes.Internal_Set_Name
348          (Self.Element, null);
349
350      else
351         AMF.Internals.Tables.OCL_Attributes.Internal_Set_Name
352          (Self.Element,
353           League.Strings.Internals.Internal (To.Value));
354      end if;
355   end Set_Name;
356
357   -------------------------
358   -- Get_Name_Expression --
359   -------------------------
360
361   overriding function Get_Name_Expression
362    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
363       return AMF.UML.String_Expressions.UML_String_Expression_Access is
364   begin
365      return
366        AMF.UML.String_Expressions.UML_String_Expression_Access
367         (AMF.Internals.Helpers.To_Element
368           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Name_Expression
369             (Self.Element)));
370   end Get_Name_Expression;
371
372   -------------------------
373   -- Set_Name_Expression --
374   -------------------------
375
376   overriding procedure Set_Name_Expression
377    (Self : not null access OCL_Expression_In_Ocl_Proxy;
378     To   : AMF.UML.String_Expressions.UML_String_Expression_Access) is
379   begin
380      AMF.Internals.Tables.OCL_Attributes.Internal_Set_Name_Expression
381       (Self.Element,
382        AMF.Internals.Helpers.To_Element
383         (AMF.Elements.Element_Access (To)));
384   end Set_Name_Expression;
385
386   -------------------
387   -- Get_Namespace --
388   -------------------
389
390   overriding function Get_Namespace
391    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
392       return AMF.UML.Namespaces.UML_Namespace_Access is
393   begin
394      return
395        AMF.UML.Namespaces.UML_Namespace_Access
396         (AMF.Internals.Helpers.To_Element
397           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Namespace
398             (Self.Element)));
399   end Get_Namespace;
400
401   ------------------------
402   -- Get_Qualified_Name --
403   ------------------------
404
405   overriding function Get_Qualified_Name
406    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
407       return AMF.Optional_String is
408   begin
409      declare
410         use type Matreshka.Internals.Strings.Shared_String_Access;
411
412         Aux : constant Matreshka.Internals.Strings.Shared_String_Access
413           := AMF.Internals.Tables.OCL_Attributes.Internal_Get_Qualified_Name (Self.Element);
414
415      begin
416         if Aux = null then
417            return (Is_Empty => True);
418
419         else
420            return (False, League.Strings.Internals.Create (Aux));
421         end if;
422      end;
423   end Get_Qualified_Name;
424
425   --------------------
426   -- Get_Visibility --
427   --------------------
428
429   overriding function Get_Visibility
430    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
431       return AMF.UML.Optional_UML_Visibility_Kind is
432   begin
433      return
434        AMF.Internals.Tables.OCL_Attributes.Internal_Get_Visibility
435         (Self.Element);
436   end Get_Visibility;
437
438   --------------------
439   -- Set_Visibility --
440   --------------------
441
442   overriding procedure Set_Visibility
443    (Self : not null access OCL_Expression_In_Ocl_Proxy;
444     To   : AMF.UML.Optional_UML_Visibility_Kind) is
445   begin
446      AMF.Internals.Tables.OCL_Attributes.Internal_Set_Visibility
447       (Self.Element, To);
448   end Set_Visibility;
449
450   -----------------------
451   -- Get_Owned_Comment --
452   -----------------------
453
454   overriding function Get_Owned_Comment
455    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
456       return AMF.UML.Comments.Collections.Set_Of_UML_Comment is
457   begin
458      return
459        AMF.UML.Comments.Collections.Wrap
460         (AMF.Internals.Element_Collections.Wrap
461           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Owned_Comment
462             (Self.Element)));
463   end Get_Owned_Comment;
464
465   -----------------------
466   -- Get_Owned_Element --
467   -----------------------
468
469   overriding function Get_Owned_Element
470    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
471       return AMF.UML.Elements.Collections.Set_Of_UML_Element is
472   begin
473      return
474        AMF.UML.Elements.Collections.Wrap
475         (AMF.Internals.Element_Collections.Wrap
476           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Owned_Element
477             (Self.Element)));
478   end Get_Owned_Element;
479
480   ---------------
481   -- Get_Owner --
482   ---------------
483
484   overriding function Get_Owner
485    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
486       return AMF.UML.Elements.UML_Element_Access is
487   begin
488      return
489        AMF.UML.Elements.UML_Element_Access
490         (AMF.Internals.Helpers.To_Element
491           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Owner
492             (Self.Element)));
493   end Get_Owner;
494
495   --------------------
496   -- Get_Visibility --
497   --------------------
498
499   overriding function Get_Visibility
500    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
501       return AMF.UML.UML_Visibility_Kind is
502   begin
503      return
504        AMF.Internals.Tables.OCL_Attributes.Internal_Get_Visibility
505         (Self.Element).Value;
506   end Get_Visibility;
507
508   --------------------
509   -- Set_Visibility --
510   --------------------
511
512   overriding procedure Set_Visibility
513    (Self : not null access OCL_Expression_In_Ocl_Proxy;
514     To   : AMF.UML.UML_Visibility_Kind) is
515   begin
516      AMF.Internals.Tables.OCL_Attributes.Internal_Set_Visibility
517       (Self.Element, (False, To));
518   end Set_Visibility;
519
520   -----------------------------------
521   -- Get_Owning_Template_Parameter --
522   -----------------------------------
523
524   overriding function Get_Owning_Template_Parameter
525    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
526       return AMF.UML.Template_Parameters.UML_Template_Parameter_Access is
527   begin
528      return
529        AMF.UML.Template_Parameters.UML_Template_Parameter_Access
530         (AMF.Internals.Helpers.To_Element
531           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Owning_Template_Parameter
532             (Self.Element)));
533   end Get_Owning_Template_Parameter;
534
535   -----------------------------------
536   -- Set_Owning_Template_Parameter --
537   -----------------------------------
538
539   overriding procedure Set_Owning_Template_Parameter
540    (Self : not null access OCL_Expression_In_Ocl_Proxy;
541     To   : AMF.UML.Template_Parameters.UML_Template_Parameter_Access) is
542   begin
543      AMF.Internals.Tables.OCL_Attributes.Internal_Set_Owning_Template_Parameter
544       (Self.Element,
545        AMF.Internals.Helpers.To_Element
546         (AMF.Elements.Element_Access (To)));
547   end Set_Owning_Template_Parameter;
548
549   ----------------------------
550   -- Get_Template_Parameter --
551   ----------------------------
552
553   overriding function Get_Template_Parameter
554    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
555       return AMF.UML.Template_Parameters.UML_Template_Parameter_Access is
556   begin
557      return
558        AMF.UML.Template_Parameters.UML_Template_Parameter_Access
559         (AMF.Internals.Helpers.To_Element
560           (AMF.Internals.Tables.OCL_Attributes.Internal_Get_Template_Parameter
561             (Self.Element)));
562   end Get_Template_Parameter;
563
564   ----------------------------
565   -- Set_Template_Parameter --
566   ----------------------------
567
568   overriding procedure Set_Template_Parameter
569    (Self : not null access OCL_Expression_In_Ocl_Proxy;
570     To   : AMF.UML.Template_Parameters.UML_Template_Parameter_Access) is
571   begin
572      AMF.Internals.Tables.OCL_Attributes.Internal_Set_Template_Parameter
573       (Self.Element,
574        AMF.Internals.Helpers.To_Element
575         (AMF.Elements.Element_Access (To)));
576   end Set_Template_Parameter;
577
578   -----------------
579   -- Is_Integral --
580   -----------------
581
582   overriding function Is_Integral
583    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
584       return Boolean is
585   begin
586      --  Generated stub: replace with real body!
587      pragma Compile_Time_Warning (Standard.True, "Is_Integral unimplemented");
588      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Is_Integral";
589      return Is_Integral (Self);
590   end Is_Integral;
591
592   ---------------------
593   -- Is_Non_Negative --
594   ---------------------
595
596   overriding function Is_Non_Negative
597    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
598       return Boolean is
599   begin
600      --  Generated stub: replace with real body!
601      pragma Compile_Time_Warning (Standard.True, "Is_Non_Negative unimplemented");
602      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Is_Non_Negative";
603      return Is_Non_Negative (Self);
604   end Is_Non_Negative;
605
606   -----------------
607   -- Is_Positive --
608   -----------------
609
610   overriding function Is_Positive
611    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
612       return Boolean is
613   begin
614      --  Generated stub: replace with real body!
615      pragma Compile_Time_Warning (Standard.True, "Is_Positive unimplemented");
616      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Is_Positive";
617      return Is_Positive (Self);
618   end Is_Positive;
619
620   ------------
621   -- Result --
622   ------------
623
624   overriding function Result
625    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
626       return AMF.UML.Parameters.UML_Parameter_Access is
627   begin
628      --  Generated stub: replace with real body!
629      pragma Compile_Time_Warning (Standard.True, "Result unimplemented");
630      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Result";
631      return Result (Self);
632   end Result;
633
634   -----------
635   -- Value --
636   -----------
637
638   overriding function Value
639    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
640       return Integer is
641   begin
642      --  Generated stub: replace with real body!
643      pragma Compile_Time_Warning (Standard.True, "Value unimplemented");
644      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Value";
645      return Value (Self);
646   end Value;
647
648   -------------------
649   -- Boolean_Value --
650   -------------------
651
652   overriding function Boolean_Value
653    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
654       return AMF.Optional_Boolean is
655   begin
656      --  Generated stub: replace with real body!
657      pragma Compile_Time_Warning (Standard.True, "Boolean_Value unimplemented");
658      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Boolean_Value";
659      return Boolean_Value (Self);
660   end Boolean_Value;
661
662   -------------------
663   -- Integer_Value --
664   -------------------
665
666   overriding function Integer_Value
667    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
668       return AMF.Optional_Integer is
669   begin
670      --  Generated stub: replace with real body!
671      pragma Compile_Time_Warning (Standard.True, "Integer_Value unimplemented");
672      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Integer_Value";
673      return Integer_Value (Self);
674   end Integer_Value;
675
676   ------------------------
677   -- Is_Compatible_With --
678   ------------------------
679
680   overriding function Is_Compatible_With
681    (Self : not null access constant OCL_Expression_In_Ocl_Proxy;
682     P : AMF.UML.Parameterable_Elements.UML_Parameterable_Element_Access)
683       return Boolean is
684   begin
685      --  Generated stub: replace with real body!
686      pragma Compile_Time_Warning (Standard.True, "Is_Compatible_With unimplemented");
687      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Is_Compatible_With";
688      return Is_Compatible_With (Self, P);
689   end Is_Compatible_With;
690
691   -------------------
692   -- Is_Computable --
693   -------------------
694
695   overriding function Is_Computable
696    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
697       return Boolean is
698   begin
699      --  Generated stub: replace with real body!
700      pragma Compile_Time_Warning (Standard.True, "Is_Computable unimplemented");
701      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Is_Computable";
702      return Is_Computable (Self);
703   end Is_Computable;
704
705   -------------
706   -- Is_Null --
707   -------------
708
709   overriding function Is_Null
710    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
711       return Boolean is
712   begin
713      --  Generated stub: replace with real body!
714      pragma Compile_Time_Warning (Standard.True, "Is_Null unimplemented");
715      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Is_Null";
716      return Is_Null (Self);
717   end Is_Null;
718
719   ----------------
720   -- Real_Value --
721   ----------------
722
723   overriding function Real_Value
724    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
725       return AMF.Optional_Real is
726   begin
727      --  Generated stub: replace with real body!
728      pragma Compile_Time_Warning (Standard.True, "Real_Value unimplemented");
729      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Real_Value";
730      return Real_Value (Self);
731   end Real_Value;
732
733   ------------------
734   -- String_Value --
735   ------------------
736
737   overriding function String_Value
738    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
739       return AMF.Optional_String is
740   begin
741      --  Generated stub: replace with real body!
742      pragma Compile_Time_Warning (Standard.True, "String_Value unimplemented");
743      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.String_Value";
744      return String_Value (Self);
745   end String_Value;
746
747   ---------------------
748   -- Unlimited_Value --
749   ---------------------
750
751   overriding function Unlimited_Value
752    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
753       return AMF.Optional_Unlimited_Natural is
754   begin
755      --  Generated stub: replace with real body!
756      pragma Compile_Time_Warning (Standard.True, "Unlimited_Value unimplemented");
757      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Unlimited_Value";
758      return Unlimited_Value (Self);
759   end Unlimited_Value;
760
761   --------------------
762   -- All_Namespaces --
763   --------------------
764
765   overriding function All_Namespaces
766    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
767       return AMF.UML.Namespaces.Collections.Ordered_Set_Of_UML_Namespace is
768   begin
769      --  Generated stub: replace with real body!
770      pragma Compile_Time_Warning (Standard.True, "All_Namespaces unimplemented");
771      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.All_Namespaces";
772      return All_Namespaces (Self);
773   end All_Namespaces;
774
775   -------------------------
776   -- All_Owning_Packages --
777   -------------------------
778
779   overriding function All_Owning_Packages
780    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
781       return AMF.UML.Packages.Collections.Set_Of_UML_Package is
782   begin
783      --  Generated stub: replace with real body!
784      pragma Compile_Time_Warning (Standard.True, "All_Owning_Packages unimplemented");
785      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.All_Owning_Packages";
786      return All_Owning_Packages (Self);
787   end All_Owning_Packages;
788
789   -----------------------------
790   -- Is_Distinguishable_From --
791   -----------------------------
792
793   overriding function Is_Distinguishable_From
794    (Self : not null access constant OCL_Expression_In_Ocl_Proxy;
795     N : AMF.UML.Named_Elements.UML_Named_Element_Access;
796     Ns : AMF.UML.Namespaces.UML_Namespace_Access)
797       return Boolean is
798   begin
799      --  Generated stub: replace with real body!
800      pragma Compile_Time_Warning (Standard.True, "Is_Distinguishable_From unimplemented");
801      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Is_Distinguishable_From";
802      return Is_Distinguishable_From (Self, N, Ns);
803   end Is_Distinguishable_From;
804
805   ---------------
806   -- Namespace --
807   ---------------
808
809   overriding function Namespace
810    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
811       return AMF.UML.Namespaces.UML_Namespace_Access is
812   begin
813      --  Generated stub: replace with real body!
814      pragma Compile_Time_Warning (Standard.True, "Namespace unimplemented");
815      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Namespace";
816      return Namespace (Self);
817   end Namespace;
818
819   --------------------
820   -- Qualified_Name --
821   --------------------
822
823   overriding function Qualified_Name
824    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
825       return League.Strings.Universal_String is
826   begin
827      --  Generated stub: replace with real body!
828      pragma Compile_Time_Warning (Standard.True, "Qualified_Name unimplemented");
829      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Qualified_Name";
830      return Qualified_Name (Self);
831   end Qualified_Name;
832
833   ---------------
834   -- Separator --
835   ---------------
836
837   overriding function Separator
838    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
839       return League.Strings.Universal_String is
840   begin
841      --  Generated stub: replace with real body!
842      pragma Compile_Time_Warning (Standard.True, "Separator unimplemented");
843      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Separator";
844      return Separator (Self);
845   end Separator;
846
847   ------------------------
848   -- All_Owned_Elements --
849   ------------------------
850
851   overriding function All_Owned_Elements
852    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
853       return AMF.UML.Elements.Collections.Set_Of_UML_Element is
854   begin
855      --  Generated stub: replace with real body!
856      pragma Compile_Time_Warning (Standard.True, "All_Owned_Elements unimplemented");
857      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.All_Owned_Elements";
858      return All_Owned_Elements (Self);
859   end All_Owned_Elements;
860
861   -------------------
862   -- Must_Be_Owned --
863   -------------------
864
865   overriding function Must_Be_Owned
866    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
867       return Boolean is
868   begin
869      --  Generated stub: replace with real body!
870      pragma Compile_Time_Warning (Standard.True, "Must_Be_Owned unimplemented");
871      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Must_Be_Owned";
872      return Must_Be_Owned (Self);
873   end Must_Be_Owned;
874
875   ---------------------------
876   -- Is_Template_Parameter --
877   ---------------------------
878
879   overriding function Is_Template_Parameter
880    (Self : not null access constant OCL_Expression_In_Ocl_Proxy)
881       return Boolean is
882   begin
883      --  Generated stub: replace with real body!
884      pragma Compile_Time_Warning (Standard.True, "Is_Template_Parameter unimplemented");
885      raise Program_Error with "Unimplemented procedure OCL_Expression_In_Ocl_Proxy.Is_Template_Parameter";
886      return Is_Template_Parameter (Self);
887   end Is_Template_Parameter;
888
889   -------------------
890   -- Enter_Element --
891   -------------------
892
893   overriding procedure Enter_Element
894    (Self    : not null access constant OCL_Expression_In_Ocl_Proxy;
895     Visitor : in out AMF.Visitors.Abstract_Visitor'Class;
896     Control : in out AMF.Visitors.Traverse_Control) is
897   begin
898      if Visitor in AMF.Visitors.OCL_Visitors.OCL_Visitor'Class then
899         AMF.Visitors.OCL_Visitors.OCL_Visitor'Class
900          (Visitor).Enter_Expression_In_Ocl
901            (AMF.OCL.Expression_In_Ocls.OCL_Expression_In_Ocl_Access (Self),
902           Control);
903      end if;
904   end Enter_Element;
905
906   -------------------
907   -- Leave_Element --
908   -------------------
909
910   overriding procedure Leave_Element
911    (Self    : not null access constant OCL_Expression_In_Ocl_Proxy;
912     Visitor : in out AMF.Visitors.Abstract_Visitor'Class;
913     Control : in out AMF.Visitors.Traverse_Control) is
914   begin
915      if Visitor in AMF.Visitors.OCL_Visitors.OCL_Visitor'Class then
916         AMF.Visitors.OCL_Visitors.OCL_Visitor'Class
917          (Visitor).Leave_Expression_In_Ocl
918            (AMF.OCL.Expression_In_Ocls.OCL_Expression_In_Ocl_Access (Self),
919           Control);
920      end if;
921   end Leave_Element;
922
923   -------------------
924   -- Visit_Element --
925   -------------------
926
927   overriding procedure Visit_Element
928    (Self     : not null access constant OCL_Expression_In_Ocl_Proxy;
929     Iterator : in out AMF.Visitors.Abstract_Iterator'Class;
930     Visitor  : in out AMF.Visitors.Abstract_Visitor'Class;
931     Control  : in out AMF.Visitors.Traverse_Control) is
932   begin
933      if Iterator in AMF.Visitors.OCL_Iterators.OCL_Iterator'Class then
934         AMF.Visitors.OCL_Iterators.OCL_Iterator'Class
935          (Iterator).Visit_Expression_In_Ocl
936            (Visitor,
937             AMF.OCL.Expression_In_Ocls.OCL_Expression_In_Ocl_Access (Self),
938           Control);
939      end if;
940   end Visit_Element;
941
942end AMF.Internals.OCL_Expression_In_Ocls;
943