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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1ca6e1940d239274
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-10-19 06:51:41 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news.tele.dk!small.news.tele.dk!195.54.122.107!newsfeed1.bredband.com!bredband!newsfeed1.telenordia.se!algonet!uab.ericsson.se!erix.ericsson.se!newstoo.ericsson.se!not-for-mail
From: "Petter Fryklund" <qsbpefr@esavionics.se>
Newsgroups: comp.lang.ada
Subject: Exactly the prblem, how do we make a known constant value static?
Date: Fri, 19 Oct 2001 15:52:11 +0200
Organization: ericsson
Message-ID: <9qp9ta$1pc$1@newstoo.ericsson.se>
References: <3BCDA15C.2976AF2@icn.siemens.de>
 <slrn9sr99u.jv.lutz@taranis.iks-jena.de> <3BCDB1B0.52D3B04C@icn.siemens.de>
 <slrn9st1uo.hr.lutz@taranis.iks-jena.de> <9qmbk4$jhb$1@newstoo.ericsson.se>
 <slrn9stjku.hr.lutz@taranis.iks-jena.de> <3BCF0D06.DD1D45F6@boeing.com>
NNTP-Posting-Host: 172.17.76.206
X-Newsreader: Microsoft Outlook Express 4.72.2106.4
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.2106.4
Xref: archiver1.google.com comp.lang.ada:14934
Date: 2001-10-19T15:52:11+02:00
List-Id: <comp.lang.ada>

Sure, my mistake. It would have been correct if we had been working on
bytes, but still, how do we make a rep spec?

My_Array_Length : constant Integer :=  Integer ((Indices'Last -
Indices'First + 1) * 4 * 8);

I'm not sure what Lutz meant by comment it out, it works, above. Wouldn't
that depend on the implementation?


Jeffrey Carter wrote in message <3BCF0D06.DD1D45F6@boeing.com>...
>Lutz Donnerhacke wrote:
>>
>> * Petter Fryklund wrote:
>> >   generic
>> >      type Indices is range <>;
>> >   package Structure is
>> >      type My_Array is array (Indices) of Integer;
>> >
>> >      My_Array_Length : constant Integer :=
>> >        Integer ((Indices'Last - Indices'First + 1) * 8);
>
>
>This seems wrong. What you want is probably My_Array'Size. Since it's
>not static, the value is useless for a rep clause anyway.
>
>--
>Jeffrey Carter