Ejemplo n.º 1
0
 def fn(*args):
     #print(str(len(types)) + " " + str(len(args)))
     Errors.checkNumArgs(len(types), len(args), "ProxyObject", name)
     for arg in args:
         #(print("lift: " + str(arg)))
         if isinstance(arg, SFact):
             return LiftF(name, f, args, types=types, outType=outType)
     if len(types) is not 0:
         for i in range(len(args)):
             #print("checking " + repr(args[i]) + ' ' + repr(types[i]))
             Types.checkType("ProxyObject", name, args[i], types[i])
     return f(*args)
Ejemplo n.º 2
0
 def fn(*args):
     #print(str(len(types)) + " " + str(len(args)))
     Errors.checkNumArgs(len(types), len(args), "ProxyObject", name)
     for arg in args:
         #(print("lift: " + str(arg)))
         if isinstance(arg, SFact):
             return LiftF(name,f,args,types = types, outType = outType)
     if len(types) is not 0:
         for i in range(len(args)):
             #print("checking " + repr(args[i]) + ' ' + repr(types[i]))
             Types.checkType("ProxyObject", name, args[i], types[i])
     return f(*args)
Ejemplo n.º 3
0
 def start(self, expectedType = Types.anyType, obj = "ProxyObject"):
     self.args = list(self.args)
     argsLen = len(self.args)
     Types.addCheck(self)
     Types.checkType(obj, self, self.outType, expectedType)
     Errors.checkNumArgs(len(self.types), argsLen, obj, self)
     #list() call for pyhton 3 mapping support
     #print("LiftF: " + str(self.args))
     ea = list(map(lambda x: maybeLift(x).start(), self.args))
     #print("LiftF 2: " + str(ea))
     #print("LiftF 3: " + str(ea[0][0].now()))
     for i in range(len(self.types)):
         Types.checkType(obj, self, ea[i][1], self.types[i])
     #Some where between here and the Lift const
     return Lift(self.name,self.f, list(map(lambda x: x[0], ea))), self.outType
Ejemplo n.º 4
0
 def start(self, expectedType=Types.anyType, obj="ProxyObject"):
     self.args = list(self.args)
     argsLen = len(self.args)
     Types.addCheck(self)
     Types.checkType(obj, self, self.outType, expectedType)
     Errors.checkNumArgs(len(self.types), argsLen, obj, self)
     #list() call for pyhton 3 mapping support
     #print("LiftF: " + str(self.args))
     ea = list(map(lambda x: maybeLift(x).start(), self.args))
     #print("LiftF 2: " + str(ea))
     #print("LiftF 3: " + str(ea[0][0].now()))
     for i in range(len(self.types)):
         Types.checkType(obj, self, ea[i][1], self.types[i])
     #Some where between here and the Lift const
     return Lift(self.name, self.f, list(map(lambda x: x[0],
                                             ea))), self.outType