903904905906907908909910911912913
getResultSetStatistics(ors.source) ); } else if (rs instanceof NormalizeResultSet) { NormalizeResultSet nrs = (NormalizeResultSet) rs; return new RealNormalizeResultSetStatistics( nrs.numOpens, nrs.rowsSeen, nrs.rowsFiltered,
904905906907908909910911912913914
941942943944945946947948949950951
923924925926927928929930931932933
873874875876877878879880881882883