java/sql-dk/src/main/java/info/globalcode/sql/dk/formatting/TeXFormatter.java
author František Kučera <franta-hg@frantovo.cz>
Mon, 04 Mar 2019 20:15:24 +0100
branchv_0
changeset 238 4a1864c3e867
parent 207 java/sql-dk/src/info/globalcode/sql/dk/formatting/TeXFormatter.java@2bba68ef47c1
child 250 aae5009bd0af
permissions -rw-r--r--
mavenized: sql-dk
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     7
 * the Free Software Foundation, either version 3 of the License, or
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     8
 * (at your option) any later version.
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     9
 *
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    10
 * 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
    11
 * 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
    12
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    13
 * GNU General Public License for more details.
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    14
 *
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    15
 * 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
    16
 * 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
    17
 */
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    18
package info.globalcode.sql.dk.formatting;
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    19
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    20
import info.globalcode.sql.dk.ColorfulPrintWriter;
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    21
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
    22
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
    23
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
    24
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
    25
import java.util.Collections;
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    26
import java.util.HashMap;
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    27
import java.util.List;
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    28
import java.util.Map;
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
/**
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    31
 * Outputs result sets in (La)TeX format.
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    32
 *
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    33
 * @author Ing. František Kučera (frantovo.cz)
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    34
 */
207
2bba68ef47c1 property annotations: default values
František Kučera <franta-hg@frantovo.cz>
parents: 206
diff changeset
    35
@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
    36
public class TeXFormatter extends AbstractFormatter {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    37
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    38
	public static final String NAME = "tex"; // bash-completion:formatter
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    39
	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
    40
	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
    41
	private static final Map<Character, String> TEX_ESCAPE_MAP;
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    42
	private final ColorfulPrintWriter out;
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    43
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    44
	static {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    45
		Map<Character, String> replacements = new HashMap<>();
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    46
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    47
		replacements.put('\\', "\\textbackslash{}");
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('_', "\\_{}");
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    51
		replacements.put('^', "\\textasciicircum{}");
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('%', "\\%{}");
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    56
		replacements.put('~', "\\textasciitilde{}");
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    57
		replacements.put('-', "{-}");
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    58
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    59
		TEX_ESCAPE_MAP = Collections.unmodifiableMap(replacements);
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    62
	public TeXFormatter(FormatterContext formatterContext) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    63
		super(formatterContext);
206
e2f24eea8543 property annotations (documentation) for particular formatters
František Kučera <franta-hg@frantovo.cz>
parents: 174
diff changeset
    64
		boolean colorful = formatterContext.getProperties().getBoolean(COLORFUL, false);
174
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    65
		out = new ColorfulPrintWriter(formatterContext.getOutputStream(), false, colorful);
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    68
	@Override
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    69
	public void writeStartBatch() {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    70
		super.writeStartBatch();
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    71
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    72
		printCommand("documentclass", "a4paper,twoside", "article", true);
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    73
		printCommand("usepackage", "T1", "fontenc", true);
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    74
		printCommand("usepackage", "utf8x", "inputenc", true);
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    75
		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
    76
		printBegin("document");
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    79
	@Override
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    80
	public void writeEndBatch() {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    81
		super.writeEndBatch();
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    82
		printEnd("document");
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    85
	@Override
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    86
	public void writeColumnValue(Object value) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    87
		super.writeColumnValue(value);
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    88
		// TODO: arrays, numbers, booleans, nulls etc.:
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    89
		out.print(escapeTex(toString(value)));
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    90
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    91
		if (!isCurrentColumnLast()) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    92
			printColumnSeparator();
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    96
	@Override
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    97
	public void writeEndRow() {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    98
		super.writeEndRow();
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    99
		printEndRow();
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   102
	@Override
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   103
	public void writeStartResultSet(ColumnsHeader header) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   104
		super.writeStartResultSet(header);
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   105
		printCommand("begin", null, "tabular", false);
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   106
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   107
		List<ColumnDescriptor> columnDescriptors = header.getColumnDescriptors();
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   108
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   109
		StringBuilder columnAlignments = new StringBuilder();
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   110
		for (ColumnDescriptor cd : columnDescriptors) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   111
			if (cd.isNumeric() || cd.isBoolean()) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   112
				columnAlignments.append('r');
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   113
			} else {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   114
				columnAlignments.append('l');
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   118
		printCommand(null, null, columnAlignments.toString(), true);
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   119
		printCommand("hline", null, null, true);
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   120
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   121
		for (ColumnDescriptor cd : columnDescriptors) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   122
			printCommand("textbf", null, cd.getLabel(), false);
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   123
			if (cd.isLastColumn()) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   124
				printEndRow();
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   125
			} else {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   126
				printColumnSeparator();
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   130
		printCommand("hline", null, null, true);
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   133
	@Override
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   134
	public void writeEndResultSet() {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   135
		super.writeEndResultSet();
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   136
		printCommand("hline", null, null, true);
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   137
		printEnd("tabular");
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   140
	private String escapeTex(String text) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   141
		if (text == null) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   142
			return null;
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   143
		} else {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   144
			StringBuilder result = new StringBuilder(text.length() * 2);
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   145
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   146
			for (char ch : text.toCharArray()) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   147
				String replacement = TEX_ESCAPE_MAP.get(ch);
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   148
				result.append(replacement == null ? ch : replacement);
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   151
			return result.toString();
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   155
	protected String toString(Object value) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   156
		return String.valueOf(value);
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   159
	private void printColumnSeparator() {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   160
		out.print(COMMAND_COLOR, " & ");
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   163
	private void printEndRow() {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   164
		out.println(COMMAND_COLOR, " \\\\");
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   165
		out.flush();
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
	 *
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   170
	 * @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
   171
	 * @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
   172
	 * and ]
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   173
	 * @param value will be escaped
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   174
	 * @param println whether to print line end and flush
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   175
	 */
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   176
	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
   177
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   178
		if (command != null) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   179
			out.print(COMMAND_COLOR, "\\" + command);
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   182
		if (options != null) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   183
			out.print(COMMAND_COLOR, "[");
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   184
			out.print(OPTIONS_COLOR, options);
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   185
			out.print(COMMAND_COLOR, "]");
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   188
		if (value != null) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   189
			out.print(COMMAND_COLOR, "{");
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   190
			out.print(escapeTex(value));
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   191
			out.print(COMMAND_COLOR, "}");
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   194
		if (println) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   195
			out.println();
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   196
			out.flush();
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   200
	private void printBegin(String environment) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   201
		printCommand("begin", null, environment, true);
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   204
	private void printEnd(String environment) {
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   205
		printCommand("end", null, environment, true);
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
3c6d560a1d14 TeXFormatter: first version
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   208
}