java/sql-dk/src/info/globalcode/sql/dk/formatting/TabularPrefetchingFormatter.java
1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/formatting/TabularPrefetchingFormatter.java Sun Aug 30 02:24:36 2015 +0200
1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/formatting/TabularPrefetchingFormatter.java Sun Aug 30 02:28:15 2015 +0200
1.3 @@ -86,6 +86,8 @@
1.4 public void writeEndResultSet() {
1.5 prefetchDone = true;
1.6
1.7 + postprocessPrefetchedResultSet(currentHeader, currentResultSet);
1.8 +
1.9 super.writeStartResultSet(currentHeader);
1.10
1.11 for (Object[] row : currentResultSet) {
1.12 @@ -103,4 +105,15 @@
1.13 super.writeEndResultSet();
1.14 prefetchDone = false;
1.15 }
1.16 +
1.17 + /**
1.18 + * Optional post-processing – override in sub-classes if needed.
1.19 + * Don't forget to {@linkplain #updateColumnWidth(int, int)}
1.20 + *
1.21 + * @param currentHeader
1.22 + * @param currentResultSet
1.23 + */
1.24 + protected void postprocessPrefetchedResultSet(ColumnsHeader currentHeader, List<Object[]> currentResultSet) {
1.25 + }
1.26 +
1.27 }