| }
else if (rs instanceof ScrollInsensitiveResultSet)
{
ScrollInsensitiveResultSet sirs = (ScrollInsensitiveResultSet) rs;
return new RealScrollInsensitiveResultSetStatistics(
sirs.numOpens,
sirs.rowsSeen,
sirs.rowsFiltered,
sirs.constructorTime,
sirs.openTime,
|