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.4 required=5.0 tests=BAYES_00,SUBJ_ALL_CAPS
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,51359402da60c472
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-03 14:31:23 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: maa@liacc.up.pt (=?ISO-8859-1?Q?M=E1rio_Amado_Alves?=)
Newsgroups: comp.lang.ada
Subject: Re: DYNAMIC ADA TASK CREATION?
Date: 3 Jul 2003 14:31:22 -0700
Organization: http://groups.google.com/
Message-ID: <4a4de33a.0307031331.361c8b2c@posting.google.com>
References: <bcnrkj$m16$1@atlantis.news.tpi.pl> <3EF0026E.2050309@attbi.com>
 <bcqdof$dov$1@nemesis.news.tpi.pl> <3EF0F57D.9060507@attbi.com>
 <x7vr85q8xgw.fsf@smaug.pushface.org> <3EF15A7C.4030901@attbi.com>
 <1ec946d1.0306271654.636c1373@posting.google.com>
 <3EFD42B5.2060707@attbi.com> <0gpvfv49qaa0b62ab5m0kg39kka66sis8t@4ax.com>
 <1ec946d1.0306300701.77505dcf@posting.google.com>
 <4a4de33a.0307020405.776c4486@posting.google.com>
 <x7vvfukiuni.fsf@smaug.pushface.org>
NNTP-Posting-Host: 212.113.164.99
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1057267882 16923 127.0.0.1 (3 Jul 2003 21:31:22
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 3 Jul 2003 21:31:22 GMT
Xref: archiver1.google.com comp.lang.ada:40033
Date: 2003-07-03T21:31:22+00:00
List-Id: <comp.lang.ada>

> > "Why not:
> >    type Element (<>) is limited private;" (Dmitri)
> > 
> > "Because the type must be definite, of course! Otherwise, how would
> > you know how much space to allocate for the object?" (Matthew)
> > 
> > With the amazing 'Size attribute, of course! (Marius)
> 
> Am I missing something? I thought the point of indefinite types was
> that different objects of the type might have different sizes? (Simon)

It is. I was refering to Object'Size, not Type'Size, of course.
Type'Size for indefinite types is of course nonsense (ARM says
implementation defined). Object'Size tells you exactly "how much space
to allocate for the object". (Unless Matt's "object" is the container,
not the element. But is there any interesting container with an priori
known size, even for definite elements?)