Exemplos de Var em Python

Exemplo n.º 1

def test_var_to_skill(encode_simple, a):
    assert (encode_simple(Var(a))) == a

Exemplo n.º 2

Arquivo: test_var.py Projeto: unihd-cag/skillbridge

def test_var_string_conversion():
    assert str(Var('x')) == 'Var(x)'
    assert repr(Var('x')) == "Var('x')"
    assert Var('x').name == 'x'
    assert Var('x').__repr_skill__() == 'x'

Exemplo n.º 3

Arquivo: test_var.py Projeto: unihd-cag/skillbridge

def test_infix():
    assert (Var('x') == 123).name == '(x == 123)'
    assert (Var('x') != 123).name == '(x != 123)'
    assert (Var('x') > 123).name == '(x > 123)'
    assert (Var('x') >= 123).name == '(x >= 123)'
    assert (Var('x') < 123).name == '(x < 123)'
    assert (Var('x') <= 123).name == '(x <= 123)'
    assert (Var('x') + 123).name == '(x + 123)'
    assert (Var('x') - 123).name == '(x - 123)'
    assert (Var('x') * 123).name == '(x * 123)'
    assert (Var('x') / 123).name == '(x / 123)'
    assert (Var('x') | Var('y')).name == 'or(x y )'
    assert (Var('x') & Var('y')).name == 'and(x y )'

Exemplo n.º 4

Arquivo: test_var.py Projeto: unihd-cag/skillbridge

def test_var_item_access():
    assert Var('x')[0][1].name == 'nth(1 nth(0 x))'
    assert Var('x')['name'].name == 'x->name'

Exemplo n.º 5

Arquivo: test_var.py Projeto: unihd-cag/skillbridge

def test_var_attribute_access():
    assert Var('x').y.z.name == 'x->y->z'

Exemplo n.º 6

def test_var_to_skill(a):
    assert (python_value_to_skill(Var(a))) == a