Python PythonValue.topの例

コード例 #1

ファイル: test_values.py プロジェクト: helq/pytropos

 def test_anything_operated_with_top_is_top(self, val: PythonValue) -> None:
     for op in ops_symbols.keys():
         top = PythonValue.top()
         new_val = getattr(val, op)(top)
         assert new_val.is_top()
         new_val = getattr(top, op)(val)
         assert new_val.is_top()

コード例 #2

ファイル: test_values.py プロジェクト: helq/pytropos

    def test_join_to_top_is_always_top(self, val: PythonValue) -> None:
        top = PythonValue.top()
        joined1 = top.join(val)
        joined2 = val.join(top)

        assert joined1.is_top()
        assert joined2.is_top()
        assert joined1 == joined2

コード例 #3

ファイル: 09-while-test-store.py プロジェクト: 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()),
}

コード例 #4

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

コード例 #5

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

コード例 #6

ファイル: 13-call-fail-store.py プロジェクト: helq/pytropos

import pytropos.internals.values as pv
from pytropos.internals.values.python_values import PythonValue as PV

exitcode = 1

store = {
    'a': PV.top(),
    'l': pv.list([PV.top(), pv.int(21), PV.top()]),
    'n': PV.top(),
    'm': PV.top(),
}

コード例 #7

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(),
}

コード例 #8

import hypothesis.strategies as st

import pytropos.internals.values as pv
from pytropos.internals.values.python_values import PythonValue

st_ints = st.one_of(st.integers(), st.none())
st_floats = st.one_of(st.floats(), st.none())
st_bools = st.one_of(st.booleans(), st.none())

st_pv_bools_ints = st.one_of(
    st.builds(pv.int, st_ints),
    st.builds(pv.bool, st_bools),
)

st_any_pv = st.one_of(st.builds(pv.int, st_ints),
                      st.builds(pv.float, st_floats),
                      st.builds(pv.bool, st_bools), st.just(pv.none()),
                      st.just(PythonValue.top()))

コード例 #9

ファイル: 04-if-test-store.py プロジェクト: 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()
}

コード例 #10

ファイル: 10-list-test-store.py プロジェクト: helq/pytropos

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

exitcode = 1

store = {
    '_': PV.top(),
    'c': PV.top(),
    'b': PV.top(),
    'a': PV.top(),
}