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,703b1789254e284a
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-02-02 13:29:09 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.cwix.com!news.binc.net!kilgallen
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Newsgroups: comp.lang.ada
Subject: Re: Rep Spec Report with ASIS
Date: 2 Feb 2002 15:29:06 -0600
Organization: LJK Software
Message-ID: <6Px$zvH50rZP@eisner.encompasserve.org>
References: <PMS68.69384$Ln2.15233029@typhoon.ne.mediaone.net>
 <xrV68.6402$P87.3738368124@newssvr14.news.prodigy.com>
NNTP-Posting-Host: eisner.encompasserve.org
X-Trace: grandcanyon.binc.net 1012685348 32701 192.135.80.34 (2 Feb 2002
 21:29:08 GMT)
X-Complaints-To: abuse@binc.net
NNTP-Posting-Date: Sat, 2 Feb 2002 21:29:08 +0000 (UTC)
Xref: archiver1.google.com comp.lang.ada:19537
Date: 2002-02-02T15:29:06-06:00
List-Id: <comp.lang.ada>

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.