Changeset 859b51 in git


Ignore:
Timestamp:
Jun 14, 2005, 6:10:28 PM (19 years ago)
Author:
Michael Brickenstein <bricken@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
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:
3 edited

Legend:

Unmodified
Added
Removed
  • modules/openmathserver/binding.py

    rb651ed r859b51  
    3434        self.unbind()
    3535        #print "__call__ erg is", erg
    36         return erg    
     36        return erg   
    3737       
     38    XMLtag="OMBIND"
     39    def getChildren(self):
     40        return [self.binder]+self.variables+[self.block]
     41    def setChildren(self):
     42        raise UnsupportedOperationError
     43       
  • modules/openmathserver/objects.py

    rb651ed r859b51  
    119119    def getXMLattributes(self):
    120120        return [XMLattribute("name", self.name)]
     121       
    121122class OMapplication(OMobject):
    122123    def __init__(self, func, args):
     
    140141    def setChildren(self):
    141142        raise UnsupportedOperationError
     143       
    142144class OMsymbol(OMobject):
    143145    def __init__(self,name,cd=None):
  • modules/openmathserver/omxmlreader.py

    rb651ed r859b51  
    99import os.path
    1010from objects import *
     11from binding import *
    1112from cd import *
     13from exceptions import *
    1214def readFile(input_file_name):
    1315    docstream = open(input_file_name)
     
    6769            children=[self.buildFromNode(c) for c in node.childNodes]
    6870            return OMapplication(children[0],children[1:])
     71        if (node.nodeName=="OMBIND"):
     72            children=[self.buildFromNode(c) for c in node.childNodes]
     73            return OMbinding(children[0],children[1:-1],children[-1])
     74        raise NotImplementedError
    6975    def build(self, root):
    7076        remove_white_space(root)
Note: See TracChangeset for help on using the changeset viewer.