Re: Stream_Element_Array and an empty array

["Samuel T. Harris" <u61783@gsde.hou.us.ray.com>]

Philip Anderson wrote:
> 
> "Samuel T. Harris" wrote:
> >
> <snip>
> > Given that in the above text A is a variable,
> > no assignment is necesary. If you must have
> > an assignment, or an initial expression
> > because it is constant, then you can
> > do the following ...
> >
> > nil : constant stream_element_array (1..0) := (others => 0);
> > ...
> > a := nil;
> 
> That must the clearest Ada way of obtaining a zero-length array of a
> particular type; declare an example and give it a suitable name (Nil,
> Empty_Array, Zero_Length_Array, whatever), since the result of this
> particular Ada idiom is easier to understand given this clue.  It then
> becomes obvious what you are doing when you pass it as a parameter.
> 

Thanks for that.

For years (decades) I have made is a habit to always
define a nil constant for any interesting type.
Even my record types, whose every field declaration
has a default initial expression, also gets a nil_type
constant.

Along those lines, I also define width, image, and value
functions so I get easy instrumentation or I/O facilities
nearly for free.

-- 
Samuel T. Harris, Senior Software Engineer II
Raytheon, Aerospace Engineering Services
"If you can make it, We can fake it!"