Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
../../../../../../img/srcFileCovDistChart8.png 62% of files have more coverage
5   55   5   1
0   24   1   5
5     1  
1    
 
  FormalProofCheckerPlugin       Line # 30 5 5 80% 0.8
 
  (7)
 
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.logic;
17   
18    import org.qedeq.base.io.Parameters;
19    import org.qedeq.kernel.bo.logic.ProofCheckerFactoryImpl;
20    import org.qedeq.kernel.bo.module.InternalPluginBo;
21    import org.qedeq.kernel.bo.module.KernelQedeqBo;
22    import org.qedeq.kernel.bo.module.PluginExecutor;
23   
24   
25    /**
26    * Checks if all propositions have a correct formal proof.
27    *
28    * @author Michael Meyling
29    */
 
30    public final class FormalProofCheckerPlugin implements InternalPluginBo {
31   
32    /** This class. */
33    private static final Class CLASS = FormalProofCheckerPlugin.class;
34   
 
35  2365 toggle public String getServiceId() {
36  2365 return CLASS.getName();
37    }
38   
 
39  10 toggle public String getServiceAction() {
40  10 return "Check Proofs";
41    }
42   
 
43  0 toggle public String getServiceDescription() {
44  0 return "checks formal proofs";
45    }
46   
 
47  10 toggle public PluginExecutor createExecutor(final KernelQedeqBo qedeq, final Parameters parameters) {
48  10 return new FormalProofCheckerExecutor(this, qedeq, parameters);
49    }
50   
 
51  471 toggle public void setDefaultValuesForEmptyPluginParameters(final Parameters parameters) {
52  471 parameters.setDefault("checkerFactory", ProofCheckerFactoryImpl.class.getName());
53    }
54   
55    }