Overview
| Comment: | chunked_strings-tests-coverage: cover all chunked_string/string comparisons |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
8e908202db0bfe802ddf4e16c3f6c90c |
| User & Date: | nat on 2013-10-03 20:16:52 |
| Other Links: | manifest | tags |
Context
|
2013-10-04
| ||
| 19:17 | string_slices-slice_sets: new package for sets of slices of a common parent string check-in: 525e25f293 user: nat tags: trunk | |
|
2013-10-03
| ||
| 20:16 | chunked_strings-tests-coverage: cover all chunked_string/string comparisons check-in: 8e908202db user: nat tags: trunk | |
|
2013-10-02
| ||
| 21:17 | chunked_strings-tests-coverage: cover all Index_Error exceptions check-in: 63f44b78d4 user: nat tags: trunk | |
Changes
Modified tests/natools-chunked_strings-tests-coverage.adb from [6de21a0d6b] to [500a15f162].
| ︙ | ︙ | |||
441 442 443 444 445 446 447 448 449 450 451 452 453 454 |
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
| > > > > > > > > > > > > > > > > > > > > > > > > > > | 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
|
| ︙ | ︙ |