Clover Coverage Report
Coverage timestamp: Sa Aug 2 2008 13:56:27 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
../../../../../img/srcFileCovDistChart10.png 0% of files have more coverage
35   112   2   17,5
0   80   0,06   2
2     1  
1    
 
  AbstractVoModuleTest       Line # 65 35 2 100% 1.0
 
  (32)
 
1    /* $Id: AbstractVoModuleTest.java,v 1.7 2008/03/27 05:12:40 m31 Exp $
2    *
3    * This file is part of the project "Hilbert II" - http://www.qedeq.org
4    *
5    * Copyright 2000-2008, Michael Meyling <mime@qedeq.org>.
6    *
7    * "Hilbert II" is free software; you can redistribute
8    * it and/or modify it under the terms of the GNU General Public
9    * License as published by the Free Software Foundation; either
10    * version 2 of the License, or (at your option) any later version.
11    *
12    * This program is distributed in the hope that it will be useful,
13    * but WITHOUT ANY WARRANTY; without even the implied warranty of
14    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15    * GNU General Public License for more details.
16    */
17   
18    package org.qedeq.kernel.dto.module;
19   
20    import java.util.HashMap;
21    import java.util.Map;
22   
23    import org.qedeq.kernel.base.module.Author;
24    import org.qedeq.kernel.base.module.AuthorList;
25    import org.qedeq.kernel.base.module.Axiom;
26    import org.qedeq.kernel.base.module.Chapter;
27    import org.qedeq.kernel.base.module.ChapterList;
28    import org.qedeq.kernel.base.module.Formula;
29    import org.qedeq.kernel.base.module.FunctionDefinition;
30    import org.qedeq.kernel.base.module.Header;
31    import org.qedeq.kernel.base.module.Import;
32    import org.qedeq.kernel.base.module.ImportList;
33    import org.qedeq.kernel.base.module.Latex;
34    import org.qedeq.kernel.base.module.LatexList;
35    import org.qedeq.kernel.base.module.LinkList;
36    import org.qedeq.kernel.base.module.LiteratureItem;
37    import org.qedeq.kernel.base.module.LiteratureItemList;
38    import org.qedeq.kernel.base.module.Location;
39    import org.qedeq.kernel.base.module.LocationList;
40    import org.qedeq.kernel.base.module.Node;
41    import org.qedeq.kernel.base.module.NodeType;
42    import org.qedeq.kernel.base.module.PredicateDefinition;
43    import org.qedeq.kernel.base.module.Proof;
44    import org.qedeq.kernel.base.module.ProofList;
45    import org.qedeq.kernel.base.module.Proposition;
46    import org.qedeq.kernel.base.module.Qedeq;
47    import org.qedeq.kernel.base.module.Rule;
48    import org.qedeq.kernel.base.module.Section;
49    import org.qedeq.kernel.base.module.SectionList;
50    import org.qedeq.kernel.base.module.Specification;
51    import org.qedeq.kernel.base.module.Subsection;
52    import org.qedeq.kernel.base.module.SubsectionList;
53    import org.qedeq.kernel.base.module.SubsectionType;
54    import org.qedeq.kernel.base.module.Term;
55    import org.qedeq.kernel.base.module.UsedByList;
56    import org.qedeq.kernel.base.module.VariableList;
57    import org.qedeq.kernel.test.AbstractValueObjectTest;
58   
59    /**
60    * Test helper. Gives concrete class for an interface.
61    *
62    * @version $Revision: 1.7 $
63    * @author Michael Meyling
64    */
 
65    public abstract class AbstractVoModuleTest extends AbstractValueObjectTest {
66   
67    /** Maps abstract classes to an implementation class. */
68    private static final Map interface2ConcreteClass = new HashMap();
69   
 
70  32 toggle static {
71  32 interface2ConcreteClass.put(Author.class, AuthorVo.class);
72  32 interface2ConcreteClass.put(AuthorList.class, AuthorListVo.class);
73  32 interface2ConcreteClass.put(Axiom.class, AxiomVo.class);
74  32 interface2ConcreteClass.put(Chapter.class, ChapterVo.class);
75  32 interface2ConcreteClass.put(ChapterList.class, ChapterListVo.class);
76  32 interface2ConcreteClass.put(PredicateDefinition.class, PredicateDefinitionVo.class);
77  32 interface2ConcreteClass.put(FunctionDefinition.class, FunctionDefinitionVo.class);
78  32 interface2ConcreteClass.put(Formula.class, FormulaVo.class);
79  32 interface2ConcreteClass.put(Header.class, HeaderVo.class);
80  32 interface2ConcreteClass.put(Import.class, ImportVo.class);
81  32 interface2ConcreteClass.put(ImportList.class, ImportListVo.class);
82  32 interface2ConcreteClass.put(Latex.class, LatexVo.class);
83  32 interface2ConcreteClass.put(LatexList.class, LatexListVo.class);
84  32 interface2ConcreteClass.put(LinkList.class, LinkListVo.class);
85  32 interface2ConcreteClass.put(LiteratureItem.class, LiteratureItemVo.class);
86  32 interface2ConcreteClass.put(LiteratureItemList.class, LiteratureItemListVo.class);
87  32 interface2ConcreteClass.put(Location.class, LocationVo.class);
88  32 interface2ConcreteClass.put(LocationList.class, LocationListVo.class);
89  32 interface2ConcreteClass.put(Node.class, NodeVo.class);
90  32 interface2ConcreteClass.put(Proof.class, ProofVo.class);
91  32 interface2ConcreteClass.put(ProofList.class, ProofListVo.class);
92  32 interface2ConcreteClass.put(Proposition.class, PropositionVo.class);
93  32 interface2ConcreteClass.put(Qedeq.class, QedeqVo.class);
94  32 interface2ConcreteClass.put(Rule.class, RuleVo.class);
95  32 interface2ConcreteClass.put(Section.class, SectionVo.class);
96  32 interface2ConcreteClass.put(SectionList.class, SectionListVo.class);
97  32 interface2ConcreteClass.put(Specification.class, SpecificationVo.class);
98  32 interface2ConcreteClass.put(Subsection.class, SubsectionVo.class);
99  32 interface2ConcreteClass.put(SubsectionList.class, SubsectionListVo.class);
100  32 interface2ConcreteClass.put(Term.class, TermVo.class);
101  32 interface2ConcreteClass.put(UsedByList.class, UsedByListVo.class);
102  32 interface2ConcreteClass.put(VariableList.class, VariableListVo.class);
103   
104  32 interface2ConcreteClass.put(NodeType.class, PredicateDefinitionVo.class);
105  32 interface2ConcreteClass.put(SubsectionType.class, NodeVo.class);
106    }
107   
 
108  8744 toggle protected Class abstractToConcreteClass(final Class clazz) {
109  8744 return (Class) interface2ConcreteClass.get(clazz);
110    }
111   
112    }
 
CloverReport generated by Clover Code Coverage v2.3.1
Sa Aug 2 2008 13:56:32 CEST.		   Clover: Open Source License registered to qedeq.org .