Move on to the next character in the text.

def next(self):
    " Move on to the next character in the text. "

    char = self.char
    if char == '\n':
      self.lineno += 1
      self.colno = 0
    else:
      self.colno += 1
    self.index += 1
    return self.char