Python PythonValue Examples

Example #1

File: 16-join-numpy-store.py Project: helq/pytropos

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.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 1

store = {
    'np': numpy_module,
    'c': pv.Top,
    '_': pv.Top,
    'a': PythonValue(NdArray(pv.tuple(pv.int(2), pv.int()))),
    'nonexistent': PythonValue(BuiltinModule()),
    'b': PythonValue(Tuple((pv.int(2), pv.int()), size=(2, 2))),
}

Example #2

File: 50-joining-arrays-store.py Project: helq/pytropos

def ndarray_(*lst):
    return PythonValue(NdArray(pv.tuple(*(pv.int(i) for i in lst))))

Example #3

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.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 0

store = {
    'np': numpy_module,
    'arr': PythonValue(NdArray(pv.tuple(pv.int(2), pv.int(4)))),
}

Example #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.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 1

store = {
    'np': numpy_module,
    'a': PythonValue(NdArray(pv.tuple(pv.int(12)))),
}

Example #5

File: 41-using-numpy-array-caveats-store.py Project: helq/pytropos

store = {
    'np':
    numpy_module,
    'm':
    pv.Top,
    'n':
    pv.Top,
    '_':
    pv.tuple(),
    '__':
    pv.tuple(pv.int(1)),
    'a':
    pv.tuple(pv.int(2)),
    'b_':
    PythonValue(NdArray(pv.tuple(pv.int(2), pv.int(3)))),
    'b':
    pv.tuple(pv.int(2), pv.int(3)),
    'c':
    pv.tuple(pv.int(2)),
    'd':
    pv.tuple(pv.int(2), pv.int(3)),
    # TODO(helq): fix np.array, 'e' should be the commented tuple below
    # 'e': PythonValue(Tuple([pv.int(2)], size=(1,3))),  # THIS IS THE RIGHT ANSWER
    'e':
    PythonValue(Tuple([pv.int(2)], size=(1, inf))),
    'f':
    pv.tuple(pv.int(3)),
    'g':
    PythonValue(Tuple([pv.int(2)], size=(1, inf))),
    'ls':

Example #6

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.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 0

store = {
    'np': numpy_module,
    'arr': PythonValue(NdArray(pv.tuple())),
}

Example #7

File: 43-numpy-broadcasting-store.py Project: helq/pytropos

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.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 1


def to_pv_Tuple(*ints):
    return pv.tuple(*(pv.int(i) for i in ints))


store = {
    'np': numpy_module,
    'a': to_pv_Tuple(2, 3, 4),
    'b': PythonValue(Tuple.top()),
    'c': to_pv_Tuple(2, 2, 4),
    'd': to_pv_Tuple(7, 1, 8),
    'e': PythonValue(Tuple.top()),
    'f': to_pv_Tuple(5, 3, 1),

    # This shouldn't exists, with more precise NdArrays should be possible to dectect that
    # lists cannot be `mod` to floats
    'g': to_pv_Tuple(5, 1, 3),
    'h': to_pv_Tuple(5, 1, 3),
}

Example #8

File: 53-size-attribute-numpy-store.py Project: helq/pytropos

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.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 0


def ndarray_(*lst):
    return PythonValue(NdArray(pv.tuple(*(pv.int(i) for i in lst))))


store = {
    'np': numpy_module,
    'Top': pv.Top,
    'NdArray': PythonValue(NdArrayAnnotation()),
    'a': pv.int(160),
    'b': pv.int(),
    'c': ndarray_(2),
}

Example #9

File: 32-numpy-not-valid-index-store.py Project: helq/pytropos

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.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 1

store = {
    'np': numpy_module,
    'nonexistent': PythonValue(BuiltinModule()),
    'a': PythonValue(NdArray(pv.tuple(pv.int(2), pv.int()))),
    'b': pv.Top,
    'c': pv.Top,
    'd': PythonValue(NdArray(pv.tuple())),
    'e': pv.Top,
    'f': PythonValue(NdArray(pv.tuple(pv.int(2), pv.int()))),
}

Example #10

File: 45-np_ndims-store.py Project: helq/pytropos

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.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 0

store = {
    'array': PythonValue(array),
    'zeros': PythonValue(zeros),
    'x': PythonValue(NdArray(pv.tuple(pv.int(3)))),
    'y': PythonValue(NdArray(pv.tuple(pv.int(2), pv.int(3), pv.int(4)))),
    'xn': pv.int(1),
    'yn': pv.int(3),
}

Example #11

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.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 1


def ndarray_(*lst):
    return PythonValue(NdArray(pv.tuple(*(pv.int(i) for i in lst))))


store = {
    'np': numpy_module,
    'a': ndarray_(10, 6),
    'm': pv.int(4),
    'n': pv.int(2),
    'b': ndarray_(3, 11),
    'res': PythonValue(NdArray.top()),
    'var': pv.bool(True),
}

Example #12

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.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 1


def ndarray_(*lst):
    return PythonValue(NdArray(pv.tuple(*(pv.int(i) for i in lst))))


store = {
    'zeros': PythonValue(zeros),
    'ones': PythonValue(ones),
    'Top': pv.Top,
    'NdArray': PythonValue(NdArrayAnnotation()),
    'a': PythonValue(NdArray.top()),
    'b': ndarray_(),
    'c': ndarray_(None),
    'd': ndarray_(None),
    'f': PythonValue(NdArray.top()),
    'g': PythonValue(NdArray.top()),
    'h': ndarray_(12, 1),
    'i': ndarray_(1, 2),
    'j': ndarray_(2, 3),
    'k': PythonValue(NdArray.top()),
    'l': ndarray_(2, 3, 1, 6),
    'm': PythonValue(NdArray.top()),

Example #13

File: 15-builtin-functions-join-store.py Project: helq/pytropos

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.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT

exitcode = 1

r = List([pv.int(21)], size=(1, 1))

store = {
  '_': PythonValue(PT.Top),
  'f': r.get_attrs()['append'],
  'r': PythonValue(r),
}

Example #14

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.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 0

shape_l = pv.list([pv.int(i) for i in (2, 5, 8, 11, 14, 17, 20, 23, 26, 29)])
shape = pv.tuple(*[pv.int(i) for i in (2, 5, 8, 11, 14, 17, 20, 23, 26, 29)])

store = {
    'np': numpy_module,
    'shape': shape_l,
    'i': pv.int(10),
    'newarray': PythonValue(NdArray(shape)),
}

Example #15

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.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 1

store = {
    'np': numpy_module,
    'a': PythonValue(NdArray(pv.tuple(pv.int(1)))),
    'b': PythonValue(NdArray(pv.tuple(pv.int(2), pv.int(2)))),
    'c': PythonValue(NdArray(pv.tuple(pv.int(2), pv.int(2)))),
    '_': pv.Top,
}

Example #16

File: 33-numpy-join-initialising-w-list-store.py Project: helq/pytropos

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.wrappers import *
from pytropos.internals.values.python_values.python_values import PythonValue, PT
from pytropos.libs_checking.numpy import *

exitcode = 1

t = pv.tuple(pv.int(2), pv.int())

store = {
  'np': numpy_module,
  'nonexistent': PythonValue(BuiltinModule()),
  'a': PythonValue(NdArray(t)),
  'b': t,
  'c': pv.Top,
  '_': pv.Top,
}