blob: 6f89374971cd1027239968fc8eced9af6d0d96ae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
package Incomplete3 is
type Output_T;
type Output_T is abstract tagged private;
type Tracer_T is tagged private;
function Get_Tracer (This : access Output_T'Class) return Tracer_T'class;
function Get_Output (This : in Tracer_T) return access Output_T'Class;
private
type Output_T is abstract tagged record
B : Boolean := True;
end record;
type Tracer_T is tagged record
Output : access Output_T'Class := null;
end record;
end Incomplete3;
|