296
297
298
299
300
301
302
303
304
305
306
307
308
309
|
(1937, 01, 01, 12, 0, 27, 0.87, False, 20), 20),
Value ("1937-01-01T12:00:27.87+00:20"),
"[5] Noon in the Netherlands:");
Check (Test, Now,
Value (RFC_3339.Image (Now.Time, Subsecond_Digits => 9)),
"[6] Round trip with current time:");
exception
when Error : others => Test.Report_Exception (Error);
end Read_From_RFC_3339;
procedure Write_As_RFC_3339 (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Ada.Calendar.Time -> RFC-3339");
|
>
>
>
>
>
>
>
>
>
>
|
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
|
(1937, 01, 01, 12, 0, 27, 0.87, False, 20), 20),
Value ("1937-01-01T12:00:27.87+00:20"),
"[5] Noon in the Netherlands:");
Check (Test, Now,
Value (RFC_3339.Image (Now.Time, Subsecond_Digits => 9)),
"[6] Round trip with current time:");
declare
Time : Extended_Time;
begin
RFC_3339.Value ("1990-11-31T23:59:60Z", Time.Time, Time.Offset);
Test.Fail ("No exception on 1990-11-31, found " & Image (Time));
exception
when Ada.Calendar.Time_Error =>
null;
end;
exception
when Error : others => Test.Report_Exception (Error);
end Read_From_RFC_3339;
procedure Write_As_RFC_3339 (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Ada.Calendar.Time -> RFC-3339");
|