← Back
Editing: bounds.cpython-312.pyc
� ���i� � � � d dl mZ d dlZddlmZmZmZ ddlmZ ddl m Z m Z m Z ddl mZ ed d � � G d � d e � � Z G d � de � Z G d� de e � Zy)� )� dataclassN� )�Bounds�BoundsRuletype�Type� )�DiffResultDescriptor)� Difference�DifferenceResult�Wrapper)�type_wrapper_factoryT)�frozen�orderc �0 � e Zd ZU dZeed< eed< eed< y)�ModifiedBoundsz.Difference details for a modified bounds rule.�rule� added_bound� removed_boundN)�__name__� __module__� __qualname__�__doc__r �__annotations__r � � �:/usr/lib64/python3.12/site-packages/setools/diff/bounds.pyr r s � � 9� �L����r r c � � e Zd ZU dZdd�Z ee e� Z ee e� Z ee e� Z dZ e e dz e d< dZe e dz e d< dd�Zdd�Zy) �BoundsDifferencez9Determine the difference in *bounds between two policies.Nc �� � | j j d| j � d| j � �� | j � | j �| j � | j d� t j t t | j � D � d� t j t t | j � D � d� �� \ | _ | _ }t t � | _ |D ]k \ }}t! |j" � t! |j" � k7 s�2| j j% t ||j" |j" � � �m y)z@Generate the difference in typebound rules between the policies.z'Generating typebounds differences from z to Nc 3 �2 K � | ] }t |� �� � y �w�N�� BoundsWrapper��.0�cs r � <genexpr>z3BoundsDifference.diff_typebounds.<locals>.<genexpr>( s � �� � X�'W�!�]�1� �'W�� �c 3 �2 K � | ] }t |� �� � y �wr! r" r$ s r r' z3BoundsDifference.diff_typebounds.<locals>.<genexpr>) s � �� � Y�'X�!�]�1� �'X�r( c �, � t | j � S r! )�str�child)�bs r �<lambda>z2BoundsDifference.diff_typebounds.<locals>.<lambda>* s � �#�a�g�g�,r ��key)�log�info� left_policy� right_policy�_left_typebounds�_right_typebounds�_create_typebound_lists� _set_diff�typing�cast�listr �added_typebounds�removed_typeboundsr �modified_typeboundsr �parent�append)�self�matched_typebounds� left_bound� right_bounds r �diff_typeboundsz BoundsDifference.diff_typebounds s) � � ��� � �5�d�6F�6F�5G�t�D�L]�L]�K^� _� a� � � � (�D�,B�,B�,J� � (� (� *�MQ�^�^� X�v�{�{�4��<��AV�AV�'W� X� Y�v�{�{�4��<��AW�AW�'X� Y�&� N\� N(�J�� �t� 6�8J� $(��#7�#9�� �'9� #�J� �#�J�$5�$5�6�:N�{�Oa�Oa�:b�b��(�(�/�/�� � � 2� 2�J�4E�4E�1G� H� (:r r5 r6 c �$ � g | _ | j j � D ]d }|j t j k( r | j j |� �<| j j d|j � d�� �f g | _ | j j � D ]d }|j t j k( r | j j |� �<| j j d|j � d�� �f y)z$Create rule lists for both policies.zUnknown rule type: z (This is an SETools bug)N) r5 r3 �bounds�ruletyper � typeboundsr@ r1 �errorr6 r4 �rA r s r r7 z(BoundsDifference._create_typebound_lists> s� � � "�� ��$�$�+�+�-�D��}�}�� 9� 9�9��%�%�,�,�T�2������!4�T�]�]�O�C\� ]�^� .� "$�� ��%�%�,�,�.�D��}�}�� 9� 9�9��&�&�-�-�d�3������!4�T�]�]�O�C\� ]�^� /r c �^ � | j j d� | `| `d| _ d| _ y)z%Reset diff results on policy changes.z!Resetting all *bounds differencesN)r1 �debugr< r= r5 r6 �rA s r � _reset_diffz BoundsDifference._reset_diffN s1 � � �����:�;� � !� � #� !%�� �!%�� r )�returnN)r r r r rE r r r< r= r r> r5 r; r r6 r7 rO r r r r r s{ � �C�H�* 4�+�F�3�O�D��5�-�f�5�o�F��>�.�~�>��O�� -1��d�6�l�T�)�0�-1��t�F�|�d�*�1� _� &r r c �6 � e Zd ZdZdZdeddfd�Zd� Zd� Zd � Z y) r# z Wrap *bounds for diff purposes.)rH r? r, r rP Nc � � || _ |j | _ t |j � | _ t |j � | _ t |� | _ y r! )�originrH r r? r, �hashr0 rK s r �__init__zBoundsWrapper.__init___ s? � ��� � � � �� �*�4�;�;�7�� �)�$�*�*�5�� ���:��r c � � | j S r! r/ rN s r �__hash__zBoundsWrapper.__hash__f s � ��x�x�r c �4 � | j |j k S r! r/ �rA �others r �__lt__zBoundsWrapper.__lt__i s � ��x�x�%�)�)�#�#r c �j � | j |j k( xr | j |j k( S r! )rH r, rY s r �__eq__zBoundsWrapper.__eq__l s, � ��}�}����.� &� �J�J�%�+�+� %� &r ) r r r r � __slots__r rU rW r[ r] r r r r# r# Y s, � �)�/�I� �V� �� ��$�&r r# )� dataclassesr r9 � policyrepr r r � descriptorsr � differencer r r �typesr r r r# r r r �<module>rd s_ �� "� � 4� 4� -� =� =� '� �$�d�#��%� � $��<&�z� <&�~&�G�F�O� &r
Save File
Cancel