← Back
Editing: flow_analysis.cpython-311.pyc
� p�{c� � � � d dl mZmZ d dlmZmZmZ d dlmZ d dl m Z G d� d� � Z e dd� � Z e d d � � Z e d d � � Zd � Zdd�Zd� Zd� Zd S )� )�Dict�Optional)�get_flow_branch_keyword�is_scope�get_parent_scope)�execution_allowed)�is_big_annoying_libraryc �l � e Zd ZU i Zeee d f ed< dee deddfd�Z d� Z d� Z d � Z dS ) �Status� lookup_table�value�name�returnNc �@ � || _ || _ | t j |< d S �N)�_value�_namer r )�selfr r s �>/usr/lib/python3/dist-packages/jedi/inference/flow_analysis.py�__init__zStatus.__init__ s# � ��� ��� �%)���E�"�"�"� c �P � | t u rt S | t u rt S t S r )� REACHABLE� UNREACHABLE�UNSURE�r s r �invertz Status.invert s) � � �9� � � � � �[� � � � ��Mr c �^ � t | |fv rt S | j r|j rt nt S r )r r r r )r �others r �__and__zStatus.__and__ s. � � �d�E�]� "� "��M� $� �M�� �M�9�9�+� Mr c �B � dt | � � j �d| j �d�S )N�<z: �>)�type�__name__r r s r �__repr__zStatus.__repr__ s$ � � � !�$�Z�Z� 0� 0� 0�$�*�*�*�=�=r ) r% � __module__� __qualname__r r r �bool�__annotations__�strr r r r& � r r r r s� � � � � � � �35�L�$�x��~�x�/�0�5�5�5�*�h�t�n� *�C� *�D� *� *� *� *� � � �N� N� N� >� >� >� >� >r r T� reachableF� unreachableN�unsurec # �Z K � t | d�� � } | �t | � � rd S | V � �))NT�� include_flows)r r )�nodes r �_get_flow_scopesr4 ' s? � � � �� ��D�9�9�9�� �<�8�D�>�>�<� �F�� � � � r c � � t | � � s | j j st S t |d�� � }|��t t |� � � � }t t |� � � � }d}|D ]i}||v rct ||� � } t ||� � } | | k }|j dk r |s t c S n"|j dk r|s| dk r| dk r t c S |r n�j|�||k r |rt S |j }|�t | |||� � S )NTr1 �if_stmt�try_stmt�else�except) r �inference_state�flow_analysis_enabledr r �listr4 r r$ r r �parent� _break_check) �context� value_scoper3 � origin_scope�first_flow_scope�origin_flow_scopes�node_flow_scopes�branch_matches� flow_scope� node_keyword�origin_keywords r �reachability_checkrI / sc � � �w�'�'� ��*�@��� �'��D�A�A�A��� � !�"2�<�"@�"@� A� A�� � 0�� 6� 6�7�7�� ��,� � �J�� -�-�-� 6�z�4� H� H� �!8��\�!R�!R��!-� �!?�� �?�i�/�/�)� +� *�*�*�*�+� �_� �2�2�)� +�n��.F�.F� ,�� 8� 8� *�*�*�*�!� ��E�� �&� �<�/�/�N�/� � �'�.�L� �&� ���.>�� E� E�Er c �� � t }|j dk r�|� |� � rN|� � � D ]$}t | |� � }|t t fv r n�%|� � � }n8|� |� � }|�t | |� � }n|j dv rt S |t t fv r|S ||k r1||j k r&t |d�� � }|t | |||� � z S |S )Nr6 )r7 � while_stmtTr1 ) r r$ �is_node_after_else�get_test_nodes� _check_ifr r �get_corresponding_test_noder r= r r> )r? r@ rF r3 r- � check_node� flow_nodes r r> r> X s � ��I���)�#�#� � (� (�� .� .� :� (� 7� 7� 9� 9� � � � %�g�z� :� :� � ��F� 3�3�3��E� 4�!�(�(�*�*�I�I�"�>�>�t�D�D�I��$� %�g�y� 9� 9� �� � � 6� 6� 6�� � �[�&�)�)�)����j� � �[�J�4E�%E�%E�%�j��E�E�E� ��<���j�$�O�O�O�O��r c �z � t | j |� � 5 }|st cd d d � � S | � |� � }t d� |D � � � � }t |� � dk r0t j |� � � cd d d � � S t cd d d � � S # 1 swxY w Y d S )Nc 3 �> K � | ]}|� � � V � �d S r )� py__bool__)�.0�xs r � <genexpr>z _check_if.<locals>.<genexpr>y s* � � � �3�3��Q�\�\�^�^�3�3�3�3�3�3r � ) r r: r � infer_node�set�lenr r �pop)r? r3 �allowed�types�valuess r rN rN s s+ � � �7�2�D� 9� 9� �W�� �� � � � � � � � � �"�"�4�(�(���3�3�U�3�3�3�3�3�� �v�;�;�!� � ��&�v�z�z�|�|�4� � � � � � � � � � � � � � � � � � � � � ���� � � � � � s � B0�A$B0� B0�0B4�7B4r )�typingr r �jedi.parser_utilsr r r �jedi.inference.recursionr �jedi.inference.helpersr r r r r r4 rI r> rN r, r r �<module>rd s �� !� !� !� !� !� !� !� !� Q� Q� Q� Q� Q� Q� Q� Q� Q� Q� 6� 6� 6� 6� 6� 6� :� :� :� :� :� :�>� >� >� >� >� >� >� >�4 �F�4�� %� %� ��f�U�M�*�*� � ���h� � ��� � �&F� &F� &F� &F�R� � �6 � � � � r
Save File
Cancel