public void Reset() { lexer.Reset(); }
public Enumerator(Lexer lexer) { this.lexer = lexer; lexer.Reset(); }