comp.lang.ada
 help / color / mirror / Atom feed
From: "Petter Fryklund" <qsbpefr@esavionics.se>
Subject: Exactly the prblem, how do we make a known constant value static?
Date: Fri, 19 Oct 2001 15:52:11 +0200
Date: 2001-10-19T15:52:11+02:00	[thread overview]
Message-ID: <9qp9ta$1pc$1@newstoo.ericsson.se> (raw)
In-Reply-To: 3BCF0D06.DD1D45F6@boeing.com

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





  reply	other threads:[~2001-10-19 13:52 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-10-17 15:18 unconstrainted arrays Alfred Hilscher
2001-10-17 15:35 ` Lutz Donnerhacke
2001-10-17 16:28   ` Alfred Hilscher
2001-10-18  7:42     ` Lutz Donnerhacke
2001-10-18 11:03       ` Rep spec still not possible Petter Fryklund
2001-10-18 12:44         ` Lutz Donnerhacke
2001-10-18 17:10           ` Jeffrey Carter
2001-10-19 13:52             ` Petter Fryklund [this message]
2001-10-20  0:04               ` Exactly the prblem, how do we make a known constant value static? James Rogers
2001-10-20  2:53               ` Jeffrey Carter
2001-10-22  8:11                 ` We still don't know how to make a " Petter Fryklund
2001-10-17 16:09 ` unconstrainted arrays Claude SIMON
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox