Esempi in Python per varsBeforeAndHere

Esempio n. 1

File: trace.py Progetto: junion/butlerbot-unstable

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])

Esempio n. 2

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])

Esempio n. 3

File: tracejava.py Progetto: jbalint/spark

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

Esempio n. 4

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

Esempio n. 5

File: taskexpr.py Progetto: junion/butlerbot-unstable

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, [])

Esempio n. 6

File: taskexpr.py Progetto: jbalint/spark

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, [])

Esempio n. 7

 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)))

Esempio n. 8

File: trace.py Progetto: junion/butlerbot-unstable

    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)))