Finalization and Declare blocks.

[Stapler <spam.magnet@yahoo.com>]

I'm currently a little fuzzy on how Ada compilers handle allocation and
de-allocation.

If I declare an Abstract Data Type(a limited record for example) in the
private part of a package, with a generic Item as one of it's elements,
and then I "with" that package in another package, can I instantiate the
data type without using "new" and also assume that the the Data Type will
be automatically de-allocated at the end of the declare block?

Or, within the declaration part of the declare block, could I derive the
Abstract Data Type from Ada.Finalization.Controlled and assume the
same?(That it will be automatically de-allocated at the end of the
declare block.)

I've been getting mixed messages, so I'm assuming it depends on who's
compiler I'm using.

Any pointers would be appreciated.

Stapler