Re: Pre-Elaboration clarification.

["Matthew Heaney" <mheaney@on2.com>]

"Clueless" <chris@dont.spam.me> wrote in message
news:YAyF7.232247$K6.111187950@news2...
> In my Ada spec file, I have the declaration...
>
> type Int_Data is array(1..Argument_Count) of Integer;

Don't do it this way.  Just declare an unconstrained array type:

type Integer_Array is array (Positive range <>) of Integer;

The spec that declares the Integer_Array type shouldn't depend on package
Command_Line.  This is unnecessary coupling between specs.

I'll be talking about this sort of thing at next year's Ada Europe
conference in Austria.  (Assuming the committee accepts my tutorial
proposal.)


> Now, as you may have guessed, the point of this declaration is to create
> an array of the type Integer that has as many elements as there are
> arguments on the command line.(To be used for assigning numbers to the
> array.)
>
> function Multiply(Some_numbers : in Int_Data) return Integer;
> in the same spec file.

function Multiply (N : in Integer_Array) return Integer;