******************************************************* 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.57 Line 1 with BasicTypes; 2 --# inherit BasicTypes, 3 --# Time; 4 package Time.Interface 5 --# own in Now; 6 is 7 function GetNow return Time.T; 8 --# global in Now; 9 10 function ValidTimeData 11 (Year : in BasicTypes.Unsigned32T; 12 Month : in BasicTypes.Unsigned32T; 13 Day : in BasicTypes.Unsigned32T; 14 TimeOfDay : in Time.DurationT) return Boolean; 15 16 ------------------------------------------------------------------ 17 -- ConstructTimeFromDuration 18 -- 19 -- Implementation Notes: 20 -- None. 21 -- 22 ------------------------------------------------------------------ 23 procedure ConstructTimeFromDuration 24 (Year : in BasicTypes.Unsigned32T; 25 Month : in BasicTypes.Unsigned32T; 26 Day : in BasicTypes.Unsigned32T; 27 TimeOfDay : in Time.DurationT; 28 TheTime : out Time.T; 29 Success : out Boolean); 30 --# derives TheTime, Success 31 --# from Year, 32 --# Month, 33 --# Day, 34 --# TimeOfDay; 35 36 ------------------------------------------------------------------ 37 -- AddDuration 38 -- 39 -- Implementation Notes: 40 -- None. 41 -- 42 ------------------------------------------------------------------ 43 -- function AddDuration 44 -- (TheTime : T; TheDuration : DurationT ) return T; 45 46 end Time.Interface; 2 summarized warning(s), comprising: 2 use(s) of Ada2005 reserved words --End of file--------------------------------------------------