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)