1----------------------------------------------------------------
2-- IRONSIDES - DNS SERVER
3--
4-- By: Martin C. Carlisle and Barry S. Fagin
5--     Department of Computer Science
6--     United States Air Force Academy
7--
8-- This is free software; you can redistribute it and/or
9-- modify without restriction.  We do ask that you please keep
10-- the original author information, and clearly indicate if the
11-- software has been modified.
12--
13-- This software is distributed in the hope that it will be useful,
14-- but WITHOUT ANY WARRANTY; without even the implied warranty
15-- of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
16----------------------------------------------------------------
17
18PACKAGE Unsigned_Types IS
19   type Unsigned8 is mod 2**8; --SPARK caught missing * here, impressive!
20   type Unsigned16 is mod 2**16;
21   type Unsigned32 is mod 2**32;
22   MAX_8BIT_VAL : constant natural := 2**8-1;
23   MAX_16BIT_VAL : constant Natural := 2**16-1;
24   MAX_32BIT_VAL : constant long_long_integer := 2**32-1;
25end unsigned_types;
26