Method __str__

tests/external/gmock-1.7.0/gtest/scripts/pump.py:113–117

(self)

    return rhs <= self

  def __str__(self):
    if self == Eof():
      return 'EOF'
    else:
      return '%s(%s)' % (self.line + 1, self.column)

  def __add__(self, offset):
    return Cursor(self.line, self.column + offset)