157
158
159
160
161
162
163
164
165
166
167
168
169
170
|
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
|
+
+
+
+
+
|
Test_Render (Test, "(image (-2 two) (666 evil))", 666, "evil");
Test_Render (Test, "(image (-2 two) (666 evil) (-2))", -2, "-2");
Test_Render (Test, "(image (1 one))3:Two4:four", 1, "one");
Test_Render (Test, "(image (1 one))3:Two4:four", 2, "Two");
Test_Render (Test, "(image (1 one))3:Two4:four", 3, "four");
Test_Render (Test, "(image (1 one))3:Two4:four", 4, "4");
Test_Render (Test, "(image (invalid -))5:first", Integer'First, "first");
Test_Render (Test, "(image-range (""?"" (10 19)))", 9, "9");
Test_Render (Test, "(image-range (""?"" (10 19)))", 10, "?");
Test_Render (Test, "(image-range (""?"" (10 19)))", 15, "?");
Test_Render (Test, "(image-range (""?"" (10 19)))", 19, "?");
Test_Render (Test, "(image-range (""?"" (10 19)))", 20, "20");
exception
when Error : others => Test.Report_Exception (Error);
end Explicit_Images;
procedure Explicit_Sign (Report : in out NT.Reporter'Class) is
Test : NT.Test := Report.Item ("Explicit sign specification");
|