관리-도구
편집 파일: util.cpython-38.pyc
U -?�f�& � @ s� d dl mZ d dlZd dlmZ d dlmZ d dlmZ d dlmZ d dlmZ d dlm Z d d lm Z d d lm Z d d lm Z d d lmZ d d lmZ d dlmZ d dlmZ d dlmZ d dlmZ d dlmZ d dlmZ d dlmZ d dlmZ d dlm Z d dlm Z d dlm Z d dlm Z d dlm Z d dlm!Z! d d lm"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-m0Z0 d d&l-m1Z1 d d l-m Z d d'l-m2Z2 d d(l-m3Z3 d d)l-m4Z4 e5d*d+� ej6�7d,�D ��Z8e8d-kZ9e d.eee f d/�Z:G d0d1� d1�Z;d2d3d4�d5d6�Z<d7d2d8d9d:�d;d<�Z=d7d2d=d>�d?d@�Z>d7d2d=d>�dAdB�Z?d7d9dC�dDdE�Z@d7d9dC�dFdG�ZAd7d3dC�dHdI�ZBd7d3dC�dJdK�ZCd7d9dC�dLdM�ZDd7d3dC�dNdO�ZEd7dPdQdR�dSdT�ZFdUdVd2dW�dXdY�Zd7dZd9d[�d\d]�ZGdPd2d^d9d_�d`da�ZHdbd2d2d2d9dc�ddde�ZIe dfdg�dhd2d9didj�dkdl��ZJe dhd2dmdndj�dodl��ZJddg�dhd2dpd=dj�dqdl�ZJdrdsdt�dudv�ZKdwdxdy�dzd{�ZLdPdUdUd|�d}d~�ZMddPd�d��d�d��ZNdUd�d��d�d��ZOdS )�� )� annotationsN)�Any)�Iterable)�Iterator)�List)�Optional)�overload)�Tuple)�Type)�TypeVar)�Union)�version)� format_type)�CallExpr)�ClassDef)�CLASSDEF_NO_INFO)�Context)� Expression)�FuncDef)�IfStmt)�JsonDict)� MemberExpr)�NameExpr)� Statement)�SymbolTableNode)� TypeAlias)�TypeInfo)�Options)�ClassDefContext)�DynamicClassDefContext)� SemanticAnalyzerPluginInterface)�deserialize_and_fixup_type)�map_type_from_supertype)� CallableType)�get_proper_type)�Instance)�NoneType)� TypeVarType)� UnboundType)� UnionTypec C s g | ]}t �d |�rt|��qS )z^\d+$)�re�match�int)�.0�x� r/ �H/opt/hc_python/lib64/python3.8/site-packages/sqlalchemy/ext/mypy/util.py� <listcomp>6 s r1 �.)� � � _TArgType)�boundc @ sZ e Zd Zddddddd�dd�Zd d �d d �Zddd �dd�Zedd dd d�dd��ZdS )�SQLAlchemyAttribute�strr, zOptional[Type]r �None)�name�line�column�typ�info�returnc C s" || _ || _|| _|| _|| _d S �N)r: r; r< �typer> )�selfr: r; r< r= r> r/ r/ r0 �__init__? s z SQLAlchemyAttribute.__init__r )r? c C s$ | j s t�| j| j| jt| j �d�S )N)r: r; r< rA )rA �AssertionErrorr: r; r< �serialize_type)rB r/ r/ r0 � serializeM s �z SQLAlchemyAttribute.serialize)�sub_typer? c C s& t | jt�sdS t| j|| j�| _dS )zxExpands type vars in the context of a subtype when an attribute is inherited from a generic super type. N)� isinstancerA r' r" r> )rB rG r/ r/ r0 �expand_typevar_from_subtypeV s z/SQLAlchemyAttribute.expand_typevar_from_subtyper )r> �data�apir? c C s, |� � }t|�d�|�}| f ||d�|��S )NrA )r= r> )�copyr! �pop)�clsr> rJ rK r= r/ r/ r0 � deserialize_ s z SQLAlchemyAttribute.deserializeN)�__name__� __module__� __qualname__rC rF rI � classmethodrO r/ r/ r/ r0 r7 > s r7 r8 �bool)r: r? c C s t t�d| ��S )Nz ^__.+?__$)rT r* r+ )r: r/ r/ r0 �name_is_dunderk s rU r r r9 )r> �keyrJ r? c C s || j �di �|< d S �NZ sqlalchemy��metadata� setdefault)r> rV rJ r/ r/ r0 �_set_info_metadatao s r[ z Optional[Any])r> rV r? c C s | j �di ��|d �S rW )rY �get)r> rV r/ r/ r0 �_get_info_metadatas s r] c C s0 | j r,| j D ] }t||�}|d k r | S q d S r@ )�mror] )r> rV �baserY r/ r/ r0 �_get_info_mro_metadataw s r` )r> r? c C s | j �di � d S rW rX �r> r/ r/ r0 �establish_as_sqlalchemy� s rb c C s t | dd� d S �N�is_baseT�r[ ra r/ r/ r0 � set_is_base� s rf c C s t | d�}|dkS rc �r] �r> rd r/ r/ r0 � get_is_base� s ri c C s t | d�}|dkS rc )r` rh r/ r/ r0 �has_declarative_base� s rj c C s t | dd� d S �NZ has_tableTre ra r/ r/ r0 � set_has_table� s rl c C s t | d�}|dkS rk rg rh r/ r/ r0 � get_has_table� s rm r z#Optional[List[SQLAlchemyAttribute]])r> rK r? c C sJ t | d�}|d krd S g }|D ]&}t�| ||�}|�| � |�|� q |S )N�mapped_attributes)r] r7 rO rI �append)r> rK rn � attributesrJ �attrr/ r/ r0 �get_mapped_attributes� s � rr r r )�typ_�optionsr? c C s t rt| |�S t| �S d S r@ )�mypy_14�_mypy_format_type)rs rt r/ r/ r0 r � s r zList[SQLAlchemyAttribute])r> rp r? c C s t | ddd� |D �� d S )Nrn c S s g | ] }|� � �qS r/ )rF )r- � attributer/ r/ r0 r1 � s z)set_mapped_attributes.<locals>.<listcomp>re )r> rp r/ r/ r0 �set_mapped_attributes� s �rx r )rK �msg�ctxr? c C s d| }| � ||�S )Nz[SQLAlchemy Mypy plugin] %s)�fail)rK ry rz r/ r/ r0 r{ � s r{ z.Union[ClassDefContext, DynamicClassDefContext])rz �module� symbol_name�asnamer? c C s8 | j j| j j j}||kr4| j j| j| }|||< d S r@ )rK �modulesZ cur_mod_id�names)rz r| r} r~ �module_globalsZ lookup_symr/ r/ r0 � add_global� s �r� .)� expr_typesr z#Optional[Union[CallExpr, NameExpr]])�callexprr: r� r? c C s d S r@ r/ �r� r: r� r/ r/ r0 �get_callexpr_kwarg� s r� z!Tuple[TypingType[_TArgType], ...]zOptional[_TArgType]c C s d S r@ r/ r� r/ r/ r0 r� � s z%Optional[Tuple[TypingType[Any], ...]]c C sT z| j �|�}W n tk r& Y d S X | j| }t||d k rB|nttf�rP|S d S r@ )� arg_names�index� ValueError�argsrH r r )r� r: r� Zarg_idx�kwargr/ r/ r0 r� � s �zIterable[Statement]zIterator[Statement])�stmtsr? c c sR | D ]H}t |t�rFt |jd t�rF|jd jdkrF|jd jE d H q|V qd S )Nr ztyping.TYPE_CHECKING)rH r �exprr �fullname�body)r� �stmtr/ r/ r0 �flatten_typechecking� s ���r� r z#Optional[Union[Instance, TypeInfo]])�calleer? c C s� t | ttf�r�t | jt�rP| jjrLt | jjt�rLt| jjj�}t |t �rL|S d S t | jt �rxt| jj �}t |t �r�|S nt | jt �r�| jS d S r@ ) rH r r �noder rA r# r$ �ret_typer% r �targetr )r� r� Z target_typer/ r/ r0 �type_for_callee s r� )rK r= r? c s� t |t�s|S |jdkr>t� t� fdd�|jD �t� g ��S � �|j|�}|dk r�t |t�r�t |j t �r�|j }t |� fdd�|jD ��S |S dS )z�Take the UnboundType that we seem to get as the ret_type from a FuncDef and convert it into an Instance/TypeInfo kind of structure that seems to work as the left-hand type of an AssignmentStatement. r c s g | ]}t � |��qS r/ )�unbound_to_instance)r- Ztyp_arg�rK r/ r0 r1 + s z'unbound_to_instance.<locals>.<listcomp>Nc s$ g | ] }t |t�r t� |�n|�qS r/ )rH r( r� )r- �argr� r/ r0 r1 ; s �� ) rH r( r: r� r) r� r& �lookup_qualifiedr r� r r% )rK r= r� Z bound_typer/ r� r0 r� s4 ����� � �� r� r zOptional[TypeInfo])rN rK r? c C sD | j tkr>|�| j| �}|d kr$d S |r4t|jt�s8t�|jS | j S r@ )r> r r� r: rH r� r rD )rN rK �symr/ r/ r0 � info_for_clsH s r� zUnion[str, JsonDict])r= r? c C s\ z | � � W S tk r Y nX t| d�rBtdd� | jD ��| _nt| d�rT| �� } | � � S )Nr� c s s$ | ] }t |d �r|�� n|V qdS )�resolve_string_annotationN)�hasattrr� )r- �ar/ r/ r0 � <genexpr>[ s �� z!serialize_type.<locals>.<genexpr>r� )rF � Exceptionr� �tupler� r� )r= r/ r/ r0 rE U s � rE )P� __future__r r* �typingr r r r r r r r Z TypingTyper r Zmypyr Z mypy.messagesr rv Z mypy.nodesr r r r r r r r r r r r r r Z mypy.optionsr Z mypy.pluginr r r Zmypy.plugins.commonr! Z mypy.typeopsr" Z mypy.typesr# r$ r% r& r' r( r) r� � __version__�splitZ_versru r5 r7 rU r[ r] r` rb rf ri rj rl rm rr rx r{ r� r� r� r� r� r� rE r/ r/ r/ r0 �<module> s� �- � � 2