Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
../../../../../../img/srcFileCovDistChart9.png 31% of files have more coverage
6   62   6   1
0   26   1   6
6     1  
1    
 
  Qedeq2LatexPlugin       Line # 29 6 6 83.3% 0.8333333
 
  (10)
 
1    /* This file is part of the project "Hilbert II" - http://www.qedeq.org
2    *
3    * Copyright 2000-2014, 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.latex;
17   
18    import org.qedeq.base.io.Parameters;
19    import org.qedeq.kernel.bo.module.KernelQedeqBo;
20    import org.qedeq.kernel.bo.service.basis.ModuleServicePlugin;
21    import org.qedeq.kernel.bo.service.basis.ModuleServicePluginExecutor;
22   
23   
24    /**
25    * Plugin to transfer a QEDEQ module into a LaTeX file.
26    *
27    * @author Michael Meyling
28    */
 
29    public final class Qedeq2LatexPlugin implements ModuleServicePlugin {
30   
31    /** This class. */
32    public static final Class CLASS = Qedeq2LatexPlugin.class;
33   
34    /**
35    * Constructor.
36    */
 
37  516 toggle public Qedeq2LatexPlugin() {
38    // nothing to do
39    }
40   
 
41  2384 toggle public String getServiceId() {
42  2384 return CLASS.getName();
43    }
44   
 
45  4 toggle public String getServiceAction() {
46  4 return "Create LaTeX";
47    }
48   
 
49  0 toggle public String getServiceDescription() {
50  0 return "transforms QEDEQ module into LaTeX file";
51    }
52   
 
53  4 toggle public ModuleServicePluginExecutor createExecutor(final KernelQedeqBo qedeq, final Parameters parameters) {
54  4 return new Qedeq2LatexExecutor(this, qedeq, parameters);
55    }
56   
 
57  476 toggle public void setDefaultValuesForEmptyPluginParameters(final Parameters parameters) {
58  476 parameters.setDefault("info", true);
59  476 parameters.setDefault("brief", false);
60    }
61   
62    }