Changeset c012463 in git for modules/openmathserver/binding.py

Timestamp:

Jun 15, 2005, 11:38:16 AM (19 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

04f6a4e219c5180c44ff638afd7e63cc8ffa3699

Parents:

d0eb8c62a0f20ffc02130a688aabd569d1ac4430

Message:

*bricken: scope fixes, refactoring


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

File:

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

modules/openmathserver/binding.py

@@ -1 @@
-from objects import OMobject, OMsymbol
+from objects import OMObjectBase, OMsymbol
 from cd import *
 from omexceptions import *
 from itertools import izip
+from copy import copy
 cdFns1=OMcd("fns1")
 lambdasym=OMsymbol("lambda",cdFns1)
@@ -9 +10 @@
     return lambdasym==sym
     
-class OMbinding(OMobject):
+class OMbinding(OMObjectBase):
+    """hopefully fixed possible problems: reevaluation writes new scope, if it isn't
+       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__()
@@ -15 +19 @@
         self.binder=binder
         self.variables=variables
+        self.bounded=False
     def evaluate(self,context):
         assert islambda(self.binder)
-        self.scope=context.scopeFromCurrentScope()
-        return self
+        if not self.bounded:
+            mycopy=copy(self)
+            mycopy.scope=context.scopeFromCurrentScope()
+            mycopy.bounded=True
+            return mycopy
+        else:
+            return self
     def bind(self, args):
         #print args, self.variables