Changeset 859b51 in git for modules/openmathserver/omxmlreader.py

Timestamp:

Jun 14, 2005, 6:10:28 PM (18 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

4426672c7d26593c5a5cf6d590a6bbd5ef3fdb7c

Parents:

b651ed658210a13bafea82a0ffdd1baa31075eb8

Message:

*bricken: OMBIND encode decode


git-svn-id: file:///usr/local/Singular/svn/trunk@8365 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• modules/openmathserver/omxmlreader.py (modified) (2 diffs)

modules/openmathserver/omxmlreader.py

@@ -9 +9 @@
 import os.path
 from objects import *
+from binding import *
 from cd import *
+from exceptions import *
 def readFile(input_file_name):
     docstream = open(input_file_name)
@@ -67 +69 @@
             children=[self.buildFromNode(c) for c in node.childNodes]
             return OMapplication(children[0],children[1:])
+        if (node.nodeName=="OMBIND"):
+            children=[self.buildFromNode(c) for c in node.childNodes]
+            return OMbinding(children[0],children[1:-1],children[-1])
+        raise NotImplementedError
     def build(self, root):
         remove_white_space(root)