Changeset bfcf68 in git for modules/openmathserver/objects.py

Timestamp:

Jun 14, 2005, 2:22:52 PM (19 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

9b973c144b1c3a7ddd2df88833b75055fc1688ae

Parents:

bb3e2b01b8b571e1ce0e1df85bcb71fb0ccb8e9d

Message:

*bricken: can do this all day


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

File:

• modules/openmathserver/objects.py (modified) (5 diffs)

modules/openmathserver/objects.py

@@ -95 +95 @@
         children=self.children
         if children:
-            body="".join([context.XMLencode(c) for c in children])
+            body="".join([context.XMLEncodeObject(c) for c in children])
         else:
             body=self.body
@@ -131 +131 @@
                 return context.apply(efunc, eargs)
             except EvaluationFailedError, NotImplementedError:
-                return self
+                return OMapplication(efunc, eargs)
+                #return self
         else:
             return OMapplication(efunc, eargs)
+    XMLtag="OMA"
+    def getChildren(self):
+        return [self.func]+self.args
+    def setChildren(self):
+        raise UnsupportedOperationError
 class OMsymbol(OMobject):
     def __init__(self,name,cd=None):
@@ -147 +153 @@
     def evaluate(self,context):
         return context.evaluateSymbol(self)
+    XMLtag="OMS"
+    def getXMLattributes(self):
+        return [XMLattribute("name", self.name),\
+                 XMLattribute("cdbase",self.cd.base),\
+                 XMLattribute("cd",self.cd.name)]
+    def setXMLattributes(self):
+        raise UnsupportedOperationError
 class SimpleValue(OMobject):
     def __init__(self,value):
@@ -172 +185 @@
         return str(self.value)
     def setBody(self, value):
-        raise OperationNotPossibleError
+        raise UnsupportedOperationError
     XMLtag="OMI"
 class OMfloat(SimpleValue):
@@ -183 +196 @@
     def __str__(self):
         return "OMfloat("+repr(self.value)+")"
+    XMLtag="OMF"
+    def getXMLattributes(self):
+        return [XMLattribute("dec",str(self.value))]
         
 if __name__=='__main__':