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);