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