ThirdParty/Pygments/pygments/token.py

changeset 808
8f85926125ef
parent 684
2f29a0b6e1c7
child 1705
b0fbc9300f2b
equal deleted inserted replaced
805:83ca4d1ff648 808:8f85926125ef
37 new = _TokenType(self + (val,)) 37 new = _TokenType(self + (val,))
38 setattr(self, val, new) 38 setattr(self, val, new)
39 self.subtypes.add(new) 39 self.subtypes.add(new)
40 new.parent = self 40 new.parent = self
41 return new 41 return new
42
43 def __hash__(self):
44 return hash(tuple(self))
45 42
46 def __repr__(self): 43 def __repr__(self):
47 return 'Token' + (self and '.' or '') + '.'.join(self) 44 return 'Token' + (self and '.' or '') + '.'.join(self)
48 45
49 46

eric ide

mercurial