관리-도구
편집 파일: typing.cpython-38.pyc
U /?�f�K � @ s� U d dl Z d dlZd dlmZ d dlmZ d dlmZmZmZmZ m Z m Z m Z m Z mZmZmZmZmZmZmZmZmZmZmZmZmZmZ d dl m Z m Z m Z m Z!m"Z# zd dlm$Z% W n e&k r� d dlm'Z% Y nX zd dlm(Z) W n e&k �r d Z)Y nX zd d l*m+Z, W n e&k �r. d Z,Y nX e j-d k �rRe eeed �d d�Z.ne eeed �dd�Z.e j-d k �rxeZ/ndjeeeed�dd�Z/ed�Z0e def Z1e g ef Z2e de0f Z3ddhZ4e hZ5ee e6d< e7ed��r�e5�8ej � e j-dk �ree eee d�dd �Z9n(d d lm9Z: ee eee d �d d �Z9e j-dk �rtd d lm;Z; ee eedf d�d!d"�Z<nDd d#lm<Z= ee eedf d �d$d%�Z>ee eedf d �d&d"�Z<e j-d k �r�ee ee d �d'd(�Z?n0d d)lm@Z@ d d*l mAZA ee ee d �d+d(�Z?e j-d,k �r:eee eBd �d-d.�ZCe)fZDn8d dl*Z*d dlZeee eBd �d/d.�ZCej;e*j(e*j+fZDeeEef ZFe�r>d d0lGmHZH e eeEef ddf ZIe eEef ZJe eef ZKeeE ZLeeE ZMeeNeEf ZOeeO ZPe eOef ZQeeOef ZRe e1ddf ZSeeeeE ef ZTd1ZUeU�r0eVe ZWneVeeef ZWd2ZXdjYZZdeZe d fZ[eeeef e6d3< e j-dk �r�eeBd4�d5d6�Z\n6e j-dd7� dk�r�eeBd4�d8d6�Z\neeBd4�d9d6�Z\ee eEd:�d;d<�Z]e eEee f eeE e eEee f d=�d>d?�Z^ee eBd4�d@dA�Z_ee eBd4�dBdC�Z`ee eedf d4�dDdE�Zaee eedf d4�dFdG�Zbee eBd4�dHdI�Zcee eBd4�dJdK�ZdeeBd4�dLdM�ZeeeBd4�dNdO�ZfedPeE�Zgee eBd4�dQdR�Zhee ee d4�dSdT�Zieee eBd:�dUdV�Zjeee eBd:�dWdX�Zkee eBdY�dZd[�Zlee eBdY�d\d]�Zmd^eedd_�d`da�Zndkee ed^ e eee eEe f e1f dbeeeo df ddc�ddde�Zpee edeBee f d4�dfdg�Zqeee d �dhdi�ZrdS )l� N)�Callable)�PathLike)� TYPE_CHECKING� AbstractSet�Anyr �ClassVar�Dict� ForwardRef� Generator�Iterable�List�Mapping�NewType�Optional�Sequence�Set�Tuple�Type�TypeVar�Union� _eval_type�cast�get_type_hints)� Annotated�Final�Literal� NotRequired�Required)� _TypingBase)�_Final)� GenericAlias� )� UnionType�� � )�type_�globalns�localns�returnc C s | � ||�S �N)� _evaluate�r& r' r( r! r! �@/opt/hc_python/lib/python3.8/site-packages/pydantic/v1/typing.py�evaluate_forwardref: s r. c C s t t| �j||t� d�S )N)Zrecursive_guard)r r r+ �setr, r! r! r- r. ? s )�objr' r( r) c C s t | ||dd�S )NT)�include_extras)r )r0 r' r( r! r! r- �get_all_type_hintsO s r2 �_T.Z AnnotatedMeta�_AnnotatedAlias� LITERAL_TYPESr �r$ � )�tr) c C s( t | �jtkr ttt t�S t| dd �S )N� __origin__)�type�__name__�AnnotatedTypeNamesr r r r �getattr)r8 r! r! r- � get_originh s r> )r> )�tpr) c C s0 t | �jtkr ttt t�S t| �p.t| dd�S )a4 We can't directly use `typing.get_origin` since we need a fallback to support custom generic classes like `ConstrainedList` It should be useless once https://github.com/cython/cython/issues/3537 is solved and https://github.com/pydantic/pydantic/pull/1753 is merged. r9 N) r: r; r< r r r r �_typing_get_originr= �r? r! r! r- r> q s )� _GenericAliasc C sl t | �jtkr| j| j S t| t�r`| j}| jtkr\|r\|d t k r\t |dd� �|d f}|S t | dd�S )z�Compatibility version of get_args for python 3.7. Mostly compatible with the python 3.8 `typing` module version and able to handle almost all use cases. r N����__args__r! ) r: r; r< rD � __metadata__� isinstancerB r9 r �Ellipsis�listr= )r8 �resr! r! r- �get_args� s rJ �rJ c C s\ t | d�rtf| j S z,| td ks:tjdkr@| td kr@W dS W n tk rV Y nX dS )aI In python 3.9, `typing.Dict`, `typing.List`, ... do have an empty `__args__` by default (instead of the generic ~T for example). In order to still support `Dict` for example and consider it as `Dict[Any, Any]`, we retrieve the `_nparams` value that tells us how many parameters it needs. �_nparamsr! r# )r! )�hasattrr rL r �sys� version_info�tuple� TypeErrorrA r! r! r- �_generic_get_args� s " rR c C s6 t | �jtkr| j| j S t| �p4t| dd�p4t| �S )a� Get type arguments with all substitutions performed. For unions, basic simplifications used by Union constructor are performed. Examples:: get_args(Dict[str, int]) == (str, int) get_args(int) == () get_args(Union[int, Union[T, int], str][int]) == (int, str) get_args(Union[int, Tuple[T, int]][str]) == (int, Tuple[str, int]) get_args(Callable[[], T][int]) == ([], int) rD r! )r: r; r< rD rE �_typing_get_argsr= rR rA r! r! r- rJ � s c C s | S )z�Python 3.9 and older only supports generics from `typing` module. They convert strings to ForwardRef automatically. Examples:: typing.List['Hero'] == typing.List[ForwardRef('Hero')] r! rA r! r! r- �convert_generics� s rT )�_UnionGenericAlias)r4 c s� t � �}|rt� d�s� S t� �}|tkrDtt|d �|dd� �S t� fdd�|D ��}||krf� S t� t�rzt||�S t� t �r�t ||�S zt � d|� W n t k r� Y nX � S dS )a� Recursively searches for `str` type hints and replaces them with ForwardRef. Examples:: convert_generics(list['Hero']) == list[ForwardRef('Hero')] convert_generics(dict['Hero', 'Team']) == dict[ForwardRef('Hero'), ForwardRef('Team')] convert_generics(typing.Dict['Hero', 'Team']) == typing.Dict[ForwardRef('Hero'), ForwardRef('Team')] convert_generics(list[str | 'Hero'] | int) == list[str | ForwardRef('Hero')] | int rD r � Nc 3 s2 | ]*}t |t�r"t � t�r"t|�nt|�V qd S r* )rF �str�TypingGenericAliasr rT )�.0�argrA r! r- � <genexpr>� s �z#convert_generics.<locals>.<genexpr>) r> rM rJ r r4 rT rP rF rX �TypesUnionTyperU �setattr�AttributeError)r? �origin�argsZ convertedr! rA r- rT � s( � �r$ � c C s | t kS r* )r rA r! r! r- �is_union� s rc c C s | t kp| tjkS r* )r �typesr" rA r! r! r- rc � s )� ModelFieldF)'� AnyCallable�NoArgAnyCallable�NoneType� is_none_type�display_as_type�resolve_annotations�is_callable_type�is_literal_type�all_literal_values� is_namedtuple� is_typeddict�is_typeddict_special� is_new_type�new_type_supertype� is_classvar� is_finalvar�update_field_forward_refs�update_model_forward_refs�TupleGenerator� DictStrAny�DictAny�SetStr�ListStr�IntStr�AbstractSetIntStr� DictIntStrAny�CallableGenerator�ReprArgs�AnyClassMethodr� � WithArgsTypesrJ r> � get_sub_types� typing_baser2 rc �StrPath�MappingIntStrAny� NONE_TYPES)r& r) c C s | t kS r* �r� �r& r! r! r- ri R s ri � c C s0 t D ]}| |kr dS qt| �r,t| �dkS dS )NTr* F)r� rm rn )r& Z none_typer! r! r- ri W s c C s | t kS r* r� r� r! r! r- ri d s )�vr) c C s� t | t�s$t | t�s$t | t�s$| j} tt| ��rLdd�tt t | ���� d�S t | t�rft | �� dd�S z| j W S tk r� t | �� dd� Y S X d S )NzUnion[z, �]ztyping.� )rF r� r� r: � __class__rc r> �join�maprj rJ rW �replacer; r^ �r� r! r! r- rj h s rj )�raw_annotations� module_namer) c C s� d}|r2zt j| }W n tk r* Y nX |j}i }| �� D ]�\}}t|t�r�dt j krfdksrn t jdkr�t|ddd�}n t|dd�}z,t jd kr�t ||dd d �}n t ||d�}W n t k r� Y nX |||< q>|S ) z� Partially taken from typing.get_type_hints. Resolve string or ForwardRef annotations into type objects if possible. Nra )r$ r% r7 )r$ rb rV FT)� is_argumentZis_class)r� )r$ � r! )� type_params) rN �modules�KeyError�__dict__�itemsrF rW rO r r � NameError)r� r� � base_globals�module� annotations�name�valuer! r! r- rk z s* " rk c C s | t kpt| �t kS r* )r r> r� r! r! r- rl � s rl c C s t d k ot| �tkS r* )r r> r5 r� r! r! r- rm � s rm c C s t | �S r* rK r� r! r! r- �literal_values� s r� c C s( t | �s| fS t| �}tdd� |D ��S )z� This method is used to retrieve all Literal values as Literal can be used recursively (see https://www.python.org/dev/peps/pep-0586) e.g. `Literal[Literal[Literal[1, 2, 3], "foo"], 5, None]` c s s | ]}t |�D ] }|V qqd S r* )rn )rY r� �xr! r! r- r[ � s z%all_literal_values.<locals>.<genexpr>)rm r� rP )r& �valuesr! r! r- rn � s rn c C s ddl m} || t�o t| d�S )zy Check if a given class is a named tuple. It can be either a `typing.NamedTuple` or `collections.namedtuple` r ��lenient_issubclass�_fields)�pydantic.v1.utilsr� rP rM �r& r� r! r! r- ro � s ro c C s ddl m} || t�o t| d�S )z� Check if a given class is a typed dict (from `typing` or `typing_extensions`) In 3.10, there will be a public method (https://docs.python.org/3.10/library/typing.html#typing.is_typeddict) r r� � __total__)r� r� �dictrM r� r! r! r- rp � s rp c C s | t kp| tkS r* )�TypedDictRequired�TypedDictNotRequiredr� r! r! r- �_check_typeddict_special� s r� c C s t | �pt t| ��S )zN Check if type is a TypedDict special form (Required or NotRequired). )r� r> r� r! r! r- rq � s rq � test_typec C s t | tj�ot| d�S )z> Check whether type_ was created using typing.NewType � __supertype__)rF r� r� rM r� r! r! r- rr � s rr c C s t | d�r| j} q | S )Nr� )rM r� r� r! r! r- rs � s rs c C s( | d kr dS | j tj ko&t| dd �dkS )NF�_namer )r� r r= r� r! r! r- �_check_classvar� s r� c C s2 | dkr dS | j tj ko0tjdk p0t| dd�dkS )z9 Check if a given type is a `typing.Final` type. NFr6 r� r )r� r rN rO r= r� r! r! r- �_check_finalvar� s r� )�ann_typer) c C s6 t | �st t| ��rdS | jtkr2| j�d�r2dS dS )NTz ClassVar[F)r� r> r� r �__forward_arg__� startswith�r� r! r! r- rt � s rt c C s t | �pt t| ��S r* )r� r> r� r! r! r- ru s ru re )�fieldr' r( r) c C s� d}| j jtkr(d}t| j ||p"d�| _ | jjtkrLd}t| j||pFd�| _|rX| �� | jrx| jD ]}t|||d� qd| jdk r�| � � dS )z] Try to update ForwardRefs on fields based on this ModelField, globalns and localns. FTN�r' r( ) r& r� r r. Z outer_type_�prepareZ sub_fieldsrv Zdiscriminator_keyZ&prepare_discriminated_union_sub_fields)r� r' r( r� Zsub_fr! r! r- rv s rv ry )�model�fields� json_encodersr( �exc_to_suppressr) c C s� | j tjkr tj| j j�� }ni }|�| j| � |D ],}zt|||d� W q6 |k r` Y q6X q6t|� � �D ]f}t |t �r�t |�}nt |t �rp|}nqpzt |||p�d�} W n |k r� Y qpY nX |�|�|| < qpdS )zL Try to update model fields ForwardRefs based on model and localns. r� N)� __module__rN r� r� �copy� setdefaultr; rv r/ �keysrF rW r r. �pop) r� r� r� r( r� r' �f�key�frZnew_keyr! r! r- rw s( rw c C sF | t kr dS t| �dkr dS t| �}|r6t|d t �s:dS |d S dS )z� Tries to get the class of a Type[T] annotation. Returns True if Type is used without brackets. Otherwise returns None. TNr )r: r> rJ rF )r& r` r! r! r- � get_classC s r� c C sD t | �}|tkr tt| �d �S t|�r:dd� t| �D �S | gS dS )z~ Return all the types that are allowed by type `tp` `tp` can be a `Union` of allowed types or an `Annotated` type r c S s g | ]}t |�D ]}|�qqS r! )r� )rY r8 r� r! r! r- � <listcomp>^ s z!get_sub_types.<locals>.<listcomp>N)r> r r� rJ rc )r? r_ r! r! r- r� U s r� )NN)r! )srN �typing�collections.abcr �osr r r r ZTypingCallabler 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� � ImportErrorr r rX rd r" r\ rO r. r2 r3 rf rg ZAnyArgTCallabler< r5 �__annotations__rM �addr> r@ rB rJ rS rR rT rU r4 �boolrc r� rW r� Zpydantic.v1.fieldsre rx ry rz r{ r| �intr} r~ r r� r� r� ZMYPY� classmethodr� �__all__r� rh r� ri rj rk rl rm r� rn ro rp r� rq r� rr rs r� r� rt ru rv � BaseExceptionrw r� r� r! r! r! r- �<module> s� ` ) + .# �� '"