java/sql-dk/src/info/globalcode/sql/dk/ColorfulPrintWriter.java
author František Kučera <franta-hg@frantovo.cz>
Mon, 23 Dec 2013 11:50:24 +0100
branchv_0
changeset 37 9e6f8e5d5f98
parent 31 ef2fdb55e8ec
child 40 a9db7fb3ce65
permissions -rw-r--r--
support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
31
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     1
/**
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     2
 * SQL-DK
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     3
 * Copyright © 2013 František Kučera (frantovo.cz)
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     4
 *
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     5
 * This program is free software: you can redistribute it and/or modify
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
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
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     7
 * the Free Software Foundation, either version 3 of the License, or
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     8
 * (at your option) any later version.
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     9
 *
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    10
 * This program is distributed in the hope that it will be useful,
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    11
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    12
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    13
 * GNU General Public License for more details.
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    14
 *
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    16
 * along with this program. If not, see <http://www.gnu.org/licenses/>.
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    17
 */
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    18
package info.globalcode.sql.dk;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    19
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    20
import java.io.File;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    21
import java.io.FileNotFoundException;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    22
import java.io.OutputStream;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    23
import java.io.PrintWriter;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    24
import java.io.UnsupportedEncodingException;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    25
import java.io.Writer;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    26
import java.util.EnumSet;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    27
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    28
/**
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    29
 *
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    30
 * @author Ing. František Kučera (frantovo.cz)
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    31
 */
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    32
public class ColorfulPrintWriter extends PrintWriter {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    33
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    34
	public enum TerminalColor {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    35
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    36
		Black(30, 40),
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    37
		Red(31, 41),
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    38
		Green(32, 42),
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    39
		Yellow(33, 43),
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    40
		Blue(34, 44),
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    41
		Magenta(35, 45),
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    42
		Cyan(36, 46),
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    43
		White(37, 47);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    44
		private final int foregroundCode;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    45
		private final int backgroundCode;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    46
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    47
		private TerminalColor(int foregroundCode, int backgroundCode) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    48
			this.foregroundCode = foregroundCode;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    49
			this.backgroundCode = backgroundCode;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    50
		}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    51
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    52
		public int getForegroundCode() {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    53
			return foregroundCode;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    54
		}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    55
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    56
		public int getBackgroundCode() {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    57
			return backgroundCode;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    58
		}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    59
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    60
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    61
	public enum TerminalStyle {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    62
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    63
		Reset(0),
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    64
		Bright(1),
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    65
		Dim(2),
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    66
		Underscore(4),
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    67
		Blink(5),
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    68
		Reverse(7),
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    69
		Hidden(8);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    70
		private int code;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    71
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    72
		private TerminalStyle(int code) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    73
			this.code = code;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    74
		}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    75
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    76
		public int getCode() {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    77
			return code;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    78
		}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    79
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    80
	private boolean colorful = true;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    81
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    82
	public void setStyle(EnumSet<TerminalStyle> styles) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    83
		printCodes(getStyleCodes(styles));
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    84
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    85
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    86
	private static int[] getStyleCodes(EnumSet<TerminalStyle> styles) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    87
		int[] array = new int[styles.size()];
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    88
		int i = 0;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    89
		for (TerminalStyle s : styles) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    90
			array[i++] = s.getCode();
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    91
		}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    92
		return array;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    93
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    94
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    95
	public void setForegroundColor(TerminalColor color) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    96
		printCodes(color.getForegroundCode());
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    97
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    98
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
    99
	public void setBackgroundColor(TerminalColor color) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   100
		printCodes(color.getBackgroundCode());
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   101
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   102
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   103
	public void print(TerminalColor foregroundColor, String string) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   104
		setForegroundColor(foregroundColor);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   105
		print(string);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   106
		resetAll();
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   107
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   108
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   109
	public void println(TerminalColor foregroundColor, String string) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   110
		print(foregroundColor, string);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   111
		println();
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   112
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   113
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   114
	public void print(TerminalColor foregroundColor, TerminalColor backgroundColor, String string) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   115
		setForegroundColor(foregroundColor);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   116
		setBackgroundColor(backgroundColor);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   117
		print(string);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   118
		resetAll();
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   119
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   120
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   121
	public void println(TerminalColor foregroundColor, TerminalColor backgroundColor, String string) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   122
		print(foregroundColor, backgroundColor, string);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   123
		println();
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   124
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   125
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   126
	public void print(TerminalColor foregroundColor, TerminalColor backgroundColor, EnumSet<TerminalStyle> styles, String string) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   127
		setForegroundColor(foregroundColor);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   128
		setBackgroundColor(backgroundColor);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   129
		setStyle(styles);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   130
		print(string);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   131
		resetAll();
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   132
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   133
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   134
	public void println(TerminalColor foregroundColor, TerminalColor backgroundColor, EnumSet<TerminalStyle> styles, String string) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   135
		print(foregroundColor, backgroundColor, styles, string);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   136
		println();
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   137
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   138
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   139
	public void print(TerminalColor foregroundColor, TerminalColor backgroundColor, TerminalStyle style, String string) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   140
		print(foregroundColor, backgroundColor, EnumSet.of(style), string);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   141
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   142
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   143
	public void println(TerminalColor foregroundColor, TerminalColor backgroundColor, TerminalStyle style, String string) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   144
		print(foregroundColor, backgroundColor, style, string);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   145
		println();
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   146
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   147
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   148
	public void print(TerminalColor foregroundColor, EnumSet<TerminalStyle> styles, String string) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   149
		setForegroundColor(foregroundColor);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   150
		setStyle(styles);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   151
		print(string);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   152
		resetAll();
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   153
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   154
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   155
	public void println(TerminalColor foregroundColor, EnumSet<TerminalStyle> styles, String string) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   156
		print(foregroundColor, styles, string);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   157
		println();
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   158
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   159
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   160
	public void print(TerminalColor foregroundColor, TerminalStyle style, String string) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   161
		print(foregroundColor, EnumSet.of(style), string);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   162
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   163
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   164
	public void println(TerminalColor foregroundColor, TerminalStyle style, String string) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   165
		print(foregroundColor, style, string);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   166
		println();
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   167
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   168
37
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   169
	public void print(EnumSet<TerminalStyle> styles, String string) {
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   170
		setStyle(styles);
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   171
		print(string);
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   172
		resetAll();
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   173
	}
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   174
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   175
	public void println(EnumSet<TerminalStyle> styles, String string) {
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   176
		print(styles, string);
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   177
		println();
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   178
	}
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   179
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   180
	public void print(TerminalStyle style, String string) {
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   181
		print(EnumSet.of(style), string);
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   182
	}
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   183
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   184
	public void println(TerminalStyle style, String string) {
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   185
		print(style, string);
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   186
		println();
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   187
	}
