Natools

Check-in [127bb5a0ae]
Login
Overview
Comment:string_slice_set_tests: test Add_Slice with empty range
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 127bb5a0ae86fb814e911120ba5d1c37765bf7e0
User & Date: nat on 2013-11-01 13:37:46
Other Links: manifest | tags
Context
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
2013-11-01
13:37
string_slice_set_tests: test Add_Slice with empty range check-in: 127bb5a0ae user: nat tags: trunk
2013-10-30
21:26
string_slice_set_tests: extra tests on slice iterators check-in: 20f11298fe user: nat tags: trunk
Changes

Modified tests/natools-string_slice_set_tests.adb from [25da54231a] to [987430bedb].

826
827
828
829
830
831
832







833
834
835
836
837
838
839
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846







+
+
+
+
+
+
+








         Subset := Set.Subset (Parent_String'First, Last);
         if Subset /= Set then
            Info_Fail (Report, Name, Reported, "Expected equal subset");
            Dump (Report, Set);
            Dump (Report, Subset);
         end if;

         Subset.Add_Slice (First, First - 1);
         if Subset /= Set then
            Info_Fail (Report, Name, Reported, "Expected no-op Add_Slice");
            Dump (Report, Set);
            Dump (Report, Subset);
         end if;

         Subset := Set.Subset (First + 1, Middle_First - 2);
         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) & '"');