3 with Ada.Finalization; use Ada;
6 type Buffer_Type is limited interface;
8 type Handle is new Finalization.Limited_Controlled and Buffer_Type with
10 pragma Preelaborable_Initialization(Handle);
12 type Ptr is access all String;
13 Null_Handle : constant Handle;
16 type Handle is new Finalization.Limited_Controlled and Buffer_Type with
21 Null_Handle : constant Handle :=
22 (Finalization.Limited_Controlled with Data => null);