blob: 7332e84b74d81ea0cac674af4e413440f39879e5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
with System;
package Thin_Pointer1 is
type Stream is array (Integer range <>) of Character;
type Stream_Ptr is access Stream;
for Stream_Ptr'Size use Standard'Address_Size;
type Buf is record
A : System.Address;
end record;
type Buf_Wrapper is record
B : Buf;
end record;
type Buf_Ptr is access Buf_Wrapper;
procedure Set_Buffer (AD : Buf_Ptr; Buffer : Stream_ptr);
end Thin_Pointer1;
|
