Natools

Check-in [7b0c5022d4]
Login

Check-in [7b0c5022d4]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:string_slice_set_tests: new test case showing a bug in Subset
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 7b0c5022d4013eaed6a6f1840934e6678ea6491c
User & Date: nat 2013-11-13 19:48:08.649
Context
2013-11-14
22:56
string_slices-slice_sets: fix Subset bug when lower bound is between slices check-in: 5bfb52fc1f user: nat tags: trunk
2013-11-13
19:48
string_slice_set_tests: new test case showing a bug in Subset check-in: 7b0c5022d4 user: nat tags: trunk
2013-11-02
13:59
indefinite_holders: new package containing an Ada 2005 implementation of Ada 2012 indefinite holders check-in: 6e22289101 user: nat tags: trunk
Changes
Unified Diff Ignore Whitespace Patch
Changes to tests/natools-string_slice_set_tests.adb.
︙︙
842
843
844
845
846
847
848














849
850
851
852
853
854
855

         if Subset.To_String
           /= Parent_String (First + 1 .. Middle_First - 2)
         then
            Info_Fail (Report, Name, Reported, "Expected """
              & Parent_String (First + 1 .. Middle_First - 2) & '"');
            Dump (Report, Subset);
         end if;














      end;

      if not Reported then
         Report.Item (Name, NT.Success);
      end if;
   exception
      when Error : others => Report.Report_Exception (Name, Error);








>
>
>
>
>
>
>
>
>
>
>
>
>
>








842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869

         if Subset.To_String
           /= Parent_String (First + 1 .. Middle_First - 2)
         then
            Info_Fail (Report, Name, Reported, "Expected """
              & Parent_String (First + 1 .. Middle_First - 2) & '"');
            Dump (Report, Subset);
         end if;

         Set.Clear;
         Set.Include_Slice (20, 23);
         Set.Include_Slice (25, 30);
         Set.Include_Slice (32, 38);
         Subset := Set.Subset (24, 38);
         if Subset.To_String
           /= Parent_String (25 .. 30) & Parent_String (32 .. 38)
         then
            Info_Fail (Report, Name, Reported, "Expected """
              & Parent_String (25 .. 30) & Parent_String (32 .. 38) & '"');
            Dump (Report, Set);
            Dump (Report, Subset);
         end if;
      end;

      if not Reported then
         Report.Item (Name, NT.Success);
      end if;
   exception
      when Error : others => Report.Report_Exception (Name, Error);
︙︙