context.pyc
1 o 2 )��c C � @ sZ d dl mZ d dlmZ d dlmZ d dlmZ d dlm Z d dl 3 m Z d dl m Z mZmZ d dlmZmZ d d lmZmZ d d 4 lmZ d d lmZ d d lmZ G d d� d�ZG dd� de�Z G dd� d�Z G dd� de e �Z G dd� de e �Z G dd� de e �Z G dd� de e �Z!G dd � d e e�Z"G d d � d e �Z#G d d � d e#�Z$d!d"� Z%d#d$� Z&d%S )&� )�abstractmethod)�contextmanager)�Path)�Optional)�search_ancestor)�Name)�ParserTreeFilter� MergedFilter�GlobalNameFilter)�AnonymousParamName�TreeNameDefinition)� NO_VALUES�ValueSet)�get_parent_scope)�debug)� parser_utilsc @ s� e Zd Zdd� Zed)dd��Zdd� Z d*d d 5 �Zd d � Zd d� Z dd� Z 6 dd� Z dd� Z dd� Z dd� Zdd� Zdd � Zed d � �Zd d � Zed!d"� �Zd#d$� Zd%d&� Zed'd(� �ZdS )+�AbstractContextc C s || _ i | _d S �N)�inference_state�predefined_names)�selfr � r ��C:\Users\Jacks.GUTTSPC\AppData\Local\Packages\PythonSoftwareFoundation.Python.3.10_qbz5n2kfra8p0\LocalCache\local-packages\Python310\site-packages\jedi\inference\context.py�__init__ s 7 zAbstractContext.__init__Nc C � t �r ��NotImplementedError�r �until_position� origin_scoper r r � get_filters � zAbstractContext.get_filtersc C sF ddl m} t| t|t�r|nd |�}|�||�}t�d|| |� |S )Nr )�finderzcontext.goto %s in (%s): %s)�jedi.inferencer" � _get_global_filters_for_name� 8 isinstancer � filter_namer �dbg)r � name_or_str�positionr" �filters�namesr r r �goto s � zAbstractContext.gotoTc C sZ |du r| }| � ||�}t|t�r|jn|}d}| jrTt|t�rT|}|durTt�|�sT|j}|jdv rKz | j| } | | } 9 W n t yG Y q"w | 10 }n |durTt�|�r+|durt|rtddl 11 m } | j | | j |d�} | | ju rqt} n |} n 12 t�dd� |D ��} |s�| s�|r�t|t�r�ddl 13 m} d | }|�|d 14 ||� t�d || � | r�| S | �|||�S ) zZ 15 :param position: Position of the last statement -> tuple of line, column 16 N)�if_stmt�for_stmt�comp_for� sync_comp_forr )� flow_analysis)�context� value_scope�nodec s s � | ]}|� � V qd S r )�infer)�.0�namer r r � <genexpr>M s � z5AbstractContext.py__getattribute__.<locals>.<genexpr>)�analysisz$NameError: name '%s' is not defined.z 17 name-errorz context.names_to_types: %s -> %s)r, r% r �valuer r �is_scope�parent�type�KeyErrorr# r1 �reachability_check� tree_node� UNREACHABLEr r � from_setsr9 �addr r' � _check_for_additional_knowledge)r r( � name_contextr) �analysis_errorsr+ � string_nameZfound_predefined_typesr4 � name_dict�typesr1 �check�valuesr9 �messager r r �py__getattribute__& sN 18 19 �� � 20 21 z"AbstractContext.py__getattribute__c C s� |p| }t |t�r@|�� s@|}|jg}tdd� |D ��r tS ddlm} t|dd�}|||||�}|d ur8|S ||v r? tS q%tS )Nc s s � | ]}|j d v V qdS )�r/ r0 N)r= )r6 �br r r r8 a s � zBAbstractContext._check_for_additional_knowledge.<locals>.<genexpr>r )�check_flow_informationT)� include_flows) r% r � is_instancer@ �anyr �jedi.inference.finderrP r )r r( rE r) � 22 flow_scopeZ 23 base_nodesrP �nr r r rD Z s& ��z/AbstractContext._check_for_additional_knowledgec C s | j }|d u r | S |�� S r )�parent_context�get_root_context)r rW r r r rX n s z AbstractContext.get_root_contextc C � dS �NFr �r r r r � is_modulet � zAbstractContext.is_modulec C rY rZ r r[ r r r �is_builtins_modulew r] z"AbstractContext.is_builtins_modulec C rY rZ r r[ r r r �is_classz r] zAbstractContext.is_classc C rY rZ r r[ r r r �is_stub} r] zAbstractContext.is_stubc C rY rZ r r[ r r r rR � r] zAbstractContext.is_instancec C rY rZ r r[ r r r � is_compiled� r] zAbstractContext.is_compiledc C rY rZ r r[ r r r �is_bound_method� r] z AbstractContext.is_bound_methodc C r r r r[ r r r � 24 py__name__� r! zAbstractContext.py__name__c C r r r r[ r r r � get_value� r] zAbstractContext.get_valuec C � d S r r r[ r r r r7 � r! zAbstractContext.namec C rY )Nr r r[ r r r �get_qualified_names� r] z#AbstractContext.get_qualified_namesc C rY )N� r r[ r r r � py__doc__� r] zAbstractContext.py__doc__c c s, � | j }|||< z d V W ||= d S ||= w r )r )r rU �dctZ 25 predefinedr r r �predefine_names� s �z AbstractContext.predefine_names�NN)NNT)�__name__� 26 __module__� __qualname__r r r r, rM rD rX r\ r^ r_ r` rR ra rb rc rd �propertyr7 rf rh r rj r r r r r s4 27 �4 28 29 r c s� e Zd ZdZ� fdd�Zedd� �Zedd� �Zdd � Zd 30 d � Z d d � Z 31 dd� Z dd� Z dd� Z dd� Zdd� Zedd� �Zdd� Zd d � Zd d � Zd d!� Z� ZS )"� ValueContextzC 32 Should be defined, otherwise the API returns empty types. 33 c s t � �|j� || _d S r )�superr r �_value)r r: �� __class__r r r � s 34 zValueContext.__init__c C � | j jS r )rr r@ r[ r r r r@ � � zValueContext.tree_nodec C ru r )rr rW r[ r r r rW � rv zValueContext.parent_contextc C � 35 | j �� S r )rr r\ r[ r r r r\ � � 36 zValueContext.is_modulec C s | j | jjkS r )rr r �builtins_moduler[ r r r r^ � s z ValueContext.is_builtins_modulec C rw r )rr r_ r[ r r r r_ � rx zValueContext.is_classc C rw r )rr r` r[ r r r r` � rx zValueContext.is_stubc C rw r )rr rR r[ r r r rR � rx zValueContext.is_instancec C rw r )rr ra r[ r r r ra � rx zValueContext.is_compiledc C rw r )rr rb r[ r r r rb � rx z ValueContext.is_bound_methodc C rw r )rr rc r[ r r r rc � rx zValueContext.py__name__c C ru r )rr r7 r[ r r r r7 � rv zValueContext.namec C rw r )rr rf r[ r r r rf � rx z ValueContext.get_qualified_namesc C rw r )rr rh r[ r r r rh � rx zValueContext.py__doc__c C � | j S r �rr r[ r r r rd � � zValueContext.get_valuec C � d| j j| jf S �Nz%s(%s))rt rl rr r[ r r r �__repr__� � zValueContext.__repr__)rl rm rn �__doc__r ro r@ rW r\ r^ r_ r` rR ra rb rc r7 rf rh rd r � __classcell__r r rs r rp � s* 37 38 39 rp c @ s, e Zd Zdd� Zdd� Zdd� Zdd� Zd S ) 40 �TreeContextMixinc C s ddl m} || |�S )Nr )� 41 infer_node)�jedi.inference.syntax_treer� )r r4 r� r r r r� � s 42 zTreeContextMixin.infer_nodec C s� ddl m} || jkr| �� sJ �| �� S | �|�}|jdv rF|j�||�}|� � rD|j 43 � |j�}|� | j |j 44 |�}|j||�� |d�}|S |jdkrS|�| j ||�S td| ��)Nr )r: )�funcdef�lambdef)�instance� class_context�function�classdefz Probably shouldn't happen: %s)r# r: r@ r\ rd �create_contextr= � FunctionValue� from_contextr_ rW � create_value�AnonymousInstancer � BoundMethod� 45 as_context� 46 ClassValuer )r r4 r: rW �func� class_valuer� r r r r� � s* 47 48 49 50 �� 51 z TreeContextMixin.create_valuec sz d 52 � ���fdd� � dd� ����}|j dv r7|j|j�d� }�j|jk r7�j}|j dkr3|j�ks7�|�}� |dd �S ) NTc sj | �j kr�S | jdv r��| ��� S | jdv r/� �| j��}�j| jd jkr*|S t|| �S td| ��)N)r� r� r� rN �����z(There's a scope that was not managed: %s) r@ r= r� r� r< � start_pos�children�CompForContext� Exception)� 53 scope_node� is_nestedrW ��from_scope_noder4 � parent_scoper r r r� � s 54 55 56 57 z8TreeContextMixin.create_context.<locals>.from_scope_nodec S sn | j } t�| �r | S | jdv r | jd jdv r | jd S n| jdkr6| jdd� D ] }|jdv r5| S q*q)NT)�argument� testlist_comp� rN �dictorsetmaker� )r< r r; r= r� )r4 rV r r r r� 58 s 59 60 61 � 62 63 ��z5TreeContextMixin.create_context.<locals>.parent_scope)r� r� �:�param)r� )T)r= r� �indexr� r< r7 )r r4 r� �colonr< r r� r r� � s 64 z TreeContextMixin.create_contextc C sT |� � }|r |jdkr |j|kr t|dd�}| �|�}t||�S | �|�}t||�S )Nr� r� r� )�get_definitionr= r7 r r� r r� r )r � tree_name� 65 definitionr� r� r2 r r r � create_name" s 66 67 68 69 z TreeContextMixin.create_nameN)rl rm rn r� r� r� r� r r r r r� � s 70 &r� c @ � e Zd Zddd�ZdS )�FunctionContextNc c s � t | j| ||d�V d S �N)rW r r )r r r r r r r . s � �zFunctionContext.get_filtersrk �rl rm rn r r r r r r� - � r� c @ sP e Zd Zdee fdd�Zddd�Zdd� Zed d 71 � �Z ed d � �Z 72 d d� Z dS )� ModuleContext�returnc C rw r �rr � 73 py__file__r[ r r r r� 8 rx zModuleContext.py__file__Nc c s@ � | j �|�}t|d � tt| ||d�| �� �V |E d H d S r� )rr r �nextr r �get_global_filter)r r r r* r r r r ; s � 74 ��zModuleContext.get_filtersc C s t | �S r )r 75 r[ r r r r� I s z ModuleContext.get_global_filterc C ru r �rr � string_namesr[ r r r r� L rv zModuleContext.string_namesc C ru r )rr � 76 code_linesr[ r r r r� P rv zModuleContext.code_linesc C rz )z� 77 This is the only function that converts a context back to a value. 78 This is necessary for stub -> python conversion and vice versa. However 79 this method shouldn't be moved to AbstractContext. 80 r{ r[ r r r rd T s zModuleContext.get_valuerk ) rl rm rn r r r� r r� ro r� r� rd r r r r r� 7 s 81 82 83 r� c @ s< e Zd Zd dd�Zdd� Zedd� �Zdee fd d 84 �Z dS ) �NamespaceContextNc C rw r �rr r r r r r r ^ rx z NamespaceContext.get_filtersc C rz r r{ r[ r r r rd a r| zNamespaceContext.get_valuec C ru r r� r[ r r r r� d rv z NamespaceContext.string_namesr� c C rw r r� r[ r r r r� h rx zNamespaceContext.py__file__rk ) 85 rl rm rn r rd ro r� r r r� r r r r r� ] s 86 87 r� c @ s e Zd Zddd�Zddd�ZdS )� ClassContextNc c s � | � ||�V d S r )r� r r r r r m s �zClassContext.get_filtersc C s t | ||d�S r� �r r r r r r� p s 88 �z ClassContext.get_global_filterrk )rl rm rn r r� r r r r r� l s 89 r� c s> e Zd Z� fdd�Zd dd�Zdd� Zdd � Zd 90 d � Z� ZS ) r� c s t � �|j� || _|| _d S r )rq r r r@ rW )r rW r/ rs r r r y s 91 zCompForContext.__init__Nc c s � t | �V d S r r� r r r r r ~ s �zCompForContext.get_filtersc C re r r r[ r r r rd � r] zCompForContext.get_valuec C rY )Nz<comprehension context>r r[ r r r rc � r] zCompForContext.py__name__c C r} r~ )rt rl r@ r[ r r r r � r� zCompForContext.__repr__rk ) rl rm rn r r rd rc r r� r r rs r r� x s 92 r� c @ r� )�CompiledContextNc C rw r r� r r r r r � rx zCompiledContext.get_filtersrk r� r r r r r� � r� r� c @ s6 e Zd ZdZdd� Zedd� �Zdee fdd�Z dS ) �CompiledModuleContextNc C rz r r{ r[ r r r rd � r| z CompiledModuleContext.get_valuec C ru r r� r[ r r r r� � rv z"CompiledModuleContext.string_namesr� c C rw r r� r[ r r r r� � rx z CompiledModuleContext.py__file__) 93 rl rm rn r� rd ro r� r r r� r r r r r� � s 94 r� c C s� |d ur:t |ddd�}d }|dkr|}t |dd�}|d ur:|jd }|d ur:||jk r:|d u s7||jd jk r:|j}t| ||�S )Nr� r� r� �����)r r� r� �get_global_filters)r2 Z name_or_noner) �ancestorr� r� r r r r$ � s 95 r$ c c sv � | }ddl m} | dur'| j||d�E dH t| |tf�r d}| j} | dus t|jj�� d�}|dus6J �|V dS )a� 96 Returns all filters in order of priority for name resolution. 97 98 For global name lookups. The filters will handle name resolution 99 themselves, but here we gather possible filters downwards. 100 101 >>> from jedi import Script 102 >>> script = Script(''' 103 ... x = ['a', 'b', 'c'] 104 ... def func(): 105 ... y = None 106 ... ''') 107 >>> module_node = script._module_node 108 >>> scope = next(module_node.iter_funcdefs()) 109 >>> scope 110 <Function: func@3-5> 111 >>> context = script._get_module_context().create_context(scope) 112 >>> filters = list(get_global_filters(context, (4, 0), None)) 113 114 First we get the names from the function scope. 115 116 >>> print(filters[0]) # doctest: +ELLIPSIS 117 MergedFilter(<ParserTreeFilter: ...>, <GlobalNameFilter: ...>) 118 >>> sorted(str(n) for n in filters[0].values()) # doctest: +NORMALIZE_WHITESPACE 119 ['<TreeNameDefinition: string_name=func start_pos=(3, 4)>', 120 '<TreeNameDefinition: string_name=x start_pos=(2, 0)>'] 121 >>> filters[0]._filters[0]._until_position 122 (4, 0) 123 >>> filters[0]._filters[1]._until_position 124 125 Then it yields the names from one level "lower". In this example, this is 126 the module scope (including globals). 127 As a side note, you can see, that the position in the filter is None on the 128 globals filter, because there the whole module is searched. 129 130 >>> list(filters[1].values()) # package modules -> Also empty. 131 [] 132 >>> sorted(name.string_name for name in filters[2].values()) # Module attributes 133 ['__doc__', '__name__', '__package__'] 134 135 Finally, it yields the builtin filter, if `include_builtin` is 136 true (default). 137 138 >>> list(filters[3].values()) # doctest: +ELLIPSIS 139 [...] 140 r )� BaseFunctionExecutionContextN)r r ) � jedi.inference.value.functionr� r r% r� rW r� r ry )r2 r r Z base_contextr� rO r r r r� � s �/ �� 141 r� N)'�abcr � 142 contextlibr �pathlibr �typingr � 143 parso.treer �parso.python.treer �jedi.inference.filtersr r r 144 �jedi.inference.namesr r �jedi.inference.base_valuer r �jedi.parser_utilsr �jedir r r rp r� r� r� r� r� r� r� r� r$ r� r r r r �<module> s2 9P 145 &