Re: Record rep specs for private components

[joe@petsd.UUCP (Joe Orost)]

In article <523@ajpo.sei.cmu.edu> eberard@ajpo.UUCP writes:
>If type a.aa is private, then its underlying implementation should be
>unknown outside of package a. This means that it should be impossible
>for another program unit to specify how much space an instance of this
>type should take up. [Of course, package a could supply operations
>which could provide alternative representations of known sizes, and
>these could be used in other program units.]
>
>In short, if the rep spec is legal Ada, it should not be, and should
>be fixed in Ada 9X.

According to AI-00551/02 (DRAFT):

"If a component type is a private type, the size allowed in a component
clause for the type is determined by applying the above rules to the full
declaration of the private type."

I agree.

				regards,
				joe

--

 Full-Name:  Joseph M. Orost
 UUCP:       rutgers!petsd!joe
 ARPA:	     petsd!joe@RUTGERS.EDU, joe@PETSD.CCUR.COM
 Phone:      (201) 758-7284
 US Mail:    MS 322; Concurrent Computer Corporation; 106 Apple St
             Tinton Falls, NJ 07724