441
442
443
444
445
446
447
448
449
450
451
452
453
454
|
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
|
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
|
NT.Info (Report, "Smaller >= CS_Name");
end if;
if CS_Name <= Smaller then
Report_Result (Name, Reported);
NT.Info (Report, "CS_Name <= Smaller");
end if;
Report_Result (Name, Reported, NT.Success);
exception
when Error : others => NT.Report_Exception (Report, Name, Error);
end;
declare
Name : constant String := "Comparisons of Chunked_Strings with Strings";
CS_Name : constant Chunked_String := To_Chunked_String (Name);
Double_Name : constant String := Name & Name;
Reported : Boolean := False;
begin
if CS_Name >= Double_Name then
Report_Result (Name, Reported);
NT.Info (Report, "CS_Name >= Double_Name");
end if;
if Null_Chunked_String >= Name then
Report_Result (Name, Reported);
NT.Info (Report, "Null_Chunked_String >= Name");
end if;
if CS_Name <= "" then
Report_Result (Name, Reported);
NT.Info (Report, "CS_Name <= """"");
end if;
Report_Result (Name, Reported, NT.Success);
exception
when Error : others => NT.Report_Exception (Report, Name, Error);
end;
declare
|