+
+ int startRow = e.startRow;
+ int numRows = e.numRows;
+ if (prunedRowIdx != null) {
+ // note: the start row will always be a TokenRow
+ // and thus never be pruned
+ int newNumRows = 1;
+ for (int i = 1; i < numRows; i++) {
+ if (prunedRowIdx[startRow + i] >= 0) newNumRows++;
+ }
+ startRow = prunedRowIdx[startRow];
+ numRows = newNumRows;
+ }
+
+ out.writeInt(startRow);
+ out.writeInt(numRows);