public override void Close() { base.Close(); scanner.yyreset(input); }
public override void Dispose() { base.Dispose(); scanner.yyreset(input); }