Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
110   202   3   36.67
0   175   0.03   3
3     1  
1    
 
  AbstractModuleVisitorTest       Line # 79 110 3 100% 1.0
 
  (2)
 
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.base.test.QedeqTestCase;
19    import org.qedeq.kernel.se.base.list.Atom;
20    import org.qedeq.kernel.se.base.list.ElementList;
21    import org.qedeq.kernel.se.base.module.Add;
22    import org.qedeq.kernel.se.base.module.Author;
23    import org.qedeq.kernel.se.base.module.AuthorList;
24    import org.qedeq.kernel.se.base.module.Axiom;
25    import org.qedeq.kernel.se.base.module.ChangedRule;
26    import org.qedeq.kernel.se.base.module.ChangedRuleList;
27    import org.qedeq.kernel.se.base.module.Chapter;
28    import org.qedeq.kernel.se.base.module.ChapterList;
29    import org.qedeq.kernel.se.base.module.Conclusion;
30    import org.qedeq.kernel.se.base.module.ConditionalProof;
31    import org.qedeq.kernel.se.base.module.Existential;
32    import org.qedeq.kernel.se.base.module.FormalProof;
33    import org.qedeq.kernel.se.base.module.FormalProofLine;
34    import org.qedeq.kernel.se.base.module.FormalProofLineList;
35    import org.qedeq.kernel.se.base.module.FormalProofList;
36    import org.qedeq.kernel.se.base.module.Formula;
37    import org.qedeq.kernel.se.base.module.FunctionDefinition;
38    import org.qedeq.kernel.se.base.module.Header;
39    import org.qedeq.kernel.se.base.module.Hypothesis;
40    import org.qedeq.kernel.se.base.module.Import;
41    import org.qedeq.kernel.se.base.module.ImportList;
42    import org.qedeq.kernel.se.base.module.InitialFunctionDefinition;
43    import org.qedeq.kernel.se.base.module.InitialPredicateDefinition;
44    import org.qedeq.kernel.se.base.module.Latex;
45    import org.qedeq.kernel.se.base.module.LatexList;
46    import org.qedeq.kernel.se.base.module.LinkList;
47    import org.qedeq.kernel.se.base.module.LiteratureItem;
48    import org.qedeq.kernel.se.base.module.LiteratureItemList;
49    import org.qedeq.kernel.se.base.module.Location;
50    import org.qedeq.kernel.se.base.module.LocationList;
51    import org.qedeq.kernel.se.base.module.ModusPonens;
52    import org.qedeq.kernel.se.base.module.Node;
53    import org.qedeq.kernel.se.base.module.PredicateDefinition;
54    import org.qedeq.kernel.se.base.module.Proof;
55    import org.qedeq.kernel.se.base.module.ProofList;
56    import org.qedeq.kernel.se.base.module.Proposition;
57    import org.qedeq.kernel.se.base.module.Qedeq;
58    import org.qedeq.kernel.se.base.module.Reason;
59    import org.qedeq.kernel.se.base.module.Rename;
60    import org.qedeq.kernel.se.base.module.Rule;
61    import org.qedeq.kernel.se.base.module.Section;
62    import org.qedeq.kernel.se.base.module.SectionList;
63    import org.qedeq.kernel.se.base.module.Specification;
64    import org.qedeq.kernel.se.base.module.Subsection;
65    import org.qedeq.kernel.se.base.module.SubsectionList;
66    import org.qedeq.kernel.se.base.module.SubsectionType;
67    import org.qedeq.kernel.se.base.module.SubstFree;
68    import org.qedeq.kernel.se.base.module.SubstFunc;
69    import org.qedeq.kernel.se.base.module.SubstPred;
70    import org.qedeq.kernel.se.base.module.Term;
71    import org.qedeq.kernel.se.base.module.Universal;
72    import org.qedeq.kernel.se.base.module.UsedByList;
73   
74    /**
75    * Test class.
76    *
77    * @author Michael Meyling
78    */
 
