1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
package org.qedeq.kernel.bo.service.latex; |
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 |
|
import org.qedeq.kernel.se.state.WellFormedState; |
22 |
|
|
23 |
|
|
24 |
|
|
25 |
|
|
26 |
|
@author |
27 |
|
|
|
|
| 97.2% |
Uncovered Elements: 2 (71) |
Complexity: 6 |
Complexity Density: 0.09 |
|
28 |
|
public class Qedeq2LatexTest extends QedeqBoTestCase { |
29 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
30 |
0
|
public Qedeq2LatexTest() {... |
31 |
0
|
super(); |
32 |
|
} |
33 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
34 |
4
|
public Qedeq2LatexTest(final String name) {... |
35 |
4
|
super(name); |
36 |
|
} |
37 |
|
|
38 |
|
|
39 |
|
|
40 |
|
|
41 |
|
@throws |
42 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (11) |
Complexity: 1 |
Complexity Density: 0.09 |
1
PASS
|
|
43 |
1
|
public void testQ2L001_v1() throws Exception {... |
44 |
1
|
final ModuleAddress address = new DefaultModuleAddress(getFile("latex/Q2L001.xml")); |
45 |
1
|
final QedeqBo bo = getServices().getQedeqBo(address); |
46 |
1
|
getServices().executePlugin("org.qedeq.kernel.bo.service.latex.Qedeq2LatexPlugin", address, |
47 |
|
null); |
48 |
1
|
assertFalse(bo.getLoadingState().isFailure()); |
49 |
1
|
assertFalse(WellFormedState.STATE_UNCHECKED.equals(bo.getWellFormedState())); |
50 |
1
|
assertTrue(bo.hasErrors()); |
51 |
1
|
assertNotNull(bo.getErrors()); |
52 |
1
|
assertEquals(1, bo.getErrors().size()); |
53 |
1
|
assertFalse(bo.hasWarnings()); |
54 |
1
|
assertNotNull(bo.getWarnings()); |
55 |
1
|
assertEquals(0, bo.getWarnings().size()); |
56 |
|
} |
57 |
|
|
58 |
|
|
59 |
|
|
60 |
|
|
61 |
|
|
62 |
|
@throws |
63 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (16) |
Complexity: 1 |
Complexity Density: 0.06 |
1
PASS
|
|
64 |
1
|
public void testQ2L001_v2() throws Exception {... |
65 |
1
|
final ModuleAddress address = new DefaultModuleAddress(getFile("latex/Q2L001.xml")); |
66 |
1
|
getServices().checkWellFormedness(address); |
67 |
1
|
final QedeqBo bo = getServices().getQedeqBo(address); |
68 |
1
|
assertTrue(bo.getWellFormedState().isFailure()); |
69 |
1
|
assertFalse(bo.hasWarnings()); |
70 |
1
|
assertNotNull(bo.getWarnings()); |
71 |
1
|
assertEquals(0, bo.getWarnings().size()); |
72 |
1
|
assertEquals(1, bo.getErrors().size()); |
73 |
1
|
assertEquals(11231, bo.getErrors().get(0).getErrorCode()); |
74 |
1
|
getServices().executePlugin("org.qedeq.kernel.bo.service.latex.Qedeq2LatexPlugin", address, |
75 |
|
null); |
76 |
1
|
assertTrue(bo.getWellFormedState().isFailure()); |
77 |
1
|
assertFalse(bo.hasWarnings()); |
78 |
1
|
assertNotNull(bo.getWarnings()); |
79 |
1
|
assertEquals(0, bo.getWarnings().size()); |
80 |
1
|
assertEquals(1, bo.getErrors().size()); |
81 |
1
|
assertEquals(11231, bo.getErrors().get(0).getErrorCode()); |
82 |
|
|
83 |
|
} |
84 |
|
|
85 |
|
|
86 |
|
|
87 |
|
|
88 |
|
@throws |
89 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (17) |
Complexity: 1 |
Complexity Density: 0.06 |
1
PASS
|
|
90 |
1
|
public void testQ2L002() throws Exception {... |
91 |
1
|
final ModuleAddress address = new DefaultModuleAddress(getFile("latex/Q2L002.xml")); |
92 |
1
|
getServices().checkWellFormedness(address); |
93 |
1
|
final QedeqBo bo = getServices().getQedeqBo(address); |
94 |
1
|
assertFalse(bo.getWellFormedState().isFailure()); |
95 |
1
|
assertFalse(bo.hasWarnings()); |
96 |
1
|
assertNotNull(bo.getWarnings()); |
97 |
1
|
assertEquals(0, bo.getWarnings().size()); |
98 |
1
|
assertFalse(bo.hasErrors()); |
99 |
1
|
assertNotNull(bo.getErrors()); |
100 |
1
|
assertEquals(0, bo.getErrors().size()); |
101 |
1
|
getServices().executePlugin("org.qedeq.kernel.bo.service.latex.Qedeq2LatexPlugin", address, |
102 |
|
null); |
103 |
1
|
assertFalse(bo.getWellFormedState().isFailure()); |
104 |
1
|
assertFalse(bo.hasErrors()); |
105 |
1
|
assertNotNull(bo.getErrors()); |
106 |
1
|
assertEquals(0, bo.getErrors().size()); |
107 |
|
|
108 |
1
|
assertEquals(1, bo.getWarnings().size()); |
109 |
1
|
assertEquals(80007, bo.getWarnings().get(0).getErrorCode()); |
110 |
|
|
111 |
|
} |
112 |
|
|
113 |
|
|
114 |
|
|
115 |
|
|
116 |
|
@throws |
117 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (19) |
Complexity: 1 |
Complexity Density: 0.05 |
1
PASS
|
|
118 |
1
|
public void testQ2L003() throws Exception {... |
119 |
1
|
final ModuleAddress address = new DefaultModuleAddress(getFile("latex/Q2L003.xml")); |
120 |
1
|
getServices().checkWellFormedness(address); |
121 |
1
|
final QedeqBo bo = getServices().getQedeqBo(address); |
122 |
1
|
assertFalse(bo.getWellFormedState().isFailure()); |
123 |
1
|
assertFalse(bo.hasWarnings()); |
124 |
1
|
assertNotNull(bo.getWarnings()); |
125 |
1
|
assertEquals(0, bo.getWarnings().size()); |
126 |
1
|
assertFalse(bo.hasErrors()); |
127 |
1
|
assertNotNull(bo.getErrors()); |
128 |
1
|
assertEquals(0, bo.getErrors().size()); |
129 |
1
|
getServices().executePlugin("org.qedeq.kernel.bo.service.latex.Qedeq2LatexPlugin", address, |
130 |
|
null); |
131 |
1
|
assertFalse(bo.getWellFormedState().isFailure()); |
132 |
1
|
assertFalse(bo.hasErrors()); |
133 |
1
|
assertNotNull(bo.getErrors()); |
134 |
1
|
assertEquals(0, bo.getErrors().size()); |
135 |
|
|
136 |
1
|
assertEquals(3, bo.getWarnings().size()); |
137 |
1
|
assertEquals(80008, bo.getWarnings().get(0).getErrorCode()); |
138 |
1
|
assertEquals(610007, bo.getWarnings().get(1).getErrorCode()); |
139 |
1
|
assertEquals(610007, bo.getWarnings().get(2).getErrorCode()); |
140 |
|
|
141 |
|
} |
142 |
|
|
143 |
|
|
144 |
|
} |