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;
}
