/**

  * SQL-DK

  * Copyright © 2013 František Kučera (frantovo.cz)

  *

  * This program is free software: you can redistribute it and/or modify

  * it under the terms of the GNU General Public License as published by

  * the Free Software Foundation, either version 3 of the License, or

  * (at your option) any later version.

  *

  * This program is distributed in the hope that it will be useful,

  * but WITHOUT ANY WARRANTY; without even the implied warranty of

  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the

  * GNU General Public License for more details.

  *

  * You should have received a copy of the GNU General Public License

  * along with this program. If not, see <http://www.gnu.org/licenses/>.

  */

 package info.globalcode.sql.dk.formatting;

 import info.globalcode.sql.dk.ColorfulPrintWriter;

 import static info.globalcode.sql.dk.ColorfulPrintWriter.*;

 import static info.globalcode.sql.dk.Functions.lpad;

 import static info.globalcode.sql.dk.Functions.rpad;

 import static info.globalcode.sql.dk.Functions.repeat;

 import info.globalcode.sql.dk.configuration.PropertyDeclaration;

 import static info.globalcode.sql.dk.formatting.CommonProperties.COLORFUL;

 import static info.globalcode.sql.dk.formatting.CommonProperties.COLORFUL_DESCRIPTION;

 import java.util.List;

 import java.util.regex.Matcher;

 import java.util.regex.Pattern;

 /**

  * <p>

  * Prints human-readable output – tables of result sets and text messages with update counts.

  * </p>

  *

  * <p>

  * Longer values might break the table – overflow the cells – see alternative tabular formatters

  * and the {@linkplain #PROPERTY_TRIM} property.

  * </p>

  *

  * @author Ing. František Kučera (frantovo.cz)

  * @see TabularPrefetchingFormatter

  * @see TabularWrappingFormatter

  */

 @PropertyDeclaration(name = COLORFUL, defaultValue = "true", type = Boolean.class, description = COLORFUL_DESCRIPTION)

 @PropertyDeclaration(name = TabularFormatter.PROPERTY_ASCII, defaultValue = "false", type = Boolean.class, description = "whether to use ASCII table borders instead of unicode ones")

 @PropertyDeclaration(name = TabularFormatter.PROPERTY_TRIM, defaultValue = "false", type = Boolean.class, description = "whether to trim the values to fit the column width")

 public class TabularFormatter extends AbstractFormatter {

 	public static final String NAME = "tabular"; // bash-completion:formatter

 	private static final String HEADER_TYPE_PREFIX = " (";

 	private static final String HEADER_TYPE_SUFFIX = ")";

 	public static final String PROPERTY_ASCII = "ascii";

 	public static final String PROPERTY_TRIM = "trim";

 	private static final String NBSP = " ";

 	private static final Pattern whitespaceToReplace = Pattern.compile("\\n|\\r|\\t|" + NBSP);

 	protected ColorfulPrintWriter out;

 	private boolean firstResult = true;

 	private int[] columnWidth;

 	/**

 	 * use ASCII borders instead of unicode ones

 	 */

 	private final boolean asciiNostalgia;

 	/**

 	 * Trim values if they are longer than cell size

 	 */

 	private final boolean trimValues;

 	public TabularFormatter(FormatterContext formatterContext) {

 		super(formatterContext);

 		out = new ColorfulPrintWriter(formatterContext.getOutputStream());

 		asciiNostalgia = formatterContext.getProperties().getBoolean(PROPERTY_ASCII, false);

 		trimValues = formatterContext.getProperties().getBoolean(PROPERTY_TRIM, false);

 		out.setColorful(formatterContext.getProperties().getBoolean(COLORFUL, true));

 	}

 	@Override

 	public void writeStartResultSet(ColumnsHeader header) {

 		super.writeStartResultSet(header);

 		printResultSeparator();

 		initColumnWidths(header.getColumnCount());

 		printTableIndent();

 		printTableBorder("╭");

 		List<ColumnDescriptor> columnDescriptors = header.getColumnDescriptors();

 		for (ColumnDescriptor cd : columnDescriptors) {

 			// padding: make header cell at least same width as data cells in this column

 			int typeWidth = cd.getTypeName().length() + HEADER_TYPE_PREFIX.length() + HEADER_TYPE_SUFFIX.length();

 			cd.setLabel(rpad(cd.getLabel(), getColumnWidth(cd.getColumnNumber()) - typeWidth));

 			updateColumnWidth(cd.getColumnNumber(), cd.getLabel().length() + typeWidth);

 			if (!cd.isFirstColumn()) {

 				printTableBorder("┬");

 			}

 			printTableBorder(repeat('─', getColumnWidth(cd.getColumnNumber()) + 2));

 		}

 		printTableBorder("╮");

 		out.println();

 		for (ColumnDescriptor cd : columnDescriptors) {

 			if (cd.isFirstColumn()) {

 				printTableIndent();

 				printTableBorder("│ ");

 			} else {

 				printTableBorder(" │ ");

 			}

 			out.print(TerminalStyle.Bright, cd.getLabel());

 			out.print(HEADER_TYPE_PREFIX);

 			out.print(cd.getTypeName());

 			out.print(HEADER_TYPE_SUFFIX);

 			if (cd.isLastColumn()) {

 				printTableBorder(" │");

 			}

 		}

 		out.println();

 		printTableIndent();

 		printTableBorder("├");

 		for (int i = 1; i <= header.getColumnCount(); i++) {

 			if (i > 1) {

 				printTableBorder("┼");

 			}

 			printTableBorder(repeat('─', getColumnWidth(i) + 2));

 		}

 		printTableBorder("┤");

 		out.println();

 		out.flush();

 	}

 	/**

 	 * Must be called before

 	 * {@linkplain #updateColumnWidth(int, int)}

 	 * and {@linkplain #getColumnWidth(int)}

 	 * for each result set.

 	 *

 	 * @param columnCount number of columns in current result set

 	 */

 	protected void initColumnWidths(int columnCount) {

 		if (columnWidth == null) {

 			columnWidth = new int[columnCount];

 		}

 	}

 	protected void cleanColumnWidths() {

 		columnWidth = null;

 	}

 	@Override

 	public void writeColumnValue(Object value) {

 		super.writeColumnValue(value);

 		writeColumnValueInternal(value);

 	}

 	protected void writeColumnValueInternal(Object value) {

 		if (isCurrentColumnFirst()) {

 			printTableIndent();

 			printTableBorder("│ ");

 		} else {

 			printTableBorder(" │ ");

 		}

 		String valueString = toString(value);

 		printValueWithWhitespaceReplaced(valueString);

 		if (isCurrentColumnLast()) {

 			printTableBorder(" │");

 		}

 	}

 	protected int getColumnWidth(int columnNumber) {

 		return columnWidth[columnNumber - 1];

 	}

 	private void setColumnWidth(int columnNumber, int width) {

 		columnWidth[columnNumber - 1] = width;

 	}

 	protected void updateColumnWidth(int columnNumber, int width) {

 		int oldWidth = getColumnWidth(columnNumber);

 		setColumnWidth(columnNumber, Math.max(width, oldWidth));

 	}

 	protected String toString(Object value) {

 		final int width = getColumnWidth(getCurrentColumnsCount());

 		String result;

 		if (value instanceof Number || value instanceof Boolean) {

 			result = lpad(String.valueOf(value), width);

 		} else {

 			result = rpad(String.valueOf(value), width);

 		}

 		// ?	value = (boolean) value ? "✔" : "✗";

 		if (trimValues && result.length() > width) {

 			result = result.substring(0, width - 1) + "…";

 		}

 		return result;

 	}

 	@Override

 	public void writeEndRow() {

 		super.writeEndRow();

 		writeEndRowInternal();

 	}

 	public void writeEndRowInternal() {

 		out.println();

 		out.flush();

 	}

 	@Override

 	public void writeEndResultSet() {

 		int columnCount = getCurrentColumnsHeader().getColumnCount();

 		super.writeEndResultSet();

 		printTableIndent();

 		printTableBorder("╰");

 		for (int i = 1; i <= columnCount; i++) {

 			if (i > 1) {

 				printTableBorder("┴");

 			}

 			printTableBorder(repeat('─', getColumnWidth(i) + 2));

 		}

 		printTableBorder("╯");

 		out.println();

 		cleanColumnWidths();

 		out.print(TerminalColor.Yellow, "Record count: ");

 		out.println(getCurrentRowCount());

 		out.bell();

 		out.flush();

 	}

 	@Override

 	public void writeUpdatesResult(int updatedRowsCount) {

 		super.writeUpdatesResult(updatedRowsCount);

 		printResultSeparator();

 		out.print(TerminalColor.Red, "Updated records: ");

 		out.println(updatedRowsCount);

 		out.bell();

 		out.flush();

 	}

 	@Override

 	public void writeEndDatabase() {

 		super.writeEndDatabase();

 		out.flush();

 	}

 	private void printResultSeparator() {

 		if (firstResult) {

 			firstResult = false;

 		} else {

 			out.println();

 		}

 	}

 	protected void printTableBorder(String border) {

 		if (asciiNostalgia) {

 			border = border.replaceAll("─", "-");

 			border = border.replaceAll("│", "|");

 			border = border.replaceAll("[╭┬╮├┼┤╰┴╯]", "+");

 		}

 		out.print(TerminalColor.Green, border);

 	}

 	protected void printTableIndent() {

 		out.print(" ");

 	}

 	protected void printValueWithWhitespaceReplaced(String valueString) {

 		Matcher m = whitespaceToReplace.matcher(valueString);

 		int start = 0;

 		while (m.find(start)) {

 			out.print(TerminalColor.Cyan, valueString.substring(start, m.start()));

 			switch (m.group()) {

 				case "\n":

 					out.print(TerminalColor.Red, "↲");

 					break;

 				case "\r":

 					out.print(TerminalColor.Red, "⏎");

 					break;

 				case "\t":

 					out.print(TerminalColor.Red, "↹");

 					break;

 				case NBSP:

 					out.print(TerminalColor.Red, "⎵");

 					break;

 				default:

 					throw new IllegalStateException("Unexpected whitespace token: „" + m.group() + "“");

 			}

 			start = m.end();

 		}

 		out.print(TerminalColor.Cyan, valueString.substring(start, valueString.length()));

 	}

 }