Natools

Check-in [8e908202db]
Login
Overview
Comment:chunked_strings-tests-coverage: cover all chunked_string/string comparisons
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 8e908202db0bfe802ddf4e16c3f6c90c50b7d903
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
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