1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
|
16 |
|
package org.qedeq.kernel.bo.module; |
17 |
|
|
18 |
|
import java.io.File; |
19 |
|
import java.lang.reflect.InvocationTargetException; |
20 |
|
|
21 |
|
import org.qedeq.base.io.SourceArea; |
22 |
|
import org.qedeq.base.test.DynamicGetter; |
23 |
|
import org.qedeq.base.test.QedeqTestCase; |
24 |
|
import org.qedeq.base.trace.Trace; |
25 |
|
import org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest; |
26 |
|
import org.qedeq.kernel.se.base.list.Atom; |
27 |
|
import org.qedeq.kernel.se.base.list.ElementList; |
28 |
|
import org.qedeq.kernel.se.base.module.Add; |
29 |
|
import org.qedeq.kernel.se.base.module.Author; |
30 |
|
import org.qedeq.kernel.se.base.module.AuthorList; |
31 |
|
import org.qedeq.kernel.se.base.module.Axiom; |
32 |
|
import org.qedeq.kernel.se.base.module.ChangedRule; |
33 |
|
import org.qedeq.kernel.se.base.module.ChangedRuleList; |
34 |
|
import org.qedeq.kernel.se.base.module.Chapter; |
35 |
|
import org.qedeq.kernel.se.base.module.ChapterList; |
36 |
|
import org.qedeq.kernel.se.base.module.Conclusion; |
37 |
|
import org.qedeq.kernel.se.base.module.ConditionalProof; |
38 |
|
import org.qedeq.kernel.se.base.module.Existential; |
39 |
|
import org.qedeq.kernel.se.base.module.FormalProof; |
40 |
|
import org.qedeq.kernel.se.base.module.FormalProofLine; |
41 |
|
import org.qedeq.kernel.se.base.module.FormalProofLineList; |
42 |
|
import org.qedeq.kernel.se.base.module.FormalProofList; |
43 |
|
import org.qedeq.kernel.se.base.module.Formula; |
44 |
|
import org.qedeq.kernel.se.base.module.FunctionDefinition; |
45 |
|
import org.qedeq.kernel.se.base.module.Header; |
46 |
|
import org.qedeq.kernel.se.base.module.Hypothesis; |
47 |
|
import org.qedeq.kernel.se.base.module.Import; |
48 |
|
import org.qedeq.kernel.se.base.module.ImportList; |
49 |
|
import org.qedeq.kernel.se.base.module.InitialFunctionDefinition; |
50 |
|
import org.qedeq.kernel.se.base.module.InitialPredicateDefinition; |
51 |
|
import org.qedeq.kernel.se.base.module.Latex; |
52 |
|
import org.qedeq.kernel.se.base.module.LatexList; |
53 |
|
import org.qedeq.kernel.se.base.module.LinkList; |
54 |
|
import org.qedeq.kernel.se.base.module.LiteratureItem; |
55 |
|
import org.qedeq.kernel.se.base.module.LiteratureItemList; |
56 |
|
import org.qedeq.kernel.se.base.module.Location; |
57 |
|
import org.qedeq.kernel.se.base.module.LocationList; |
58 |
|
import org.qedeq.kernel.se.base.module.ModusPonens; |
59 |
|
import org.qedeq.kernel.se.base.module.Node; |
60 |
|
import org.qedeq.kernel.se.base.module.PredicateDefinition; |
61 |
|
import org.qedeq.kernel.se.base.module.Proof; |
62 |
|
import org.qedeq.kernel.se.base.module.ProofList; |
63 |
|
import org.qedeq.kernel.se.base.module.Proposition; |
64 |
|
import org.qedeq.kernel.se.base.module.Qedeq; |
65 |
|
import org.qedeq.kernel.se.base.module.Reason; |
66 |
|
import org.qedeq.kernel.se.base.module.Rename; |
67 |
|
import org.qedeq.kernel.se.base.module.Rule; |
68 |
|
import org.qedeq.kernel.se.base.module.Section; |
69 |
|
import org.qedeq.kernel.se.base.module.SectionList; |
70 |
|
import org.qedeq.kernel.se.base.module.Specification; |
71 |
|
import org.qedeq.kernel.se.base.module.Subsection; |
72 |
|
import org.qedeq.kernel.se.base.module.SubsectionList; |
73 |
|
import org.qedeq.kernel.se.base.module.SubsectionType; |
74 |
|
import org.qedeq.kernel.se.base.module.SubstFree; |
75 |
|
import org.qedeq.kernel.se.base.module.SubstFunc; |
76 |
|
import org.qedeq.kernel.se.base.module.SubstPred; |
77 |
|
import org.qedeq.kernel.se.base.module.Term; |
78 |
|
import org.qedeq.kernel.se.base.module.Universal; |
79 |
|
import org.qedeq.kernel.se.base.module.UsedByList; |
80 |
|
import org.qedeq.kernel.se.common.DefaultModuleAddress; |
81 |
|
import org.qedeq.kernel.se.common.ModuleAddress; |
82 |
|
import org.qedeq.kernel.se.common.ModuleDataException; |
83 |
|
import org.qedeq.kernel.se.visitor.QedeqNotNullTraverser; |
84 |
|
import org.qedeq.kernel.se.visitor.QedeqVisitor; |
85 |
|
import org.qedeq.kernel.xml.mapper.Context2SimpleXPath; |
86 |
|
import org.qedeq.kernel.xml.tracker.SimpleXPath; |
87 |
|
import org.qedeq.kernel.xml.tracker.XPathLocationParser; |
88 |
|
|
89 |
|
|
90 |
|
|
91 |
|
@link |
92 |
|
|
93 |
|
@author |
94 |
|
|
|
|
| 60.4% |
Uncovered Elements: 99 (250) |
Complexity: 117 |
Complexity Density: 0.89 |
|
95 |
|
public class VisitorContextTest extends QedeqTestCase implements QedeqVisitor { |
96 |
|
|
97 |
|
|
98 |
|
private static final Class CLASS = VisitorContextTest.class; |
99 |
|
|
100 |
|
|
101 |
|
private QedeqNotNullTraverser traverser; |
102 |
|
|
103 |
|
private Qedeq qedeq; |
104 |
|
|
105 |
|
private File moduleFile; |
106 |
|
|
|
|
| 87.5% |
Uncovered Elements: 1 (8) |
Complexity: 2 |
Complexity Density: 0.33 |
1
PASS
|
|
107 |
1
|
public void testContext() throws Exception {... |
108 |
1
|
if (slow()) { |
109 |
1
|
moduleFile = QedeqBoFactoryTest.getQedeqFile("math/qedeq_set_theory_v1.xml"); |
110 |
1
|
final ModuleAddress globalContext = new DefaultModuleAddress(moduleFile); |
111 |
1
|
qedeq = QedeqBoFactoryTest.loadQedeq(moduleFile); |
112 |
1
|
traverser = new QedeqNotNullTraverser(globalContext, this); |
113 |
1
|
traverser.accept(qedeq); |
114 |
|
} |
115 |
|
} |
116 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
117 |
1263
|
public void visitEnter(final Atom atom) throws ModuleDataException {... |
118 |
1263
|
checkContext(); |
119 |
|
} |
120 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
121 |
1516
|
public void visitEnter(final ElementList list) throws ModuleDataException {... |
122 |
1516
|
checkContext(); |
123 |
|
} |
124 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
125 |
1
|
public void visitEnter(final Author author) throws ModuleDataException {... |
126 |
1
|
checkContext(); |
127 |
|
} |
128 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
129 |
1
|
public void visitEnter(final AuthorList authorList) throws ModuleDataException {... |
130 |
1
|
checkContext(); |
131 |
|
} |
132 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
133 |
12
|
public void visitEnter(final Axiom axiom) throws ModuleDataException {... |
134 |
12
|
checkContext(); |
135 |
|
} |
136 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
137 |
8
|
public void visitEnter(final Chapter chapter) throws ModuleDataException {... |
138 |
8
|
checkContext(); |
139 |
|
} |
140 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
141 |
1
|
public void visitEnter(final ChapterList chapterList) throws ModuleDataException {... |
142 |
1
|
checkContext(); |
143 |
|
} |
144 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
145 |
0
|
public void visitEnter(final ConditionalProof cp) throws ModuleDataException {... |
146 |
0
|
checkContext(); |
147 |
|
} |
148 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
149 |
88
|
public void visitEnter(final Formula formula) throws ModuleDataException {... |
150 |
88
|
checkContext(); |
151 |
|
} |
152 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
153 |
16
|
public void visitEnter(final FunctionDefinition functionDefinition) throws ModuleDataException {... |
154 |
16
|
checkContext(); |
155 |
|
} |
156 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
157 |
1
|
public void visitEnter(final Header header) throws ModuleDataException {... |
158 |
1
|
checkContext(); |
159 |
|
} |
160 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
161 |
0
|
public void visitEnter(final Hypothesis hypothesis) throws ModuleDataException {... |
162 |
0
|
checkContext(); |
163 |
|
} |
164 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
165 |
1
|
public void visitEnter(final Import imp) throws ModuleDataException {... |
166 |
1
|
checkContext(); |
167 |
|
} |
168 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
169 |
1
|
public void visitEnter(final ImportList importList) throws ModuleDataException {... |
170 |
1
|
checkContext(); |
171 |
|
} |
172 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
173 |
527
|
public void visitEnter(final Latex latex) throws ModuleDataException {... |
174 |
527
|
checkContext(); |
175 |
|
} |
176 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
177 |
269
|
public void visitEnter(final LatexList latexList) throws ModuleDataException {... |
178 |
269
|
checkContext(); |
179 |
|
} |
180 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
181 |
1
|
public void visitEnter(final LinkList linkList) throws ModuleDataException {... |
182 |
1
|
checkContext(); |
183 |
|
} |
184 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
185 |
3
|
public void visitEnter(final LiteratureItem literatureItem) throws ModuleDataException {... |
186 |
3
|
checkContext(); |
187 |
|
} |
188 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
189 |
1
|
public void visitEnter(final LiteratureItemList literatureItemList) throws ModuleDataException {... |
190 |
1
|
checkContext(); |
191 |
|
} |
192 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
193 |
3
|
public void visitEnter(final Location location) throws ModuleDataException {... |
194 |
3
|
checkContext(); |
195 |
|
} |
196 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
197 |
2
|
public void visitEnter(final LocationList locationList) throws ModuleDataException {... |
198 |
2
|
checkContext(); |
199 |
|
} |
200 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
201 |
90
|
public void visitEnter(final Node authorList) throws ModuleDataException {... |
202 |
90
|
checkContext(); |
203 |
|
} |
204 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
205 |
6
|
public void visitEnter(final PredicateDefinition predicateDefinition)... |
206 |
|
throws ModuleDataException { |
207 |
6
|
checkContext(); |
208 |
|
} |
209 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
210 |
0
|
public void visitEnter(final FormalProofList formalProofList) throws ModuleDataException {... |
211 |
0
|
checkContext(); |
212 |
|
} |
213 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
214 |
0
|
public void visitEnter(final FormalProof proof) throws ModuleDataException {... |
215 |
0
|
checkContext(); |
216 |
|
} |
217 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
218 |
0
|
public void visitEnter(final FormalProofLine formalProofLine) throws ModuleDataException {... |
219 |
0
|
checkContext(); |
220 |
|
} |
221 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
222 |
0
|
public void visitEnter(final FormalProofLineList formalProofLineList) throws ModuleDataException {... |
223 |
0
|
checkContext(); |
224 |
|
} |
225 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
226 |
0
|
public void visitEnter(final Reason reason) throws ModuleDataException {... |
227 |
0
|
checkContext(); |
228 |
|
} |
229 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
230 |
0
|
public void visitEnter(final ModusPonens reason) throws ModuleDataException {... |
231 |
0
|
checkContext(); |
232 |
|
} |
233 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
234 |
0
|
public void visitEnter(final Add reason) throws ModuleDataException {... |
235 |
0
|
checkContext(); |
236 |
|
} |
237 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
238 |
0
|
public void visitEnter(final Rename reason) throws ModuleDataException {... |
239 |
0
|
checkContext(); |
240 |
|
} |
241 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
242 |
0
|
public void visitEnter(final SubstFree reason) throws ModuleDataException {... |
243 |
0
|
checkContext(); |
244 |
|
} |
245 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
246 |
0
|
public void visitEnter(final SubstFunc reason) throws ModuleDataException {... |
247 |
0
|
checkContext(); |
248 |
|
} |
249 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
250 |
0
|
public void visitEnter(final SubstPred reason) throws ModuleDataException {... |
251 |
0
|
checkContext(); |
252 |
|
} |
253 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
254 |
0
|
public void visitEnter(final Existential reason) throws ModuleDataException {... |
255 |
0
|
checkContext(); |
256 |
|
} |
257 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
258 |
0
|
public void visitEnter(final Universal reason) throws ModuleDataException {... |
259 |
0
|
checkContext(); |
260 |
|
} |
261 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
262 |
0
|
public void visitEnter(final Conclusion conclusion) throws ModuleDataException {... |
263 |
0
|
checkContext(); |
264 |
|
} |
265 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
266 |
18
|
public void visitEnter(final Proof proof) throws ModuleDataException {... |
267 |
18
|
checkContext(); |
268 |
|
} |
269 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
270 |
17
|
public void visitEnter(final ProofList proofList) throws ModuleDataException {... |
271 |
17
|
checkContext(); |
272 |
|
} |
273 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
274 |
54
|
public void visitEnter(final Proposition proposition) throws ModuleDataException {... |
275 |
54
|
checkContext(); |
276 |
|
} |
277 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
278 |
1
|
public void visitEnter(final Qedeq qedeq) throws ModuleDataException {... |
279 |
1
|
checkContext(); |
280 |
|
} |
281 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
282 |
1
|
public void visitEnter(final Rule rule) throws ModuleDataException {... |
283 |
1
|
checkContext(); |
284 |
|
} |
285 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
286 |
22
|
public void visitEnter(final Section section) throws ModuleDataException {... |
287 |
22
|
checkContext(); |
288 |
|
} |
289 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
290 |
5
|
public void visitEnter(final SectionList sectionList) throws ModuleDataException {... |
291 |
5
|
checkContext(); |
292 |
|
} |
293 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
294 |
2
|
public void visitEnter(final Specification specification) throws ModuleDataException {... |
295 |
2
|
checkContext(); |
296 |
|
} |
297 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
298 |
2
|
public void visitEnter(final Subsection subsection) throws ModuleDataException {... |
299 |
2
|
checkContext(); |
300 |
|
} |
301 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
302 |
14
|
public void visitEnter(final SubsectionList subsectionList) throws ModuleDataException {... |
303 |
14
|
checkContext(); |
304 |
|
} |
305 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
306 |
0
|
public void visitEnter(final SubsectionType subsectionType) throws ModuleDataException {... |
307 |
0
|
checkContext(); |
308 |
|
} |
309 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
310 |
0
|
public void visitEnter(final Term term) throws ModuleDataException {... |
311 |
0
|
checkContext(); |
312 |
|
} |
313 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
314 |
0
|
public void visitEnter(final UsedByList usedByList) throws ModuleDataException {... |
315 |
0
|
checkContext(); |
316 |
|
} |
317 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
318 |
1
|
public void visitLeave(final Author author) throws ModuleDataException {... |
319 |
1
|
checkContext(); |
320 |
|
} |
321 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
322 |
1
|
public void visitLeave(final AuthorList authorList) throws ModuleDataException {... |
323 |
1
|
checkContext(); |
324 |
|
} |
325 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
326 |
12
|
public void visitLeave(final Axiom axiom) throws ModuleDataException {... |
327 |
12
|
checkContext(); |
328 |
|
} |
329 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
330 |
8
|
public void visitLeave(final Chapter chapter) throws ModuleDataException {... |
331 |
8
|
checkContext(); |
332 |
|
} |
333 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
334 |
1
|
public void visitLeave(final ChapterList chapterList) throws ModuleDataException {... |
335 |
1
|
checkContext(); |
336 |
|
} |
337 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
338 |
88
|
public void visitLeave(final Formula formula) throws ModuleDataException {... |
339 |
88
|
checkContext(); |
340 |
|
} |
341 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
342 |
16
|
public void visitLeave(final FunctionDefinition functionDefinition) throws ModuleDataException {... |
343 |
16
|
checkContext(); |
344 |
|
} |
345 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
346 |
1
|
public void visitLeave(final Header header) throws ModuleDataException {... |
347 |
1
|
checkContext(); |
348 |
|
} |
349 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
350 |
1
|
public void visitLeave(final Import imp) throws ModuleDataException {... |
351 |
1
|
checkContext(); |
352 |
|
} |
353 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
354 |
1
|
public void visitLeave(final ImportList importList) throws ModuleDataException {... |
355 |
1
|
checkContext(); |
356 |
|
} |
357 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
358 |
527
|
public void visitLeave(final Latex latex) throws ModuleDataException {... |
359 |
527
|
checkContext(); |
360 |
|
} |
361 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
362 |
269
|
public void visitLeave(final LatexList latexList) throws ModuleDataException {... |
363 |
269
|
checkContext(); |
364 |
|
} |
365 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
366 |
1
|
public void visitLeave(final LinkList linkList) throws ModuleDataException {... |
367 |
1
|
checkContext(); |
368 |
|
} |
369 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
370 |
3
|
public void visitLeave(final LiteratureItem literatureItem) throws ModuleDataException {... |
371 |
3
|
checkContext(); |
372 |
|
} |
373 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
374 |
1
|
public void visitLeave(final LiteratureItemList literatureItemList) throws ModuleDataException {... |
375 |
1
|
checkContext(); |
376 |
|
} |
377 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
378 |
3
|
public void visitLeave(final Location location) throws ModuleDataException {... |
379 |
3
|
checkContext(); |
380 |
|
} |
381 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
382 |
2
|
public void visitLeave(final LocationList locationList) throws ModuleDataException {... |
383 |
2
|
checkContext(); |
384 |
|
} |
385 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
386 |
90
|
public void visitLeave(final Node authorList) throws ModuleDataException {... |
387 |
90
|
checkContext(); |
388 |
|
} |
389 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
390 |
6
|
public void visitLeave(final PredicateDefinition predicateDefinition)... |
391 |
|
throws ModuleDataException { |
392 |
6
|
checkContext(); |
393 |
|
} |
394 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
395 |
0
|
public void visitLeave(final FormalProofList formalProofList) throws ModuleDataException {... |
396 |
0
|
checkContext(); |
397 |
|
} |
398 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
399 |
0
|
public void visitLeave(final FormalProofLine formalProof) throws ModuleDataException {... |
400 |
0
|
checkContext(); |
401 |
|
} |
402 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
403 |
0
|
public void visitLeave(final FormalProof proof) throws ModuleDataException {... |
404 |
0
|
checkContext(); |
405 |
|
} |
406 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
407 |
0
|
public void visitLeave(final Reason reason) throws ModuleDataException {... |
408 |
0
|
checkContext(); |
409 |
|
} |
410 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
411 |
0
|
public void visitLeave(final FormalProofLineList formalProofLineList) throws ModuleDataException {... |
412 |
0
|
checkContext(); |
413 |
|
} |
414 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
415 |
0
|
public void visitLeave(final ModusPonens reason) throws ModuleDataException {... |
416 |
0
|
checkContext(); |
417 |
|
} |
418 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
419 |
0
|
public void visitLeave(final Add reason) throws ModuleDataException {... |
420 |
0
|
checkContext(); |
421 |
|
} |
422 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
423 |
0
|
public void visitLeave(final Rename reason) throws ModuleDataException {... |
424 |
0
|
checkContext(); |
425 |
|
} |
426 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
427 |
0
|
public void visitLeave(final SubstFree reason) throws ModuleDataException {... |
428 |
0
|
checkContext(); |
429 |
|
} |
430 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
431 |
0
|
public void visitLeave(final SubstFunc reason) throws ModuleDataException {... |
432 |
0
|
checkContext(); |
433 |
|
} |
434 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
435 |
0
|
public void visitLeave(final SubstPred reason) throws ModuleDataException {... |
436 |
0
|
checkContext(); |
437 |
|
} |
438 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
439 |
0
|
public void visitLeave(final Existential reason) throws ModuleDataException {... |
440 |
0
|
checkContext(); |
441 |
|
} |
442 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
443 |
0
|
public void visitLeave(final Universal reason) throws ModuleDataException {... |
444 |
0
|
checkContext(); |
445 |
|
} |
446 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
447 |
0
|
public void visitLeave(final ConditionalProof reason) throws ModuleDataException {... |
448 |
0
|
checkContext(); |
449 |
|
} |
450 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
451 |
0
|
public void visitLeave(final Hypothesis hypothesis) throws ModuleDataException {... |
452 |
0
|
checkContext(); |
453 |
|
} |
454 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
455 |
0
|
public void visitLeave(final Conclusion conclusion) throws ModuleDataException {... |
456 |
0
|
checkContext(); |
457 |
|
} |
458 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
459 |
18
|
public void visitLeave(final Proof proof) throws ModuleDataException {... |
460 |
18
|
checkContext(); |
461 |
|
} |
462 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
463 |
17
|
public void visitLeave(final ProofList proofList) throws ModuleDataException {... |
464 |
17
|
checkContext(); |
465 |
|
} |
466 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
467 |
54
|
public void visitLeave(final Proposition proposition) throws ModuleDataException {... |
468 |
54
|
checkContext(); |
469 |
|
} |
470 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
471 |
1
|
public void visitLeave(final Qedeq qedeq) throws ModuleDataException {... |
472 |
1
|
checkContext(); |
473 |
|
} |
474 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
475 |
1
|
public void visitLeave(final Rule rule) throws ModuleDataException {... |
476 |
1
|
checkContext(); |
477 |
|
} |
478 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
479 |
22
|
public void visitLeave(final Section section) throws ModuleDataException {... |
480 |
22
|
checkContext(); |
481 |
|
} |
482 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
483 |
5
|
public void visitLeave(final SectionList sectionList) throws ModuleDataException {... |
484 |
5
|
checkContext(); |
485 |
|
} |
486 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
487 |
2
|
public void visitLeave(final Specification specification) throws ModuleDataException {... |
488 |
2
|
checkContext(); |
489 |
|
} |
490 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
491 |
2
|
public void visitLeave(final Subsection subsection) throws ModuleDataException {... |
492 |
2
|
checkContext(); |
493 |
|
} |
494 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
495 |
14
|
public void visitLeave(final SubsectionList subsectionList) throws ModuleDataException {... |
496 |
14
|
checkContext(); |
497 |
|
} |
498 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
499 |
0
|
public void visitLeave(final SubsectionType subsectionType) throws ModuleDataException {... |
500 |
0
|
checkContext(); |
501 |
|
} |
502 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
503 |
0
|
public void visitLeave(final Term term) throws ModuleDataException {... |
504 |
0
|
checkContext(); |
505 |
|
} |
506 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
507 |
0
|
public void visitLeave(final UsedByList usedByList) throws ModuleDataException {... |
508 |
0
|
checkContext(); |
509 |
|
} |
510 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
511 |
1263
|
public void visitLeave(final Atom atom) throws ModuleDataException {... |
512 |
1263
|
checkContext(); |
513 |
|
} |
514 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
515 |
1516
|
public void visitLeave(final ElementList list) throws ModuleDataException {... |
516 |
1516
|
checkContext(); |
517 |
|
} |
518 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
519 |
0
|
public void visitEnter(InitialFunctionDefinition functionDefinition)... |
520 |
|
throws ModuleDataException { |
521 |
0
|
checkContext(); |
522 |
|
} |
523 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
524 |
1
|
public void visitEnter(InitialPredicateDefinition predicateDefinition)... |
525 |
|
throws ModuleDataException { |
526 |
1
|
checkContext(); |
527 |
|
} |
528 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
529 |
0
|
public void visitLeave(InitialFunctionDefinition functionDefinition)... |
530 |
|
throws ModuleDataException { |
531 |
0
|
checkContext(); |
532 |
|
} |
533 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
534 |
1
|
public void visitLeave(InitialPredicateDefinition predicateDefinition)... |
535 |
|
throws ModuleDataException { |
536 |
1
|
checkContext(); |
537 |
|
} |
538 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
539 |
0
|
public void visitEnter(ChangedRuleList list) throws ModuleDataException {... |
540 |
0
|
checkContext(); |
541 |
|
} |
542 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
543 |
0
|
public void visitEnter(ChangedRule rule) throws ModuleDataException {... |
544 |
0
|
checkContext(); |
545 |
|
} |
546 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
547 |
0
|
public void visitLeave(ChangedRuleList list) throws ModuleDataException {... |
548 |
0
|
checkContext(); |
549 |
|
} |
550 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
551 |
0
|
public void visitLeave(ChangedRule rule) throws ModuleDataException {... |
552 |
0
|
checkContext(); |
553 |
|
} |
554 |
|
|
|
|
| 58.3% |
Uncovered Elements: 10 (24) |
Complexity: 7 |
Complexity Density: 0.39 |
|
555 |
7896
|
private void checkContext() throws ModuleDataException {... |
556 |
7896
|
final String context = traverser.getCurrentContext().getLocationWithinModule(); |
557 |
7896
|
try { |
558 |
7896
|
Trace.param(CLASS, "checkContext()", |
559 |
|
"context > ", context); |
560 |
7896
|
if (context.length() > 0) { |
561 |
7894
|
DynamicGetter.get(qedeq, context); |
562 |
|
} |
563 |
|
} catch (RuntimeException e) { |
564 |
0
|
System.err.println(context); |
565 |
0
|
throw e; |
566 |
|
} catch (IllegalAccessException e) { |
567 |
0
|
throw new RuntimeException(e); |
568 |
|
} catch (InvocationTargetException e) { |
569 |
0
|
throw new RuntimeException(e); |
570 |
|
} |
571 |
|
|
572 |
7896
|
SimpleXPath xpath = Context2SimpleXPath.getXPath(traverser.getCurrentContext(), qedeq); |
573 |
7896
|
Trace.param(CLASS, "checkContext()", |
574 |
|
"xpath < ", xpath); |
575 |
7896
|
final SourceArea find = XPathLocationParser.findSourceArea(moduleFile, |
576 |
|
xpath); |
577 |
7896
|
if (find.getStartPosition() == null) { |
578 |
0
|
System.out.println(traverser.getCurrentContext()); |
579 |
0
|
throw new RuntimeException("start not found: " + find + "\ncontext: " |
580 |
|
+ context); |
581 |
|
} |
582 |
7896
|
if (find.getEndPosition() == null) { |
583 |
0
|
System.out.println(traverser.getCurrentContext()); |
584 |
0
|
throw new RuntimeException("end not found: " + find + "\ncontext: " |
585 |
|
+ context); |
586 |
|
} |
587 |
|
} |
588 |
|
|
589 |
|
} |