source/projects/datalog/test/python/test_datalog_reader.py

"""
Reader tests.
"""

from datalog.reader import read

import pytest


EXS = [
    "%foo\n",
    """a(b).""",
    """edge(a).""",
    """a(b, c).""",
    """edge(smfc-ait, smfc).""",
    """edge("smfc-ait", smfc).""",
    """path(A, B) :- edge(A, C), path(C, B).""",
    """path(A, B) :-
  edge(A, C),
  path(C, B).""",
    """path(A, B) :- % one comment
  edge(A, C), % the next
  path(C, B).""",
    """foo(A, B) :-
  ~bar(A, B),
  qux(A, B).""",
]


@pytest.mark.parametrize("ex,", EXS)
def test_reader(ex):
    assert read(ex)