U dp@@s$ddlZddlZddlZddlZddlZddlZddlZddlmZm Z m Z m Z m Z m Z mZmZmZmZmZmZmZmZmZddlmZmZmZddlmZddlmZmZmZm Z m!Z!m"Z"m#Z#m$Z$m%Z%m&Z&m'Z'm(Z(m)Z)m*Z*m+Z+m,Z,m-Z-m.Z.m/Z/ddl0m1Z1dd l2m3Z3dd l4m5Z5ej6j78r>dd lm9Z9m:Z:dd lm;Z;dd lZ?Gddde>Z@ddZAddZBddZCddZDddZEddZFddZGd d!ZHd"d#ZIe5ejJd$d%d&ZKd'd(ZLd)d*ZMd+d,ZNd-d.d/d0d1d2d3d4d5d6d7d8d9d:d;dd?d@dAddddddd!d#d*d,gZOdS)BN)ListTupleis_tupleis_listDictis_dictOptional is_optional_qualified_nameAnyFuture is_future is_ignored_fnUnionis_union)BroadcastingList1BroadcastingList2BroadcastingList3)_get_script_class) TensorType TupleType FloatTypeIntType ComplexTypeListType StringTypeDictTypeBoolType OptionalType InterfaceTypeAnyTypeNoneType DeviceObjType StreamObjType FutureTypeEnumType UnionType NumberType)dedent)get_source_lines_and_file)Type)RRefis_rref)RRefType)OpOverloadPacketc@seZdZddZddZdS)ModulecCs||_||_dSN)namemembers)selfr3r4r69/tmp/pip-unpacked-wheel-ua33x9lu/torch/jit/annotations.py__init__szModule.__init__cCs>z |j|WStk r8td|jd|dYnXdS)NzModule z has no member called )r4KeyError RuntimeErrorr3r5r3r6r6r7 __getattr__!s zModule.__getattr__N)__name__ __module__ __qualname__r8r<r6r6r6r7r1sr1c @sLeZdZeddejiejeddeieeee e e d Z ddZ dd Zd S) EvalEnvtorchTensortypingr) rArBrCrrrr rr cCs ||_tjjrt|jd<dS)Nr-)rcbrA distributedrpc is_availabler-env)r5rDr6r6r7r85s zEvalEnv.__init__cCs4||jkr|j|S|jdk r(||Stt|dSr2)rHrDgetattrbuiltinsr;r6r6r7 __getitem__:s     zEvalEnv.__getitem__N)r=r>r?r1rArBrrrr rr rHr8rKr6r6r6r7r@(s  r@c Cst|trt|j|}n t||}|dk rJ|rJ|\}}|dd}||f}|dkrd\}}z"tdt|d}t|}Wntk rYnX|dk rt |||}|S)Nr)NNr) isinstancer0try_real_annotationsopr*joinr+ get_type_line TypeErrorparse_type_line) fnrDlocZ is_method signatureZ param_types return_type type_linesourcer6r6r7 get_signatureAs"      rZcCst|pt|Sr2)inspect isfunctionismethodZ the_callabler6r6r7is_function_or_method^sr_cCs8t|st|dr|j}t|r0t|jdk SdSdS)N__call__F)r_hasattrr`r[getfullargspecvarargsr^r6r6r7 is_varargds rdcCsnt|tr|j}t|s2t|dr2t|jr2|j}t|rXt|rLt|}t |j Sddt |DSdS)Nr`cSsg|] }t|qSr6)str).0ir6r6r7 sz#get_param_names..) rMr0rOr_rar`rr[unwraprbargsrange)rTZn_argsr6r6r7get_param_namesps   rlc Csztdt|d}Wnttfk r4YdSX|dkrBdSt|}t|jdkrt |jdtj rt j j |d|jdjdt|jdkst |jdtjst j j |ddS)NrLrrzCannot instantiate class 'z' in a script functionz$Expected a single top-level function)r*rPr+rRIOErrorastparselenbodyrMZClassDefrAjitZfrontendZ FrontendErrorr3Z FunctionDef)rTrUrYZpy_astr6r6r7check_fns   rsc st|\}}zt|it|}Wn0ttfk rP}ztd|W5d}~XYnXt|tsb|f}zt|it|}Wn0ttfk r}ztd|W5d}~XYnXfdd|D}|t|fS)zParses a type annotation specified as a comment. Example inputs: # type: (Tensor, torch.Tensor) -> Tuple[Tensor] # type: (Tensor, Tuple[Tensor, Tensor]) -> Tensor z6Failed to parse the argument list of a type annotationNz4Failed to parse the return type of a type annotationcsg|]}t|qSr6) ann_to_typerfannrUr6r7rhsz#parse_type_line..) split_type_lineevalr@ NameError SyntaxErrorr:rMtuplert) rXrDrUZ arg_ann_strZ ret_ann_strZarg_anneZret_ann arg_typesr6rwr7rSs  rSc snd|d}ddt|D}ttfdd|}tdttfdd|}t|d krtd ttfd d|}t|d krtd t|d d d dddSt|dkr|d d Sd}g}|D]4\}}d|kr||f}qqވ|kr| |q|dkr>tdd dd|Ddfdd}t ||} d | } |d d| S)zETries to find the line containing a comment with the type annotation.# type: cSsg|]\}}||fqSr6r6)rfline_numliner6r6r7rhsz!get_type_line..cs |dkSNrr6r type_commentr6r7zget_type_line..z!# type:\ ignore(\[[a-zA-Z-]+\])?$cs|d Srsearchr) type_patternr6r7rrrz&#[ ]*type[ ]*(?!: ignore(\[.*\])?$):cs|dSrrr)wrong_type_patternr6r7rrzThe annotation prefix in line z* is probably invalid. It must be '# type:'zl See PEP 484 (https://www.python.org/dev/peps/pep-0484/#suggested-syntax-for-python-2-7-and-straddling-code)z for examplesNrz# type: (...) -> z_Return type line '# type: (...) -> ...' not found on multiline type annotation for type lines: cSsg|] }|dqS)rr6)rfrr6r6r7rhszl (See PEP 484 https://www.python.org/dev/peps/pep-0484/#suggested-syntax-for-python-2-7-and-straddling-code)cs"||td}|Sr2)findrpstrip)rZ item_typerr6r7get_parameter_typesz)get_type_line..get_parameter_typez, z...)split enumeratelistfilterrecompilerpr:rerappendrPmapreplace) rYlinesZ type_linesZwrong_type_linesZ return_lineZparameter_type_linesrrrtypesZparameter_typesr6)rrrr7rQsT             rQcCsZtd}z|d}Wntk r4tddYnX|||||ddfS)aSplits the comment with the type annotation into parts for argument and return types. For example, for an input of: # type: (Tensor, torch.Tensor) -> Tuple[Tensor, Tensor] This function will return: ("(Tensor, torch.Tensor)", "Tuple[Tensor, Tensor]") rz->z3Syntax error in type annotation (cound't find `->`)Nr)rpindex ValueErrorr:r)rXZ start_offsetZ arrow_posr6r6r7rxs rxcszt|Wntk r$YdSXjgddjD}tfdd|Dr\dSfddjD}tj}||fS)z:Tries to use the Py3.5+ annotation syntax to get the type.NcSsg|] }|jqSr6) annotationrfpr6r6r7rhsz(try_real_annotations..c3s|]}|jkVqdSr2)emptyru)sigr6r7 sz'try_real_annotations..csg|]}t|jqSr6)rtrrrwr6r7rh s)r[rVrreturn_annotation parametersvaluesallrt)rTrUZ all_annotsr~rWr6)rUrr7rNs  rN)r}csJt|}|std|jddd|D}fdd|D}tj|S)NzNo enum values defined for: ''cSsh|]}t|jqSr6)typevalue)rfvr6r6r7 sz&get_enum_value_type..csg|]}t|qSr6try_ann_to_type)rftrwr6r7rhsz'get_enum_value_type..)rr __class__rA_CZunify_type_list)r}rUZ enum_valuesrZir_typesr6rwr7get_enum_value_types rc CsPt|tjrdSt|tjtjtjtjtjtjtj tj tj f rLt ddSdS)NTzTorchScript will treat type annotations of Tensor dtype-specific subtypes as if they are normal Tensors. dtype constraints are not enforced in compilation either.F) issubclassrArBZ LongTensorZ DoubleTensorZ FloatTensorZ IntTensorZ ShortTensorZ HalfTensorZ CharTensorZ ByteTensorZ BoolTensorwarningswarn)rvr6r6r7 is_tensor!s  rcs|tjjkrtS|dkr$tSt|r>t|r>tSt |rt |j dkrj|j ddkrjt gSt fdd|j DSt |rt|j d}|rt|St|r(t|j d}t|j d}|dkrtd|j dd|dkrtd|j ddt||St|rt|j dtdrT|j d}n |j d}t|}d}|st|t|t|t|St|r&t|j ttttgkrt Sg}|j D]T} | dkr|!tt| } d}| st|t|t| |!| qt"|St#j$j%&rRt'|rRt(t|j dSt)|rpt*t|j dS|tkrt+S|tkrt,S|tkrt-S|t.krt/S|t0krt1S|t2krt3S|tdkrtSt|rt4|d rt5|j6S|t#j7kr(t8S|t#j9kr|dkrt#j?j@A|} | B} ntC|} tD| tE|tF|St|rt>|} | dk r| St#jGH|rt#j?j@A|Sd d }t#jIJ||S) Nrrr6csg|]}t|qSr6r)rfarwr6r7rh<sz#try_ann_to_type..Unknown type annotation: '' at zQUnsupported annotation {} could not be resolved because {} could not be resolved.__torch_script_interface__cSsdSr2r6)keyr6r6r7fake_rcbsz!try_ann_to_type..fake_rcb)Kr[ SignaturerrZ getInferredr#getisclassrrrp__args__rrrrrr highlightrr rrAssertionErrorformatreprr rsetintfloatcomplexr)rr(rArErFrGr.r/rr&rrrrerboolrr r"rar!rZdevicer$ZStreamr%ZdtypeenumEnumrrr_scriptZ_recursive_compile_classZqualified_namer r'rr _jit_internalZcan_compile_classrZ_resolve_type_from_object)rvrUZ elem_typerrZ containedZ valid_typemsginnerrZ maybe_typeZscripted_classr3Zmaybe_script_classrr6rwr7r1s                          rcCs2t||}|dk r|Std|d|dS)Nrr)rrr)rvrUZthe_typer6r6r7rts rtr rrrrrrrrrr rrrrrrrrrr")Prnrr[rrJrArrrrrrrrr r r r r rrrrrrr_staterZtorch._Crrrrrrrrrr r!r"r#r$r%r&r'r(r)textwrapr*Ztorch._sourcesr+rCr,rErFrGr-r.r/Z torch._opsr0objectr1r@rZr_rdrlrsrSrQrxrNrrrrrt__all__r6r6r6r7sD T       >`