blob: 898e37a67d1781f54273db0a4f32662b7a8c59e2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
with System;
package Frame_Overflow is
type Bitpos_Range_T is range 1..2**(System.Word_Size-1)-1;
type Bitmap_Array_T is array (Bitpos_Range_T) of Boolean;
type Bitmap_T is record
Bits : Bitmap_Array_T := (others => False);
end record;
function
Set_In (Bitmap : Bitmap_T; Bitpos : Bitpos_Range_T) return Bitmap_T;
function Negate (Bitmap : Bitmap_T) return Bitmap_T;
end Frame_Overflow;
|
