관리-도구
편집 파일: typing.cpython-38.pyc
U -?�f A � @ sF d dl mZ d dlZd dlmZ d dlZd dlZd dlZd dlm Z d dlm Z d dlm Z d dlm Z d dlm Z d dlmZ d d lmZ d d lmZ d d lmZ d d lmZ d d lmZ d dlmZ d dlmZ d dlmZ d dlmZ d dlmZ d dlmZ d dlmZ ddlm Z d dl m Z d dl m Z d dl m Z d dl m!Z! d dl m"Z" d d l m#Z# d d l m$Z$ d d l m%Z% d d l m&Z& d d l m'Z' d d!l m(Z( d d"l m)Z) d d#l m*Z* d d$l m+Z+ d d%l m,Z, d d&l m-Z- d d'l m.Z. ed(e d)�Z/ed*�Z0ed+d,d-�Z1ed.d,d/�Z2ed0�Z3ed1d,d-�Z4e j5�r>d d2l6m7Z7 ne8d�Z7e d3�Z9e#Z:e$Z;eee e<e ee.d4f Z=G d5d6� d6e(�Z>G d7d8� d8e(e/ �Z?G d9d:� d:e(e0e4f �Z@e%d; ZAdd<dd=�d>d?d@dAdBdCdDd>dE�dFdG�ZBdHdIdJdK�dLdM�ZCdddN�d@d@dOdPdQdR�dSdT�ZDddU�d@d@dOdQdV�dWdX�ZEd@d@d@dY�dZd[�ZFdd\�d>d6d@dAdBd>d]�d^d_�ZGd`dCda�dbdc�ZHdQddde�dfdg�ZId?dCda�dhdi�ZJd`djda�dkdl�ZKd?dmda�dndo�ZLd?dpda�dqdr�ZMdsd>da�dtdu�ZNd�d?dCdvdw�dxdy�ZOed@d@da�dzd{��ZPed>d>da�d|d{��ZPed?d?da�d}d{��ZPd?d?da�d~d{�ZPdd?da�d�d��ZQd?d>d��d�d��ZRd�d>dCdCd�d��d�d��ZSdQd�da�d�d��ZTdQdCda�d�d��ZUdQd�da�d�d��ZVdQd�dCd��d�d��ZWdd��dQd@d�dCd��d�d��ZXd>d@da�d�d��ZYG d�d�� d�e(�ZZed�eZd)�Z[G d�d�� d�ee[ �Z\ed�eZd,d��Z]G d�d�� d�ee] �Z^ed�ee d�e f d)�Z_G d�d�� d�ee_ �Z`dS )�� )� annotationsN)�Any)�Callable)�cast)�Dict�� ForwardRef)�Generic)�Iterable)�Mapping)�NewType)�NoReturn)�Optional)�overload)�Set)�Tuple)�Type)� TYPE_CHECKING)�TypeVar)�Union� )�compat)� Annotated)� Concatenate)�dataclass_transform)�Final)�final)�get_args)� get_origin)�Literal)� NotRequired)� ParamSpec)�Protocol)� SupportsIndex)� TypeAlias)� TypedDict)� TypeGuard)�Self)� TypeAliasType�_T)�bound�_KT�_KT_coT)� covariant� _KT_contra)� contravariant�_VT�_VT_co)�NoneType�NonezGenericProtocol[Any]c @ s e Zd ZU dZded< dS )�ArgsTypeProcotolz_protocol for types that have ``__args__`` there's no public interface for this AFAIK � Tuple[_AnnotationScanType, ...]�__args__N��__name__� __module__� __qualname__�__doc__�__annotations__� r= r= �F/opt/hc_python/lib64/python3.8/site-packages/sqlalchemy/util/typing.pyr4 T s r4 c @ s" e Zd ZU dZded< ded< dS )�GenericProtocolzXprotocol for generic types. this since Python.typing _GenericAlias is private r5 r6 �Type[_T]� __origin__Nr7 r= r= r= r> r? ^ s r? c @ s* e Zd Zdd�dd�Zddd�dd �Zd S ) �SupportsKeysAndGetItemz Iterable[_KT])�returnc C s d S �Nr= )�selfr= r= r> �keyss � zSupportsKeysAndGetItem.keysr+ r1 )�_SupportsKeysAndGetItem__krC c C s d S rD r= )rE rH r= r= r> � __getitem__u rG z"SupportsKeysAndGetItem.__getitem__N)r8 r9 r: rF rI r= r= r= r> rB r s rB �*F��str_cleanup_fn�include_generic� _already_seenz Type[Any]�_AnnotationScanType�strzMapping[str, Any]z#Optional[Callable[[str, str], str]]�boolzOptional[Set[Any]])�cls� annotation�originating_module�locals_rL rM rN rC c s� |}t |�r|j}t|t�r:�r*�|��}t|���d�}�r�t|�r�t|�s�� dkr\t� � |� krh|S � �|� t � �����fdd�|j D ��}t ||�S |S )a; Resolve annotations that may be string based into real objects. This is particularly important if a module defines "from __future__ import annotations", as everything inside of __annotations__ is a string. We want to at least have generic containers like ``Mapped``, ``Union``, ``List``, etc. �rU �in_classNc 3 s$ | ] }t �|����� d �V qdS )rK N��de_stringify_annotation��.0�elem�rN rR rM rU rT rL r= r> � <genexpr>� s ��z*de_stringify_annotation.<locals>.<genexpr>) � is_fwd_ref�__forward_arg__� isinstancerP �eval_expression� is_generic� is_literal�set�add�tupler6 � _copy_generic_annotation_with) rR rS rT rU rL rM rN Zoriginal_annotation�elementsr= r] r> rY | s8 ���� � rY zGenericProtocol[_T]r5 r@ )rS ri rC c C s" t | d�r| �|�S | j| S d S )N� copy_with)�hasattrrj rA )rS ri r= r= r> rh � s rh rV zOptional[Mapping[str, Any]]zOptional[Type[Any]]r )� expression� module_namerU rW rC c C s� zt j| j}W n8 tk rH } ztd|� d| � ��|�W 5 d }~X Y nX zH|d k r�t|j�}|�|j|� |�|� t | ||�}n t | ||�}W n2 t k r� } ztd| ���|�W 5 d }~X Y nX |S d S )N�Module z9 isn't present in sys.modules; can't evaluate expression z"Could not de-stringify annotation ) �sys�modules�__dict__�KeyError� NameError�dict� setdefaultr8 �update�eval� Exception) rl rm rU rW � base_globals�keZ cls_namespacerS �errr= r= r> rb � s, �� ��rb �rU )�namerm rU rC c C s� d| krt | ||d�S ztj| j}W n8 tk r^ } ztd|� d| � ��|�W 5 d }~X Y nX z || W S tk r� } zDztj| W W Y �0S tk r� Y nX td| � d|� ��|�W 5 d }~X Y nX d S )N�.r| rn z2 isn't present in sys.modules; can't resolve name zCould not locate name z in module )rb ro rp rq rr rs �builtins)r} rm rU ry rz r= r= r> �eval_name_only� s, �� ��r� )r} rm rC c C s8 zt | |�}W n tk r& | Y S X t|d| �S d S )Nr8 )r� rs �getattr)r} rm �objr= r= r> � resolve_name_to_real_class_name s r� �rL )rR rS rT rU rL rC c s t � ��fdd�|jD �� S )Nc s g | ]}t � |�i �d ��qS )r� rX )r[ �anno�rR rT rL r= r> � <listcomp>% s ��z/de_stringify_union_elements.<locals>.<listcomp>)�make_union_typer6 )rR rS rT rU rL r= r� r> �de_stringify_union_elements s ��r� z Optional[_AnnotationScanType])�type_rC c C s | d k ot | �tkS rD )�typing_get_originr �r� r= r= r> � is_pep5932 s r� zTypeGuard[Iterable[Any]])r� rC c C s t | tj�ot | ttf� S rD )ra �collections_abcr rP �bytes)r� r= r= r> �is_non_string_iterable6 s �r� c C s t | �tkS rD )r r r� r= r= r> rd < s rd zTypeGuard[NewType]c C s t | d�S )N� __supertype__�rk r� r= r= r> � is_newtype@ s r� z TypeGuard[GenericProtocol[Any]]c C s t | d�ot | d�S )Nr6 rA r� r� r= r= r> rc H s rc zTypeGuard[TypeAliasType]c C s t | t�S rD )ra r( r� r= r= r> � is_pep695L s r� r c C s | j }t|�r|j }q|S rD )r� r� )r� Z super_typer= r= r> �flatten_newtypeP s r� zTypeGuard[ForwardRef])r� � check_genericrC c C s6 t | t�rdS |r.t| �r.tdd� | jD ��S dS d S )NTc s s | ]}t |d �V qdS )TN)r_ )r[ �argr= r= r> r^ ] s z is_fwd_ref.<locals>.<genexpr>F)ra r rc �anyr6 )r� r� r= r= r> r_ W s r_ c C s d S rD r= r� r= r= r> �de_optionalize_union_typesb s r� c C s d S rD r= r� r= r= r> r� f s c C s d S rD r= r� r= r= r> r� j s c C sF t | �rt| �S t| �r>t| j�}|�t� |�t� t|� S | S dS )zmGiven a type, filter out ``Union`` types that include ``NoneType`` to not include the ``NoneType``. N) r_ �"de_optionalize_fwd_ref_union_types� is_optionalre r6 �discardr2 �NoneFwdr� )r� �typr= r= r> r� p s r c C s� | j }t�d|�}|rh|�d�dkr2t|�d��S |�d�dkrdt�d|�d��}tdd� |D �� S | S t�d |�}d |kr�td �d d � |D ���S | S )z�return the non-optional type for Optional[], Union[None, ...], x|None, etc. without de-stringifying forward refs. unfortunately this seems to require lots of hardcoded heuristics z^(.+?)\[(.+)\]$r r � r z,\s*c S s g | ]}|d krt |��qS )r3 r rZ r= r= r> r� � s z6de_optionalize_fwd_ref_union_types.<locals>.<listcomp>z\s*\|\s*r3 �|c s s | ]}|d kr|V qdS )r3 Nr= )r[ �pr= r= r> r^ � s z5de_optionalize_fwd_ref_union_types.<locals>.<genexpr>)r` �re�match�groupr �splitr� �join)r� rS �mmri Z pipe_tokensr= r= r> r� � s � r� )�typesrC c G s t tt��| �S )z�Make a Union type. This is needed by :func:`.de_optionalize_union_types` which removes ``NoneType`` from a ``Union``. )r r r rI )r� r= r= r> r� � s r� zTuple[Type[Any], ...])r� � include_union� discard_nonerC c C sF t | �r<t| j�}|r |�t� |r2| ft|� S t|�S n| fS dS )zPReturn a type as a tuple of individual types, expanding for ``Union`` types.N)�is_unionre r6 r� r2 rg )r� r� r� r� r= r= r> � expand_unions� s r� zTypeGuard[ArgsTypeProcotol]c C s t | ddd�S )Nr r � UnionType�� is_origin_ofr� r= r= r> r� � s �r� c C s t | �ott| �kS rD )r� r2 �typing_get_argsr� r= r= r> �is_optional_union� s r� c C s t | d�S )Nr r� r� r= r= r> r� � s r� z'Union[Tuple[Type[Any], ...], Type[Any]])r� � class_objrC c C s( t | �}|dkrdS t|t�o&t||�S )z[return True if the given type has an __origin__ that shares a base with the given classNF)r� ra �type� issubclass)r� r� �originr= r= r> �is_origin_of_cls� s r� )�modulez Optional[str])r� �namesr� rC c G s4 t | �}|dkrdS t|�|ko2|dkp2|j�|�S )z\return True if the given type has an __origin__ with the given name and optional module.NF)r� �_get_type_namer9 � startswith)r� r� r� r� r= r= r> r� � s �r� c C s4 t jr | jS t| dd �}|d kr,t| dd �}|S d S )Nr8 �_name)r �py310r8 r� )r� Ztyp_namer= r= r> r� � s r� c @ s@ e Zd Zdddd�dd�Zdddd�dd �Zddd �d d �Zd S )�DescriptorProto�objectr ��instance�ownerrC c C s d S rD r= �rE r� r� r= r= r> �__get__� rG zDescriptorProto.__get__r3 �r� �valuerC c C s d S rD r= �rE r� r� r= r= r> �__set__� rG zDescriptorProto.__set__�r� rC c C s d S rD r= �rE r� r= r= r> � __delete__ rG zDescriptorProto.__delete__N)r8 r9 r: r� r� r� r= r= r= r> r� � s r� �_DESCc @ sH e Zd ZdZerDdddd�dd�Zdddd �d d �Zddd �d d�ZdS )�DescriptorReferencea� a descriptor that refers to a descriptor. used for cases where we need to have an instance variable referring to an object that is itself a descriptor, which typically confuses typing tools as they don't know when they should use ``__get__`` or not when referring to the descriptor assignment as an instance variable. See sqlalchemy.orm.interfaces.PropComparator.prop r� r r� r� c C s d S rD r= r� r= r= r> r� rG zDescriptorReference.__get__r3 r� c C s d S rD r= r� r= r= r> r� rG zDescriptorReference.__set__r� c C s d S rD r= r� r= r= r> r� rG z DescriptorReference.__delete__N�r8 r9 r: r; r r� r� r� r= r= r= r> r� s r� �_DESC_co)r* r- c @ sH e Zd ZdZerDdddd�dd�Zdddd �d d �Zddd �d d�ZdS )�RODescriptorReferencez�a descriptor that refers to a descriptor. same as :class:`.DescriptorReference` but is read-only, so that subclasses can define a subtype as the generically contained element r� r r� r� c C s d S rD r= r� r= r= r> r� ( rG z RODescriptorReference.__get__r r� c C s d S rD r= r� r= r= r> r� * rG z RODescriptorReference.__set__r� c C s d S rD r= r� r= r= r> r� , rG z RODescriptorReference.__delete__Nr� r= r= r= r> r� s r� �_FN.c @ sH e Zd ZdZerDdddd�dd�Zdddd �d d �Zddd �d d�ZdS )�CallableReferencez�a descriptor that refers to a callable. works around mypy's limitation of not allowing callables assigned as instance variables r� r r� r� c C s d S rD r= r� r= r= r> r� = rG zCallableReference.__get__r3 r� c C s d S rD r= r� r= r= r> r� ? rG zCallableReference.__set__r� c C s d S rD r= r� r= r= r> r� A rG z CallableReference.__delete__Nr� r= r= r= r> r� 2 s r� )F)FF)a� __future__r r �collections.abc�abcr� r� ro �typingr r r r r r r r r r r r r r r r r r � r �typing_extensionsr r r r r r r r r r! r" r# r$ r% r& r' r( r) r+ r, r. r0 r1 r� r� r2 r� r� r� r� rP rO r4 r? rB Z _LiteralStarrY rh rb r� r� r� r� r� rd r� rc r� r� r_ r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r= r= r= r> �<module> s� � � F�(�"� � � �