public void Reset(ICharacterStreamPosition position) { var p = (CharacterStreamPosition)position; _currentPosition = p.Position; _currentInputLength = p.InputLength; _currentCharacter = p.Character; }
public void Reset(ICharacterStreamPosition position) { var p = (CharacterStreamPosition)position; _currentPosition.Position = p.Position; _currentPosition.InputLength = p.InputLength; _currentPosition.Character = p.Character; _currentPosition.BlankLines = p.BlankLines; }