01 /* This file is part of the project "Hilbert II" - http://www.qedeq.org
02 *
03 * Copyright 2000-2013, Michael Meyling <mime@qedeq.org>.
04 *
05 * "Hilbert II" is free software; you can redistribute
06 * it and/or modify it under the terms of the GNU General Public
07 * License as published by the Free Software Foundation; either
08 * version 2 of the License, or (at your option) any later version.
09 *
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.module.PluginBo;
21 import org.qedeq.kernel.bo.module.PluginExecutor;
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 PluginBo {
30
31 /** This class. */
32 public static final Class CLASS = Qedeq2LatexPlugin.class;
33
34 /**
35 * Constructor.
36 */
37 public Qedeq2LatexPlugin() {
38 // nothing to do
39 }
40
41 public String getPluginId() {
42 return CLASS.getName();
43 }
44
45 public String getPluginActionName() {
46 return "Create LaTeX";
47 }
48
49 public String getPluginDescription() {
50 return "transforms QEDEQ module into LaTeX file";
51 }
52
53 public PluginExecutor createExecutor(final KernelQedeqBo qedeq, final Parameters parameters) {
54 return new Qedeq2LatexExecutor(this, qedeq, parameters);
55 }
56
57 public void setDefaultValuesForEmptyPluginParameters(final Parameters parameters) {
58 parameters.setDefault("info", true);
59 parameters.setDefault("brief", false);
60 }
61
62 }
|