comp.lang.ada
 help / color / mirror / Atom feed
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Subject: Re: Rep Spec Report with ASIS
Date: 2 Feb 2002 15:29:06 -0600
Date: 2002-02-02T15:29:06-06:00	[thread overview]
Message-ID: <6Px$zvH50rZP@eisner.encompasserve.org> (raw)
In-Reply-To: xrV68.6402$P87.3738368124@newssvr14.news.prodigy.com

In article <xrV68.6402$P87.3738368124@newssvr14.news.prodigy.com>, tmoran@acm.org writes:
>>think it wouldn't be terribly hard to walk throught the declarations,
>>find record type definitions, and generate a Representation
>>Specification Report for each one - would it?
>   Do you mean scan
>     type R is record
>       A : Boolean;
>       B : Integer;
>     end record;
> and produce something like
>     for R use record
>       B at 0 range 0 .. 15;
>       A at 2 range 0 .. 7;
>     end record;
> Only the compiler can do that because only the compiler knows how
> big its Integer, Boolean, etc are and how it optimally arranges
> them in a non-rep-speced record.

The compiler also may change its mind regarding the meaning of
"optimally" based on user-supplied controls.



  reply	other threads:[~2002-02-02 21:29 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-02-02 14:33 Rep Spec Report with ASIS John Cupak
2002-02-02 17:35 ` tmoran
2002-02-02 21:29   ` Larry Kilgallen [this message]
2002-02-02 22:51 ` Robert Dewar
2002-02-03  0:34   ` Jeffrey Creem
2002-02-03 10:29     ` Steven Hovater
2002-02-03 13:40       ` Jeffrey Creem
replies disabled

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