annotate gcc/testsuite/gnat.dg/discr32_pkg.ads @ 138:fc828634a951

merge
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 08 Nov 2018 14:17:14 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 package Discr32_Pkg is
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 type Enum is (One, Two, Three);
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 type R (D : Enum) is record
kono
parents:
diff changeset
6 case D is
kono
parents:
diff changeset
7 when One => B : Boolean;
kono
parents:
diff changeset
8 when Two => I : Integer;
kono
parents:
diff changeset
9 when Three => F : Float;
kono
parents:
diff changeset
10 end case;
kono
parents:
diff changeset
11 end record;
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 for R use record
kono
parents:
diff changeset
14 D at 0 range 0 .. 1;
kono
parents:
diff changeset
15 B at 1 range 0 .. 0;
kono
parents:
diff changeset
16 I at 4 range 0 .. 31 + 128;
kono
parents:
diff changeset
17 -- F at 4 range 0 .. 31;
kono
parents:
diff changeset
18 end record;
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 subtype R1 is R (One);
kono
parents:
diff changeset
21 subtype R2 is R (Two);
kono
parents:
diff changeset
22 subtype R3 is R (Three);
kono
parents:
diff changeset
23
kono
parents:
diff changeset
24 end Discr32_Pkg;