← Back
Editing: type_var.cpython-311.pyc
� p�{c+ � � � d dl mZ d dlmZmZmZ d dlmZ G d� de� � Z G d� de� � Z G d� d e� � Z d S ) � )�debug)�ValueSet� NO_VALUES� ValueWrapper)�BaseTypingValuec � � e Zd Zd� Zd� ZdS )� TypeVarClassc �< � |� � � }t |d� � \ }}| � |� � }|�|� t j d|� � t S t t � | j | j | j j ||�� � g� � S )N)NNz"Found a variable without a name %s)� tree_name�var_name� unpacked_args) �unpack�next�_find_string_namer �warningr r �TypeVar� create_cached�inference_state�parent_context� tree_node�name)�self� arguments�unpacked�key� lazy_valuer s �A/usr/lib/python3/dist-packages/jedi/inference/gradual/type_var.py� py__call__zTypeVarClass.py__call__ s� � � �#�#�%�%�� �x� �6�6���Z��)�)�*�5�5�� � �s�� �M�>� � J� J� J� � ���.�.� � � � ��n�)� �"� /� � � � � � � c �> � |�d S |� � � }|sd S t |� � dk rt j d|� � t t |� � � � } |j } |d �� � }t |t � � r|S d S # t $ r Y d S w xY w)N� z-Found multiple values for a type variable: %s)�default) �infer�lenr r r �iter�get_safe_value� isinstance�str�AttributeError)r r � value_set� name_value�method� safe_values r r z TypeVarClass._find_string_name s� � � � ��4� �$�$�&�&� �� ��4� �y�>�>�A� � � �M�I�9� U� U� U��$�y�/�/�*�*� � � �.�F� ���-�-�-�J��*�c�*�*� "�!�!��4�� � � � ��4�4� ���s �"B � B �B N)�__name__� __module__� __qualname__r r � r r r r s2 � � � � � � � � �$� � � � r r c �d � � e Zd Z� fd�Zd� Zd� Zd� Zd� Zed� � � Z d� Z d� Z d � Z d � Z � xZS ) r c �Z �� t � � � ||� � || _ g | _ d | _ d | _ d | _ |D ]a\ }}|�| j � |� � �"|dk r|| _ �0|dk r|| _ �>|dk r|| _ �Lt j d|� � �bd S )N�bound� covariant� contravariantz Invalid TypeVar param name %s) �super�__init__� _var_name�_constraints_lazy_values�_bound_lazy_value�_covariant_lazy_value�_contravariant_lazy_value�append�_contra_variant_lazy_valuer r )r r r r r r r � __class__s �r r8 zTypeVar.__init__0 s� �� � ����� ��3�3�3�!���(*��%�!%�� �%)��"�)-��&� ,� H� H�O�C���{��-�4�4�Z�@�@�@�@��'�>�>�-7�D�*�*��K�'�'�1;�D�.�.��O�+�+�6@�D�3�3��M�"A�3�G�G�G�G� H� Hr c � � | j S �N)r9 �r s r � py__name__zTypeVar.py__name__E s � ��~� r c � � t g � � S rB )r% )r �args�kwargss r � get_filterszTypeVar.get_filtersH s � ��B�x�x�r c � � | j �| j � � � S | j r| j S t j d| j � � t S )Nz2Tried to infer the TypeVar %s without a given type)r; r# r: � constraintsr r r9 r rC s r � _get_classeszTypeVar._get_classesK sO � � � !� -��)�/�/�1�1� 1� � (� $��#� #� � �J�D�N�[�[�[��r c � � dS )NTr1 )r �others r � is_same_classzTypeVar.is_same_classS s � ��tr c �H � t j d� | j D � � � � S )Nc 3 �> K � | ]}|� � � V � �d S rB )r# )�.0�lazys r � <genexpr>z&TypeVar.constraints.<locals>.<genexpr>Y s; � � � � " � " � !�D�J�J�L�L�" � " � " � " � " � " r )r � from_setsr: rC s r rJ zTypeVar.constraintsW s6 � ��!� " � " �%)�%B�" � " � " � � � r c � � || � � � }|r|S n# t $ r Y nw xY wt | h� � S rB )rD �KeyErrorr )r � type_var_dict�founds r �define_genericszTypeVar.define_generics] sc � � �!�$�/�/�"3�"3�4�E� � � � � �� � � � � �D� ���� ��� � � s �! � .�.c �N � | � � � � � � S rB )rK �execute_annotationrC s r r[ zTypeVar.execute_annotationg s � �� � �"�"�5�5�7�7�7r c �h �� �fd�}| � � � }|t |� � � � iS )Nc 3 � �K � �D ]R} | � � � }| � � � s| � � � rt || � � }|V � �Sd S rB )� py__class__� is_function�is_class� TypeWrapper)�v�clsr* s �r �iteratez(TypeVar.infer_type_vars.<locals>.iteratek sf �� � � � � � ���m�m�o�o���=�=�?�?� .�a�j�j�l�l� .�%�c�1�-�-�C�� � � � � � r )rD r )r r* rd �annotation_names ` r �infer_type_varszTypeVar.infer_type_varsj sF �� � � � � � � �/�/�+�+�� ��'�'�)�)�!4�!4�5�5r c �L � d| j j �d| � � � �d�S )N�<z: �>)r@ r. rD rC s r �__repr__zTypeVar.__repr__u s* � � � !�^� 4� 4� 4�d�o�o�6G�6G�6G�6G�H�Hr )r. r/ r0 r8 rD rH rK rN �propertyrJ rY r[ rf rj � __classcell__�r@ s @r r r / s� �� � � � � �H� H� H� H� H�* � � �� � �� � �� � � � � � �X� � � � �8� 8� 8� 6� 6� 6�I� I� I� I� I� I� Ir r c �$ � � e Zd Z� fd�Zd� Z� xZS )ra c �X �� t � � � |� � || _ d S rB )r7 r8 �_original_value)r � wrapped_value�original_valuer@ s �r r8 zTypeWrapper.__init__z s) �� � ����� �'�'�'� -�� � � r c �, � t | j h� � S rB )r rp rC s r r[ z TypeWrapper.execute_annotation~ s � ���-�.�/�/�/r )r. r/ r0 r8 r[ rl rm s @r ra ra y sG �� � � � � �.� .� .� .� .�0� 0� 0� 0� 0� 0� 0r ra N) �jedir �jedi.inference.base_valuer r r �jedi.inference.gradual.baser r r ra r1 r r �<module>rw s� �� � � � � � � G� G� G� G� G� G� G� G� G� G� 7� 7� 7� 7� 7� 7�&� &� &� &� &�<� &� &� &�RGI� GI� GI� GI� GI�o� GI� GI� GI�T0� 0� 0� 0� 0�,� 0� 0� 0� 0� 0r
Save File
Cancel