From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,LOTS_OF_MONEY
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c7a5c447f88aecaa
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-09 14:42:11 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!sn-xit-03!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Matthew Heaney" <mheaney@on2.com>
Newsgroups: comp.lang.ada
Subject: Re: Pre-Elaboration clarification.
Date: Fri, 9 Nov 2001 17:45:35 -0500
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <tuomu32t6sb9@corp.supernews.com>
References: <YAyF7.232247$K6.111187950@news2>
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4807.1700
X-Complaints-To: newsabuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:16178
Date: 2001-11-09T17:45:35-05:00
List-Id: <comp.lang.ada>


"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;