******************************************************* 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 : 08-APR-2010 11:36:20.73 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.SparkInterface 13 -- 14 -- Description: 15 -- SparkInterface to the system clock. 16 -- 17 ------------------------------------------------------------------ 18 with Clock, -- non dovrebbe essere naturale? 19 Time; 20 --# inherit Clock, 21 --# Time; 22 23 private package Clock.SparkInterface 24 --# own in Now; 25 is 26 27 ------------------------------------------------------------------ 28 -- Types 29 -- 30 ------------------------------------------------------------------ 31 32 33 ------------------------------------------------------------------ 34 -- TheTime 35 -- 36 -- Description: 37 -- returns the current time from the system clock. 38 -- 39 40 procedure TheTime(Year, Month, Day, Sec : out Integer ); 41 --# global in Now; 42 --# derives Year, Day, Month, Sec from Now; 43 -- ------------------------------------------------------------------ 44 -- function TheTime return Time.T; 45 -- --# global in Now; 46 -- 47 -- ------------------------------------------------------------------ 48 -- -- AddDuration 49 -- -- 50 -- -- Description: 51 -- -- Adds a duration to a time. 52 -- -- 53 -- ------------------------------------------------------------------ 54 -- function AddDuration ( T : Time.T ; D : Time.DurationT ) 55 -- return Time.T; 56 -- 57 -- ------------------------------------------------------------------ 58 -- -- IsValidTime 59 -- -- 60 -- -- Description: 61 -- -- Uses system calls to check that the supplied time is valid. 62 -- -- 63 -- ------------------------------------------------------------------ 64 -- function IsValidTime ( T : Time.T ) return Boolean; 65 66 end Clock.SparkInterface; --End of file--------------------------------------------------