Method: InputStream#seek

Defined in:
lib/antlr4/InputStream.rb

#seek(_index) ⇒ Object

consume() ahead until p==_index; can’t just set p=_index as we must update line and column. If we seek backwards, just set p



58
59
60
61
62
63
64
65
 
# File 'lib/antlr4/InputStream.rb', line 58

def seek(_index)
    if _index<=self.index then
        self.index = _index # just jump; don't update stream state (line, ...)
        return
    end
    # seek forward
    self.index = [_index, self.size].min
end