Re: variant record and pointer

["Frank J. Lhota" <NOSPAM.lhota.adarose@verizon.net>]

This is your question, but have you considered using tagged types instead of
variant records? You could declare your shape types as follows:

   type Shape;
   type Pointer is access all Shape'Class;

   type Shape is abstract tagged
      record
         Ptr     : Pointer;
         Special : Unbounded_String;
      end record;

   type Circle is new Shape with
      record
         Diameter : Natural;
      end record;

   type Square is new Shape with
      record
         Side : Natural;
      end record;

   type Triangle is new Shape with
      record
         Edge_1,
         Edge_2,
         Edge_3 : Natural;
      end record;

This would allow you to derive additional shapes (for example, Rectangle)
later, without impacting existing code. Moreover, you could write overloaded
subprograms that can dispatch at runtime, e.g.

    function Perimeter( X : in Shape ) return Float is abstract;

    function Perimeter( X : in Circle ) return Float;
    function Perimeter( X : in Square ) return Float;
    function Perimeter( X : in Triangle ) return Float;

    -- ...
    Pointer s;
    --

    Len := Perimeter( s.all );
    -- This calls the right Perimeter function,
    -- even if we cannot determine the type of s.all until runtime.