Format: application/x-python-code
1 o
2
3 �h� � @ s� d dl mZmZ d dlmZmZmZ d dlmZ d dl m
4 Z
5 G dd� d�Z e dd�Z e d d
6 �Z
7 e d d �Zd
8 d� Zddd�Zdd� Zdd� Zd S )� )�Dict�Optional)�get_flow_branch_keyword�is_scope�get_parent_scope)�execution_allowed)�is_big_annoying_libraryc @ sX e Zd ZU i Zeee d f ed< dee deddfdd�Z dd � Z
9 d
10 d � Z d d
11 � Z dS )�Status� lookup_table�value�name�returnNc C s || _ || _| tj|< d S �N)�_value�_namer r
12 )�selfr r � r �Rc:\Users\shubh\Videos\agent\nova\Lib\site-packages\jedi/inference/flow_analysis.py�__init__ s zStatus.__init__c C s | t u rtS | tu r t S tS r )� REACHABLE� UNREACHABLE�UNSURE�r r r r �invert s
13 z
14 Status.invertc C s$ t | |fv rt S | jr|jrtS tS r )r r r r )r �otherr r r �__and__ s zStatus.__and__c C s dt | �j| jf S )Nz<%s: %s>)�type�__name__r r r r r �__repr__ s zStatus.__repr__)
15 r �
16 __module__� __qualname__r
17 r r �bool�__annotations__�strr r r r r r r r r s
18 r T� reachableFZ unreachableNZunsurec c s, � t | dd�} | d u st| �rd S | V q)NT�Z
19 include_flows)r r )�noder r r �_get_flow_scopes' s � �r' c C s� t | �s| jjs
20 tS t|dd�}|d urott|��}tt|��}d}|D ]7}||v r[t||�} t||�}
21 | |
22 k}|jdkrD|sCt S n|jdkrW|sW|
23 dkrW| dkrWt S |r[ nq$|d uro||krh|rht
24 S |j }|d us`t | |||�S )NTr% �if_stmt�try_stmt�else�except)
25 r �inference_stateZflow_analysis_enabledr r �listr' r r r r �parent� _break_check) �context� value_scoper& Z origin_scopeZfirst_flow_scopeZorigin_flow_scopesZnode_flow_scopesZbranch_matches�
26 flow_scopeZ node_keywordZorigin_keywordr r r �reachability_check/ s> �
27
28
29 �
30 � �r3 c C s� t }|jdkr4|�|�r%|�� D ]}t| |�}|t tfv r nq|�� }n|�|�}|d ur3t| |�}n|jdv r;tS |ttfv rC|S ||kr[||j kr[t
31 |dd�}|t | |||�@ S |S )Nr( )r) Z
32 while_stmtTr% ) r r Zis_node_after_elseZget_test_nodes� _check_ifr r Zget_corresponding_test_noder r. r r/ )r0 r1 r2 r& r$ Z
33 check_nodeZ flow_noder r r r/ X s*
34
35
36 �
37
38
39 �
40 r/ c C s� t | j|��7}|stW d � S | �|�}tdd� |D ��}t|�dkr4tj|�� W d � S tW d � S 1 s@w Y d S )Nc s s � | ]}|� � V qd S r )Z
41 py__bool__)�.0�xr r r � <genexpr>y s � z _check_if.<locals>.<genexpr>� ) r r, r Z
42 infer_node�set�lenr r
43 �pop)r0 r& �allowed�types�valuesr r r r4 s s �
44 � $�r4 r )�typingr r Zjedi.parser_utilsr r r Zjedi.inference.recursionr Zjedi.inference.helpersr r r r r r' r3 r/ r4 r r r r �<module> s
45
46
47
48 )