842
843
844
845
846
847
848
849
850
851
852
853
854
855
|
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);
|