79    public class AbstractModuleVisitorTest extends QedeqTestCase {
80   
81    private AbstractModuleVisitor listener;
82   
 
83  2 toggle protected void setUp() throws Exception {
84  2 super.setUp();
85  2 listener = new AbstractModuleVisitor() {};
86    }
87   
 
88  1 toggle public void testEnter() throws Exception {
89  1 listener.visitEnter((Add) null);
90  1 listener.visitEnter((Atom) null);
91  1 listener.visitEnter((Author) null);
92  1 listener.visitEnter((AuthorList) null);
93  1 listener.visitEnter((Axiom) null);
94  1 listener.visitEnter((ChangedRule) null);
95  1 listener.visitEnter((ChangedRuleList) null);
96  1 listener.visitEnter((Chapter) null);
97  1 listener.visitEnter((ChapterList) null);
98  1 listener.visitEnter((Conclusion) null);
99  1 listener.visitEnter((ConditionalProof) null);
100  1 listener.visitEnter((ElementList) null);
101  1 listener.visitEnter((Existential) null);
102  1 listener.visitEnter((FormalProof) null);
103  1 listener.visitEnter((FormalProofLine) null);
104  1 listener.visitEnter((FormalProofLineList) null);
105  1 listener.visitEnter((FormalProofList) null);
106  1 listener.visitEnter((Formula) null);
107  1 listener.visitEnter((FunctionDefinition) null);
108  1 listener.visitEnter((Header) null);
109  1 listener.visitEnter((Hypothesis) null);
110  1 listener.visitEnter((Import) null);
111  1 listener.visitEnter((ImportList) null);
112  1 listener.visitEnter((InitialFunctionDefinition) null);
113  1 listener.visitEnter((InitialPredicateDefinition) null);
114  1 listener.visitEnter((Latex) null);
115  1 listener.visitEnter((LatexList) null);
116  1 listener.visitEnter((LinkList) null);
117  1 listener.visitEnter((LiteratureItem) null);
118  1 listener.visitEnter((LiteratureItemList) null);
119  1 listener.visitEnter((Location) null);
120  1 listener.visitEnter((LocationList) null);
121  1 listener.visitEnter((ModusPonens) null);
122  1 listener.visitEnter((Node) null);
123  1 listener.visitEnter((PredicateDefinition) null);
124  1 listener.visitEnter((Proof) null);
125  1 listener.visitEnter((ProofList) null);
126  1 listener.visitEnter((Proposition) null);
127  1 listener.visitEnter((Qedeq) null);
128  1 listener.visitEnter((Reason) null);
129  1 listener.visitEnter((Rename) null);
130  1 listener.visitEnter((Rule) null);
131  1 listener.visitEnter((Section) null);
132  1 listener.visitEnter((SectionList) null);
133  1 listener.visitEnter((Specification) null);
134  1 listener.visitEnter((Subsection) null);
135  1 listener.visitEnter((SubsectionList) null);
136  1 listener.visitEnter((SubsectionType) null);
137  1 listener.visitEnter((SubstFree) null);
138  1 listener.visitEnter((SubstFunc) null);
139  1 listener.visitEnter((SubstPred) null);
140  1 listener.visitEnter((Term) null);
141  1 listener.visitEnter((Universal) null);
142  1 listener.visitEnter((UsedByList) null);
143    }
144   
 
145  1 toggle public void testLeave() throws Exception {
146  1 listener.visitLeave((Add) null);
147  1 listener.visitLeave((Atom) null);
148  1 listener.visitLeave((Author) null);
149  1 listener.visitLeave((AuthorList) null);
150  1 listener.visitLeave((Axiom) null);
151  1 listener.visitLeave((ChangedRule) null);
152  1 listener.visitLeave((ChangedRuleList) null);
153  1 listener.visitLeave((Chapter) null);
154  1 listener.visitLeave((ChapterList) null);
155  1 listener.visitLeave((Conclusion) null);
156  1 listener.visitLeave((ConditionalProof) null);
157  1 listener.visitLeave((ElementList) null);
158  1 listener.visitLeave((Existential) null);
159  1 listener.visitLeave((FormalProof) null);
160  1 listener.visitLeave((FormalProofLine) null);
161  1 listener.visitLeave((FormalProofLineList) null);
162  1 listener.visitLeave((FormalProofList) null);
163  1 listener.visitLeave((Formula) null);
164  1 listener.visitLeave((FunctionDefinition) null);
165  1 listener.visitLeave((Header) null);
166  1 listener.visitLeave((Hypothesis) null);
167  1 listener.visitLeave((Import) null);
168  1 listener.visitLeave((ImportList) null);
169  1 listener.visitLeave((InitialFunctionDefinition) null);
170  1 listener.visitLeave((InitialPredicateDefinition) null);
171  1 listener.visitLeave((Latex) null);
172  1 listener.visitLeave((LatexList) null);
173  1 listener.visitLeave((LinkList) null);
174  1 listener.visitLeave((LiteratureItem) null);
175  1 listener.visitLeave((LiteratureItemList) null);
176  1 listener.visitLeave((Location) null);
177  1 listener.visitLeave((LocationList) null);
178  1 listener.visitLeave((ModusPonens) null);
179  1 listener.visitLeave((Node) null);
180  1 listener.visitLeave((PredicateDefinition) null);
181  1 listener.visitLeave((Proof) null);
182  1 listener.visitLeave((ProofList) null);
183  1 listener.visitLeave((Proposition) null);
184  1 listener.visitLeave((Qedeq) null);
185  1 listener.visitLeave((Reason) null);
186  1 listener.visitLeave((Rename) null);
187  1 listener.visitLeave((Rule) null);
188  1 listener.visitLeave((Section) null);
189  1 listener.visitLeave((SectionList) null);
190  1 listener.visitLeave((Specification) null);
191  1 listener.visitLeave((Subsection) null);
192  1 listener.visitLeave((SubsectionList) null);
193  1 listener.visitLeave((SubsectionType) null);
194  1 listener.visitLeave((SubstFree) null);
195  1 listener.visitLeave((SubstFunc) null);
196  1 listener.visitLeave((SubstPred) null);
197  1 listener.visitLeave((Term) null);
198  1 listener.visitLeave((Universal) null);
199  1 listener.visitLeave((UsedByList) null);
200    }
201   
202    }
 
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 .