Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
../../../../../img/srcFileCovDistChart10.png 0% of files have more coverage
0   409   108   0
0   279   -   108
108     1  
1    
 
  AbstractModuleVisitor       Line # 79 0 108 100% 1.0
 
  (96)
 
1    /* This file is part of the project "Hilbert II" - http://www.qedeq.org
2    *
3    * Copyright 2000-2013, Michael Meyling <mime@qedeq.org>.
4    *
5    * "Hilbert II" is free software; you can redistribute
6    * it and/or modify it under the terms of the GNU General Public
7    * License as published by the Free Software Foundation; either
8    * version 2 of the License, or (at your option) any later version.
9    *
10    * This program is distributed in the hope that it will be useful,
11    * but WITHOUT ANY WARRANTY; without even the implied warranty of
12    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13    * GNU General Public License for more details.
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    * Basic visitor that makes nothing.
76    *
77    * @author Michael Meyling
78    */
 
79    public abstract class AbstractModuleVisitor implements QedeqVisitor {
80   
 
81  199449 toggle public void visitEnter(final Atom atom) throws ModuleDataException {
82    }
83   
 
84  255595 toggle public void visitEnter(final ElementList list) throws ModuleDataException {
85    }
86   
 
87  1416 toggle public void visitEnter(final Author author) throws ModuleDataException {
88    }
89   
 
90  1416 toggle public void visitEnter(final AuthorList authorList) throws ModuleDataException {
91    }
92   
 
93  1924 toggle public void visitEnter(final Axiom axiom) throws ModuleDataException {
94    }
95   
 
96  4830 toggle public void visitEnter(final Chapter chapter) throws ModuleDataException {
97    }
98   
 
99  1377 toggle public void visitEnter(final ChapterList chapterList) throws ModuleDataException {
100    }
101   
 
102  24734 toggle public void visitEnter(final Formula formula) throws ModuleDataException {
103    }
104   
 
105  1 toggle public void visitEnter(final InitialFunctionDefinition functionDefinition)
106    throws ModuleDataException {
107    }
108   
 
109  166 toggle public void visitEnter(final FunctionDefinition functionDefinition) throws ModuleDataException {
110    }
111   
 
112  1343 toggle public void visitEnter(final Header header) throws ModuleDataException {
113    }
114   
 
115  224 toggle public void visitEnter(final Import imp) throws ModuleDataException {
116    }
117   
 
118  699 toggle public void visitEnter(final ImportList importList) throws ModuleDataException {
119    }
120   
 
121  199049 toggle public void visitEnter(final Latex latex) throws ModuleDataException {
122    }
123   
 
124  105810 toggle public void visitEnter(final LatexList latexList) throws ModuleDataException {
125    }
126   
 
127  40 toggle public void visitEnter(final LinkList linkList) throws ModuleDataException {
128    }
129   
 
130  2539 toggle public void visitEnter(final LiteratureItem literatureItem) throws ModuleDataException {
131    }
132   
 
133  530 toggle public void visitEnter(final LiteratureItemList literatureItemList) throws ModuleDataException {
134    }
135   
 
136  3496 toggle public void visitEnter(final Location location) throws ModuleDataException {
137    }
138   
 
139  2750 toggle public void visitEnter(final LocationList locationList) throws ModuleDataException {
140    }
141   
 
142  17023 toggle public void visitEnter(final Node node) throws ModuleDataException {
143    }
144   
 
145  500 toggle public void visitEnter(final InitialPredicateDefinition predicateDefinition)
146    throws ModuleDataException {
147    }
148   
 
149  353 toggle public void visitEnter(final PredicateDefinition predicateDefinition)
150    throws ModuleDataException {
151    }
152   
 
153  1305 toggle public void visitEnter(final FormalProofList proofList) throws ModuleDataException {
154    }
155   
 
156  933 toggle public void visitEnter(final FormalProof proof) throws ModuleDataException {
157    }
158   
 
159  9572 toggle public void visitEnter(final FormalProofLine proofLine) throws ModuleDataException {
160    }
161   
 
162  13392 toggle public void visitEnter(final Reason reason) throws ModuleDataException {
163    }
164   
 
165  2653 toggle public void visitEnter(final ModusPonens reason) throws ModuleDataException {
166    }
167   
 
168  2151 toggle public void visitEnter(final Add reason) throws ModuleDataException {
169    }
170   
 
171  487 toggle public void visitEnter(final Rename reason) throws ModuleDataException {
172    }
173   
 
174  286 toggle public void visitEnter(final SubstFree reason) throws ModuleDataException {
175    }
176   
 
177  88 toggle public void visitEnter(final SubstFunc reason) throws ModuleDataException {
178    }
179   
 
180  3627 toggle public void visitEnter(final SubstPred reason) throws ModuleDataException {
181    }
182   
 
183  58 toggle public void visitEnter(final Existential reason) throws ModuleDataException {
184    }
185   
 
186  229 toggle public void visitEnter(final Universal reason) throws ModuleDataException {
187    }
188   
 
189  851 toggle public void visitEnter(final ConditionalProof reason) throws ModuleDataException {
190    }
191   
 
192  851 toggle public void visitEnter(final Hypothesis hypothesis) throws ModuleDataException {
193    }
194   
 
195  851 toggle public void visitEnter(final Conclusion conclusion) throws ModuleDataException {
196    }
197   
 
198  1965 toggle public void visitEnter(final FormalProofLineList proofLineList) throws ModuleDataException {
199    }
200   
 
201  220 toggle public void visitEnter(final Proof proof) throws ModuleDataException {
202    }
203   
 
204  389 toggle public void visitEnter(final ProofList proofList) throws ModuleDataException {
205    }
206   
 
207  1873 toggle public void visitEnter(final Proposition proposition) throws ModuleDataException {
208    }
209   
 
210  1353 toggle public void visitEnter(final Qedeq qedeq) throws ModuleDataException {
211    }
212   
 
213  1927 toggle public void visitEnter(final Rule rule) throws ModuleDataException {
214    }
215   
 
216  21 toggle public void visitEnter(final ChangedRuleList rule) throws ModuleDataException {
217    }
218   
 
219  145 toggle public void visitEnter(final ChangedRule rule) throws ModuleDataException {
220    }
221   
 
222  9161 toggle public void visitEnter(final Section section) throws ModuleDataException {
223    }
224   
 
225  3329 toggle public void visitEnter(final SectionList sectionList) throws ModuleDataException {
226    }
227   
 
228  2195 toggle public void visitEnter(final Specification specification) throws ModuleDataException {
229    }
230   
 
231  2987 toggle public void visitEnter(final Subsection subsection) throws ModuleDataException {
232    }
233   
 
234  6298 toggle public void visitEnter(final SubsectionList subsectionList) throws ModuleDataException {
235    }
236   
 
237  1 toggle public void visitEnter(final SubsectionType subsectionType) throws ModuleDataException {
238    }
239   
 
240  405 toggle public void visitEnter(final Term term) throws ModuleDataException {
241    }
242   
 
243  378 toggle public void visitEnter(final UsedByList usedByList) throws ModuleDataException {
244    }
245   
 
246  1416 toggle public void visitLeave(final Author author) throws ModuleDataException {
247    }
248   
 
249  1416 toggle public void visitLeave(final AuthorList authorList) throws ModuleDataException {
250    }
251   
 
252  5705 toggle public void visitLeave(final Axiom axiom) throws ModuleDataException {
253    }
254   
 
255  4822 toggle public void visitLeave(final Chapter chapter) throws ModuleDataException {
256    }
257   
 
258  1369 toggle public void visitLeave(final ChapterList chapterList) throws ModuleDataException {
259    }
260   
 
261  24734 toggle public void visitLeave(final Formula formula) throws ModuleDataException {
262    }
263   
 
264  1 toggle public void visitLeave(final InitialFunctionDefinition functionDefinition) throws ModuleDataException {
265    }
266   
 
267  2768 toggle public void visitLeave(final FunctionDefinition functionDefinition) throws ModuleDataException {
268    }
269   
 
270  1353 toggle public void visitLeave(final Header header) throws ModuleDataException {
271    }
272   
 
273  958 toggle public void visitLeave(final Import imp) throws ModuleDataException {
274    }
275   
 
276  556 toggle public void visitLeave(final ImportList importList) throws ModuleDataException {
277    }
278   
 
279  199049 toggle public void visitLeave(final Latex latex) throws ModuleDataException {
280    }
281   
 
282  105810 toggle public void visitLeave(final LatexList latexList) throws ModuleDataException {
283    }
284   
 
285  71 toggle public void visitLeave(final LinkList linkList) throws ModuleDataException {
286    }
287   
 
288  2623 toggle public void visitLeave(final LiteratureItem literatureItem) throws ModuleDataException {
289    }
290   
 
291  530 toggle public void visitLeave(final LiteratureItemList literatureItemList) throws ModuleDataException {
292    }
293   
 
294  3813 toggle public void visitLeave(final Location location) throws ModuleDataException {
295    }
296   
 
297  2750 toggle public void visitLeave(final LocationList locationList) throws ModuleDataException {
298    }
299   
 
300  17019 toggle public void visitLeave(final Node authorList) throws ModuleDataException {
301    }
302   
 
303  526 toggle public void visitLeave(final InitialPredicateDefinition predicateDefinition)
304    throws ModuleDataException {
305    }
306   
 
307  1687 toggle public void visitLeave(final PredicateDefinition predicateDefinition)
308    throws ModuleDataException {
309    }
310   
 
311  1305 toggle public void visitLeave(final FormalProofList proofList) throws ModuleDataException {
312    }
313   
 
314  933 toggle public void visitLeave(final FormalProof proof) throws ModuleDataException {
315    }
316   
 
317  9572 toggle public void visitLeave(final FormalProofLine proofLine) throws ModuleDataException {
318    }
319   
 
320  13392 toggle public void visitLeave(final Reason reason) throws ModuleDataException {
321    }
322   
 
323  3517 toggle public void visitLeave(final ModusPonens reason) throws ModuleDataException {
324    }
325   
 
326  2795 toggle public void visitLeave(final Add reason) throws ModuleDataException {
327    }
328   
 
329  589 toggle public void visitLeave(final Rename reason) throws ModuleDataException {
330    }
331   
 
332  346 toggle public void visitLeave(final SubstFree reason) throws ModuleDataException {
333    }
334   
 
335  106 toggle public void visitLeave(final SubstFunc reason) throws ModuleDataException {
336    }
337   
 
338  4741 toggle public void visitLeave(final SubstPred reason) throws ModuleDataException {
339    }
340   
 
341  70 toggle public void visitLeave(final Existential reason) throws ModuleDataException {
342    }
343   
 
344  277 toggle public void visitLeave(final Universal reason) throws ModuleDataException {
345    }
346   
 
347  851 toggle public void visitLeave(final ConditionalProof reason) throws ModuleDataException {
348    }
349   
 
350  851 toggle public void visitLeave(final Hypothesis hypothesis) throws ModuleDataException {
351    }
352   
 
353  851 toggle public void visitLeave(final Conclusion conclusion) throws ModuleDataException {
354    }
355   
 
356  1965 toggle public void visitLeave(final FormalProofLineList proofLineList) throws ModuleDataException {
357    }
358   
 
359  218 toggle public void visitLeave(final Proof proof) throws ModuleDataException {
360    }
361   
 
362  387 toggle public void visitLeave(final ProofList proofList) throws ModuleDataException {
363    }
364   
 
365  12122 toggle public void visitLeave(final Proposition proposition) throws ModuleDataException {
366    }
367   
 
368  1345 toggle public void visitLeave(final Qedeq qedeq) throws ModuleDataException {
369    }
370   
 
371  3807 toggle public void visitLeave(final Rule rule) throws ModuleDataException {
372    }
373   
 
374  27 toggle public void visitLeave(final ChangedRuleList rule) throws ModuleDataException {
375    }
376   
 
377  193 toggle public void visitLeave(final ChangedRule rule) throws ModuleDataException {
378    }
379   
 
380  9153 toggle public void visitLeave(final Section section) throws ModuleDataException {
381    }
382   
 
383  3217 toggle public void visitLeave(final SectionList sectionList) throws ModuleDataException {
384    }
385   
 
386  2750 toggle public void visitLeave(final Specification specification) throws ModuleDataException {
387    }
388   
 
389  3035 toggle public void visitLeave(final Subsection subsection) throws ModuleDataException {
390    }
391   
 
392  6290 toggle public void visitLeave(final SubsectionList subsectionList) throws ModuleDataException {
393    }
394   
 
395  1 toggle public void visitLeave(final SubsectionType subsectionType) throws ModuleDataException {
396    }
397   
 
398  405 toggle public void visitLeave(final Term term) throws ModuleDataException {
399    }
400   
 
401  378 toggle public void visitLeave(final UsedByList usedByList) throws ModuleDataException {
402    }
403   
 
404  199449 toggle public void visitLeave(final Atom atom) throws ModuleDataException {
405    }
406   
 
407  255595 toggle public void visitLeave(final ElementList list) throws ModuleDataException {
408    }
409    }
 
CloverReport generated by Clover Code Coverage v3.1.10
Fri May 24 2013 13:47:32 UTC.		   Clover: Open Source License registered to qedeq.org .