blob: dfc9744079b806afc345d0ade7a9c94ed8dd4bfc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
package Debug6_Pkg is
type Vkind is (Int, Undefined);
for Vkind use (Int => -2 ** 31, Undefined => 0);
type Value (Kind : Vkind) is record
case Kind is
when Undefined => null;
when Int => Value : Integer;
when others => null;
end case;
end record;
procedure Process (V : Value);
end Debug6_Pkg;
|