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
52   143   2   26
0   114   0.04   2
2     1  
1    
 
  AbstractVoModuleTestCase       Line # 79 52 2 100% 1.0
 
  (51)
 
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.dto.module;
17   
18    import java.util.HashMap;
19    import java.util.Map;
20   
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.Node;
51    import org.qedeq.kernel.se.base.module.NodeType;
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.test.AbstractValueObjectTestCase;
73   
74    /**
75    * Test helper. Gives concrete class for an interface.
76    *
77    * @author Michael Meyling
78    */
 
79    public abstract class AbstractVoModuleTestCase extends AbstractValueObjectTestCase {
80   
81    /** Maps abstract classes to an implementation class. */
82    private static final Map interface2ConcreteClass = new HashMap();
83   
 
84  51 toggle static {
85  51 interface2ConcreteClass.put(Author.class, AuthorVo.class);
86  51 interface2ConcreteClass.put(AuthorList.class, AuthorListVo.class);
87  51 interface2ConcreteClass.put(Axiom.class, AxiomVo.class);
88  51 interface2ConcreteClass.put(ChangedRule.class, ChangedRuleVo.class);
89  51 interface2ConcreteClass.put(ChangedRuleList.class, ChangedRuleListVo.class);
90  51 interface2ConcreteClass.put(Chapter.class, ChapterVo.class);
91  51 interface2ConcreteClass.put(ChapterList.class, ChapterListVo.class);
92  51 interface2ConcreteClass.put(ConditionalProof.class, ConditionalProofVo.class);
93  51 interface2ConcreteClass.put(Conclusion.class, ConclusionVo.class);
94  51 interface2ConcreteClass.put(InitialPredicateDefinition.class, InitialPredicateDefinitionVo.class);
95  51 interface2ConcreteClass.put(PredicateDefinition.class, PredicateDefinitionVo.class);
96  51 interface2ConcreteClass.put(Existential.class, ExistentialVo.class);
97  51 interface2ConcreteClass.put(InitialFunctionDefinition.class, InitialFunctionDefinitionVo.class);
98  51 interface2ConcreteClass.put(FunctionDefinition.class, FunctionDefinitionVo.class);
99  51 interface2ConcreteClass.put(FormalProof.class, FormalProofVo.class);
100  51 interface2ConcreteClass.put(FormalProofList.class, FormalProofListVo.class);
101  51 interface2ConcreteClass.put(FormalProofLine.class, FormalProofLineVo.class);
102  51 interface2ConcreteClass.put(FormalProofLineList.class, FormalProofLineListVo.class);
103  51 interface2ConcreteClass.put(Formula.class, FormulaVo.class);
104  51 interface2ConcreteClass.put(Header.class, HeaderVo.class);
105  51 interface2ConcreteClass.put(Hypothesis.class, HypothesisVo.class);
106  51 interface2ConcreteClass.put(Import.class, ImportVo.class);
107  51 interface2ConcreteClass.put(ImportList.class, ImportListVo.class);
108  51 interface2ConcreteClass.put(Latex.class, LatexVo.class);
109  51 interface2ConcreteClass.put(LatexList.class, LatexListVo.class);
110  51 interface2ConcreteClass.put(LinkList.class, LinkListVo.class);
111  51 interface2ConcreteClass.put(LiteratureItem.class, LiteratureItemVo.class);
112  51 interface2ConcreteClass.put(LiteratureItemList.class, LiteratureItemListVo.class);
113  51 interface2ConcreteClass.put(Location.class, LocationVo.class);
114  51 interface2ConcreteClass.put(LocationList.class, LocationListVo.class);
115  51 interface2ConcreteClass.put(Node.class, NodeVo.class);
116  51 interface2ConcreteClass.put(Proof.class, ProofVo.class);
117  51 interface2ConcreteClass.put(ProofList.class, ProofListVo.class);
118  51 interface2ConcreteClass.put(Proposition.class, PropositionVo.class);
119  51 interface2ConcreteClass.put(Qedeq.class, QedeqVo.class);
120  51 interface2ConcreteClass.put(Rename.class, RenameVo.class);
121  51 interface2ConcreteClass.put(Rule.class, RuleVo.class);
122  51 interface2ConcreteClass.put(Section.class, SectionVo.class);
123  51 interface2ConcreteClass.put(SectionList.class, SectionListVo.class);
124  51 interface2ConcreteClass.put(Specification.class, SpecificationVo.class);
125  51 interface2ConcreteClass.put(Subsection.class, SubsectionVo.class);
126  51 interface2ConcreteClass.put(SubsectionList.class, SubsectionListVo.class);
127  51 interface2ConcreteClass.put(SubstFree.class, SubstFreeVo.class);
128  51 interface2ConcreteClass.put(SubstFunc.class, SubstFuncVo.class);
129  51 interface2ConcreteClass.put(SubstPred.class, SubstPredVo.class);
130  51 interface2ConcreteClass.put(Term.class, TermVo.class);
131  51 interface2ConcreteClass.put(Universal.class, UniversalVo.class);
132  51 interface2ConcreteClass.put(UsedByList.class, UsedByListVo.class);
133   
134  51 interface2ConcreteClass.put(NodeType.class, PredicateDefinitionVo.class);
135  51 interface2ConcreteClass.put(SubsectionType.class, NodeVo.class);
136  51 interface2ConcreteClass.put(Reason.class, ModusPonensVo.class);
137    }
138   
 
139  11644 toggle protected Class abstractToConcreteClass(final Class clazz) {
140  11644 return (Class) interface2ConcreteClass.get(clazz);
141    }
142   
143    }
 
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 .