blob: c189063a758074db3ef899d9308b6c114abfbbdd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
generic
type User_T is private;
package Deferred_Const4_Pkg is
type T is private;
Null_T : constant T;
private
type T (Valid : Boolean := False) is record
case Valid is
when True => Value : User_T;
when False => null;
end case;
end record;
Null_T : constant T := (Valid => False);
end Deferred_Const4_Pkg;
|