Python YamlValidation.validate_valasp Examples

Example #1

def test_yaml_valasp_not_predicate():
    yaml_input = """    
    wrap:
        - a a        
    """
    with pytest.raises(ValueError):
        YamlValidation.validate_valasp(yaml.safe_load(yaml_input))

Example #2

def test_yaml_valasp_wrap_not_list():
    for i in ['a', 1, {'a': 1}]:
        yaml_input = """    
        wrap: %s            
        """ % i
        with pytest.raises(ValueError):
            YamlValidation.validate_valasp(yaml.safe_load(yaml_input))

Example #3

def test_yaml_valasp_max_arity_wrong_types():
    for i in ['a', -1, 100, {'a': 1}, [1]]:
        yaml_input = """
        max_arity: %s
        """ % i
        with pytest.raises(ValueError):
            YamlValidation.validate_valasp(yaml.safe_load(yaml_input))

Example #4

def test_yaml_valasp_python_wrong_type():
    yaml_input = """
    python:
        - something
        - here
    asp: |+
        a(X) :- b(X).
    """
    with pytest.raises(ValueError):
        YamlValidation.validate_valasp(yaml.safe_load(yaml_input))

Example #5

def test_yaml_valasp_wrong_keyword():
    yaml_input = """
    python: |+
        for i in range(10):
            print(i)
    ASP: |+
        code
    """
    with pytest.raises(ValueError):
        YamlValidation.validate_valasp(yaml.safe_load(yaml_input))

Example #6

def test_yaml_valasp_asp_wrong_type():
    yaml_input = """
    python: |+
        for i in range(10):
            print(i)
    asp:
        something:
            here
    """
    with pytest.raises(ValueError):
        YamlValidation.validate_valasp(yaml.safe_load(yaml_input))

Example #7

def test_yaml_valasp():
    yaml_input = """
    python: |+
        for i in range(10):
            print(i)
    asp: |+
        code
    
    wrap:
        - a
        - B
        - lower
        - Upper
        
    max_arity: 10
    """
    YamlValidation.validate_valasp(yaml.safe_load(yaml_input))