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
|
package Pack22_Pkg is
type byte is mod 256;
Temp_buffer : array (0..8) of byte:= (others => 0);
for Temp_buffer'Alignment use 2;
subtype Id is Short_integer;
generic
Dummy : Integer := 0;
package Bit_Map_Generic is
type List is private;
function "xor" (L, R : List) return List;
private
type Offset_T is range 0 .. Id'Last;
type Counter_T is new short_integer;
for Counter_T'Size use 16;
type Bit_List is array (Id range <>) of Boolean;
pragma Pack (Bit_List);
type List_Counter_T (Is_Defined : Boolean := True) is
record
Dummy : Boolean := False;
case Is_Defined is
when True =>
Counter : Counter_T := 0;
when False =>
null;
end case;
end record;
for List_Counter_T use
record
Is_Defined at 0 range 0 .. 7;
Dummy at 1 range 0 .. 7;
Counter at 2 range 0 .. 15;
end record;
type List is
record
Offset : Offset_T := Offset_T (1) - 1;
Counter : List_Counter_T;
Bits : Bit_List (1 .. 6);
end record;
for List use
record
Offset at 0 range 0 .. 15;
Counter at 2 range 0 .. 31;
end record;
type Iterator is
record
No_More_Id : Boolean := True;
Current_Id : Id;
The_List : List;
end record;
end Bit_Map_Generic;
end Pack22_Pkg;
|
