Re: Ensuring resource cleanup

[Jean-Pierre Rosen <rosen@adalog.fr>]

Florian Weimer a �crit :

>   declare
>      X : Object;
>   
>   begin
>      Init (X);
>      begin
>         Make_Use_Of (X);
>      exception
>         when others =>
>            Cleanup (X);
>            raise;
>      end;
>      Cleanup (X);
>   end;
> 
> But I'd really have a tool that ensures that Init and Cleanup calls
> are properly paired in this way.
> 
Such a tool exists, of course ;-). AdaControl rule Unsafe_Paired_Calls.

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr