equal
deleted
inserted
replaced
75 |
75 |
76 def __bytes__(self): |
76 def __bytes__(self): |
77 return short(self.node()) |
77 return short(self.node()) |
78 |
78 |
79 __str__ = encoding.strmethod(__bytes__) |
79 __str__ = encoding.strmethod(__bytes__) |
80 |
|
81 def __int__(self): |
|
82 return self.rev() |
|
83 |
80 |
84 def __repr__(self): |
81 def __repr__(self): |
85 return r"<%s %s>" % (type(self).__name__, str(self)) |
82 return r"<%s %s>" % (type(self).__name__, str(self)) |
86 |
83 |
87 def __eq__(self, other): |
84 def __eq__(self, other): |