1-- { dg-do run } 2 3with GNAT.Time_Stamp; 4use GNAT.Time_Stamp; 5 6procedure test_time_stamp is 7 S : constant String := Current_Time; 8 9 function NN (S : String) return Boolean is 10 begin 11 for J in S'Range loop 12 if S (J) not in '0' .. '9' then 13 return True; 14 end if; 15 end loop; 16 return False; 17 end NN; 18 19begin 20 if S'Length /= 22 21 or else S (5) /= '-' 22 or else S (8) /= '-' 23 or else S (11) /= ' ' 24 or else S (14) /= ':' 25 or else S (17) /= ':' 26 or else S (20) /= '.' 27 or else NN (S (1 .. 4)) 28 or else NN (S (6 .. 7)) 29 or else NN (S (9 .. 10)) 30 or else NN (S (12 .. 13)) 31 or else NN (S (15 .. 16)) 32 or else NN (S (18 .. 19)) 33 or else NN (S (21 .. 22)) 34 then 35 raise Program_Error; 36 end if; 37end; 38