java/sql-dk/src/info/globalcode/sql/dk/formatting/TabularPrefetchingFormatter.java
branchv_0
changeset 224 36db9fd27436
parent 155 eb3676c6929b
--- a/java/sql-dk/src/info/globalcode/sql/dk/formatting/TabularPrefetchingFormatter.java	Sun Aug 30 02:24:36 2015 +0200
+++ b/java/sql-dk/src/info/globalcode/sql/dk/formatting/TabularPrefetchingFormatter.java	Sun Aug 30 02:28:15 2015 +0200
@@ -86,6 +86,8 @@
 	public void writeEndResultSet() {
 		prefetchDone = true;
 
+		postprocessPrefetchedResultSet(currentHeader, currentResultSet);
+
 		super.writeStartResultSet(currentHeader);
 
 		for (Object[] row : currentResultSet) {
@@ -103,4 +105,15 @@
 		super.writeEndResultSet();
 		prefetchDone = false;
 	}
+
+	/**
+	 * Optional post-processing – override in sub-classes if needed.
+	 * Don't forget to {@linkplain #updateColumnWidth(int, int)}
+	 *
+	 * @param currentHeader
+	 * @param currentResultSet
+	 */
+	protected void postprocessPrefetchedResultSet(ColumnsHeader currentHeader, List<Object[]> currentResultSet) {
+	}
+
 }