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.

147 lines
3.8 KiB

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