def variables(bindings, event, expr): if event in END_EVENTS: vars = varsBeforeAndHere(expr)[2] else: vars = varsBeforeAndHere(expr)[0] # expr.free_vars() & (expr.used_before() | expr.parameters_bound(bindings)) return ", ".join(["%s=%s" % (str(var), optionalGetVariableValueString(bindings, var)) for var in vars])
def variables(bindings, event, expr): if event in END_EVENTS: vars = varsBeforeAndHere(expr)[2] else: vars = varsBeforeAndHere(expr)[0] #expr.free_vars() & (expr.used_before() | expr.parameters_bound(bindings)) return ", ".join(["%s=%s"%(str(var), \ optionalGetVariableValueString(bindings, var))\ for var in vars])
def createVarHashMap(bindings, event, expr): #adapted from trace.variables() from java.util import HashMap from java.lang import String map = HashMap() if event is SUCCEEDED: vars = varsBeforeAndHere(expr)[2] else: vars = varsBeforeAndHere(expr)[0] for var in vars: map.put(String(str(var)), String(optionalGetVariableValueString(bindings, var))) return map
def constructForallSolutionsCollector(predexpr): from spark.internal.parse.expr import varsBeforeAndHere varsargs = varsBeforeAndHere(predexpr)[1] # varsargs = predexpr.free_nblocals_used_first_here() \ # TODO: ZZZZZZZ # & predexpr.needed_after() return ForallSolutionsCollector(varsargs, [])
def constructForallSolutionsCollector(predexpr): from spark.internal.parse.expr import varsBeforeAndHere varsargs = varsBeforeAndHere(predexpr)[1] #varsargs = predexpr.free_nblocals_used_first_here() \ # TODO: ZZZZZZZ # & predexpr.needed_after() return ForallSolutionsCollector(varsargs, [])
def do_succeed(self, agent, bindings, expr): bind = ["%s:=%s"%(v, bindings.getVariableValue(agent, v)) \ for v in varsBeforeAndHere(expr)[1]] from spark.internal.debug.trace import PRINT_TRACE PRINT_TRACE(agent, bindings, "Succeed", expr, (", ".join(bind)))
def do_succeed(self, agent, bindings, expr): bind = ["%s:=%s" % (v, bindings.getVariableValue(agent, v)) for v in varsBeforeAndHere(expr)[1]] from spark.internal.debug.trace import PRINT_TRACE PRINT_TRACE(agent, bindings, "Succeed", expr, (", ".join(bind)))