def substring(self, start, stop):

        raise NotImplementedError
For infinite streams, you don't need this; primarily I'm providing
dataset/ETHPy150Open AppScale/appscale/AppServer/lib/antlr3/antlr3/streams.py/CharStream.substring