def eos(self):
return len(self.string) == self.pos<EOL>
Return true if the scan pointer is at the end of the string.

    >>> s = Scanner("abc")
    >>> s.eos()
    False
    >>> s.terminate()
    >>> s.eos()
    True