Format: application/x-python-code
1 o
2
3 �hS � @ s� d Z ddlmZ ddlmZ ddlmZ dedfdedfd e d
4 fd e
5 d fd
6 e
7 d fde
8 d fde
9 d fde
10 d fde
11 d fde
12 d fde
13 d fde
14 d fde
15 d fde d fde d fd�Z G dd� d�Z
16 G dd � d e
17 �Zd e
18 d fd d �Zd d � Zd!d"� Zd%d#d$�Zd S )&z
19 Module for statical analysis.
20 � )�tree)�debug)� is_string� zPotential AttributeError.� zPotential NameError.� zPotential ImportError.� N� � � � � �
21 � � �
22 � � )�attribute-errorz
23 name-errorz import-errorz type-error-too-many-argumentsz type-error-too-few-argumentsztype-error-keyword-argumentztype-error-multiple-valuesztype-error-star-starztype-error-starztype-error-operationztype-error-not-iterableztype-error-isinstancez type-error-not-subscriptablezvalue-error-too-many-valueszvalue-error-too-few-valuesc @ sb e Zd Zddd�Zedd� �Zedd� �Zedd � �Zd
24 d � Zd d
25 � Z dd� Z
26 dd� Z dd� Z dS )�ErrorNc C s2 || _ || _|| _|d u rt| j d }|| _d S )Nr )�path�
27 _start_pos�name�CODES�message)�selfr � module_path� start_posr � r �Mc:\Users\shubh\Videos\agent\nova\Lib\site-packages\jedi/inference/analysis.py�__init__ s
28 zError.__init__c C �
29 | j d S �Nr �r �r r r r �line& �
30 z
31 Error.linec C r! )Nr r# r$ r r r �column* r& z Error.columnc C s" | j jd }|tt| j d � S r" )� __class__�__name__�strr r )r �firstr r r �code. s z
32 Error.codec C s d| j | j| j| j| jf S )Nz%s:%s:%s: %s %s)r r% r' r, r r$ r r r �__str__4 s �z
33 Error.__str__c C s$ | j |j ko| j|jko| j|jkS �N)r r r �r �otherr r r �__eq__8 s
34 �z Error.__eq__c C s | � |� S r. )r1 r/ r r r �__ne__< s z Error.__ne__c C s t | j| j| jf�S r. )�hashr r r r$ r r r �__hash__? s zError.__hash__c C s& d| j j| j| j| jd | jd f S )Nz<%s %s: %s@%s,%s>r r )r( r) r r r r$ r r r �__repr__B s �zError.__repr__r. )
35 r) �
36 __module__� __qualname__r �propertyr% r' r, r- r1 r2 r4 r5 r r r r r s
37
38
39
40 r c @ s e Zd ZdS )�WarningN)r) r6 r7 r r r r r9 H s r9 c
41 C sb t | d }t| |||�rd S | �� }|�� }||||j|�} tjt| �dd� | jj �
42 | � | S )Nr F)�format) r �_check_for_exception_catch�get_root_contextZ
43 py__file__r r �warningr* �inference_stateZanalysis�append)
44 � node_contextZ
45 error_name�noder �typ�payload� exceptionZmodule_contextr Zissue_instancer r r �addL s rE c sV | � � }|j� � du r
46 dS z� �� d }W n
47 ty Y dS w t� fdd�|D ��S )zU
48 Check if there's any setattr method inside an instance. If so, return True.
49 NF�setattrc 3 sH � | ] }� j |j k o� jk n o |jjd ko |jj|k V qdS )ZfuncdefN)r �end_pos�parent�typer )�.0�n�rA r r � <genexpr>i s � �
50 �z%_check_for_setattr.<locals>.<genexpr>)r< Z tree_nodeZget_used_names�KeyError�any)�instance�moduleZ
51 stmt_namesr rL r �_check_for_setattrZ s � �rR c C sJ d||f }t }|�� r|�� st|�rt}||f}t| d||||� d S )Nz'AttributeError: %s has no attribute %s.r )r Z is_instanceZ is_compiledrR r9 rE )Z name_contextZ lookup_valuer r rB rC r r r �add_attribute_erroro s rS c s� dd� � � ��fdd�}���fdd�}�}|dur[t |tjtjf�s[t |tj�rK|jdkr5|||�r5d S |tkrK|jd
52 v rK||jd |jd �rKd S |j}|dur[t |tjtjf�r#d
53 S )a
54 Checks if a jedi object (e.g. `Statement`) sits inside a try/catch and
55 doesn't count as an error (if equal to `exception`).
56 Also checks `hasattr` for AttributeErrors and uses the `payload` to compare
57 it.
58 Returns True if the exception was catched.
59 c S s< | � � sdS |�� D ]}| �� |jkr| j�� r dS q
60 dS )NFT)�is_class�mroZ
61 py__name__r) Zparent_contextZis_builtins_module)�clsrD Z
62 python_clsr r r � check_match� s ��z/_check_for_exception_catch.<locals>.check_matchc s� t | j�}|D ]!}t|� t|�}|dkr(|j�j k r$|jks( dS dS q| �� D ]G}|d u r6 dS ��|�}|D ]6}ddlm} t ||j
63 �rj|j dkrj|� � D ]} | �
64 � D ]
65 }
66 � |
67 |�rg dS qZqTq=� ||�rs dS q=q-d S )N�tryFTr )�iterable�tuple)�iter�children�nextr rG Zget_except_clause_testsZ
68 infer_nodeZjedi.inference.valuerY �
69 isinstance�SequenceZ
70 array_typeZ
71 py__iter__�infer) �objrD �iteratorZ branch_type�suiterA Zexcept_classesrV rY �
72 lazy_valuerB )rW � jedi_namer@ r r �check_try_for_except� s<
73 ��
74
75
76 ���
77 ���z8_check_for_exception_catch.<locals>.check_try_for_exceptc s> z�|j � j kr|jk sJ � J �| jdv sJ �| jd }|jdkr(|jdks*J �| jd }|jdks6J �|jd }|jdksBJ �ddlm} |�j�|�}t|� � �}t
78 |�d ks]J �|d \}} t| � � �}
79 t
80 |
81 �dkrut |
82 d �swJ �|
83 d �
84 � �d jks�J �|d \}} | � � } �d | v W S ty� Y d
85 S w ) N)�powerZ atom_exprr r �hasattrr �trailer�arglist)�
86 TreeArgumentsr F)r rG rI r\ �valueZjedi.inference.argumentsrk r> �list�unpack�lenr` r Zget_safe_value�AssertionError) rA rc �baseri rj rk �argsZ
87 unpacked_args�keyrd �names�objects)re r@ rC r r �
88 check_hasattr� s. "
89
90
91 �z1_check_for_exception_catch.<locals>.check_hasattrNZtry_stmtT)Zif_stmtZ
92 while_stmtr r F) r^ r �Function�ClassZFlowrI �AttributeErrorr\ rH )r@ re rD rC rf rv ra r )rW re r@ rC r r; ~ s
93 � r; r. )�__doc__Z parso.pythonr Zjedir Zjedi.inference.helpersr ry � NameError� ImportError� TypeError�
94 ValueErrorr r r9 rE rR rS r; r r r r �<module> s4 �+