File: //lib64/python3.12/site-packages/setools/diff/__pycache__/difference.cpython-312.pyc
�
���i� � �
� d dl Z d dlmZmZ d dlmZ d dlZddlmZm Z m
Z
G d� d� Z G d� d � Z ej d
e� � Z G d � d
eej e � Z ej de � � Z G d� dee � Zy)� N)�ABC�abstractmethod)�Iterable� )� PolicyObject� PolicySymbol�
SELinuxPolicyc � � e Zd ZdZdededdfd�Zed� � Zej d� � Zed � � Z e j d
� � Z dd �Z
e d e de fd
�� Z
e dd�� Zy)�
Differencez&Base class for all policy differences.� left_policy� right_policy�returnNc �\ � t j t � | _ || _ || _ y �N)�logging� getLogger�__name__�logr r
)�selfr r
s �>/usr/lib64/python3.12/site-packages/setools/diff/difference.py�__init__zDifference.__init__ s$ � ��$�$�X�.���&��� (��� c � � | j S r )� _left_policy�r s r r zDifference.left_policy s � �� � � r c �n � | j j d|� �� || _ | j � y )Nz Policy diff left policy set to )r �infor � _reset_diff�r �policys r r zDifference.left_policy s. � � ���
�
�7��x�@�A� "��� ���r c � � | j S r )�
_right_policyr s r r
zDifference.right_policy$ s � ��!�!�!r c �n � | j j d|� �� || _ | j � y )Nz Policy diff right policy set to )r r r" r r s r r
zDifference.right_policy( s. � � ���
�
�8���A�B� #��� ���r c � � t �)z%Reset diff results on policy changes.)�NotImplementedErrorr s r r zDifference._reset_diff1 s � �!�!r � rule_listc # �X K � | D ]! }|j � D ] } ||� �� � �# y�w)z4Generator that yields a wrapped, expanded rule list.N)�expand)r& �
wrapper_class�unexpanded_rule�
expanded_rules r �_expand_generatorz Difference._expand_generator5 s0 � �� � )�O�!0�!7�!7�!9�
�#�M�2�2� ":� )�s �(*c �� � t | � }t |� }||z
}||z
}t � }t ||z
|�� } t ||z
|�� }
t | � t |
� k( s J dt | � � dt |
� � �� �t | |
� D ]* \ } }| |k( s
J d| � d|� �� �|j | |f� �, |r5t d� |D � � t d� |D � � t d� |D � � fS |||fS )a�
Standard diff of two sets.
Parameters:
left An iterable
right An iterable
Return:
tuple (added, removed, matched)
added Set of items in right but not left
removed Set of items in left but not right
matched Set of items in both left and right. This is
in the form of tuples with the matching item
from left and right
��keyz:Matched items assertion failure (this is an SETools bug), z != c 3 �4 K � | ] }|j �� � y �wr ��origin��.0�is r � <genexpr>z'Difference._set_diff.<locals>.<genexpr>q s � �� �5��A�q�x�x��� �c 3 �4 K � | ] }|j �� � y �wr r1 r3 s r r6 z'Difference._set_diff.<locals>.<genexpr>r s � �� �4�m��A�H�H�m�r7 c 3 �R K � | ] \ }}|j |j f�� �! y �wr r1 )r4 �left�rights r r6 z'Difference._set_diff.<locals>.<genexpr>s s" � �� �S�]�M�T�5�T�[�[�%�,�,�/�]�s �%')�set�sorted�len�zip�add) r: r; r/ �unwrap�
left_items� right_items� added_items�
removed_items�
matched_items�left_matched_items�right_matched_itemss r � _set_diffzDifference._set_diff? s< � �& ��Y�
��%�j� �!�J�.� �"�[�0�
� ��
� #�Z�-�%?�c� J�� $�k�K�&?�c� J���%�&�#�.A�*B�B� G� H��%�&�'�t�C�0C�,D�+E�
G� G�B� � 1�3F�G�K�D�%��5�=�
_�L�T�F�RV�W\�V]�^�
_�=�
� � �t�U�m� ,� H� ��5��5�5��4�m�4�4��S�]�S�S�T�
T� �
�}�<� <r )r N)NT)r �
__module__� __qualname__�__doc__r r �propertyr �setterr
r � staticmethodr r, rI � r r r r s� � �0�)�M� )� � )�SW� )� �!� �!� ���� ��
�"� �"� ���� ��"� �3�X� 3�� 3� �3� �5=� �5=r r c � � e Zd ZdZy)�DifferenceResultz!Base class for difference resultsN)r rJ rK rL rP r r rR rR x s � �+�r rR �T)�boundc �z � e Zd ZU dZeed< eed< dZdededdfd�Zd� Z e
d � � Z e
d
� � Z e
d � � Z
d � Zy)
�Wrapperz/Abstract base class for policy object wrappers.r2 r/ �r2 r/ r Nc � � || _ || _ y r rW )r r2 r/ s r r zWrapper.__init__� s � � �� ���r c �b � d| j j � dt | j � � d�S )N�<z
(Wrapping z)>)� __class__r �reprr2 r s r �__repr__zWrapper.__repr__� s, � ��4�>�>�*�*�+�:�d�4�;�;�6G�5H��K�Kr c � � y r rP r s r �__hash__zWrapper.__hash__� � � � r c � � y r rP �r �others r �__eq__zWrapper.__eq__� r` r c � � y r rP rb s r �__lt__zWrapper.__lt__� r` r c � � | |k( S r rP rb s r �__ne__zWrapper.__ne__� s � ��5�=� � r )r rJ rK rL rS �__annotations__�int� __slots__r r] r r_ rd rf rh rP r r rV rV � su � �9�
�I� �H�!�I��q� �s� �t� �L� �
� �
� �
� �
� �
� �
�!r rV �Sc �N � � e Zd ZU dZeed< dZdeddf� fd� Zd� Z d � Z
d
� Z � xZ S ) �
SymbolWrapperz�
General wrapper for policy symbols, e.g. types, roles
to provide a diff-specific equality operation based
on its name.
�name�ro �symbolr Nc �n �� t �| � |t |j � � |j | _ y r )�superr �hashro )r rq r[ s �r r zSymbolWrapper.__init__� s& �� �
�����f�k�k�!2�3��K�K�� r c � � | j S r r. r s r r_ zSymbolWrapper.__hash__� s � ��x�x�r c �4 � | j |j k S r rp rb s r rf zSymbolWrapper.__lt__� s � ��y�y�5�:�:�%�%r c �4 � | j |j k( S r rp rb s r rd zSymbolWrapper.__eq__� s � ��y�y�E�J�J�&�&r )
r rJ rK rL �strri rk rl r r_ rf rd �
__classcell__)r[ s @r rn rn � s6 �� �� �I��I� �q� �T� ��&�'r rn )r �abcr r �collections.abcr �typing� policyrepr r r r rR �TypeVarrS �GenericrV rl rn rP r r �<module>r� s� �� � #� $�
� A� A�g=� g=�T � � �F�N�N�3�l�+�� !�c�6�>�>�!�$� !�B �F�N�N�3�l�+��'�G�A�J� 'r