Python IdExp Exemples

Exemple #1

Fichier : double_absolute_value_transform.py Projet : csci5535-s20/project-containerless-py

 def double_absolute_value(x):
     x000 = trace.trace_function_body('ret00')
     trace.trace_let('x', x000)
     trace.trace_let('double_x', exp.UndefinedExp())
     double_x = None
     trace.trace_let('return_value', exp.UndefinedExp())
     return_value = None
     trace.trace_set('double_x',
                     exp.BinaryOpExp('*', exp.NumberExp(2), exp.IdExp('x')))
     double_x = 2 * x
     test =  \
     exp.BinaryOpExp('<',
     exp.IdExp('x'),
     exp.NumberExp(0))
     if x < 0:
         trace.trace_if_true(test)
         trace.trace_set('return_value',
                         exp.UnaryOpExp('-', exp.IdExp('double_x')))
         return_value = -double_x
     else:
         trace.trace_if_false(test)
         trace.trace_set('return_value', exp.IdExp('double_x'))
         return_value = double_x
     trace.trace_break('ret00', exp.IdExp('return_value'))
     trace.exit_block()
     return return_value

Exemple #2

Fichier : double_absolute_value_transform.py Projet : csci5535-s20/project-containerless-py

def serverless_function(trace, args):
    def double_absolute_value(x):
        x000 = trace.trace_function_body('ret00')
        trace.trace_let('x', x000)
        trace.trace_let('double_x', exp.UndefinedExp())
        double_x = None
        trace.trace_let('return_value', exp.UndefinedExp())
        return_value = None
        trace.trace_set('double_x',
                        exp.BinaryOpExp('*', exp.NumberExp(2), exp.IdExp('x')))
        double_x = 2 * x
        test =  \
        exp.BinaryOpExp('<',
        exp.IdExp('x'),
        exp.NumberExp(0))
        if x < 0:
            trace.trace_if_true(test)
            trace.trace_set('return_value',
                            exp.UnaryOpExp('-', exp.IdExp('double_x')))
            return_value = -double_x
        else:
            trace.trace_if_false(test)
            trace.trace_set('return_value', exp.IdExp('double_x'))
            return_value = double_x
        trace.trace_break('ret00', exp.IdExp('return_value'))
        trace.exit_block()
        return return_value

    trace.trace_function_call('result', [
        exp.IdExp('double_absolute_value'),
        exp.IndexExp(exp.IdExp('args'), exp.NumberExp(0))
    ])
    result = double_absolute_value(args[0])
    return result

Exemple #3

Fichier : args_transform.py Projet : csci5535-s20/project-containerless-py

def serverless_function(trace, args):
    def echo(arg):
        arg000 = trace.trace_function_body('ret00')
        trace.trace_let('arg', arg000)
        trace.trace_break('ret00', exp.IdExp('arg'))
        trace.exit_block()
        return arg

    trace.trace_function_call(
        'result',
        [exp.IdExp('echo'),
         exp.IndexExp(exp.IdExp('args'), exp.NumberExp(0))])
    result = echo(args[0])
    return result

Exemple #4

Fichier : transformed.py Projet : csci5535-s20/project-containerless-py

 def arithmetic():
     trace.trace_function_body('ret00')
     trace.trace_let('foo', exp.UndefinedExp())
     foo = None
     trace.trace_let('bar', exp.UndefinedExp())
     bar = None
     trace.trace_let('res', exp.UndefinedExp())
     res = None
     trace.trace_set('foo', exp.NumberExp(2))
     foo = 2
     trace.trace_set('bar', exp.BinaryOpExp('+', exp.IdExp('foo'), exp.NumberExp(3)))
     bar = foo + 3
     trace.trace_set('res', exp.BinaryOpExp('*', exp.IdExp('foo'), exp.IdExp('bar')))
     res = foo * bar
     trace.trace_break('ret00', exp.IdExp('res'))
     trace.exit_block()
     return res

Exemple #5

    def foo():
        trace.trace_function_body('ret00')
        trace.trace_let('ret_val', exp.UndefinedExp())
        ret_val = None

        def bar():
            trace.trace_function_body('ret00')
            trace.trace_break('ret00', exp.NumberExp(2))
            trace.exit_block()
            return 2

        trace.trace_function_call('ret_val', ['bar'])
        ret_val = bar()
        trace.trace_break('ret00', exp.IdExp('ret_val'))
        trace.exit_block()
        return ret_val

Exemple #6

def serverless_function(trace, args):
    def foo():
        trace.trace_function_body('ret00')
        trace.trace_let('ret_val', exp.UndefinedExp())
        ret_val = None

        def bar():
            trace.trace_function_body('ret00')
            trace.trace_break('ret00', exp.NumberExp(2))
            trace.exit_block()
            return 2

        trace.trace_function_call('ret_val', ['bar'])
        ret_val = bar()
        trace.trace_break('ret00', exp.IdExp('ret_val'))
        trace.exit_block()
        return ret_val

    trace.trace_function_call('result', [exp.IdExp('foo')])
    result = foo()
    return result

Exemple #7

Fichier : transformed.py Projet : csci5535-s20/project-containerless-py

def serverless_function(trace, args):

    def arithmetic():
        trace.trace_function_body('ret00')
        trace.trace_let('foo', exp.UndefinedExp())
        foo = None
        trace.trace_let('bar', exp.UndefinedExp())
        bar = None
        trace.trace_let('res', exp.UndefinedExp())
        res = None
        trace.trace_set('foo', exp.NumberExp(2))
        foo = 2
        trace.trace_set('bar', exp.BinaryOpExp('+', exp.IdExp('foo'), exp.NumberExp(3)))
        bar = foo + 3
        trace.trace_set('res', exp.BinaryOpExp('*', exp.IdExp('foo'), exp.IdExp('bar')))
        res = foo * bar
        trace.trace_break('ret00', exp.IdExp('res'))
        trace.exit_block()
        return res

    trace.trace_function_call('result', [exp.IdExp('arithmetic'), args])
    result = arithmetic()

Exemple #8

Fichier : args_transform.py Projet : csci5535-s20/project-containerless-py

 def echo(arg):
     arg000 = trace.trace_function_body('ret00')
     trace.trace_let('arg', arg000)
     trace.trace_break('ret00', exp.IdExp('arg'))
     trace.exit_block()
     return arg