Searched refs:savedScannerPosition (Results 1 – 1 of 1) sorted by relevance
344 private int savedScannerPosition = -1; field in Scanner754 savedScannerPosition = position; in saveState()758 this.position = savedScannerPosition; in revertState()759 savedScannerPosition = -1; in revertState()764 this.position = savedScannerPosition; in revertState()765 savedScannerPosition = -1; in revertState()844 int offset = savedScannerPosition == -1 ? in makeSpace()845 position : savedScannerPosition; in makeSpace()870 if (savedScannerPosition != -1) in translateSavedIndexes()871 savedScannerPosition -= offset; in translateSavedIndexes()