1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
|
16 |
|
package org.qedeq.kernel.se.visitor; |
17 |
|
|
18 |
|
import org.qedeq.kernel.se.base.list.Atom; |
19 |
|
import org.qedeq.kernel.se.base.list.ElementList; |
20 |
|
import org.qedeq.kernel.se.base.module.Add; |
21 |
|
import org.qedeq.kernel.se.base.module.Author; |
22 |
|
import org.qedeq.kernel.se.base.module.AuthorList; |
23 |
|
import org.qedeq.kernel.se.base.module.Axiom; |
24 |
|
import org.qedeq.kernel.se.base.module.ChangedRule; |
25 |
|
import org.qedeq.kernel.se.base.module.ChangedRuleList; |
26 |
|
import org.qedeq.kernel.se.base.module.Chapter; |
27 |
|
import org.qedeq.kernel.se.base.module.ChapterList; |
28 |
|
import org.qedeq.kernel.se.base.module.Conclusion; |
29 |
|
import org.qedeq.kernel.se.base.module.ConditionalProof; |
30 |
|
import org.qedeq.kernel.se.base.module.Existential; |
31 |
|
import org.qedeq.kernel.se.base.module.FormalProof; |
32 |
|
import org.qedeq.kernel.se.base.module.FormalProofLine; |
33 |
|
import org.qedeq.kernel.se.base.module.FormalProofLineList; |
34 |
|
import org.qedeq.kernel.se.base.module.FormalProofList; |
35 |
|
import org.qedeq.kernel.se.base.module.Formula; |
36 |
|
import org.qedeq.kernel.se.base.module.FunctionDefinition; |
37 |
|
import org.qedeq.kernel.se.base.module.Header; |
38 |
|
import org.qedeq.kernel.se.base.module.Hypothesis; |
39 |
|
import org.qedeq.kernel.se.base.module.Import; |
40 |
|
import org.qedeq.kernel.se.base.module.ImportList; |
41 |
|
import org.qedeq.kernel.se.base.module.InitialFunctionDefinition; |
42 |
|
import org.qedeq.kernel.se.base.module.InitialPredicateDefinition; |
43 |
|
import org.qedeq.kernel.se.base.module.Latex; |
44 |
|
import org.qedeq.kernel.se.base.module.LatexList; |
45 |
|
import org.qedeq.kernel.se.base.module.LinkList; |
46 |
|
import org.qedeq.kernel.se.base.module.LiteratureItem; |
47 |
|
import org.qedeq.kernel.se.base.module.LiteratureItemList; |
48 |
|
import org.qedeq.kernel.se.base.module.Location; |
49 |
|
import org.qedeq.kernel.se.base.module.LocationList; |
50 |
|
import org.qedeq.kernel.se.base.module.ModusPonens; |
51 |
|
import org.qedeq.kernel.se.base.module.Node; |
52 |
|
import org.qedeq.kernel.se.base.module.PredicateDefinition; |
53 |
|
import org.qedeq.kernel.se.base.module.Proof; |
54 |
|
import org.qedeq.kernel.se.base.module.ProofList; |
55 |
|
import org.qedeq.kernel.se.base.module.Proposition; |
56 |
|
import org.qedeq.kernel.se.base.module.Qedeq; |
57 |
|
import org.qedeq.kernel.se.base.module.Reason; |
58 |
|
import org.qedeq.kernel.se.base.module.Rename; |
59 |
|
import org.qedeq.kernel.se.base.module.Rule; |
60 |
|
import org.qedeq.kernel.se.base.module.Section; |
61 |
|
import org.qedeq.kernel.se.base.module.SectionList; |
62 |
|
import org.qedeq.kernel.se.base.module.Specification; |
63 |
|
import org.qedeq.kernel.se.base.module.Subsection; |
64 |
|
import org.qedeq.kernel.se.base.module.SubsectionList; |
65 |
|
import org.qedeq.kernel.se.base.module.SubsectionType; |
66 |
|
import org.qedeq.kernel.se.base.module.SubstFree; |
67 |
|
import org.qedeq.kernel.se.base.module.SubstFunc; |
68 |
|
import org.qedeq.kernel.se.base.module.SubstPred; |
69 |
|
import org.qedeq.kernel.se.base.module.Term; |
70 |
|
import org.qedeq.kernel.se.base.module.Universal; |
71 |
|
import org.qedeq.kernel.se.base.module.UsedByList; |
72 |
|
import org.qedeq.kernel.se.common.ModuleDataException; |
73 |
|
|
74 |
|
|
75 |
|
|
76 |
|
|
77 |
|
@author |
78 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (108) |
Complexity: 108 |
Complexity Density: - |
|
79 |
|
public abstract class AbstractModuleVisitor implements QedeqVisitor { |
80 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
81 |
199449
|
public void visitEnter(final Atom atom) throws ModuleDataException {... |
82 |
|
} |
83 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
84 |
255595
|
public void visitEnter(final ElementList list) throws ModuleDataException {... |
85 |
|
} |
86 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
87 |
1416
|
public void visitEnter(final Author author) throws ModuleDataException {... |
88 |
|
} |
89 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
90 |
1416
|
public void visitEnter(final AuthorList authorList) throws ModuleDataException {... |
91 |
|
} |
92 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
93 |
1924
|
public void visitEnter(final Axiom axiom) throws ModuleDataException {... |
94 |
|
} |
95 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
96 |
4830
|
public void visitEnter(final Chapter chapter) throws ModuleDataException {... |
97 |
|
} |
98 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
99 |
1377
|
public void visitEnter(final ChapterList chapterList) throws ModuleDataException {... |
100 |
|
} |
101 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
102 |
24734
|
public void visitEnter(final Formula formula) throws ModuleDataException {... |
103 |
|
} |
104 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
105 |
1
|
public void visitEnter(final InitialFunctionDefinition functionDefinition)... |
106 |
|
throws ModuleDataException { |
107 |
|
} |
108 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
109 |
166
|
public void visitEnter(final FunctionDefinition functionDefinition) throws ModuleDataException {... |
110 |
|
} |
111 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
112 |
1343
|
public void visitEnter(final Header header) throws ModuleDataException {... |
113 |
|
} |
114 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
115 |
224
|
public void visitEnter(final Import imp) throws ModuleDataException {... |
116 |
|
} |
117 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
118 |
699
|
public void visitEnter(final ImportList importList) throws ModuleDataException {... |
119 |
|
} |
120 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
121 |
199049
|
public void visitEnter(final Latex latex) throws ModuleDataException {... |
122 |
|
} |
123 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
124 |
105810
|
public void visitEnter(final LatexList latexList) throws ModuleDataException {... |
125 |
|
} |
126 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
127 |
40
|
public void visitEnter(final LinkList linkList) throws ModuleDataException {... |
128 |
|
} |
129 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
130 |
2539
|
public void visitEnter(final LiteratureItem literatureItem) throws ModuleDataException {... |
131 |
|
} |
132 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
133 |
530
|
public void visitEnter(final LiteratureItemList literatureItemList) throws ModuleDataException {... |
134 |
|
} |
135 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
136 |
3496
|
public void visitEnter(final Location location) throws ModuleDataException {... |
137 |
|
} |
138 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
139 |
2750
|
public void visitEnter(final LocationList locationList) throws ModuleDataException {... |
140 |
|
} |
141 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
142 |
17023
|
public void visitEnter(final Node node) throws ModuleDataException {... |
143 |
|
} |
144 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
145 |
500
|
public void visitEnter(final InitialPredicateDefinition predicateDefinition)... |
146 |
|
throws ModuleDataException { |
147 |
|
} |
148 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
149 |
353
|
public void visitEnter(final PredicateDefinition predicateDefinition)... |
150 |
|
throws ModuleDataException { |
151 |
|
} |
152 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
153 |
1305
|
public void visitEnter(final FormalProofList proofList) throws ModuleDataException {... |
154 |
|
} |
155 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
156 |
933
|
public void visitEnter(final FormalProof proof) throws ModuleDataException {... |
157 |
|
} |
158 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
159 |
9572
|
public void visitEnter(final FormalProofLine proofLine) throws ModuleDataException {... |
160 |
|
} |
161 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
162 |
13392
|
public void visitEnter(final Reason reason) throws ModuleDataException {... |
163 |
|
} |
164 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
165 |
2653
|
public void visitEnter(final ModusPonens reason) throws ModuleDataException {... |
166 |
|
} |
167 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
168 |
2151
|
public void visitEnter(final Add reason) throws ModuleDataException {... |
169 |
|
} |
170 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
171 |
487
|
public void visitEnter(final Rename reason) throws ModuleDataException {... |
172 |
|
} |
173 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
174 |
286
|
public void visitEnter(final SubstFree reason) throws ModuleDataException {... |
175 |
|
} |
176 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
177 |
88
|
public void visitEnter(final SubstFunc reason) throws ModuleDataException {... |
178 |
|
} |
179 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
180 |
3627
|
public void visitEnter(final SubstPred reason) throws ModuleDataException {... |
181 |
|
} |
182 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
183 |
58
|
public void visitEnter(final Existential reason) throws ModuleDataException {... |
184 |
|
} |
185 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
186 |
229
|
public void visitEnter(final Universal reason) throws ModuleDataException {... |
187 |
|
} |
188 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
189 |
851
|
public void visitEnter(final ConditionalProof reason) throws ModuleDataException {... |
190 |
|
} |
191 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
192 |
851
|
public void visitEnter(final Hypothesis hypothesis) throws ModuleDataException {... |
193 |
|
} |
194 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
195 |
851
|
public void visitEnter(final Conclusion conclusion) throws ModuleDataException {... |
196 |
|
} |
197 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
198 |
1965
|
public void visitEnter(final FormalProofLineList proofLineList) throws ModuleDataException {... |
199 |
|
} |
200 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
201 |
220
|
public void visitEnter(final Proof proof) throws ModuleDataException {... |
202 |
|
} |
203 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
204 |
389
|
public void visitEnter(final ProofList proofList) throws ModuleDataException {... |
205 |
|
} |
206 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
207 |
1873
|
public void visitEnter(final Proposition proposition) throws ModuleDataException {... |
208 |
|
} |
209 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
210 |
1353
|
public void visitEnter(final Qedeq qedeq) throws ModuleDataException {... |
211 |
|
} |
212 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
213 |
1927
|
public void visitEnter(final Rule rule) throws ModuleDataException {... |
214 |
|
} |
215 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
216 |
21
|
public void visitEnter(final ChangedRuleList rule) throws ModuleDataException {... |
217 |
|
} |
218 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
219 |
145
|
public void visitEnter(final ChangedRule rule) throws ModuleDataException {... |
220 |
|
} |
221 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
222 |
9161
|
public void visitEnter(final Section section) throws ModuleDataException {... |
223 |
|
} |
224 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
225 |
3329
|
public void visitEnter(final SectionList sectionList) throws ModuleDataException {... |
226 |
|
} |
227 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
228 |
2195
|
public void visitEnter(final Specification specification) throws ModuleDataException {... |
229 |
|
} |
230 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
231 |
2987
|
public void visitEnter(final Subsection subsection) throws ModuleDataException {... |
232 |
|
} |
233 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
234 |
6298
|
public void visitEnter(final SubsectionList subsectionList) throws ModuleDataException {... |
235 |
|
} |
236 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
237 |
1
|
public void visitEnter(final SubsectionType subsectionType) throws ModuleDataException {... |
238 |
|
} |
239 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
240 |
405
|
public void visitEnter(final Term term) throws ModuleDataException {... |
241 |
|
} |
242 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
243 |
378
|
public void visitEnter(final UsedByList usedByList) throws ModuleDataException {... |
244 |
|
} |
245 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
246 |
1416
|
public void visitLeave(final Author author) throws ModuleDataException {... |
247 |
|
} |
248 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
249 |
1416
|
public void visitLeave(final AuthorList authorList) throws ModuleDataException {... |
250 |
|
} |
251 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
252 |
5705
|
public void visitLeave(final Axiom axiom) throws ModuleDataException {... |
253 |
|
} |
254 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
255 |
4822
|
public void visitLeave(final Chapter chapter) throws ModuleDataException {... |
256 |
|
} |
257 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
258 |
1369
|
public void visitLeave(final ChapterList chapterList) throws ModuleDataException {... |
259 |
|
} |
260 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
261 |
24734
|
public void visitLeave(final Formula formula) throws ModuleDataException {... |
262 |
|
} |
263 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
264 |
1
|
public void visitLeave(final InitialFunctionDefinition functionDefinition) throws ModuleDataException {... |
265 |
|
} |
266 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
267 |
2768
|
public void visitLeave(final FunctionDefinition functionDefinition) throws ModuleDataException {... |
268 |
|
} |
269 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
270 |
1353
|
public void visitLeave(final Header header) throws ModuleDataException {... |
271 |
|
} |
272 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
273 |
958
|
public void visitLeave(final Import imp) throws ModuleDataException {... |
274 |
|
} |
275 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
276 |
556
|
public void visitLeave(final ImportList importList) throws ModuleDataException {... |
277 |
|
} |
278 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
279 |
199049
|
public void visitLeave(final Latex latex) throws ModuleDataException {... |
280 |
|
} |
281 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
282 |
105810
|
public void visitLeave(final LatexList latexList) throws ModuleDataException {... |
283 |
|
} |
284 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
285 |
71
|
public void visitLeave(final LinkList linkList) throws ModuleDataException {... |
286 |
|
} |
287 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
288 |
2623
|
public void visitLeave(final LiteratureItem literatureItem) throws ModuleDataException {... |
289 |
|
} |
290 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
291 |
530
|
public void visitLeave(final LiteratureItemList literatureItemList) throws ModuleDataException {... |
292 |
|
} |
293 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
294 |
3813
|
public void visitLeave(final Location location) throws ModuleDataException {... |
295 |
|
} |
296 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
297 |
2750
|
public void visitLeave(final LocationList locationList) throws ModuleDataException {... |
298 |
|
} |
299 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
300 |
17019
|
public void visitLeave(final Node authorList) throws ModuleDataException {... |
301 |
|
} |
302 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
303 |
526
|
public void visitLeave(final InitialPredicateDefinition predicateDefinition)... |
304 |
|
throws ModuleDataException { |
305 |
|
} |
306 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
307 |
1687
|
public void visitLeave(final PredicateDefinition predicateDefinition)... |
308 |
|
throws ModuleDataException { |
309 |
|
} |
310 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
311 |
1305
|
public void visitLeave(final FormalProofList proofList) throws ModuleDataException {... |
312 |
|
} |
313 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
314 |
933
|
public void visitLeave(final FormalProof proof) throws ModuleDataException {... |
315 |
|
} |
316 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
317 |
9572
|
public void visitLeave(final FormalProofLine proofLine) throws ModuleDataException {... |
318 |
|
} |
319 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
320 |
13392
|
public void visitLeave(final Reason reason) throws ModuleDataException {... |
321 |
|
} |
322 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
323 |
3517
|
public void visitLeave(final ModusPonens reason) throws ModuleDataException {... |
324 |
|
} |
325 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
326 |
2795
|
public void visitLeave(final Add reason) throws ModuleDataException {... |
327 |
|
} |
328 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
329 |
589
|
public void visitLeave(final Rename reason) throws ModuleDataException {... |
330 |
|
} |
331 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
332 |
346
|
public void visitLeave(final SubstFree reason) throws ModuleDataException {... |
333 |
|
} |
334 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
335 |
106
|
public void visitLeave(final SubstFunc reason) throws ModuleDataException {... |
336 |
|
} |
337 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
338 |
4741
|
public void visitLeave(final SubstPred reason) throws ModuleDataException {... |
339 |
|
} |
340 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
341 |
70
|
public void visitLeave(final Existential reason) throws ModuleDataException {... |
342 |
|
} |
343 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
344 |
277
|
public void visitLeave(final Universal reason) throws ModuleDataException {... |
345 |
|
} |
346 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
347 |
851
|
public void visitLeave(final ConditionalProof reason) throws ModuleDataException {... |
348 |
|
} |
349 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
350 |
851
|
public void visitLeave(final Hypothesis hypothesis) throws ModuleDataException {... |
351 |
|
} |
352 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
353 |
851
|
public void visitLeave(final Conclusion conclusion) throws ModuleDataException {... |
354 |
|
} |
355 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
356 |
1965
|
public void visitLeave(final FormalProofLineList proofLineList) throws ModuleDataException {... |
357 |
|
} |
358 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
359 |
218
|
public void visitLeave(final Proof proof) throws ModuleDataException {... |
360 |
|
} |
361 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
362 |
387
|
public void visitLeave(final ProofList proofList) throws ModuleDataException {... |
363 |
|
} |
364 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
365 |
12122
|
public void visitLeave(final Proposition proposition) throws ModuleDataException {... |
366 |
|
} |
367 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
368 |
1345
|
public void visitLeave(final Qedeq qedeq) throws ModuleDataException {... |
369 |
|
} |
370 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
371 |
3807
|
public void visitLeave(final Rule rule) throws ModuleDataException {... |
372 |
|
} |
373 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
374 |
27
|
public void visitLeave(final ChangedRuleList rule) throws ModuleDataException {... |
375 |
|
} |
376 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
377 |
193
|
public void visitLeave(final ChangedRule rule) throws ModuleDataException {... |
378 |
|
} |
379 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
380 |
9153
|
public void visitLeave(final Section section) throws ModuleDataException {... |
381 |
|
} |
382 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
383 |
3217
|
public void visitLeave(final SectionList sectionList) throws ModuleDataException {... |
384 |
|
} |
385 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
386 |
2750
|
public void visitLeave(final Specification specification) throws ModuleDataException {... |
387 |
|
} |
388 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
389 |
3035
|
public void visitLeave(final Subsection subsection) throws ModuleDataException {... |
390 |
|
} |
391 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
392 |
6290
|
public void visitLeave(final SubsectionList subsectionList) throws ModuleDataException {... |
393 |
|
} |
394 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
395 |
1
|
public void visitLeave(final SubsectionType subsectionType) throws ModuleDataException {... |
396 |
|
} |
397 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
398 |
405
|
public void visitLeave(final Term term) throws ModuleDataException {... |
399 |
|
} |
400 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
401 |
378
|
public void visitLeave(final UsedByList usedByList) throws ModuleDataException {... |
402 |
|
} |
403 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
404 |
199449
|
public void visitLeave(final Atom atom) throws ModuleDataException {... |
405 |
|
} |
406 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
407 |
255595
|
public void visitLeave(final ElementList list) throws ModuleDataException {... |
408 |
|
} |
409 |
|
} |