blob: 8238258525113f2b866cb7a2c1ae38f32d9604a7 [file] [log] [blame]
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;