# SPDX-License-Identifier: LGPL-2.1-only
# Copyright 2022 Jookia <contact@jookia.org>

from hypothesis import given

from src.parse import SyntaxStream
from tests.test_syntax import draw_syntax_random


# Tests that something parses correctly
# We expect the following behaviour:
# - Only the supplied tokens are parsed
# - The supplied tokens parse to the expected value
# - The Syntax's value is the expected value
# - The Syntax's type is expected type
# - The Syntax's location is the first token's location
def template_parse_valid(parser, draw):
    @given(draw_syntax_random(), draw)
    def do(canary, test_data):
        (tokens, expected) = test_data
        stream = SyntaxStream(tokens + [canary])
        parsed = parser(stream, None)
        if expected is None:
            assert parsed is None
        else:
            assert parsed is not None
            assert parsed == expected
        assert stream.pop() == canary
        assert stream.pop() is None

    return lambda func: do