Python typechecker_passes Examples

Example #1

File: test_assignment_modify.py Project: tomekzaw/agh_sem6_kompilatory_lab

def test_can_overwrite_value_in_if(value1, value2):
    text = f"""
    a = {value1};
    if (1 == 1) {{
        a = {value2};
    }}
    """
    assert typechecker_passes(text)

Example #2

File: test_for_loop_variable.py Project: tomekzaw/agh_sem6_kompilatory_lab

def test_outer_loop_variable_as_inner_loop_range():
    text = """
    for i = 1:10 {
        for j = i:10 {
            print(i, j);
        }
    }
    """
    assert typechecker_passes(text)

Example #3

File: test_unary_expression.py Project: tomekzaw/agh_sem6_kompilatory_lab

def test_unary_expression_pass(text):
    assert typechecker_passes(text)

Example #4

File: test_matrix_functions_args.py Project: tomekzaw/agh_sem6_kompilatory_lab

def test_matrix_functions_args_pass(text):
    assert typechecker_passes(text)

Example #5

def test_break_continue_inside_loop(text):
    assert typechecker_passes(text)

Example #6

File: test_matrix_initializer_shape.py Project: tomekzaw/agh_sem6_kompilatory_lab

def test_matrix_initializer_shape_pass(text):
    assert typechecker_passes(text)

Example #7

File: test_assignment_modify.py Project: tomekzaw/agh_sem6_kompilatory_lab

def test_can_modify_value_with_same_type(initial_value, modifier):
    text = f"""
    a = {initial_value};
    a += {modifier};
    """
    assert typechecker_passes(text)

Example #8

File: test_assignment_modify.py Project: tomekzaw/agh_sem6_kompilatory_lab

def test_can_overwrite_with_same_type_and_value(value):
    text = f"""
    a = {value};
    a = {value};
    """
    assert typechecker_passes(text)

Example #9

File: test_assignment_modify.py Project: tomekzaw/agh_sem6_kompilatory_lab

def test_can_overwrite_with_same_type_but_different_value(value1, value2):
    text = f"""
    a = {value1};
    a = {value2};
    """
    assert typechecker_passes(text)

Example #10

File: test_reference.py Project: tomekzaw/agh_sem6_kompilatory_lab

def test_reference_indices_count_passes(text):
    typechecker_passes(text)