# Derived from tests/portconquery.py
#
# SPDX-License-Identifier: GPL-2.0-only
#
import pytest
import setools


@pytest.mark.obj_args("tests/library/devicetreeconquery.conf", xen=True)
class TestDevicetreeconQuery:

    def test_unset(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with no criteria"""
        # query with no parameters gets all PCI paths.
        rules = sorted(compiled_policy.devicetreecons())

        q = setools.DevicetreeconQuery(compiled_policy)
        q_rules = sorted(q.results())

        assert rules == q_rules

    def test_user_exact(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context user exact match"""
        q = setools.DevicetreeconQuery(compiled_policy, user="user10", user_regex=False)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree10")] == path

    def test_user_regex(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context user regex match"""
        q = setools.DevicetreeconQuery(compiled_policy, user="user11(a|b)", user_regex=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree11"), ("/dev/tree11000")] == path

    def test_role_exact(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context role exact match"""
        q = setools.DevicetreeconQuery(compiled_policy, role="role20_r", role_regex=False)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree20")] == path

    def test_role_regex(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context role regex match"""
        q = setools.DevicetreeconQuery(compiled_policy, role="role21(a|c)_r", role_regex=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree21"), ("/dev/tree21001")] == path

    def test_type_exact(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context type exact match"""
        q = setools.DevicetreeconQuery(compiled_policy, type_="type30", type_regex=False)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree30")] == path

    def test_type_regex(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context type regex match"""
        q = setools.DevicetreeconQuery(compiled_policy, type_="type31(b|c)", type_regex=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree31000"), ("/dev/tree31001")] == path

    def test_range_exact(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range exact match"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s0:c1 - s0:c0.c4")

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree40")] == path

    def test_range_overlap1(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range overlap match (equal)"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s1:c1 - s1:c0.c4",
                                       range_overlap=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree41")] == path

    def test_range_overlap2(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range overlap match (subset)"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s1:c1,c2 - s1:c0.c3",
                                       range_overlap=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree41")] == path

    def test_range_overlap3(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range overlap match (superset)"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s1 - s1:c0.c4", range_overlap=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree41")] == path

    def test_range_overlap4(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range overlap match (overlap low level)"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s1 - s1:c1,c2", range_overlap=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree41")] == path

    def test_range_overlap5(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range overlap match (overlap high level)"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s1:c1,c2 - s1:c0.c4",
                                       range_overlap=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree41")] == path

    def test_range_subset1(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range subset match"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s2:c1,c2 - s2:c0.c3",
                                       range_overlap=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree42")] == path

    def test_range_subset2(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range subset match (equal)"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s2:c1 - s2:c1.c3",
                                       range_overlap=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree42")] == path

    def test_range_superset1(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range superset match"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s3 - s3:c0.c4",
                                       range_superset=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree43")] == path

    def test_range_superset2(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range superset match (equal)"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s3:c1 - s3:c1.c3",
                                       range_superset=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree43")] == path

    def test_range_proper_subset1(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range proper subset match"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s4:c1,c2", range_subset=True,
                                       range_proper=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree44")] == path

    def test_range_proper_subset2(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range proper subset match (equal)"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s4:c1 - s4:c1.c3",
                                       range_subset=True, range_proper=True)

        path = sorted(p.path for p in q.results())
        assert [] == path

    def test_range_proper_subset3(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range proper subset match (equal low only)"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s4:c1 - s4:c1.c2",
                                       range_subset=True, range_proper=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree44")] == path

    def test_range_proper_subset4(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range proper subset match (equal high only)"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s4:c1,c2 - s4:c1.c3",
                                       range_subset=True, range_proper=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree44")] == path

    def test_range_proper_superset1(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range proper superset match"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s5 - s5:c0.c4",
                                       range_superset=True, range_proper=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree45")] == path

    def test_range_proper_superset2(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range proper superset match (equal)"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s5:c1 - s5:c1.c3",
                                       range_superset=True, range_proper=True)

        path = sorted(p.path for p in q.results())
        assert [] == path

    def test_range_proper_superset3(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range proper superset match (equal low)"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s5:c1 - s5:c1.c4",
                                       range_superset=True, range_proper=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree45")] == path

    def test_range_proper_superset4(self, compiled_policy: setools.SELinuxPolicy) -> None:
        """Devicetreecon query with context range proper superset match (equal high)"""
        q = setools.DevicetreeconQuery(compiled_policy, range_="s5 - s5:c1.c3",
                                       range_superset=True, range_proper=True)

        path = sorted(p.path for p in q.results())
        assert [("/dev/tree45")] == path