9e6f8e5d5f98 support SQL commands returning more ResultSets + remove COMMAND_TYPE (type is now derived from result returned from SQL – it is not needed to specify the type on CLI)
František Kučera <franta-hg@frantovo.cz>
parents: 31
diff changeset
   188
31
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   189
	public void resetAll() {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   190
		printCodes(0);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   191
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   192
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   193
	private void printCodes(int... codes) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   194
		if (colorful) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   195
			print("\033[");
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   196
			for (int i = 0; i < codes.length; i++) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   197
				print(codes[i]);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   198
				if (i < codes.length - 1 && codes.length > 1) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   199
					print(";");
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   200
				}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   201
			}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   202
			print("m");
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   203
		}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   204
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   205
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   206
	public boolean isColorful() {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   207
		return colorful;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   208
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   209
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   210
	public void setColorful(boolean colorful) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   211
		this.colorful = colorful;
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   212
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   213
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   214
	public ColorfulPrintWriter(File file) throws FileNotFoundException {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   215
		super(file);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   216
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   217
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   218
	public ColorfulPrintWriter(OutputStream out) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   219
		super(out);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   220
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   221
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   222
	public ColorfulPrintWriter(String fileName) throws FileNotFoundException {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   223
		super(fileName);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   224
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   225
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   226
	public ColorfulPrintWriter(Writer out) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   227
		super(out);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   228
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   229
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   230
	public ColorfulPrintWriter(File file, String csn) throws FileNotFoundException, UnsupportedEncodingException {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   231
		super(file, csn);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   232
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   233
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   234
	public ColorfulPrintWriter(OutputStream out, boolean autoFlush) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   235
		super(out, autoFlush);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   236
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   237
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   238
	public ColorfulPrintWriter(String fileName, String csn) throws FileNotFoundException, UnsupportedEncodingException {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   239
		super(fileName, csn);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   240
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   241
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   242
	public ColorfulPrintWriter(Writer out, boolean autoFlush) {
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   243
		super(out, autoFlush);
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   244
	}
ef2fdb55e8ec ColorfulPrintWriter: colorz, wow
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
   245
}