java/sql-dk/src/main/java/info/globalcode/sql/dk/formatting/XhtmlFormatter.java
author František Kučera <franta-hg@frantovo.cz>
Thu, 24 Oct 2019 21:43:08 +0200
branchv_0
changeset 250 aae5009bd0af
parent 245 b6ff5b7a8422
permissions -rw-r--r--
fix license version: GNU GPLv3
     1 /**
     2  * SQL-DK
     3  * Copyright © 2014 František Kučera (frantovo.cz)
     4  *
     5  * This program is free software: you can redistribute it and/or modify
     6  * it under the terms of the GNU General Public License as published by
     7  * the Free Software Foundation, version 3 of the License.
     8  *
     9  * This program is distributed in the hope that it will be useful,
    10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
    11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
    12  * GNU General Public License for more details.
    13  *
    14  * You should have received a copy of the GNU General Public License
    15  * along with this program. If not, see <http://www.gnu.org/licenses/>.
    16  */
    17 package info.globalcode.sql.dk.formatting;
    18 
    19 import info.globalcode.sql.dk.Constants;
    20 import info.globalcode.sql.dk.NamedParameter;
    21 import info.globalcode.sql.dk.Parameter;
    22 import info.globalcode.sql.dk.Xmlns;
    23 import info.globalcode.sql.dk.configuration.DatabaseDefinition;
    24 import info.globalcode.sql.dk.configuration.Properties;
    25 import info.globalcode.sql.dk.configuration.Property;
    26 import java.sql.Array;
    27 import java.sql.SQLException;
    28 import java.util.Date;
    29 import java.util.List;
    30 import java.util.Map;
    31 import java.util.Scanner;
    32 import java.util.logging.Level;
    33 import java.util.logging.Logger;
    34 import javax.xml.namespace.QName;
    35 
    36 /**
    37  * Prints result sets and parameters as tables, SQL as preformatted and updates counts as
    38  * paragraphs. You can pick XHTML fragments (usually tabular data) and use it on your website or use
    39  * whole output as preview or report.
    40  *
    41  * @author Ing. František Kučera (frantovo.cz)
    42  */
    43 public class XhtmlFormatter extends AbstractXmlFormatter {
    44 
    45 	private static final Logger log = Logger.getLogger(XhtmlFormatter.class.getName());
    46 	public static final String NAME = "xhtml"; // bash-completion:formatter
    47 	private static final String DOCTYPE = "html PUBLIC \"-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN\" \"http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd\"";
    48 	private static final String CSS_FILE = "info/globalcode/sql/dk/formatter/XhtmlFormatter.css";
    49 	private int statementCounter = 0;
    50 	private int resultSetCounter = 0;
    51 	private int updatesResultCounter = 0;
    52 
    53 	public XhtmlFormatter(FormatterContext formatterContext) {
    54 		super(addDefaults(formatterContext));
    55 	}
    56 	
    57 	private QName qname(String localPart) {
    58 		return new QName(Xmlns.XHTML, localPart);
    59 	}
    60 
    61 	/**
    62 	 * Do not indent text – preserve whitespace for pre elements
    63 	 */
    64 	private static FormatterContext addDefaults(FormatterContext formatterContext) {
    65 		Properties defaults = new Properties(1);
    66 		defaults.add(new Property(PROPERTY_INDENT_TEXT, "false"));
    67 		formatterContext.getProperties().setLastDefaults(defaults);
    68 		return formatterContext;
    69 	}
    70 
    71 	@Override
    72 	public void writeStartBatch() {
    73 		super.writeStartBatch();
    74 		printStartDocument();
    75 		printDoctype(DOCTYPE);
    76 		printStartElement(qname("html"), singleAttribute(qname("xmlns"), Xmlns.XHTML));
    77 
    78 		printStartElement(qname("head"));
    79 		printTextElement(qname("title"), null, Constants.PROGRAM_NAME + ": batch results");
    80 		printCss();
    81 		printEndElement();
    82 
    83 		printStartElement(qname("body"));
    84 	}
    85 
    86 	private void printCss() {
    87 
    88 		try (Scanner css = new Scanner(getClass().getClassLoader().getResourceAsStream(CSS_FILE))) {
    89 			printStartElement(qname("style"), singleAttribute(qname("type"), "text/css"));
    90 			while (css.hasNext()) {
    91 				printText(css.nextLine(), true);
    92 			}
    93 			printEndElement();
    94 		}
    95 	}
    96 
    97 	@Override
    98 	public void writeEndBatch() {
    99 		super.writeEndBatch();
   100 		printEndElement();
   101 		printEndElement();
   102 		printEndDocument();
   103 	}
   104 
   105 	@Override
   106 	public void writeStartDatabase(DatabaseDefinition databaseDefinition) {
   107 		super.writeStartDatabase(databaseDefinition);
   108 		printTextElement(qname("h1"), null, "Database: " + databaseDefinition.getName());
   109 
   110 		printStartElement(qname("p"));
   111 		printText("This is XHTML output of batch executed at: ", true);
   112 		printText(new Date().toString(), true);
   113 		printEndElement();
   114 	}
   115 
   116 	@Override
   117 	public void writeQuery(String sql) {
   118 		super.writeQuery(sql);
   119 		printTextElement(qname("pre"), null, sql);
   120 	}
   121 
   122 	@Override
   123 	public void writeParameters(List<? extends Parameter> parameters) {
   124 		super.writeParameters(parameters);
   125 
   126 		if (parameters == null || parameters.isEmpty()) {
   127 			printTextElement(qname("p"), null, "(this query has no parameters)");
   128 		} else {
   129 			printTextElement(qname("h3"), null, "Parameters:");
   130 
   131 			printStartElement(qname("table"));
   132 
   133 			printStartElement(qname("thead"));
   134 			printStartElement(qname("tr"));
   135 			printTextElement(qname("td"), null, "id");
   136 			printTextElement(qname("td"), null, "type");
   137 			printTextElement(qname("td"), null, "value");
   138 			printEndElement();
   139 			printEndElement();
   140 
   141 			printStartElement(qname("tbody"));
   142 			for (int i = 0; i < parameters.size(); i++) {
   143 				Parameter p = parameters.get(i);
   144 				printStartElement(qname("tr"));
   145 				String numberOrName;
   146 				if (p instanceof NamedParameter) {
   147 					numberOrName = ((NamedParameter) p).getName();
   148 				} else {
   149 					numberOrName = String.valueOf(i + 1);
   150 				}
   151 				printTextElement(qname("td"), null, numberOrName);
   152 				printTextElement(qname("td"), null, p.getType().name());
   153 				printTableData(p.getValue());
   154 				printEndElement();
   155 			}
   156 			printEndElement();
   157 
   158 			printEndElement();
   159 		}
   160 	}
   161 
   162 	private void printTableData(Object value) {
   163 
   164 		if (value instanceof Array) {
   165 			Array sqlArray = (Array) value;
   166 			try {
   167 				Object[] array = (Object[]) sqlArray.getArray();
   168 				printStartElement(qname("td"));
   169 				printArray(array);
   170 				printEndElement();
   171 			} catch (SQLException e) {
   172 				log.log(Level.SEVERE, "Unable to format array", e);
   173 				printTableData(String.valueOf(value));
   174 			}
   175 		} else {
   176 			Map<QName, String> attributes = null;
   177 			if (value instanceof Number) {
   178 				attributes = singleAttribute(qname("class"), "number");
   179 			} else if (value instanceof Boolean) {
   180 				attributes = singleAttribute(qname("class"), "boolean");
   181 			}
   182 			printTextElement(qname("td"), attributes, String.valueOf(value));
   183 		}
   184 	}
   185 
   186 	private void printArray(Object[] array) {
   187 		printStartElement(qname("ul"));
   188 		for (Object o : array) {
   189 			if (o instanceof Object[]) {
   190 				printStartElement(qname("li"));
   191 				printTextElement(qname("p"), null, "nested array:");
   192 				printArray((Object[]) o);
   193 				printEndElement();
   194 			} else {
   195 				printTextElement(qname("li"), null, String.valueOf(o));
   196 			}
   197 		}
   198 		printEndElement();
   199 	}
   200 
   201 	@Override
   202 	public void writeStartResultSet(ColumnsHeader header) {
   203 		super.writeStartResultSet(header);
   204 		resultSetCounter++;
   205 		printEmptyElement(qname("hr"), null);
   206 		printTextElement(qname("h3"), null, "Result set #" + resultSetCounter);
   207 		printStartElement(qname("table"));
   208 		printStartElement(qname("thead"));
   209 		printStartElement(qname("tr"));
   210 		for (ColumnDescriptor cd : header.getColumnDescriptors()) {
   211 			// TODO: type
   212 			printTextElement(qname("td"), null, cd.getLabel());
   213 		}
   214 		printEndElement();
   215 		printEndElement();
   216 
   217 		printStartElement(qname("tbody"));
   218 	}
   219 
   220 	@Override
   221 	public void writeEndResultSet() {
   222 		super.writeEndResultSet();
   223 		printEndElement();
   224 		printEndElement();
   225 		printTextElement(qname("p"), null, "Record count: " + getCurrentRowCount());
   226 	}
   227 
   228 	@Override
   229 	public void writeStartRow() {
   230 		super.writeStartRow();
   231 		printStartElement(qname("tr"));
   232 	}
   233 
   234 	@Override
   235 	public void writeColumnValue(Object value) {
   236 		super.writeColumnValue(value);
   237 		printTableData(value);
   238 	}
   239 
   240 	@Override
   241 	public void writeEndRow() {
   242 		super.writeEndRow();
   243 		printEndElement();
   244 	}
   245 
   246 	@Override
   247 	public void writeStartStatement() {
   248 		super.writeStartStatement();
   249 		statementCounter++;
   250 		printEmptyElement(qname("hr"), null);
   251 		printTextElement(qname("h2"), null, "SQL statement #" + statementCounter);
   252 		resultSetCounter = 0;
   253 		updatesResultCounter = 0;
   254 	}
   255 
   256 	@Override
   257 	public void writeUpdatesResult(int updatedRowsCount) {
   258 		super.writeUpdatesResult(updatedRowsCount);
   259 		updatesResultCounter++;
   260 		printEmptyElement(qname("hr"), null);
   261 		printTextElement(qname("h3"), null, "Updates result #" + updatesResultCounter);
   262 		printTextElement(qname("p"), null, "Updated rows: " + updatedRowsCount);
   263 	}
   264 }