Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
../../../../../../img/srcFileCovDistChart9.png 45% of files have more coverage
5   62   6   0.83
0   26   1.2   6
6     1  
1    
 
  HeuristicCheckerPlugin       Line # 30 5 6 81.8% 0.8181818
 
  (5)
 
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.bo.service.heuristic;
17   
18    import org.qedeq.base.io.Parameters;
19    import org.qedeq.kernel.bo.logic.model.SixDynamicModel;
20    import org.qedeq.kernel.bo.module.KernelQedeqBo;
21    import org.qedeq.kernel.bo.module.PluginBo;
22    import org.qedeq.kernel.bo.module.PluginExecutor;
23   
24   
25    /**
26    * Test if QEDEQ module formulas are valid within a model.
27    *
28    * @author Michael Meyling
29    */
 
30    public class HeuristicCheckerPlugin implements PluginBo {
31   
32    /** This class. */
33    public static final Class CLASS = HeuristicCheckerPlugin.class;
34   
35    /**
36    * Constructor.
37    */
 
38  476 toggle public HeuristicCheckerPlugin() {
39    // nothing to do
40    }
41   
 
42  1893 toggle public String getServiceId() {
43  1893 return CLASS.getName();
44    }
45   
 
46  4 toggle public String getServiceAction() {
47  4 return "Heuristic tester";
48    }
49   
 
50  0 toggle public String getServiceDescription() {
51  0 return "checks mathematical correctness by interpreting within a model";
52    }
53   
 
54  4 toggle public PluginExecutor createExecutor(final KernelQedeqBo qedeq, final Parameters parameters) {
55  4 return new HeuristicCheckerExecutor(this, qedeq, parameters);
56    }
57   
 
58  471 toggle public void setDefaultValuesForEmptyPluginParameters(final Parameters parameters) {
59  471 parameters.setDefault("model", SixDynamicModel.class.getName());
60    }
61   
62    }
 
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 .