1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
|
package Discr54_Pkg is
type E_TYPE is (A_KIND, B_KIND, C_KIND, X_KIND);
type DR0 (V : E_TYPE) is tagged
record
I0 : INTEGER;
case V is
when A_KIND | B_KIND =>
I1 : INTEGER;
I2 : INTEGER;
when C_KIND | X_KIND =>
I3 : INTEGER;
end case;
end record;
type DN1 is new DR0 (V => A_KIND) with
record
I4 : INTEGER;
I5 : INTEGER;
end record;
type DR1 (W : E_TYPE) is new DR0 (V => A_KIND) with
record
I4 : INTEGER;
case W is
when A_KIND | B_KIND =>
I5 : INTEGER;
when C_KIND | X_KIND =>
I6 : INTEGER;
end case;
end record;
type DD1 (W : E_TYPE; V : E_TYPE) is new DR0 (V => V) with
record
I4 : INTEGER;
case W is
when A_KIND | B_KIND =>
I5 : INTEGER;
when C_KIND | X_KIND =>
I6 : INTEGER;
end case;
end record;
type DR2 is new DR1 (W => A_KIND) with
record
I7 : INTEGER;
end record;
V0 : constant DR0 := DR0'(I0 => 0,
V => A_KIND,
I1 => 0,
I2 => 0
);
N1 : constant DN1 := DN1'(V => A_KIND,
I0 => 0,
I1 => 0,
I2 => 0,
I4 => 0,
I5 => 0);
N2 : constant DN1 := DN1'(V => A_KIND,
I0 => 0,
I1 => 0,
I2 => 0,
I4 => 0,
I5 => 0);
D1 : constant DD1 := DD1'(W => A_KIND,
V => A_KIND,
I0 => 0,
I1 => 0,
I2 => 0,
I4 => 0,
I5 => 0);
V1 : constant DR1 := DR1'(W => A_KIND,
I0 => 0,
I1 => 0,
I2 => 0,
I4 => 0,
I5 => 0);
V3 : constant DR2 := DR2'(V1 with I7 => 0);
V2 : constant DR2 := DR2'(
-- V => A_KIND, -- needed???
W => A_KIND,
I0 => 0,
I1 => 1,
I2 => 2,
I4 => 4,
I5 => 5,
I7 => 7);
pragma Assert (
V2.I0 = 0
and then V2.I1 = 1
and then V2.I1 = 1
and then V2.I2 = 2
and then V2.I4 = 4
and then V2.I5 = 5
and then V2.I7 = 1);
end Discr54_Pkg;
|
