Searched refs:savedScannerPosition (Results 1 – 1 of 1) sorted by relevance
344 private int savedScannerPosition = -1; field in Scanner750 savedScannerPosition = position; in saveState()754 this.position = savedScannerPosition; in revertState()755 savedScannerPosition = -1; in revertState()760 this.position = savedScannerPosition; in revertState()761 savedScannerPosition = -1; in revertState()839 int offset = savedScannerPosition == -1 ? in makeSpace()840 position : savedScannerPosition; in makeSpace()865 if (savedScannerPosition != -1) in translateSavedIndexes()866 savedScannerPosition -= offset; in translateSavedIndexes()