128
129
130
131
132
133
134
135
|
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
|
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
|
while Info_Lists.Has_Element (Cursor) loop
Object.Report.Info (Info_Lists.Element (Cursor));
Info_Lists.Next (Cursor);
end loop;
end if;
end Finalize;
procedure Generic_Check
(Object : in out Test;
Expected : in Result;
Found : in Result;
Label : in String := "") is
begin
if Expected /= Found then
if Multiline then
Fail (Object, Label);
Info (Object, "Expected: " & Image (Expected));
Info (Object, "Found: " & Image (Found));
elsif Label /= "" then
Fail (Object, Label
& ": expected " & Image (Expected)
& ", found " & Image (Found));
else
Fail (Object, "Expected " & Image (Expected)
& ", found " & Image (Found));
end if;
end if;
end Generic_Check;
end Natools.Tests;
|