author | František Kučera <franta-hg@frantovo.cz> |
Thu, 24 Oct 2019 21:43:08 +0200 | |
branch | v_0 |
changeset 250 | aae5009bd0af |
parent 238 | 4a1864c3e867 |
permissions | -rw-r--r-- |
174
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
1 |
/** |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
2 |
* SQL-DK |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
3 |
* Copyright © 2014 František Kučera (frantovo.cz) |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
4 |
* |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
5 |
* This program is free software: you can redistribute it and/or modify |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
6 |
* it under the terms of the GNU General Public License as published by |
250
aae5009bd0af
fix license version: GNU GPLv3
František Kučera <franta-hg@frantovo.cz>
parents:
238
diff
changeset
|
7 |
* the Free Software Foundation, version 3 of the License. |
174
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
8 |
* |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
9 |
* This program is distributed in the hope that it will be useful, |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
10 |
* but WITHOUT ANY WARRANTY; without even the implied warranty of |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
11 |
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
12 |
* GNU General Public License for more details. |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
13 |
* |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
14 |
* You should have received a copy of the GNU General Public License |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
15 |
* along with this program. If not, see <http://www.gnu.org/licenses/>. |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
16 |
*/ |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
17 |
package info.globalcode.sql.dk.formatting; |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
18 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
19 |
import info.globalcode.sql.dk.ColorfulPrintWriter; |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
20 |
import info.globalcode.sql.dk.Constants; |
206
e2f24eea8543
property annotations (documentation) for particular formatters
František Kučera <franta-hg@frantovo.cz>
parents:
174
diff
changeset
|
21 |
import info.globalcode.sql.dk.configuration.PropertyDeclaration; |
e2f24eea8543
property annotations (documentation) for particular formatters
František Kučera <franta-hg@frantovo.cz>
parents:
174
diff
changeset
|
22 |
import static info.globalcode.sql.dk.formatting.CommonProperties.COLORFUL; |
e2f24eea8543
property annotations (documentation) for particular formatters
František Kučera <franta-hg@frantovo.cz>
parents:
174
diff
changeset
|
23 |
import static info.globalcode.sql.dk.formatting.CommonProperties.COLORFUL_DESCRIPTION; |
174
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
24 |
import java.util.Collections; |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
25 |
import java.util.HashMap; |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
26 |
import java.util.List; |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
27 |
import java.util.Map; |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
28 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
29 |
/** |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
30 |
* Outputs result sets in (La)TeX format. |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
31 |
* |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
32 |
* @author Ing. František Kučera (frantovo.cz) |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
33 |
*/ |
207
2bba68ef47c1
property annotations: default values
František Kučera <franta-hg@frantovo.cz>
parents:
206
diff
changeset
|
34 |
@PropertyDeclaration(name = COLORFUL, defaultValue = "false", type = Boolean.class, description = COLORFUL_DESCRIPTION) |
174
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
35 |
public class TeXFormatter extends AbstractFormatter { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
36 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
37 |
public static final String NAME = "tex"; // bash-completion:formatter |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
38 |
private static final ColorfulPrintWriter.TerminalColor COMMAND_COLOR = ColorfulPrintWriter.TerminalColor.Magenta; |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
39 |
private static final ColorfulPrintWriter.TerminalColor OPTIONS_COLOR = ColorfulPrintWriter.TerminalColor.Yellow; |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
40 |
private static final Map<Character, String> TEX_ESCAPE_MAP; |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
41 |
private final ColorfulPrintWriter out; |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
42 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
43 |
static { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
44 |
Map<Character, String> replacements = new HashMap<>(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
45 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
46 |
replacements.put('\\', "\\textbackslash{}"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
47 |
replacements.put('{', "\\{{}"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
48 |
replacements.put('}', "\\}{}"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
49 |
replacements.put('_', "\\_{}"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
50 |
replacements.put('^', "\\textasciicircum{}"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
51 |
replacements.put('#', "\\#{}"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
52 |
replacements.put('&', "\\&{}"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
53 |
replacements.put('$', "\\${}"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
54 |
replacements.put('%', "\\%{}"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
55 |
replacements.put('~', "\\textasciitilde{}"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
56 |
replacements.put('-', "{-}"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
57 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
58 |
TEX_ESCAPE_MAP = Collections.unmodifiableMap(replacements); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
59 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
60 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
61 |
public TeXFormatter(FormatterContext formatterContext) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
62 |
super(formatterContext); |
206
e2f24eea8543
property annotations (documentation) for particular formatters
František Kučera <franta-hg@frantovo.cz>
parents:
174
diff
changeset
|
63 |
boolean colorful = formatterContext.getProperties().getBoolean(COLORFUL, false); |
174
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
64 |
out = new ColorfulPrintWriter(formatterContext.getOutputStream(), false, colorful); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
65 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
66 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
67 |
@Override |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
68 |
public void writeStartBatch() { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
69 |
super.writeStartBatch(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
70 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
71 |
printCommand("documentclass", "a4paper,twoside", "article", true); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
72 |
printCommand("usepackage", "T1", "fontenc", true); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
73 |
printCommand("usepackage", "utf8x", "inputenc", true); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
74 |
printCommand("usepackage", "pdfauthor={" + Constants.WEBSITE + "}, bookmarks=true,unicode,colorlinks=true,linkcolor=black,urlcolor=blue,citecolor=blue", "hyperref", true); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
75 |
printBegin("document"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
76 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
77 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
78 |
@Override |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
79 |
public void writeEndBatch() { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
80 |
super.writeEndBatch(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
81 |
printEnd("document"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
82 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
83 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
84 |
@Override |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
85 |
public void writeColumnValue(Object value) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
86 |
super.writeColumnValue(value); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
87 |
// TODO: arrays, numbers, booleans, nulls etc.: |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
88 |
out.print(escapeTex(toString(value))); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
89 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
90 |
if (!isCurrentColumnLast()) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
91 |
printColumnSeparator(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
92 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
93 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
94 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
95 |
@Override |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
96 |
public void writeEndRow() { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
97 |
super.writeEndRow(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
98 |
printEndRow(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
99 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
100 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
101 |
@Override |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
102 |
public void writeStartResultSet(ColumnsHeader header) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
103 |
super.writeStartResultSet(header); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
104 |
printCommand("begin", null, "tabular", false); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
105 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
106 |
List<ColumnDescriptor> columnDescriptors = header.getColumnDescriptors(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
107 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
108 |
StringBuilder columnAlignments = new StringBuilder(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
109 |
for (ColumnDescriptor cd : columnDescriptors) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
110 |
if (cd.isNumeric() || cd.isBoolean()) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
111 |
columnAlignments.append('r'); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
112 |
} else { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
113 |
columnAlignments.append('l'); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
114 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
115 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
116 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
117 |
printCommand(null, null, columnAlignments.toString(), true); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
118 |
printCommand("hline", null, null, true); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
119 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
120 |
for (ColumnDescriptor cd : columnDescriptors) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
121 |
printCommand("textbf", null, cd.getLabel(), false); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
122 |
if (cd.isLastColumn()) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
123 |
printEndRow(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
124 |
} else { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
125 |
printColumnSeparator(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
126 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
127 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
128 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
129 |
printCommand("hline", null, null, true); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
130 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
131 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
132 |
@Override |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
133 |
public void writeEndResultSet() { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
134 |
super.writeEndResultSet(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
135 |
printCommand("hline", null, null, true); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
136 |
printEnd("tabular"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
137 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
138 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
139 |
private String escapeTex(String text) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
140 |
if (text == null) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
141 |
return null; |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
142 |
} else { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
143 |
StringBuilder result = new StringBuilder(text.length() * 2); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
144 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
145 |
for (char ch : text.toCharArray()) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
146 |
String replacement = TEX_ESCAPE_MAP.get(ch); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
147 |
result.append(replacement == null ? ch : replacement); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
148 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
149 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
150 |
return result.toString(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
151 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
152 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
153 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
154 |
protected String toString(Object value) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
155 |
return String.valueOf(value); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
156 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
157 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
158 |
private void printColumnSeparator() { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
159 |
out.print(COMMAND_COLOR, " & "); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
160 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
161 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
162 |
private void printEndRow() { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
163 |
out.println(COMMAND_COLOR, " \\\\"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
164 |
out.flush(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
165 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
166 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
167 |
/** |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
168 |
* |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
169 |
* @param command will not be escaped – should contain just a valid TeX command name |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
170 |
* @param options will not be escaped – should be properly formatted to be printed inside [ |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
171 |
* and ] |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
172 |
* @param value will be escaped |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
173 |
* @param println whether to print line end and flush |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
174 |
*/ |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
175 |
private void printCommand(String command, String options, String value, boolean println) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
176 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
177 |
if (command != null) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
178 |
out.print(COMMAND_COLOR, "\\" + command); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
179 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
180 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
181 |
if (options != null) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
182 |
out.print(COMMAND_COLOR, "["); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
183 |
out.print(OPTIONS_COLOR, options); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
184 |
out.print(COMMAND_COLOR, "]"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
185 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
186 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
187 |
if (value != null) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
188 |
out.print(COMMAND_COLOR, "{"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
189 |
out.print(escapeTex(value)); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
190 |
out.print(COMMAND_COLOR, "}"); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
191 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
192 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
193 |
if (println) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
194 |
out.println(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
195 |
out.flush(); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
196 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
197 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
198 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
199 |
private void printBegin(String environment) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
200 |
printCommand("begin", null, environment, true); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
201 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
202 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
203 |
private void printEnd(String environment) { |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
204 |
printCommand("end", null, environment, true); |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
205 |
} |
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
206 |
|
3c6d560a1d14
TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff
changeset
|
207 |
} |