o gK@sddlmZddlmZddlmZddlmZddlmZddlm Z ddlm Z ddlm Z dd lm Z dd lm Z dd lmZdd lmZdd lmZddlmZddlmZddlmZddlmZddlmZddlmZddlmZddlmZddlmZddlmZddlmZddlmZddl m!Z!ddl m"Z"dGd(d)Z#dHd*d+Z$dHd,d-Z%dGd.d/Z&dHd0d1Z' 2dIdJd5d6Z( 2 2dKdLd;d<Z)dMd>d?Z*dNd@dAZ+dOdEdFZ,d2S)P) annotations)Optional)Sequence)map_instance_to_supertype)AssignmentStmt)CallExpr) Expression)FuncDef) LambdaExpr) MemberExpr)NameExpr)RefExpr)StrExpr)TypeInfo)Var)SemanticAnalyzerPluginInterface) is_subtype)AnyType) CallableType)get_proper_type)Instance)NoneType) ProperType) TypeOfAny) UnionType)names)utilapirstmtrnoderleft_hand_explicit_typeOptional[ProperType]infer_from_right_sider returncCst|}|dur dS|tjurt|||||}|S|tjur(t||||}|S|tjur6t||||}|S|tjurDt ||||}|S|tj urQt |||}|S|tj ur_t ||||}|SdSN)rtype_id_for_calleeMAPPED_infer_type_from_mappedCOLUMN_infer_type_from_decl_column RELATIONSHIP_infer_type_from_relationshipCOLUMN_PROPERTY%_infer_type_from_decl_column_propertySYNONYM_PROPERTY#infer_type_from_left_hand_type_onlyCOMPOSITE_PROPERTY(_infer_type_from_decl_composite_property)rrr r!r#type_idpython_type_for_typer5U/var/www/html/flaskapp/venv/lib/python3.10/site-packages/sqlalchemy/ext/mypy/infer.py#infer_type_from_right_hand_nameexpr(sD        r7c CsZt|jtsJ|jjd}d}t|tr#t|jtr#|j}t|g}t |jd}t |jd}d} |durQ| |durQ|durQd} |durP| t j |g}n|dus\| |dur|durd} t|trj|j}t|trt|jtr|durt|j|g}nyt|trt|jtr|jjdur|durt|jjtrt|jjj} t| trt| j} t| trt| j|g}n?t|d|jd}n4|dur| |dur|durt|d|j|durt|tg}n|durd } t|| |j||durt|||S|dur+| r$t|tsJt|tsJt||||St||||S|S) aInfer the type of mapping from a relationship. E.g.:: @reg.mapped class MyClass: # ... addresses = relationship(Address, uselist=True) order: Mapped["Order"] = relationship("Order") Will resolve in mypy as:: @reg.mapped class MyClass: # ... addresses: Mapped[List[Address]] order: Mapped["Order"] rNuselistcollection_classFTz>Expected Python collection type for collection_class parameterzOSending uselist=False and collection_class at the same time does not make sensezCan't infer scalar or collection for ORM mapped expression assigned to attribute '{}' if both 'uselist' and 'collection_class' arguments are absent from the relationship(); please specify a type annotation on the left hand side.) isinstancervaluerargsr r rrrget_callexpr_kwarg parse_bool named_typerNAMED_TYPE_BUILTINS_LISTcalleer typerrret_typefailrrformatnamer03_infer_collection_type_from_left_and_inferred_right(_infer_type_from_left_and_inferred_right) rrr r!target_cls_argr4related_object_type uselist_argcollection_cls_argtype_is_a_collectionrtcallable_ret_typemsgr5r5r6r,Ps            r,cCszt|jtsJ|jjd}d}t|tr$t|jtr$|j}t|g}nd}|dur0t|||S|dur;t ||||S|S)z+Infer the type of mapping from a Composite.rN) r:r;rr<r r rrr0rH)rrr r!rIr4rJr5r5r6r2s$   r2cCs&t|jtsJt|}t|||S)zVInfer the type of mapping from a right side expression that returns Mapped. )r:r;rrtype_for_calleer0)rrr r!r#the_mapped_typer5r5r6r(s  r(cCst|jtsJ|jjr+|jjd}t|tr+t|j}|tjur+t|||||dSt|jtrDt|jj}|tj urDt||||St |||S)zInfer the type of mapping from a ColumnProperty. This includes mappings against ``column_property()`` as well as the ``deferred()`` function. r)right_hand_expression) r:r;rr<rr&rAr)r*QUERY_EXPRESSIONr0)rrr r!first_prop_argr3r5r5r6r.6s2       r.NrSOptional[CallExpr]c Cst|tsJd}|durt|jtsdS|j}|jddD]9}t|tr5t|jtr4|j}|j}n%qt|ttfrIt|j t rH|}d}nqt|t frPqt|t frWqJ|dur_dSt|j t rt |j jt jrt||j |}|durt||||St|tgSt|||S)aInfer the type of mapping from a Column. E.g.:: @reg.mapped class MyClass: # ... a = Column(Integer) b = Column("b", String) c: Mapped[int] = Column(Integer) d: bool = Column(Boolean) Will resolve in MyPy as:: @reg.mapped class MyClass: # ... a: Mapped[int] b: Mapped[str] c: Mapped[int] d: Mapped[bool] Nrr5)r:rr;rr<rAr r r r rrr r mro_has_idmro TYPEENGINE#extract_python_type_from_typeenginerHrrr0) rrr r!rSrA column_arg type_argsr4r5r5r6r*gsP&       r*rr4orig_left_hand_typeorig_python_type_for_typec Csh|dur|}|dur |}t||s2|tj|g}d}t|||jt||j t||j ||S)zValidate type when a left hand annotation is present and we also could infer the right hand side:: attrname: SomeType = Column(SomeDBType) NzRLeft hand assignment '{}: {}' not compatible with ORM mapped expression of type {}) rr?rNAMED_TYPE_SQLA_MAPPEDrrDrErF format_typeoptions)rr r!r4r^r_effective_typerPr5r5r6rHs(    rHrcCsl|}|}|jrt|jd}t|jd}n|}|}t|ttfs#Jt|ttfs,Jt||||||dS)Nr)r^r_)r<rr:rrrH)rr r!r4r^r_ left_hand_argpython_type_argr5r5r6rGs"rGcCs<|durd}t|||j||tjttj gS|S)zDetermine the type based on explicit annotation only. if no annotation were present, note that we need one there to know the type. NzCan't infer type from ORM mapped expression assigned to attribute '{}'; please specify a Python type or Mapped[] on the left hand side.) rrDrErFr?rr`rr special_form)rr r!rPr5r5r6r0s r0rr]Sequence[Expression]cCs|jdkr2|r2|d}t|tr+t|jtr+|jjD]}|jdkr)t|jgSqn|tj gS| ds=Jd|| d}|durLt|jtsNJt t|g|j}t |jdS)Nzsqlalchemy.sql.sqltypes.Enumrz enum.Enumz"sqlalchemy.sql.type_api.TypeEnginez+could not extract Python type from node: %s)fullnamer:r r rrYrr?rNAMED_TYPE_BUILTINS_STRhas_baselookup_fully_qualified_or_nonerrr<)rr r] first_argbase_type_engine_sym type_enginer5r5r6r[.s2     r[) rrrrr rr!r"r#r r$r") rrrrr rr!r"r$r"r%) rrrrr rr!r"rSrVr$r")NN)rrr rr!rr4rr^r"r_r"r$r") rrr rr!rr4rr$r")rrr rr!r"r$r")rrr rr]rgr$r)- __future__rtypingrr mypy.maptyper mypy.nodesrrrr r r r r rrr mypy.pluginr mypy.subtypesr mypy.typesrrrrrrrrrrr7r,r2r(r.r*rHrGr0r[r5r5r5r6sR                             ( ' 6 h *