java/sql-dk/src/info/globalcode/sql/dk/formatting/TabularPrefetchingFormatter.java
branchv_0
changeset 224 36db9fd27436
parent 155 eb3676c6929b
     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  }