******************************************************* 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:29:08.75 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 -- Clock 13 -- 14 -- Description: 15 -- Provides a "current time" for each system cycle. 16 -- 17 ------------------------------------------------------------------ 18 with BasicTypes, 19 Time, 20 Time.Interface; 21 22 --# inherit BasicTypes, 23 --# Time, 24 --# Time.Interface; 25 26 package Clock 27 --# own CurrentTime; 28 is 29 30 ------------------------------------------------------------------ 31 -- Types 32 -- 33 ------------------------------------------------------------------ 34 35 ------------------------------------------------------------------ 36 -- Poll 37 -- 38 -- Description: 39 -- Reads the system clock, and updates the internal CurrentTime. 40 -- 41 -- Traceunit: C.Clock.Poll 42 -- Traceto: FD.Interface.PollTime 43 ------------------------------------------------------------------ 44 45 procedure Poll; 46 --# global in Time.Interface.Now; 47 --# out CurrentTime; 48 --# derives CurrentTime from Time.Interface.Now; 49 50 ------------------------------------------------------------------ 51 -- TheCurrentTime 52 -- 53 -- Description: 54 -- Returns CurrentTime recorded at the last poll. 55 -- 56 -- Traceunit: C.Clock.TheCurrentTime 57 -- Traceto: FD.RealWorld.State 58 ------------------------------------------------------------------ 59 60 function TheCurrentTime return Time.T; 61 --# global CurrentTime; 62 63 -- ------------------------------------------------------------------ 64 -- -- GetNow 65 -- -- 66 -- -- Description: 67 -- -- Returns the system time now. 68 -- -- 69 -- -- Traceunit: C.Clock.GetNow 70 -- -- Traceto: FD.MonitoredRealWorld.State 71 -- ------------------------------------------------------------------ 72 -- 73 -- function GetNow return Time.T; 74 -- --# global Now; 75 76 end Clock; 77 78 79 80 81 82 1 summarized warning(s), comprising: 1 use(s) of Ada2005 reserved words --End of file--------------------------------------------------