← Back
Editing: finder.cpython-311.pyc
� p�{c� � � � d Z ddlmZ ddlmZ ddlmZ ddlmZ ddl m Z ddl m Z ddl mZ d � Zd � Zd � Zd � Zd � Zd� ZdS )a� Searching for names with given scope and name. This is very central in Jedi and Python. The name resolution is quite complicated with descripter, ``__getattribute__``, ``__getattr__``, ``global``, etc. If you want to understand name resolution, please read the first few chapters in http://blog.ionelmc.ro/2015/02/09/understanding-python-metaclasses/. Flow checks +++++++++++ Flow checks are not really mature. There's only a check for ``isinstance``. It would check whether a flow has the form of ``if isinstance(a, type_or_tuple)``. Unfortunately every other thing is being ignored (e.g. a == '' would be easy to check for -> a is a string). There's big potential in these checks. � )�search_ancestor)�Name)�settings)� TreeArguments)�iterable)� NO_VALUES)�is_scopec � � t |t � � r|j n|}g }| D ]}|� |� � }|r n� t t |� � � � S )zh Searches names that are defined in a scope (the different ``filters``), until a name fits. )� isinstancer �value�get�list�_remove_del_stmt)�filters� name_or_str� string_name�names�filters �7/usr/lib/python3/dist-packages/jedi/inference/finder.py� filter_namer sp � � (2�+�t�'D�'D�U�+�#�#�+�K� �E�� � ��� � �;�'�'�� � � �E� � � ��'�'� (� (�(� c # �x K � | D ]4}|j �'|j � � � }|� |j dk r�0|V � �5d S )N�del_stmt)� tree_name�get_definition�type)r �name� definitions r r r + sZ � � � �� � �� �>� %� � �6�6�8�8�J��%�*�/�Z�*G�*G��� � � � � � r c �" ��� t j sdS d}t �� � r��� � � } |� � � |j }n# t $ r Y dS w xY wt ��fd�|D � � � � }|D ]0}t |d� � }|� t | |j |� � }|�|c S �1�j dv rOd� �j ddd� D � � } t | � � D ]%} |j | j k rt | | |� � c S �&|S )z� Try to find out the type of a variable just with the information that is given by the flows: e.g. It is also responsible for assert checks.:: if isinstance(k, str): k. # <- completion here ensures that `k` is a string. Nc �V �� g | ]%}�j |j cxk r �p�j k � n n|��&S � )� start_pos�end_pos)�.0�n�flow�poss ��r � <listcomp>z*check_flow_information.<locals>.<listcomp>I sP �� � � � ���~���D�D�D�D��0C�t�|�D�D�D�D�D� �D�D�Dr � assert_stmt)�if_stmt� while_stmtc � � g | ] }|d k �|�� S )�:r! )r$ �cs r r( z*check_flow_information.<locals>.<listcomp>V s � �D�D�D�q�1��8�8��8�8�8r � � )r �dynamic_flow_informationr � get_root_node�get_used_namesr �KeyError�reversedr �_check_isinstance_type� assertionr �childrenr" r# ) r r& � search_namer' �result� module_noder r �ass� potential_ifs�if_tests ` ` r �check_flow_informationr? 5 sw ��� � � ,� ��t� �F���~�~� "��(�(�*�*� � � �.�.�0�0��1B�C�E�E��� � � ��4�4� ����� � � � � � � � � � � �� � "� "�D�!�$� �6�6�C���/��s�}�k�R�R���%�!�M�M�M�� �y�-�-�-�D�D�D�M�!�$�Q�$�$7�D�D�D� � � �.�.� K� K�G��$�w��6�6�-�e�W�k�J�J�J�J�J� 7� �Ms � A � A%�$A%c �� � | j dv rVt | j � � dk r>| j \ }}|j dk r)|j dk r |j dk r|j d dk r|S d S )N)�power� atom_expr� r r �trailerr �()r �lenr8 r )�node�firstrD s r � _get_isinstance_trailer_arglistrI ] sq � � �y�*�*�*�s�4�=�/A�/A�Q�/F�/F� � ���w� �:�� � �E�K�<�$?�$?��L�I�-�-�'�2B�1�2E��2L�2L��N� �4r c � � d }t |� � }|��t |j � � dk r�|j d }t | j | ||� � }t |� � � � � }t |� � dk rXt |j � � dk r@|\ \ }} \ } } |�3| �1t |� � } t |j d � � } | | k r| }|�d S t }|� � � D ]}t |t j � � rL|j dk rA|� � � D ]+}||� � � � � � z }�,�h||� � � z }��|S )N� r/ rC r �tuple)rI rF r8 r �inference_stater �unpack�_get_call_stringr �inferr r �Sequence� array_type� py__iter__�execute_with_values)r rG r9 �lazy_clsrD �arglist�args� param_list�key1�_�key2�lazy_value_cls�call�is_instance_call� value_set� cls_or_tup� lazy_values r r6 r6 g s� � ��H�-�d�3�3�G���s�7�#3� 4� 4�� 9� 9��"�1�%�� �U� 2�E�7�G�L�L���$�+�+�-�-�(�(� � �z�?�?�a� � �C��(8�$9�$9�Q�$>�$>�0:� -�I�T�1�-��n��|�� �'� �4�4��#3�G�4D�Q�4G�#H�#H� � �+�+�+� -�H����t��I� �n�n�&�&� :� :� � �j�(�"3� 4� 4� :��9N�RY�9Y�9Y� (� 3� 3� 5� 5� F� F� ��Z� -� -� /� /� C� C� E� E�E� � � F� ��7�7�9�9� 9�I�I� �r c � � | j j dk rt | j � � S d}| � � � }| � � � j }|j |k r)||j z }|� � � }|j |k �)|S )NrB � ) �parentr rO �get_first_leaf� get_last_leafr# r" r � get_next_leaf)rG �code�leaf�ends r rO rO � s� � � �{��;�&�&� �� �,�,�,� �D� � � � � �D� � � � � � &�C� �.�3� � � �� ����!�!�#�#�� �.�3� � � �Kr N)�__doc__� parso.treer �parso.python.treer �jedir �jedi.inference.argumentsr �jedi.inference.valuer �jedi.inference.base_valuer �jedi.parser_utilsr r r r? rI r6 rO r! r r �<module>rs s� ��� �" '� &� &� &� &� &� "� "� "� "� "� "� � � � � � � 2� 2� 2� 2� 2� 2� )� )� )� )� )� )� /� /� /� /� /� /� &� &� &� &� &� &� )� )� )� � � �%� %� %�P� � � � � �B � � � � r
Save File
Cancel