Re: 'SIZE attribute of a type

[eachus@mitre-bedford.arpa (Robert I. Eachus)]

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...