Python PV Examples

Example #1

import pytropos.internals.values as pv
from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values.builtin_mutvalues import *
from pytropos.internals.values.python_values import PythonValue as PV

exitcode = 1

store = {
    '_': PV.top(),
    'a': PV(List([pv.list([PV(Int.top())]), PV.top()], size=(1, 2))),
    'b': PV(Int.top()),
    'c': PV(List([PV.top(), PV.top()])),
}
store['c'].val.children[('index', 1)] = store['a']
# similar to c[1] = a

Example #2

File: 09-while-test-store.py Project: helq/pytropos

from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values import PythonValue as PV

exitcode = 1

store = {
    'n': PV.top(),
    'i': PV(Int.top()),
    'j': PV(Int.top()),
}

Example #3

File: 01-zero-division-fail-store.py Project: helq/pytropos

from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values import PythonValue as PV

exitcode = 1

store = {'i': PV(Int(3)), 'x': PV(Float.top()), 'y': PV(Float.top())}

Example #4

from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values import PythonValue as PV

exitcode = 1

store = {'a': PV(Int(5)), 'c': PV.top(), 'd': PV.top()}

Example #5

from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values import PythonValue as PV

exitcode = 1

store = {
    'i': PV(Int(10)),
    'j': PV.top(),
}

Example #6

File: 04-if-test-store.py Project: helq/pytropos

from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values import PythonValue as PV

exitcode = 1

store = {
    'a': PV(Int(5)),
    'c': PV(Float(2)),
    'd': PV.top()
}

Example #7

from pytropos.internals.values.builtin_values import *
from pytropos.internals.values.python_values import PythonValue as PV

exitcode = 0

store = {
    'i': PV(Int(10)),
    'j': PV(Float(45)),
}