def __init__(self, tree):
ScriptStore.__init__(self, tree)
self._orig_tree = tree.deep_copy()
self._pairs = dict(zip(tree.nodes_breadth(),
self._orig_tree.nodes_breadth()))
self._deleted = []
self._inserted = []
self._moved = []
self._updated = []
def delete(self, node):
self._deleted.append(self._pairs[node])
ScriptStore.delete(self, node)
def insert(self, node, label, value, parent, index):
self._inserted.append(node)
ScriptStore.insert(self, node, label, value, parent, index)
def __init__(self, tree):
self._orig_tree = tree.deep_copy()
ScriptStore.__init__(self, tree)
def update(self, node, value):
self._updated.append(node)
ScriptStore.update(self, node, value)
def move(self, node, parent, index):
self._moved.append(
(self._pairs[node], node, hex(abs(hash(random())))))
ScriptStore.move(self, node, parent, index)
def update(self, node, value):
self._updated.append((self._pairs[node], node))
ScriptStore.update(self, node, value)
