Clover Coverage Report
Coverage timestamp: Sa Aug 2 2008 13:56:27 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
../../../../../../img/srcFileCovDistChart8.png 47% of files have more coverage
8   77   9   0,89
0   30   1,12   9
9     1  
1    
 
  EverythingExists       Line # 28 8 9 76,5% 0.7647059
 
No Tests
 
1    /* $Id: EverythingExists.java,v 1.1 2008/07/26 07:58:29 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.bo.logic.wf;
19   
20   
21    /**
22    * This implementation gives always the answer <code>true</code> to the question
23    * <em>exists this predicate?</em>.
24    *
25    * @version $Revision: 1.1 $
26    * @author Michael Meyling
27    */
 
28    public final class EverythingExists implements ExistenceChecker {
29   
30    /** One and only instance. */
31    private static final ExistenceChecker ALWAYS = new EverythingExists();
32   
33    /**
34    * Hidden constructor.
35    */
 
36  11 toggle private EverythingExists() {
37    // nothing to do
38    }
39   
 
40  128 toggle public boolean predicateExists(final String name, final int arguments) {
41  128 return true;
42    }
43   
 
44  0 toggle public boolean predicateExists(final Predicate predicate) {
45  0 return true;
46    }
47   
 
48  7 toggle public boolean functionExists(final String name, final int arguments) {
49  7 return true;
50    }
51   
 
52  0 toggle public boolean functionExists(final Function function) {
53  0 return true;
54    }
55   
 
56  10 toggle public boolean classOperatorExists() {
57  10 return true;
58    }
59   
 
60  74 toggle public boolean equalityOperatorExists() {
61  74 return true;
62    }
63   
 
64  72 toggle public String getIdentityOperator() {
65  72 return NAME_EQUAL;
66    }
67   
68    /**
69    * Get one instance of this class.
70    *
71    * @return Class instance.
72    */
 
73  72 toggle public static final ExistenceChecker getInstance() {
74  72 return ALWAYS;
75    }
76   
77    }
 
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 .