1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
package org.qedeq.kernel.bo.service.basis; |
16 |
|
|
17 |
|
import org.qedeq.kernel.bo.service.internal.DefaultInternalKernelServices; |
18 |
|
import org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin; |
19 |
|
import org.qedeq.kernel.bo.test.QedeqBoTestCase; |
20 |
|
import org.qedeq.kernel.se.common.DefaultModuleAddress; |
21 |
|
import org.qedeq.kernel.se.common.ModuleAddress; |
22 |
|
import org.qedeq.kernel.se.common.SourceFileExceptionList; |
23 |
|
|
24 |
|
|
25 |
|
|
26 |
|
|
27 |
|
@author |
28 |
|
|
|
|
| 89.3% |
Uncovered Elements: 23 (214) |
Complexity: 34 |
Complexity Density: 0.2 |
|
29 |
|
public class LoadRequiredModulesTest extends QedeqBoTestCase { |
30 |
|
|
31 |
|
|
32 |
|
|
33 |
|
|
34 |
|
|
35 |
|
|
36 |
|
|
37 |
|
|
38 |
|
|
39 |
|
|
40 |
|
@throws |
41 |
|
|
|
|
| 60% |
Uncovered Elements: 2 (5) |
Complexity: 2 |
Complexity Density: 0.67 |
1
PASS
|
|
42 |
1
|
public void testLoadRequiredModules_01() throws Exception {... |
43 |
1
|
final ModuleAddress address = new DefaultModuleAddress(getFile("loadRequired/LRM011.xml")); |
44 |
1
|
if (!getServices().loadRequiredModules(address)) { |
45 |
0
|
fail("loading should be successful"); |
46 |
|
} |
47 |
|
} |
48 |
|
|
49 |
|
|
50 |
|
|
51 |
|
|
52 |
|
|
53 |
|
|
54 |
|
|
55 |
|
|
56 |
|
|
57 |
|
@throws |
58 |
|
|
|
|
| 81.8% |
Uncovered Elements: 2 (11) |
Complexity: 2 |
Complexity Density: 0.22 |
1
PASS
|
|
59 |
1
|
public void testLoadRequiredModules_02() throws Exception {... |
60 |
1
|
final ModuleAddress address = new DefaultModuleAddress( |
61 |
|
getFile("loadRequired/LRM021.xml")); |
62 |
1
|
if (getServices().loadRequiredModules(address)) { |
63 |
0
|
fail("021 -> 021 cycle"); |
64 |
|
} else { |
65 |
1
|
SourceFileExceptionList e = getServices().getQedeqBo(address).getErrors(); |
66 |
1
|
assertEquals(1, e.size()); |
67 |
1
|
assertEquals(31, e.get(0).getSourceArea().getStartPosition().getRow()); |
68 |
1
|
assertEquals(15, e.get(0).getSourceArea().getStartPosition().getColumn()); |
69 |
1
|
assertEquals(90722, e.get(0).getErrorCode()); |
70 |
1
|
assertTrue(e.get(0).getDescription().endsWith( |
71 |
|
"Recursive import of modules is forbidden, label: \"LRM021\"")); |
72 |
|
} |
73 |
|
} |
74 |
|
|
75 |
|
|
76 |
|
|
77 |
|
|
78 |
|
|
79 |
|
|
80 |
|
|
81 |
|
|
82 |
|
|
83 |
|
@throws |
84 |
|
|
|
|
| 83.3% |
Uncovered Elements: 2 (12) |
Complexity: 2 |
Complexity Density: 0.2 |
1
PASS
|
|
85 |
1
|
public void testLoadRequiredModules_03() throws Exception {... |
86 |
1
|
final ModuleAddress address = new DefaultModuleAddress( |
87 |
|
getFile("loadRequired/LRM031.xml")); |
88 |
1
|
getServices().loadRequiredModules(address); |
89 |
1
|
if (getServices().loadRequiredModules(address)) { |
90 |
0
|
fail("031 -> 032 -> 031 cycle"); |
91 |
|
} else { |
92 |
1
|
SourceFileExceptionList e = getServices().getQedeqBo(address).getErrors(); |
93 |
1
|
assertEquals(1, e.size()); |
94 |
1
|
assertEquals(31, e.get(0).getSourceArea().getStartPosition().getRow()); |
95 |
1
|
assertEquals(15, e.get(0).getSourceArea().getStartPosition().getColumn()); |
96 |
1
|
assertEquals(90722, e.get(0).getErrorCode()); |
97 |
|
|
98 |
1
|
assertTrue(e.get(0).getDescription().endsWith( |
99 |
|
"Recursive import of modules is forbidden, label: \"LRM032\" -> \"LRM031\"")); |
100 |
|
} |
101 |
|
} |
102 |
|
|
103 |
|
|
104 |
|
|
105 |
|
|
106 |
|
|
107 |
|
|
108 |
|
|
109 |
|
|
110 |
|
|
111 |
|
|
112 |
|
|
113 |
|
@throws |
114 |
|
|
|
|
| 90% |
Uncovered Elements: 2 (20) |
Complexity: 2 |
Complexity Density: 0.11 |
1
PASS
|
|
115 |
1
|
public void testLoadRequiredModules_04() throws Exception {... |
116 |
1
|
final ModuleAddress address = new DefaultModuleAddress( |
117 |
|
getFile("loadRequired/LRM041.xml")); |
118 |
1
|
getServices().loadRequiredModules(address); |
119 |
1
|
if (getServices().loadRequiredModules(address)) { |
120 |
0
|
fail("041 -> 042 -> 043 -> 044 -> 042 cycle\n" |
121 |
|
+ "041 -> 043 -> 044 -> 042 -> 043 cycle\n" |
122 |
|
+ "041 -> 044 -> 042 -> 043 -> 044 cycle"); |
123 |
|
} else { |
124 |
1
|
SourceFileExceptionList e = getServices().getQedeqBo(address).getErrors(); |
125 |
1
|
assertEquals(31, e.get(0).getSourceArea().getStartPosition().getRow()); |
126 |
1
|
assertEquals(15, e.get(0).getSourceArea().getStartPosition().getColumn()); |
127 |
1
|
assertEquals(90722, e.get(0).getErrorCode()); |
128 |
1
|
assertTrue(e.get(0).getDescription().endsWith("Recursive import of modules is forbidden, label: " + |
129 |
|
"\"LRM042\" -> \"LRM043\" -> \"LRM044\" -> \"LRM042\"")); |
130 |
1
|
assertEquals(3, e.size()); |
131 |
1
|
assertEquals(38, e.get(1).getSourceArea().getStartPosition().getRow()); |
132 |
1
|
assertEquals(15, e.get(1).getSourceArea().getStartPosition().getColumn()); |
133 |
1
|
assertEquals(90722, e.get(1).getErrorCode()); |
134 |
1
|
assertTrue(e.get(1).getDescription().endsWith("Recursive import of modules is forbidden, label: " + |
135 |
|
"\"LRM043\" -> \"LRM044\" -> \"LRM042\" -> \"LRM043\"")); |
136 |
1
|
assertEquals(45, e.get(2).getSourceArea().getStartPosition().getRow()); |
137 |
1
|
assertEquals(15, e.get(2).getSourceArea().getStartPosition().getColumn()); |
138 |
1
|
assertEquals(90722, e.get(2).getErrorCode()); |
139 |
1
|
assertTrue(e.get(2).getDescription().endsWith("Recursive import of modules is forbidden, label: " + |
140 |
|
"\"LRM044\" -> \"LRM042\" -> \"LRM043\" -> \"LRM044\"")); |
141 |
|
} |
142 |
|
} |
143 |
|
|
144 |
|
|
145 |
|
|
146 |
|
|
147 |
|
|
148 |
|
|
149 |
|
|
150 |
|
|
151 |
|
|
152 |
|
|
153 |
|
|
154 |
|
|
155 |
|
|
156 |
|
|
157 |
|
|
158 |
|
@throws |
159 |
|
|
|
|
| 60% |
Uncovered Elements: 2 (5) |
Complexity: 2 |
Complexity Density: 0.67 |
1
PASS
|
|
160 |
1
|
public void testLoadRequiredModules_05() throws Exception {... |
161 |
1
|
final ModuleAddress address = new DefaultModuleAddress( |
162 |
|
getFile("loadRequired/LRM051.xml")); |
163 |
1
|
if (!getServices().loadRequiredModules(address)) { |
164 |
0
|
fail("loading should be successful"); |
165 |
|
} |
166 |
|
} |
167 |
|
|
168 |
|
|
169 |
|
|
170 |
|
|
171 |
|
|
172 |
|
|
173 |
|
|
174 |
|
|
175 |
|
|
176 |
|
|
177 |
|
|
178 |
|
|
179 |
|
|
180 |
|
|
181 |
|
|
182 |
|
@throws |
183 |
|
|
|
|
| 50% |
Uncovered Elements: 3 (6) |
Complexity: 2 |
Complexity Density: 0.5 |
1
PASS
|
|
184 |
1
|
public void testLoadRequiredModules_06() throws Exception {... |
185 |
|
|
186 |
1
|
final ModuleAddress address = new DefaultModuleAddress(getFile("loadRequired/LRM061.xml")); |
187 |
1
|
if (!getServices().loadRequiredModules(address)) { |
188 |
0
|
System.out.println(getServices().getKernelQedeqBo(address).getErrors().toString()); |
189 |
0
|
fail("loading should be successful"); |
190 |
|
} |
191 |
|
} |
192 |
|
|
193 |
|
|
194 |
|
|
195 |
|
|
196 |
|
|
197 |
|
|
198 |
|
|
199 |
|
|
200 |
|
|
201 |
|
|
202 |
|
|
203 |
|
|
204 |
|
|
205 |
|
|
206 |
|
|
207 |
|
|
208 |
|
|
209 |
|
|
210 |
|
|
211 |
|
|
212 |
|
|
213 |
|
|
214 |
|
|
215 |
|
|
216 |
|
|
217 |
|
@throws |
218 |
|
|
|
|
| 91.3% |
Uncovered Elements: 2 (23) |
Complexity: 2 |
Complexity Density: 0.1 |
1
PASS
|
|
219 |
1
|
public void testLoadRequiredModules_07() throws Exception {... |
220 |
1
|
final ModuleAddress address = new DefaultModuleAddress( |
221 |
|
getFile("loadRequired/LRM071.xml")); |
222 |
1
|
if (getServices().loadRequiredModules(address)) { |
223 |
0
|
fail("see test method description"); |
224 |
|
} else { |
225 |
1
|
SourceFileExceptionList e = getServices().getQedeqBo(address).getErrors(); |
226 |
|
|
227 |
1
|
assertEquals(31, e.get(0).getSourceArea().getStartPosition().getRow()); |
228 |
1
|
assertEquals(15, e.get(0).getSourceArea().getStartPosition().getColumn()); |
229 |
1
|
assertEquals(90722, e.get(0).getErrorCode()); |
230 |
1
|
assertTrue(e.get(0).getDescription().endsWith("Recursive import of modules is forbidden, label: " |
231 |
|
+ "\"LRM072\" -> \"LRM073\" -> \"LRM076\" -> \"LRM071\"")); |
232 |
1
|
assertEquals(4, e.size()); |
233 |
1
|
assertEquals(38, e.get(1).getSourceArea().getStartPosition().getRow()); |
234 |
1
|
assertEquals(15, e.get(1).getSourceArea().getStartPosition().getColumn()); |
235 |
1
|
assertEquals(90722, e.get(1).getErrorCode()); |
236 |
1
|
assertTrue(e.get(1).getDescription().endsWith("Recursive import of modules is forbidden, label: " |
237 |
|
+ "\"LRM073\" -> \"LRM076\" -> \"LRM071\"")); |
238 |
1
|
assertEquals(45, e.get(2).getSourceArea().getStartPosition().getRow()); |
239 |
1
|
assertEquals(15, e.get(2).getSourceArea().getStartPosition().getColumn()); |
240 |
1
|
assertEquals(90722, e.get(2).getErrorCode()); |
241 |
1
|
assertTrue(e.get(2).getDescription().endsWith("Recursive import of modules is forbidden, label: " |
242 |
|
+ "\"LRM074\" -> \"LRM076\" -> \"LRM071\"")); |
243 |
1
|
assertEquals(52, e.get(3).getSourceArea().getStartPosition().getRow()); |
244 |
1
|
assertEquals(15, e.get(3).getSourceArea().getStartPosition().getColumn()); |
245 |
1
|
assertEquals(90722, e.get(3).getErrorCode()); |
246 |
1
|
assertTrue(e.get(3).getDescription().endsWith("Recursive import of modules is forbidden, label: " |
247 |
|
+ "\"LRM075\" -> \"LRM073\" -> \"LRM076\" -> \"LRM071\"")); |
248 |
|
} |
249 |
|
} |
250 |
|
|
251 |
|
|
252 |
|
|
253 |
|
|
254 |
|
|
255 |
|
|
256 |
|
|
257 |
|
|
258 |
|
|
259 |
|
@throws |
260 |
|
|
|
|
| 71.4% |
Uncovered Elements: 2 (7) |
Complexity: 2 |
Complexity Density: 0.4 |
1
PASS
|
|
261 |
1
|
public void testLoadRequiredModules_08() throws Exception {... |
262 |
1
|
final ModuleAddress address = new DefaultModuleAddress(getFile("loadRequired/LRM081.xml")); |
263 |
1
|
if (!getServices().loadRequiredModules(address)) { |
264 |
0
|
fail("loading should be successful"); |
265 |
|
} |
266 |
1
|
assertEquals(0, getServices().getQedeqBo(address).getErrors().size()); |
267 |
1
|
assertTrue(!getServices().getQedeqBo(address).hasBasicFailures()); |
268 |
|
} |
269 |
|
|
270 |
|
|
271 |
|
|
272 |
|
|
273 |
|
|
274 |
|
|
275 |
|
|
276 |
|
|
277 |
|
|
278 |
|
@throws |
279 |
|
|
|
|
| 81.8% |
Uncovered Elements: 2 (11) |
Complexity: 2 |
Complexity Density: 0.22 |
1
PASS
|
|
280 |
1
|
public void testLoadRequiredModules_09() throws Exception {... |
281 |
1
|
final ModuleAddress address = new DefaultModuleAddress( |
282 |
|
getFile("loadRequired/LRM091.xml")); |
283 |
1
|
if (getServices().loadRequiredModules(address)) { |
284 |
0
|
fail("091 -> 092 -> 093 -> 094 -> 095 -> 096 -> 097 -> 098 -> 099 -> 091 cycle\n"); |
285 |
|
} else { |
286 |
1
|
SourceFileExceptionList e = getServices().getQedeqBo(address).getErrors(); |
287 |
1
|
assertEquals(31, e.get(0).getSourceArea().getStartPosition().getRow()); |
288 |
1
|
assertEquals(15, e.get(0).getSourceArea().getStartPosition().getColumn()); |
289 |
1
|
assertEquals(90722, e.get(0).getErrorCode()); |
290 |
1
|
assertEquals(1, e.size()); |
291 |
|
|
292 |
1
|
assertTrue(e.get(0).getDescription().endsWith("Recursive import of modules is forbidden, label: " |
293 |
|
+ "\"LRM092\" -> \"LRM093\" -> \"LRM094\" -> \"LRM095\" -> \"LRM096\" -> " |
294 |
|
+ "\"LRM097\" -> \"LRM098\" -> \"LRM099\" -> \"LRM091\"" )); |
295 |
|
} |
296 |
|
} |
297 |
|
|
298 |
|
|
299 |
|
|
300 |
|
|
301 |
|
|
302 |
|
|
303 |
|
|
304 |
|
|
305 |
|
|
306 |
|
@throws |
307 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (15) |
Complexity: 1 |
Complexity Density: 0.07 |
1
PASS
|
|
308 |
1
|
public void testLoadRequiredModules_09b() throws Exception {... |
309 |
1
|
final ModuleAddress address1 = new DefaultModuleAddress( |
310 |
|
getFile("loadRequired/LRM091.xml")); |
311 |
1
|
final DefaultInternalKernelServices services = getServices(); |
312 |
1
|
final Thread thread1 = new Thread() { |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
313 |
1
|
public void run() {... |
314 |
|
|
315 |
1
|
services.loadRequiredModules(address1); |
316 |
|
|
317 |
|
|
318 |
|
|
319 |
|
} |
320 |
|
}; |
321 |
1
|
thread1.setDaemon(true); |
322 |
|
|
323 |
1
|
final ModuleAddress address2 = new DefaultModuleAddress( |
324 |
|
getFile("loadRequired/LRM096.xml")); |
325 |
1
|
final Thread thread2 = new Thread() { |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
326 |
1
|
public void run() {... |
327 |
|
|
328 |
1
|
services.loadRequiredModules(address2); |
329 |
|
|
330 |
|
|
331 |
|
|
332 |
|
} |
333 |
|
}; |
334 |
1
|
thread2.setDaemon(true); |
335 |
|
|
336 |
1
|
thread1.start(); |
337 |
1
|
thread2.start(); |
338 |
|
|
339 |
1
|
thread1.join(); |
340 |
1
|
thread2.join(); |
341 |
|
|
342 |
1
|
SourceFileExceptionList e1 = services.getQedeqBo(address1).getErrors(); |
343 |
1
|
SourceFileExceptionList e2 = services.getQedeqBo(address2).getErrors(); |
344 |
|
|
345 |
1
|
assertEquals(1, e1.size()); |
346 |
1
|
assertEquals(1, e2.size()); |
347 |
|
|
348 |
|
} |
349 |
|
|
350 |
|
|
351 |
|
|
352 |
|
|
353 |
|
|
354 |
|
|
355 |
|
|
356 |
|
|
357 |
|
|
358 |
|
@throws |
359 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (22) |
Complexity: 1 |
Complexity Density: 0.05 |
1
PASS
|
|
360 |
1
|
public void testLoadRequiredModules_09c() throws Exception {... |
361 |
1
|
final ModuleAddress address1 = new DefaultModuleAddress( |
362 |
|
getFile("loadRequired/LRM091.xml")); |
363 |
1
|
final DefaultInternalKernelServices services = getServices(); |
364 |
1
|
final Thread thread1 = new Thread() { |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
365 |
1
|
public void run() {... |
366 |
|
|
367 |
1
|
services.loadRequiredModules(address1); |
368 |
|
|
369 |
|
|
370 |
|
|
371 |
|
} |
372 |
|
}; |
373 |
1
|
thread1.setDaemon(true); |
374 |
|
|
375 |
1
|
final ModuleAddress address2 = new DefaultModuleAddress( |
376 |
|
getFile("loadRequired/LRM096.xml")); |
377 |
1
|
final Thread thread2 = new Thread() { |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
378 |
1
|
public void run() {... |
379 |
|
|
380 |
1
|
services.loadRequiredModules(address2); |
381 |
|
|
382 |
|
|
383 |
|
|
384 |
|
} |
385 |
|
}; |
386 |
1
|
thread2.setDaemon(true); |
387 |
|
|
388 |
1
|
final ModuleAddress address3 = new DefaultModuleAddress( |
389 |
|
getFile("loadRequired/LRM095.xml")); |
390 |
1
|
final Thread thread3 = new Thread() { |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
391 |
1
|
public void run() {... |
392 |
|
|
393 |
1
|
services.loadRequiredModules(address3); |
394 |
|
|
395 |
|
|
396 |
|
|
397 |
|
} |
398 |
|
}; |
399 |
1
|
thread3.setDaemon(true); |
400 |
|
|
401 |
1
|
thread1.start(); |
402 |
1
|
thread2.start(); |
403 |
1
|
thread3.start(); |
404 |
|
|
405 |
1
|
thread1.join(); |
406 |
1
|
thread2.join(); |
407 |
1
|
thread3.join(); |
408 |
|
|
409 |
1
|
SourceFileExceptionList e1 = services.getQedeqBo(address1).getErrors(); |
410 |
1
|
SourceFileExceptionList e2 = services.getQedeqBo(address2).getErrors(); |
411 |
1
|
SourceFileExceptionList e3 = services.getQedeqBo(address3).getErrors(); |
412 |
|
|
413 |
1
|
assertEquals(1, e1.size()); |
414 |
|
|
415 |
|
|
416 |
1
|
assertEquals(1, e2.size()); |
417 |
|
|
418 |
|
|
419 |
1
|
assertEquals(1, e3.size()); |
420 |
|
|
421 |
|
} |
422 |
|
|
423 |
|
|
424 |
|
|
425 |
|
|
426 |
|
|
427 |
|
|
428 |
|
|
429 |
|
|
430 |
|
|
431 |
|
@throws |
432 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (22) |
Complexity: 1 |
Complexity Density: 0.05 |
1
PASS
|
|
433 |
1
|
public void testLoadRequiredModules_09d() throws Exception {... |
434 |
1
|
final ModuleAddress address1 = new DefaultModuleAddress( |
435 |
|
getFile("loadRequired/LRM091.xml")); |
436 |
1
|
final DefaultInternalKernelServices services = getServices(); |
437 |
1
|
final Thread thread1 = new Thread() { |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
438 |
1
|
public void run() {... |
439 |
|
|
440 |
1
|
testFind(address1); |
441 |
|
|
442 |
|
|
443 |
|
|
444 |
|
} |
445 |
|
}; |
446 |
1
|
thread1.setDaemon(true); |
447 |
|
|
448 |
1
|
final ModuleAddress address2 = new DefaultModuleAddress( |
449 |
|
getFile("loadRequired/LRM096.xml")); |
450 |
1
|
final Thread thread2 = new Thread() { |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
451 |
1
|
public void run() {... |
452 |
|
|
453 |
1
|
testFind(address2); |
454 |
|
|
455 |
|
|
456 |
|
|
457 |
|
} |
458 |
|
}; |
459 |
1
|
thread2.setDaemon(true); |
460 |
|
|
461 |
1
|
final ModuleAddress address3 = new DefaultModuleAddress( |
462 |
|
getFile("loadRequired/LRM095.xml")); |
463 |
1
|
final Thread thread3 = new Thread() { |
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
464 |
1
|
public void run() {... |
465 |
|
|
466 |
1
|
testFind(address3); |
467 |
|
|
468 |
|
|
469 |
|
|
470 |
|
} |
471 |
|
}; |
472 |
1
|
thread3.setDaemon(true); |
473 |
|
|
474 |
1
|
thread1.start(); |
475 |
1
|
thread2.start(); |
476 |
1
|
thread3.start(); |
477 |
|
|
478 |
1
|
thread1.join(); |
479 |
1
|
thread2.join(); |
480 |
1
|
thread3.join(); |
481 |
|
|
482 |
1
|
SourceFileExceptionList e1 = services.getQedeqBo(address1).getErrors(); |
483 |
1
|
SourceFileExceptionList e2 = services.getQedeqBo(address2).getErrors(); |
484 |
1
|
SourceFileExceptionList e3 = services.getQedeqBo(address3).getErrors(); |
485 |
|
|
486 |
1
|
assertEquals(1, e1.size()); |
487 |
1
|
assertEquals(1, e2.size()); |
488 |
1
|
assertEquals(1, e3.size()); |
489 |
|
|
490 |
|
} |
491 |
|
|
492 |
|
|
493 |
|
|
494 |
|
|
495 |
|
@throws |
496 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
497 |
3
|
public void testFind(final ModuleAddress address) {... |
498 |
3
|
getServices().executePlugin(SimpleProofFinderPlugin.class.getName(), address, null); |
499 |
|
} |
500 |
|
|
501 |
|
|
502 |
|
|
503 |
|
|
504 |
|
|
505 |
|
|
506 |
|
|
507 |
|
|
508 |
|
|
509 |
|
|
510 |
|
|
511 |
|
|
512 |
|
|
513 |
|
|
514 |
|
@throws |
515 |
|
|
|
|
| 83.3% |
Uncovered Elements: 2 (12) |
Complexity: 2 |
Complexity Density: 0.2 |
1
PASS
|
|
516 |
1
|
public void testLoadRequiredModules_10() throws Exception {... |
517 |
1
|
final ModuleAddress address = new DefaultModuleAddress( |
518 |
|
getFile("loadRequired/LRM101.xml")); |
519 |
1
|
if (getServices().loadRequiredModules(address)) { |
520 |
0
|
fail("two imports don't exist: \"notThere\" and \"alsoNotThere\"\n"); |
521 |
|
} else { |
522 |
1
|
SourceFileExceptionList e = getServices().getQedeqBo(address).getErrors(); |
523 |
1
|
assertEquals(38, e.get(0).getSourceArea().getStartPosition().getRow()); |
524 |
1
|
assertEquals(15, e.get(0).getSourceArea().getStartPosition().getColumn()); |
525 |
1
|
assertEquals(90710, e.get(0).getErrorCode()); |
526 |
1
|
assertTrue(0 <= e.get(0).getDescription().indexOf( |
527 |
|
"import of module with label \"notThere\" failed: Loading module from local file " |
528 |
|
+ "failed.; file not readable: ")); |
529 |
1
|
assertEquals(2, e.size()); |
530 |
1
|
assertEquals(90710, e.get(1).getErrorCode()); |
531 |
|
} |
532 |
|
} |
533 |
|
|
534 |
|
|
535 |
|
|
536 |
|
|
537 |
|
|
538 |
|
|
539 |
|
|
540 |
|
|
541 |
|
|
542 |
|
|
543 |
|
@throws |
544 |
|
|
|
|
| 81.8% |
Uncovered Elements: 2 (11) |
Complexity: 2 |
Complexity Density: 0.22 |
1
PASS
|
|
545 |
1
|
public void testLoadRequiredModules_11() throws Exception {... |
546 |
1
|
final ModuleAddress address = new DefaultModuleAddress(getFile("loadRequired/LRM111.xml")); |
547 |
1
|
if (getServices().loadRequiredModules(address)) { |
548 |
0
|
fail("loading should be not be successful"); |
549 |
|
} |
550 |
1
|
SourceFileExceptionList e = getServices().getQedeqBo(address).getErrors(); |
551 |
1
|
assertEquals(1, e.size()); |
552 |
1
|
assertEquals(90723, e.get(0).getErrorCode()); |
553 |
|
|
554 |
1
|
assertTrue(0 <= e.get(0).getDescription().indexOf("Import of module failed, label: \"LRM112\"")); |
555 |
1
|
assertEquals(31, e.get(0).getSourceArea().getStartPosition().getRow()); |
556 |
1
|
assertEquals(15, e.get(0).getSourceArea().getStartPosition().getColumn()); |
557 |
|
} |
558 |
|
|
559 |
|
} |