Re: DYNAMIC ADA TASK CREATION?

[maa@liacc.up.pt (Mário Amado Alves)]

> > "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?)