@uml consume() ahead until p==index; can't just set p=index as we must update line and charPositionInLine. If we seek backwards, just set p @override
See Implementation
@uml consume() ahead until p==index; can't just set p=index as we must update line and charPositionInLine. If we seek backwards, just set p @override