public void eof() { FlushDelayedCalls(); var eofPosition = GetEOFPosition(); UpdateLastProcessedEditorLine(eofPosition.Line); gherkinListener.EOF(eofPosition); }