******************************************************* Listing of SPARK Text SPARK Examiner GPL Edition, Version 8.1.1, Build Date 20090505, Build 13202 Copyright (C) 2009 Praxis High Integrity Systems Ltd., Bath, U.K. ******************************************************* DATE : 15-APR-2010 10:27:55.39 Line 1 ------------------------------------------------------------------ 2 -- Tokeneer ID Station Core Software 3 -- 4 -- Copyright (2003) United States Government, as represented 5 -- by the Director, National Security Agency. All rights reserved. 6 -- 7 -- This material was originally developed by Praxis High Integrity 8 -- Systems Ltd. under contract to the National Security Agency. 9 ------------------------------------------------------------------ 10 11 ------------------------------------------------------------------ 12 -- BasicTypes 13 -- 14 -- Description: 15 -- A library of commonly used types. 16 -- 17 ------------------------------------------------------------------ 18 19 package BasicTypes is 20 21 type Unsigned32T is range 0 .. 2**32 - 1; 22 for Unsigned32T'Size use 32; 23 24 type Signed32T is range - (2**31) .. 2**31 - 1; 25 for Signed32T'Size use 32; 26 27 type ByteT is range 0..255; 28 for ByteT'Size use 8; 29 30 type PresenceT is (Present, Absent); 31 32 end BasicTypes; 3 summarized warning(s), comprising: 3 representation clause(s)* (*Note: the above warnings may affect the validity of the analysis.) --End of file--------------------------------------------------