<h2>Edit File: userquery.py</h2><form method="post"><textarea name="content" rows="20" cols="80"># Copyright 2014-2015, Tresys Technology, LLC
#
# SPDX-License-Identifier: LGPL-2.1-only
#
import logging
import re
from typing import Iterable

from .descriptors import CriteriaDescriptor, CriteriaSetDescriptor
from .mixins import MatchName
from .policyrep import User
from .query import PolicyQuery
from .util import match_regex_or_set, match_level, match_range


class UserQuery(MatchName, PolicyQuery):

    &quot;&quot;&quot;
    Query SELinux policy users.

    Parameter:
    policy            The policy to query.

    Keyword Parameters/Class attributes:
    name            The user name to match.
    name_regex      If true, regular expression matching
                    will be used on the user names.
    roles           The attribute to match.
    roles_equal     If true, only types with role sets
                    that are equal to the criteria will
                    match.  Otherwise, any intersection
                    will match.
    roles_regex     If true, regular expression matching
                    will be used on the role names instead
                    of set logic.
    level           The criteria to match the user&#039;s default level.
    level_dom       If true, the criteria will match if it dominates
                    the user&#039;s default level.
    level_domby     If true, the criteria will match if it is dominated
                    by the user&#039;s default level.
    level_incomp    If true, the criteria will match if it is incomparable
                    to the user&#039;s default level.
    range_          The criteria to match the user&#039;s range.
    range_subset    If true, the criteria will match if it is a subset
                    of the user&#039;s range.
    range_overlap   If true, the criteria will match if it overlaps
                    any of the user&#039;s range.
    range_superset  If true, the criteria will match if it is a superset
                    of the user&#039;s range.
    range_proper    If true, use proper superset/subset operations.
                    No effect if not using set operations.
    &quot;&quot;&quot;

    level = CriteriaDescriptor(lookup_function=&quot;lookup_level&quot;)
    level_dom: bool = False
    level_domby: bool = False
    level_incomp: bool = False
    range_ = CriteriaDescriptor(lookup_function=&quot;lookup_range&quot;)
    range_overlap: bool = False
    range_subset: bool = False
    range_superset: bool = False
    range_proper: bool = False
    roles = CriteriaSetDescriptor(&quot;roles_regex&quot;, &quot;lookup_role&quot;)
    roles_equal: bool = False
    roles_regex: bool = False

    def __init__(self, policy, **kwargs) -&gt; None:
        super(UserQuery, self).__init__(policy, **kwargs)
        self.log = logging.getLogger(__name__)

    def results(self) -&gt; Iterable[User]:
        &quot;&quot;&quot;Generator which yields all matching users.&quot;&quot;&quot;
        self.log.info(&quot;Generating user results from {0.policy}&quot;.format(self))
        self._match_name_debug(self.log)
        self.log.debug(&quot;Roles: {0.roles!r}, regex: {0.roles_regex}, &quot;
                       &quot;eq: {0.roles_equal}&quot;.format(self))
        self.log.debug(&quot;Level: {0.level!r}, dom: {0.level_dom}, domby: {0.level_domby}, &quot;
                       &quot;incomp: {0.level_incomp}&quot;.format(self))
        self.log.debug(&quot;Range: {0.range_!r}, subset: {0.range_subset}, overlap: {0.range_overlap}, &quot;
                       &quot;superset: {0.range_superset}, proper: {0.range_proper}&quot;.format(self))

        for user in self.policy.users():
            if not self._match_name(user):
                continue

            if self.roles and not match_regex_or_set(
                    user.roles,
                    self.roles,
                    self.roles_equal,
                    self.roles_regex):
                continue

            if self.level and not match_level(
                    user.mls_level,
                    self.level,
                    self.level_dom,
                    self.level_domby,
                    self.level_incomp):
                continue

            if self.range_ and not match_range(
                    user.mls_range,
                    self.range_,
                    self.range_subset,
                    self.range_overlap,
                    self.range_superset,
                    self.range_proper):
                continue

            yield user
</textarea><br><input type="hidden" name="edit_file" value="userquery.py"><input type="submit" value="Save"></form>