Overview
| Comment: | string_slice_set_tests: test Add_Slice with empty range |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
127bb5a0ae86fb814e911120ba5d1c37 |
| 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 |
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 := 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) & '"');
| > > > > > > > | 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) & '"');
|
| ︙ | ︙ |