From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 12 Dec 91 22:49:03 GMT
From: eachus@mitre-bedford.arpa  (Robert I. Eachus)
Subject: Re: 'SIZE attribute of a type
Message-ID: <EACHUS.91Dec12144903@Dr_No.mitre.org>
List-Id: <comp.lang.ada>

In article <5901@email.sp.unisys.com> parkhill@email.sp.unisys.com (parkhill) w
rites:

   If I am correctly understanding the interpretation of Type_Name'Size
   the attribute should return the minimum number of bits objects of this
   type might require...

   I believe Object_Name'Size returns the actual storage used for an object.
   There is little correlation between Object_Name'Size and Type_Name'Size.

   If I am wrong anyone feel free to post a correction. I am clearly NOT an
   Ada expert.

-- Pretty much right.  The only thing missing is that if the size of a
-- type is set using a size clause, type'size, subtype'SIZE, and
-- object'SIZE are all equal to the value set by the size clause.  In
-- other words, if you ask for a specific size, that is the size for
-- everything of that type.  (Except a record component whose size is
-- set differently by a record representation clause.)

--

					Robert I. Eachus

with STANDARD_DISCLAIMER;
use  STANDARD_DISCLAIMER;
function MESSAGE (TEXT: in CLEVER_IDEAS) return BETTER_IDEAS is...