This repo contains code to mirror other repos. It also contains the code that is getting mirrored.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

144 lines
3.8 KiB

  1. try:
  2. from future_builtins import filter
  3. except ImportError:
  4. pass
  5. from copy import deepcopy
  6. class Meta:
  7. pass
  8. ###{standalone
  9. class Tree(object):
  10. def __init__(self, data, children, meta=None):
  11. self.data = data
  12. self.children = children
  13. self._meta = meta
  14. @property
  15. def meta(self):
  16. if self._meta is None:
  17. self._meta = Meta()
  18. return self._meta
  19. def __repr__(self):
  20. return 'Tree(%s, %s)' % (self.data, self.children)
  21. def _pretty_label(self):
  22. return self.data
  23. def _pretty(self, level, indent_str):
  24. if len(self.children) == 1 and not isinstance(self.children[0], Tree):
  25. return [ indent_str*level, self._pretty_label(), '\t', '%s' % (self.children[0],), '\n']
  26. l = [ indent_str*level, self._pretty_label(), '\n' ]
  27. for n in self.children:
  28. if isinstance(n, Tree):
  29. l += n._pretty(level+1, indent_str)
  30. else:
  31. l += [ indent_str*(level+1), '%s' % (n,), '\n' ]
  32. return l
  33. def pretty(self, indent_str=' '):
  34. return ''.join(self._pretty(0, indent_str))
  35. ###}
  36. def expand_kids_by_index(self, *indices):
  37. for i in sorted(indices, reverse=True): # reverse so that changing tail won't affect indices
  38. kid = self.children[i]
  39. self.children[i:i+1] = kid.children
  40. def __eq__(self, other):
  41. try:
  42. return self.data == other.data and self.children == other.children
  43. except AttributeError:
  44. return False
  45. def __ne__(self, other):
  46. return not (self == other)
  47. def __hash__(self):
  48. return hash((self.data, tuple(self.children)))
  49. def find_pred(self, pred):
  50. return filter(pred, self.iter_subtrees())
  51. def find_data(self, data):
  52. return self.find_pred(lambda t: t.data == data)
  53. def scan_values(self, pred):
  54. for c in self.children:
  55. if isinstance(c, Tree):
  56. for t in c.scan_values(pred):
  57. yield t
  58. else:
  59. if pred(c):
  60. yield c
  61. def iter_subtrees(self):
  62. # TODO: Re-write as a more efficient version
  63. visited = set()
  64. q = [self]
  65. l = []
  66. while q:
  67. subtree = q.pop()
  68. l.append( subtree )
  69. if id(subtree) in visited:
  70. continue # already been here from another branch
  71. visited.add(id(subtree))
  72. q += [c for c in subtree.children if isinstance(c, Tree)]
  73. seen = set()
  74. for x in reversed(l):
  75. if id(x) not in seen:
  76. yield x
  77. seen.add(id(x))
  78. def __deepcopy__(self, memo):
  79. return type(self)(self.data, deepcopy(self.children, memo))
  80. def copy(self):
  81. return type(self)(self.data, self.children)
  82. def set(self, data, children):
  83. self.data = data
  84. self.children = children
  85. class SlottedTree(Tree):
  86. __slots__ = 'data', 'children', 'rule'
  87. def pydot__tree_to_png(tree, filename):
  88. import pydot
  89. graph = pydot.Dot(graph_type='digraph', rankdir="LR")
  90. i = [0]
  91. def new_leaf(leaf):
  92. node = pydot.Node(i[0], label=repr(leaf))
  93. i[0] += 1
  94. graph.add_node(node)
  95. return node
  96. def _to_pydot(subtree):
  97. color = hash(subtree.data) & 0xffffff
  98. color |= 0x808080
  99. subnodes = [_to_pydot(child) if isinstance(child, Tree) else new_leaf(child)
  100. for child in subtree.children]
  101. node = pydot.Node(i[0], style="filled", fillcolor="#%x"%color, label=subtree.data)
  102. i[0] += 1
  103. graph.add_node(node)
  104. for subnode in subnodes:
  105. graph.add_edge(pydot.Edge(node, subnode))
  106. return node
  107. _to_pydot(tree)
  108. graph.write_png(filename)