10611062106310641065106610671068106910701071
startPosition = hsrs.printStartPosition(); } stopPosition = hsrs.stopPositionString; if (stopPosition == null) { stopPosition = hsrs.printStopPosition(); } } // DistinctScanResultSet is simple sub-class of // HashScanResultSet
10621063106410651066106710681069107010711072
10991100110111021103110411051106110711081109
10811082108310841085108610871088108910901091
10311032103310341035103610371038103910401041