6 procedure test_time_stamp
is
7 S
: constant String := Current_Time
;
9 function NN
(S
: String) return Boolean is
12 if S
(J
) not in '0' .. '9' then
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))