1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
package org.qedeq.kernel.bo.service.logic; |
16 |
|
|
17 |
|
import org.qedeq.kernel.bo.common.QedeqBo; |
18 |
|
import org.qedeq.kernel.bo.test.QedeqBoTestCase; |
19 |
|
import org.qedeq.kernel.se.common.DefaultModuleAddress; |
20 |
|
import org.qedeq.kernel.se.common.ModuleAddress; |
21 |
|
|
22 |
|
|
23 |
|
|
24 |
|
|
25 |
|
|
26 |
|
|
27 |
|
@author |
28 |
|
|
|
|
| 84.6% |
Uncovered Elements: 2 (13) |
Complexity: 3 |
Complexity Density: 0.3 |
|
29 |
|
public class QedeqBoFormalLogicCheckerTest extends QedeqBoTestCase { |
30 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
31 |
0
|
public QedeqBoFormalLogicCheckerTest() {... |
32 |
0
|
super(); |
33 |
|
} |
34 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
35 |
1
|
public QedeqBoFormalLogicCheckerTest(final String name) {... |
36 |
1
|
super(name); |
37 |
|
} |
38 |
|
|
39 |
|
|
40 |
|
|
41 |
|
|
42 |
|
@throws |
43 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (8) |
Complexity: 1 |
Complexity Density: 0.12 |
1
PASS
|
|
44 |
1
|
public void testCheckModule() throws Exception {... |
45 |
1
|
final ModuleAddress address = new DefaultModuleAddress(getFile("qedeq_error_sample_05.xml")); |
46 |
1
|
getServices().checkWellFormedness(address); |
47 |
1
|
final QedeqBo bo = getServices().getQedeqBo(address); |
48 |
1
|
assertTrue(bo.getWellFormedState().isFailure()); |
49 |
1
|
assertNotNull(bo.getWarnings()); |
50 |
1
|
assertEquals(0, bo.getWarnings().size()); |
51 |
1
|
assertEquals(1, bo.getErrors().size()); |
52 |
1
|
assertEquals(11231, bo.getErrors().get(0).getErrorCode()); |
53 |
|
} |
54 |
|
|
55 |
|
} |