Changeset 057e4d3 in git for modules/openmathserver/binding.py

Timestamp:

Jun 23, 2005, 5:24:01 PM (18 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', 'ec94ef7a30b928574c0c3daf41f6804dff5f6b69')

Children:

e25c5effa9b6fa015db14b7bde31ddca40b78786

Parents:

17c7ba38fdfb7e1701605423c601fe8230072950

Message:

*bricken: beautified


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

File:

• modules/openmathserver/binding.py (modified) (3 diffs)

modules/openmathserver/binding.py

@@ -1 +1 @@
 from objects import OMObjectBase, OMSymbol
-from cd import *
-from omexceptions import *
+from cd import OMCD
+from omexceptions import UnsupportedOperationError
 from itertools import izip
 from copy import copy
-cdFns1=OMCD("fns1")
-lambdasym=OMSymbol("lambda",cdFns1)
+cdFns1 = OMCD("fns1")
+lambdasym = OMSymbol("lambda", cdFns1)
 
 def islambda(sym):
-    return lambdasym==sym
+    return lambdasym == sym
     
 class OMBinding(OMObjectBase):
@@ -14 +14 @@
        meant so, references do not work correctly because of scopes
        solve this by first evaluation to bounded OMBinding"""
-    def __init__(self, binder,variables,block):
-        super(OMBinding,self).__init__()
-        self.block=block
-        self.binder=binder
-        self.variables=variables
-        self.bounded=False
-    def evaluate(self,context):
+    def __init__(self, binder, variables, block):
+        super(OMBinding, self).__init__()
+        self.block = block
+        self.binder = binder
+        self.variables = variables
+        self.bounded = False
+    def evaluate(self, context):
         assert islambda(self.binder)
         if not self.bounded:
-            mycopy=copy(self)
-            mycopy.scope=context.scopeFromCurrentScope()
-            mycopy.bounded=True
+            mycopy = copy(self)
+            mycopy.scope = context.scopeFromCurrentScope()
+            mycopy.bounded = True
             return mycopy
         else:
@@ -31 +31 @@
     def bind(self, args):
         #print args, self.variables
-        assert len(args)==len(self.variables)
-        varBindings=dict(izip([i.name for i in self.variables],args))
+        assert len(args) == len(self.variables)
+        varBindings = dict(izip([i.name for i in self.variables], args))
         self.scope.push(varBindings)
     def unbind(self):
         self.scope.pop()
 
-    def calcErg(self,context):
-        return context.evaluateInScope(self.block,self.scope)
-    def __call__(self, context,*args):
+    def calcErg(self, context):
+        return context.evaluateInScope(self.block, self.scope)
+    def __call__(self, context, *args):
         self.bind(args)
-        erg=self.calcErg(context)
+        erg = self.calcErg(context)
         self.unbind()
         #print "__call__ erg is", erg
         return erg   
         
-    XMLtag="OMBIND"
+    XMLtag = "OMBIND"
     def getChildren(self):
         return [self.binder]+self.variables+[self.block]