TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Content-Transfer-Encoding:
7bit
Sender:
"Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
Subject:
From:
Jeffrey Carter <[log in to unmask]>
Date:
Mon, 20 Aug 2001 19:32:27 -0700
Content-Type:
text/plain; charset=us-ascii
MIME-Version:
1.0
Reply-To:
Jeffrey Carter <[log in to unmask]>
Parts/Attachments:
text/plain (20 lines)
[log in to unmask] wrote:
>
>    procedure Finalize (Item : Needs_Guaranteed_Heap_Cleanup) is
>    -- automatically called when Item exits scope.
>    -- client of Item cannot prevent it (or forget it).
>    begin
>       Free (Item.Pointer);
>       Finalize (Controlled(Item));
>    end Finalize;

According to ARM 7.6(9), "The (default) implementations of Initialize,
Adjust, and Finalize have no effect.", so this call to Finalize seems
superfluous.

--
Jeff Carter
"If you think you got a nasty taunting this time,
you ain't heard nothing yet!"
Monty Python and the Holy Grail

ATOM RSS1 RSS2