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) & '"');
|