Clover Coverage Report
Coverage timestamp: Sa Aug 2 2008 13:56:27 CEST
7   47   2   3,5
0   15   0,29   2
2     1  
1    
 
  PredicateDefinitionVoTest       Line # 29 7 2 100% 1.0
 
  (1)
 
1    /* $Id: PredicateDefinitionVoTest.java,v 1.3 2008/03/27 05:12:39 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   
21   
22   
23    /**
24    * Test class {@link org.qedeq.kernel.dto.module.PredicateDefinitionVo}.
25    *
26    * @version $Revision: 1.3 $
27    * @author Michael Meyling
28    */
 
29    public class PredicateDefinitionVoTest extends AbstractVoModuleTest {
30   
31    /** This class is tested. */
32    private Class clazz = PredicateDefinitionVo.class;
33   
 
34  1 toggle protected void setUp() throws Exception {
35  1 super.setUp();
36  1 removeMethodToCheck("getAxiom");
37  1 removeMethodToCheck("getPredicateDefinition");
38  1 removeMethodToCheck("getFunctionDefinition");
39  1 removeMethodToCheck("getProposition");
40  1 removeMethodToCheck("getRule");
41    }
42   
 
43  101 toggle protected Class getTestedClass() {
44  101 return clazz;
45    }
46   
47    }