Remove element.(get|set)_text(), client to use element.Element.text[] directly
authorNick Downing <nick@ndcode.org>
Tue, 29 Jan 2019 05:09:11 +0000 (16:09 +1100)
committerNick Downing <nick@ndcode.org>
Tue, 29 Jan 2019 05:13:54 +0000 (16:13 +1100)
skel/element.py
text.sed [new file with mode: 0644]

index 4ea7a4a..a8d0c7f 100644 (file)
@@ -120,14 +120,6 @@ def deserialize(fin, factory = Element, encoding = 'unicode'):
     node.deserialize(element, ref_list)
   return ref_list[0]
 
-def get_text(root, i):
-  assert len(root.text) == len(root.children) + 1
-  return root.text[i]
-
-def set_text(root, i, text):
-  assert len(root.text) == len(root.children) + 1
-  root.text[i] = text
-
 def to_text(root):
   assert len(root.text) == len(root.children) + 1
   return ''.join(
diff --git a/text.sed b/text.sed
new file mode 100644 (file)
index 0000000..6844508
--- /dev/null
+++ b/text.sed
@@ -0,0 +1,2 @@
+s/element\.get_text(\([^,]*\), \([^()]*\))/\1.text[\2]/g
+s/element\.set_text(\([^,]*\), \([^,]*\), \([^()]*\))/\1.text[\2] = \3/g