Changeset 859b51 in git for modules/openmathserver

Timestamp:

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

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', '2fa36c576e6a4ddbb1093b43c7f8e9835e17e52a')

Children:

4426672c7d26593c5a5cf6d590a6bbd5ef3fdb7c

Parents:

b651ed658210a13bafea82a0ffdd1baa31075eb8

Message:

*bricken: OMBIND encode decode


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

Location:

modules/openmathserver

Files:

• binding.py (modified) (1 diff)
• objects.py (modified) (2 diffs)
• omxmlreader.py (modified) (2 diffs)

modules/openmathserver/binding.py

@@ -34 +34 @@
         self.unbind()
         #print "__call__ erg is", erg
-        return erg    
+        return erg   
         
+    XMLtag="OMBIND"
+    def getChildren(self):
+        return [self.binder]+self.variables+[self.block]
+    def setChildren(self):
+        raise UnsupportedOperationError 
+        

modules/openmathserver/objects.py

@@ -119 +119 @@
     def getXMLattributes(self):
         return [XMLattribute("name", self.name)]
+        
 class OMapplication(OMobject):
     def __init__(self, func, args):
@@ -140 +141 @@
     def setChildren(self):
         raise UnsupportedOperationError
+        
 class OMsymbol(OMobject):
     def __init__(self,name,cd=None):

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)