******************************************************* 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:57.53 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 C. Montangero. 8 -- Modificata il 24/3/2010-8/4/2010 per estrarre Time. 9 ------------------------------------------------------------------ 10 11 ------------------------------------------------------------------ 12 -- Clock 13 -- 14 -- Implementation Notes: 15 -- None. 16 -- 17 ------------------------------------------------------------------ 18 with Time,Time.Interface; 19 package body Clock 20 is 21 ------------------------------------------------------------------ 22 -- Types and constants 23 -- 24 ------------------------------------------------------------------ 25 -- 26 ------------------------------------------------------------------ 27 -- State 28 -- 29 ------------------------------------------------------------------ 30 CurrentTime : Time.T; 31 32 ------------------------------------------------------------------ 33 -- Public Operations 34 ------------------------------------------------------------------ 35 36 ------------------------------------------------------------------ 37 -- Poll 38 -- 39 -- Implementation Notes: 40 -- None. 41 -- 42 ------------------------------------------------------------------ 43 44 procedure Poll 45 is 46 begin 47 CurrentTime:=Time.Interface.GetNow; 48 end Poll; +++ Flow analysis of subprogram Poll performed: no errors found. 49 50 ------------------------------------------------------------------ 51 -- TheCurrentTime 52 -- 53 -- Implementation Notes: 54 -- None. 55 -- 56 ------------------------------------------------------------------ 57 58 function TheCurrentTime return Time.T 59 is 60 begin 61 return CurrentTime; 62 end TheCurrentTime; +++ Flow analysis of subprogram TheCurrentTime performed: no errors found. 63 64 end Clock; 2 summarized warning(s), comprising: 2 use(s) of Ada2005 reserved words --End of file--------------------------------------------------