580581582583584585586587588589590
startPosition = tsrs.printStartPosition(); } stopPosition = tsrs.stopPositionString; if (stopPosition == null) { stopPosition = tsrs.printStopPosition(); } } return new RealTableScanStatistics(
581582583584585586587588589590591
600601602603604605606607608609610
582583584585586587588589590591592
578579580581582583584585586587588