Re: strings and multidimensional arrays

[Jeffrey Carter <spam@spam.com>]

Robert I. Eachus wrote:

> type Contents_Type is (None, Integer_Data, Some_String, 
> Integer_and_String, Subprogram_Access, ...);
> 
> type Contents(CT: Contents_Type := None) is record
>   case CT is
>     when None => null;
>     when Integer_Data => I: Integer;
>     when Some_String => U: Ada.Strings.Unbounded.Unbounded_String;
>     when Integer_and_String =>
>       The_Integer: Integer;
>       The_String: Ada.Strings.Unbounded.Unbounded_String;
>     when Subprogram_Access => FP: Function_Pointer;
>     when ...
>   end case;
> end record;
> 
> type Element is record
>    C: Contents := (CT => None);
> end record;
> 
> type My_Array is array(Natural range <>; Natural range <>) of Element;

This is along the lines of what I was going to suggest. I don't 
understand, though, why you wrapped the Contents record in the Element 
record. I would simply say

type Thing is array (Positive range <>, Positive range <>) of CT;

Since you're a language lawyer and I'm not, I guess I'm missing 
something here, and wonder what it is.

-- 
Jeff Carter
"I've got to stay here, but there's no reason
why you folks shouldn't go out into the lobby
until this thing blows over."
Horse Feathers
50