recfile formatter: write record count (as a comment at the end of the relation) v_0
authorFrantišek Kučera <franta-hg@frantovo.cz>
Fri, 23 Sep 2022 18:05:50 +0200
branchv_0
changeset 254c4b901ff0703
parent 253 d8442b266ca8
child 255 099bb96f8d8d
recfile formatter: write record count (as a comment at the end of the relation)
java/sql-dk/src/main/java/info/globalcode/sql/dk/formatting/RecfileFormatter.java
     1.1 --- a/java/sql-dk/src/main/java/info/globalcode/sql/dk/formatting/RecfileFormatter.java	Sun Sep 13 12:01:35 2020 +0200
     1.2 +++ b/java/sql-dk/src/main/java/info/globalcode/sql/dk/formatting/RecfileFormatter.java	Fri Sep 23 18:05:50 2022 +0200
     1.3 @@ -68,6 +68,15 @@
     1.4  	}
     1.5  
     1.6  	@Override
     1.7 +	public void writeEndResultSet() {
     1.8 +		super.writeEndResultSet();
     1.9 +		out.println();
    1.10 +		out.print("# Record count: ");
    1.11 +		out.println(getCurrentRowCount());
    1.12 +		out.flush();
    1.13 +	}
    1.14 +
    1.15 +	@Override
    1.16  	public void writeUpdatesResult(int updatedRowsCount) {
    1.17  		super.writeUpdatesResult(updatedRowsCount);
    1.18  		printResultSeparator();