Searched refs:savedScannerPosition (Results 1 – 1 of 1) sorted by relevance
347 private int savedScannerPosition = -1; field in Scanner830 savedScannerPosition = position; in saveState()834 this.position = savedScannerPosition; in revertState()835 savedScannerPosition = -1; in revertState()840 this.position = savedScannerPosition; in revertState()841 savedScannerPosition = -1; in revertState()916 int offset = savedScannerPosition == -1 ? in makeSpace()917 position : savedScannerPosition; in makeSpace()942 if (savedScannerPosition != -1) in translateSavedIndexes()943 savedScannerPosition -= offset; in translateSavedIndexes()