Format: application/x-python-code
1 o
2
3 �h+G � @ s2 d Z ddlmZ ddlmZ ddlmZ ddlmZ ddl m
4 Z
5 ddl m Z ddl
6 mZ dd lmZ dd
7 lmZ dd lmZ e� ZG d d
8 � d
9 e�ZG dd� d�ZG dd� de�Zd&dd�ZG dd� de�Z G dd� de �Z G dd� de �Z G d d � d e�Z G d d � d �Z d d!� Z!G d"d#� d#�Z"e"g �Z#d$d%� Z$dS )'a4
10 Values are the "values" that Python would return. However Values are at the
11 same time also the "values" that a user is currently sitting in.
12
13 A ValueSet is typically used to specify the return of a function or any other
14 static analysis operation. In jedi there are always multiple returns and not
15 just one.
16 � )�reduce)�add)� zip_longest)�Name)�debug)�clean_scope_docstring��SimpleGetItemNotFound)�
17 safe_property)�%inference_state_as_method_param_cache)�memoize_methodc @ s e Zd ZdS )� HasNoContextN)�__name__�
18 __module__� __qualname__� r r �Oc:\Users\shubh\Videos\agent\nova\Lib\site-packages\jedi/inference/base_value.pyr
19 s r
20 c @ s� e Zd Zdd� Zdd� Zdd� Zdd� Zd d
21 � Zd"d
22 d�Zdd� Z d#dd�Z
23 d$dd�Z dd� Z dd� Z
24 d"dd�Zd d � Zd d � Zed d!� �Zd S )%�HelperValueMixinc C s. | }|j d u r |�� S |j d u r|S |j }q �N)�parent_context�
25 as_context)�self�valuer r r �get_root_context s
26
27 �z!HelperValueMixin.get_root_contextc C s | j j| |d�S )N�� arguments��inference_state�execute�r r r r r r ( � zHelperValueMixin.executec G s, ddl m} |dd� |D ��}| j�| |�S )Nr )�ValuesArgumentsc S s g | ]}t |g��qS r ��ValueSet��.0r r r r �
28 <listcomp>- s z8HelperValueMixin.execute_with_values.<locals>.<listcomp>)Zjedi.inference.argumentsr! r r )r Z
29 value_listr! r r r r �execute_with_values+ s z$HelperValueMixin.execute_with_valuesc C s | � � S r �r' �r r r r �execute_annotation0 � z#HelperValueMixin.execute_annotationc C s
30 t | g�S r r" r) r r r �gather_annotation_classes3 �
31 z*HelperValueMixin.gather_annotation_classesNFc C s t �dd� | �||�D ��S )Nc s � � | ]}|� � V qd S r ��infer�r% Z
32 lazy_valuer r r � <genexpr>7 �
33 � �
34 �z:HelperValueMixin.merge_types_of_iterate.<locals>.<genexpr>�r# � from_sets�iterate)r �contextualized_node�is_asyncr r r �merge_types_of_iterate6 s
35
36 �z'HelperValueMixin.merge_types_of_iteratec c sd � t |t�r|nd }| j|d�E d H | �� r.ddlm} |t| h��D ] }|�� E d H q$d S d S )N)� origin_scoper )�convert_values)�
37 isinstancer Z get_filters�is_stubZ!jedi.inference.gradual.conversionr; r# )r � name_or_strr: r; �cr r r �_get_value_filters< s � �z#HelperValueMixin._get_value_filtersTc C s6 ddl m} | �|�}|�||�}t�d|| |� |S )Nr )�finderzcontext.goto %s in (%s): %s)�jedi.inferencerA r@ Z filter_namer �dbg)r r> � name_context�analysis_errorsrA �filters�namesr r r �gotoE s
38
39 zHelperValueMixin.gotoc C s� |du r| }| � |||�}t�dd� |D ��}|s(t|t�r!|jn|}| �|�}|s@|s@|r@t|t�r@ddlm} |� || |� t
40 � d||� |S )zZ
41 :param position: Position of the last statement -> tuple of line, column
42 Nc s r. r r/ )r% �namer r r r2 T � � z6HelperValueMixin.py__getattribute__.<locals>.<genexpr>r ��analysisz context.names_to_types: %s -> %s) rH r# r5 r< r r � py__getattribute__alternativesrB rL Zadd_attribute_errorr rC ) r r> rD �positionrE rG �values�nrL r r r �py__getattribute__L s
43
44 �z#HelperValueMixin.py__getattribute__c C s" | � d�}|s
45 t�d| � |�� S )N� __await__z"Tried to run __await__ on value %s)rQ r �warningr' )r Zawait_value_setr r r � py__await__a s
46 z HelperValueMixin.py__await__c C s | j jS r )rI � string_namer) r r r �
47 py__name__g r+ zHelperValueMixin.py__name__c C sV t �d| � |r&ddlm} t|| �d��� �d��� �d��� �� �g�S | �|�S )Nz
48 iterate %sr )�LazyKnownValues� __aiter__� __anext__rR ) r rC �jedi.inference.lazy_valuerW �iterrQ r' �py__stop_iteration_returns�
49 py__iter__)r r7 r8 rW r r r r6 j s
50
51 ��
52 zHelperValueMixin.iteratec C s� t jd| |f dd��- | �� D ]}|�|�r't jddd� W d � dS qt jddd� W d � dS 1 s;w Y d S )Nz subclass matching of %s <=> %sZBLUE)�colorzmatched subclass TrueTzmatched subclass FalseF)r �increase_indent_cmZ py__mro__�
53 is_same_classrC )r � class_value�clsr r r �is_sub_class_ofz s �
54 �$�z HelperValueMixin.is_sub_class_ofc C s" t |�jtjkr
55 |�| �S | |kS r )�typer` r )r Zclass2r r r r` � s
56 z HelperValueMixin.is_same_classc O s | j |i |��S r )� _as_context�r �args�kwargsr r r r � s zHelperValueMixin.as_context�NF)NT)NNT)r r r r r r' r* r, r9 r@ rH rQ rT rV r6 rc r` r r r r r r r s&
57
58
59
60 �
61
62 r c @ s e Zd ZdZdZdZdZdAdd�Zdd� Zdd � Z dAd
63 d �Z
64 dAd d
65 �Z dd� Z dd� Z
66 dd� Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd d!� Zd"d#� Zd$d%� Zefd&d'�Zd(d)� Zd*d+� Zd,d-� Z d.d/� Z d0d1� Z d2d3� Z d4d5� Z d6d7� Z!d8d9� Z"e#d:d;� �Z$dBd=d>�Z%d?d@� Z&dS )C�Valuez*
67 To be implemented by subclasses.
68 NZ not_defined_please_report_bugc C � || _ || _d S r )r r )r r r r r r �__init__� �
69 zValue.__init__c C s* ddl m} |j|jd|jd| d� tS )Nr rK z type-error-not-subscriptablez+TypeError: '%s' object is not subscriptable��message)rB rL r �context�node� NO_VALUES)r Zindex_value_setr7 rL r r r �
70 py__getitem__� s �zValue.py__getitem__c C � t �r r )r �indexr r r �py__simple_getitem__� � zValue.py__simple_getitem__c C s6 |d urddl m} |j|jd|jd| d� tg �S )Nr rK ztype-error-not-iterablez&TypeError: '%s' object is not iterablern )rB rL r rp rq r[ )r r7 rL r r r r] � s �zValue.py__iter__c C s
71 | � |�S r )r] )r r7 r r r �
72 py__next__� r- zValue.py__next__c C s g S r r r) r r r �get_signatures� rw zValue.get_signaturesc C � dS ri r r) r r r �is_class� rw zValue.is_classc C rz ri r r) r r r �is_class_mixin� rw zValue.is_class_mixinc C rz ri r r) r r r � is_instance� rw zValue.is_instancec C rz ri r r) r r r � is_function� rw zValue.is_functionc C rz ri r r) r r r � is_module� rw zValue.is_modulec C rz ri r r) r r r � is_namespace� rw zValue.is_namespacec C rz ri r r) r r r � is_compiled� rw zValue.is_compiledc C rz ri r r) r r r �is_bound_method� rw zValue.is_bound_methodc C rz ri r r) r r r �is_builtins_module� rw zValue.is_builtins_modulec C rz )z�
73 Since Wrapper is a super class for classes, functions and modules,
74 the return value will always be true.
75 Tr r) r r r �
76 py__bool__� s zValue.py__bool__c C s, z| j j W n
77 ty Y dS w t| j �S )N� )� tree_nodeZ get_doc_node�AttributeErrorr r) r r r � py__doc__� s �
78 zValue.py__doc__c C s |t u r
79 td| ��|S )Nz'There exists no safe value for value %s)�sentinel�
80 ValueError)r �defaultr r r �get_safe_value� s zValue.get_safe_valuec C s t �d|| |� tS )Nz!%s not possible between %s and %s�r rS rr )r �other�operatorr r r �execute_operation� s zValue.execute_operationc C � t �d| � tS )Nzno execution possible %sr� r r r r �
81 py__call__� � zValue.py__call__c C r� )Nz0Not possible to return the stop iterations of %sr� r) r r r r\ � r� z Value.py__stop_iteration_returnsc C � t S )zH
82 For now a way to add values in cases like __getattr__.
83 )rr )r r> r r r rM � s z$Value.py__getattribute__alternativesc C s t �d| � t| g�S )NzNo __get__ defined on %s)r rS r# )r �instancera r r r � py__get__� s
84 zValue.py__get__c C r� r )�NotImplemented)r Zcalling_instancer� ra r r r �py__get__on_class rw zValue.py__get__on_classc C � d S r r r) r r r �get_qualified_names � zValue.get_qualified_namesc C �
85 | j �� S r )r r= r) r r r r= s
86 z
87 Value.is_stubc C rt r )r
88 r) r r r re rw zValue._as_contextc C rt r ��NotImplementedErrorr) r r r rI r� z
89 Value.nameTc C r� r r )r �add_class_infor r r �
90 get_type_hint rw zValue.get_type_hintc C s i S )an
91 When the current instance represents a type annotation, this method
92 tries to find information about undefined type vars and returns a dict
93 from type var name to value set.
94
95 This is for example important to understand what `iter([1])` returns.
96 According to typeshed, `iter` returns an `Iterator[_T]`:
97
98 def iter(iterable: Iterable[_T]) -> Iterator[_T]: ...
99
100 This functions would generate `int` for `_T` in this case, because it
101 unpacks the `Iterable`.
102
103 Parameters
104 ----------
105
106 `self`: represents the annotation of the current parameter to infer the
107 value for. In the above example, this would initially be the
108 `Iterable[_T]` of the `iterable` parameter and then, when recursing,
109 just the `_T` generic parameter.
110
111 `value_set`: represents the actual argument passed to the parameter
112 we're inferred for, or (for recursive calls) their types. In the
113 above example this would first be the representation of the list
114 `[1]` and then, when recursing, just of `1`.
115 r )r � value_setr r r �infer_type_vars s zValue.infer_type_varsr �T)'r r r �__doc__r� Z
116 array_typeZapi_typerl rs rv r] rx ry r{ r| r} r~ r r� r� r� r� r� r� r� r� r� r� r\ rM r� r� r� r= re �propertyrI r� r� r r r r rj � sH
117
118
119
120
121
122 rj NFc C s t �dd� | j||d�D ��S )z�
123 Calls `iterate`, on all values but ignores the ordering and just returns
124 all values that the iterate functions yield.
125 c s r. r r/ r1 r r r r2 8 r3 z!iterate_values.<locals>.<genexpr>�r8 r4 )rO r7 r8 r r r �iterate_values3 s
126 �r� c @ s2 e Zd Zedd� �Zee� dd� ��Zdd� ZdS )�_ValueWrapperBasec C sB ddl m} | jj}|jd ur|| |j�S ddlm} || |j�S )Nr )� ValueName)�CompiledValueName)Zjedi.inference.namesr� �_wrapped_valuerI Z tree_nameZjedi.inference.compiledr� rU )r r� Z wrapped_namer� r r r rI ? s
127 z_ValueWrapperBase.namec O s | |i |��S r r )rb r rg rh r r r �
128 create_cachedI s z _ValueWrapperBase.create_cachedc C s |dksJ d��t | j|�S )Nr� z Problem with _get_wrapped_value)�getattrr� )r rI r r r � __getattr__N s z _ValueWrapperBase.__getattr__N) r r r r
129 rI � classmethodr r� r� r r r r r� > s
130 r� c @ s, e Zd Zeedd� ��Zdd� Zdd� ZdS )�LazyValueWrapperc C s6 t �d�� | �� W d � S 1 sw Y d S )NzResolve lazy value wrapper)r r_ �_get_wrapped_valuer) r r r r� T s $�z LazyValueWrapper._wrapped_valuec C s d| j j S )Nz<%s>)� __class__r r) r r r �__repr__Z � zLazyValueWrapper.__repr__c C rt r r� r) r r r r� ] rw z#LazyValueWrapper._get_wrapped_valueN)r r r r
131 r r� r� r� r r r r r� S s r� c @ s e Zd Zdd� Zdd� ZdS )� ValueWrapperc C s
132 || _ d S r )r� )r Z
133 wrapped_valuer r r rl b r- zValueWrapper.__init__c C � d| j j| jf S )Nz%s(%s))r� r r� r) r r r r� e � zValueWrapper.__repr__N)r r r rl r� r r r r r� a s r� c s$ e Zd Z� fdd�Zdd� Z� ZS )� TreeValuec s t � �||� || _d S r )�superrl r� )r r r r� �r� r r rl j s
134 zTreeValue.__init__c C r� )Nz<%s: %s>)r� r r� r) r r r r� n r� zTreeValue.__repr__)r r r rl r� �
135 __classcell__r r r� r r� i s r� c @ s, e Zd Zdd� Zdd� Zdd� Zdd� Zd S )
136 �ContextualizedNodec C rk r )rp rq )r rp rq r r r rl s rm zContextualizedNode.__init__c C r� r )rp r r) r r r r w r- z#ContextualizedNode.get_root_contextc C s | j �| j�S r )rp Z
137 infer_noderq r) r r r r0 z s zContextualizedNode.inferc C s d| j j| j| jf S )Nz<%s: %s in %s>)r� r rq rp r) r r r r� } � zContextualizedNode.__repr__N)r r r rl r r0 r� r r r r r� r s
138 r� c C s� t }t� }|D ]+}|jd d�}t|�tttttfv r-z || � |�O }W q t
139 y, Y nw |� |� q|s7|sA|| � t
140 |�|�O }t�d|� |S )N)r� zpy__getitem__ result: %s)rr �setr� rd �float�int�str�slice�bytesrv r r rs r# r rC )r Z index_valuesr7 �resultZ
141 unused_valuesZ index_valueru r r r �_getitem� s& � � r� c @ s� e Zd Zdd� Zedd� �Zedd� �Zdd� Zd d
142 � Zd d � Z d
143 d� Z
144 dd� Z dd� Z dd� Z
145 dd� Zdd� Zdd� Zdd � Zd d � Zd8d!d"�Zd#d$� Zd%d&� Zd'd(� Zd)d*� Zd+d,� Zd-d.� Zd/d0� Zd1d2� Zd9d4d5�Z d6d7� Z d S ):r# c C s& t |�| _|D ] }t|t�rJ �qd S r )� frozenset�_setr< r# )r �iterabler r r r rl � s
146 �zValueSet.__init__c C s | � | �}||_|S r )�__new__r� )rb Z
147 frozenset_r r r r �_from_frozen_set� s
148 zValueSet._from_frozen_setc C s@ t � }|D ]}t|t�r||jO }q|t|�O }q| �t|��S )z7
149 Used to work with an iterable of set.
150 )r� r< r# r� r� r� )rb ZsetsZ
151 aggregated�set_r r r r5 � s
152 zValueSet.from_setsc C s | � | j|jB �S r �r� r� �r r� r r r �__or__� r� zValueSet.__or__c C s | � | j|j@ �S r r� r� r r r �__and__� r� zValueSet.__and__c C �
153 t | j�S r )r[ r� r) r r r �__iter__� r- zValueSet.__iter__c C r� r )�boolr� r) r r r �__bool__� r- zValueSet.__bool__c C r� r )�lenr� r) r r r �__len__� r- zValueSet.__len__c C s dd� dd� | jD �� S )NzS{%s}�, c s s � | ]}t |�V qd S r )r� )r% �sr r r r2 � rJ z$ValueSet.__repr__.<locals>.<genexpr>)�joinr� r) r r r r� � � zValueSet.__repr__c C s | � t|| j��S r )r� �filterr� )r Z filter_funcr r r r� � r� zValueSet.filterc s � �fdd�}|S )Nc s �� � ��fdd��jD ��S )Nc 3 s$ � | ]
154 }t |��� i ���V qd S r )r� r$ )rg rh rI r r r2 � s
155 � �
156 �z7ValueSet.__getattr__.<locals>.mapper.<locals>.<genexpr>)r5 r� �rg rh �rI r r� r �mapper� s �z$ValueSet.__getattr__.<locals>.mapperr )r rI r� r r� r r� � s zValueSet.__getattr__c C s | j |j kS r �r� r� r r r �__eq__� r� zValueSet.__eq__c C s | � |� S r )r� r� r r r �__ne__� r� zValueSet.__ne__c C r� r )�hashr� r) r r r �__hash__� r- zValueSet.__hash__c C s t dd� | jD ��S )Nc s r. r )� py__class__�r% r? r r r r2 � rJ z'ValueSet.py__class__.<locals>.<genexpr>)r# r� r) r r r r� � s zValueSet.py__class__NFc # sJ � ddl m} � �fdd�| jD �}t|� D ] }|dd� |D ��V qd S )Nr )�get_merged_lazy_valuec s g | ] }|j � �d ��qS )r� )r6 r� �r7 r8 r r r& � s z$ValueSet.iterate.<locals>.<listcomp>c S s g | ]}|d ur|�qS r r )r% �lr r r r& � � )rZ r� r� r )r r7 r8 r� Z
157 type_itersZ lazy_valuesr r� r r6 � s � ��zValueSet.iteratec s t �� fdd�| jD ��S )Nc 3 s � | ]
158 }|j �|� �V qd S r r r� r r r r2 � s � z#ValueSet.execute.<locals>.<genexpr>�r# r5 r� r r r r r � r� zValueSet.executec � t �� �fdd�| jD ��S )Nc 3 � � | ] }|j � i ���V qd S r r( r� r� r r r2 � � � z/ValueSet.execute_with_values.<locals>.<genexpr>r� rf r r� r r' � � z ValueSet.execute_with_valuesc s t t� �fdd�| jD �g �S )Nc s g | ]
159 }|j � i ����qS r )rH r� r� r r r& � s z!ValueSet.goto.<locals>.<listcomp>)r r r� rf r r� r rH � s z
160 ValueSet.gotoc r� )Nc 3 r� r )rQ r� r� r r r2 � r� z.ValueSet.py__getattribute__.<locals>.<genexpr>r� rf r r� r rQ � r� zValueSet.py__getattribute__c r� )Nc 3 s& � | ]}t |g� �R i ���V qd S r )r� r� r� r r r2 � s �$ z$ValueSet.get_item.<locals>.<genexpr>r� rf r r� r �get_item� r� zValueSet.get_itemc C sF | � g �}| jD ]}zt||�}W n ty Y qw ||� O }q|S r )r� r� r� r� )r Z
161 function_namer� r? �methodr r r � try_merge� s
162
163 � zValueSet.try_mergec C s t �dd� | jD ��S )Nc S s g | ]}|� � �qS r )r, r� r r r r& s z6ValueSet.gather_annotation_classes.<locals>.<listcomp>r� r) r r r r, r� z"ValueSet.gather_annotation_classesc C s dd� | j D �S )Nc S s g | ] }|� � D ]}|�qqS r )ry )r% r? �sigr r r r& s z+ValueSet.get_signatures.<locals>.<listcomp>r� r) r r r ry r zValueSet.get_signaturesTc s� � fdd�| j D �}ttd |��}t|�dkr|d S d|v }|r&|�d� t|�dkr.d S t|�dkr9|d }ndd�|� }|rFd| }|S ) Nc s g | ]}|j � d ��qS )�r� )r� )r% �vr� r r r& r� z*ValueSet.get_type_hint.<locals>.<listcomp>� r �Nonez Union[%s]r� z Optional[%s])r� �sortedr� r� �remover� )r r� �tZ
164 type_hints�optionalr� r r� r r� s
165
166 zValueSet.get_type_hintc C s0 ddl m} i }| jD ]
167 }|||�|�� q |S )Nr )�merge_type_var_dicts)Z!jedi.inference.gradual.annotationr� r� r� )r r� r� Z
168 type_var_dictr r r r r� s
169 �zValueSet.infer_type_varsri r� ) r r r rl r� r� r5 r� r� r� r� r� r� r� r� r� r� r� r� r6 r r' rH rQ r� r� r, ry r� r� r r r r r# � s:
170
171
172
173 r# c s � fdd�}|S )Nc s t � | i |���S r r" r� ��funcr r �wrapper+ r� z&iterator_to_value_set.<locals>.wrapperr )r� r� r r� r �iterator_to_value_set* s r� ri )%r� � functoolsr r� r � itertoolsr Zparso.python.treer Zjedir Zjedi.parser_utilsr Zjedi.inference.helpersr Zjedi.inference.utilsr
174 Zjedi.inference.cacher Z
175 jedi.cacher �objectr� � Exceptionr
176 r rj r� r� r� r� r� r� r� r# rr r� r r r r �<module> s6 r
177 %