ó ’›V]c@s|dZddlZddlmZmZddlmZddlmZddl m Z m Z ddl m Z mZmZddl mZdd lmZdd lmZdd lmZdd lmZd „Zdd„Zd„Zd„Zeƒd„ƒZd„Zd„Zeƒd„ƒZ d„Z!d„Z"d„Z#d„Z$d„Z%d„Z&d„Z'd„Z(d„Z)dS(s  PEP 0484 ( https://www.python.org/dev/peps/pep-0484/ ) describes type hints through function annotations. There is a strong suggestion in this document that only the type of type hinting defined in PEP0484 should be allowed as annotations in future python versions. iÿÿÿÿN(tParserSyntaxErrortparse(t force_unicode(tevaluator_method_cache(t ContextSett NO_CONTEXTS(tTypeVartLazyGenericClasstAbstractAnnotatedClass(t GenericClass(t is_string(tbuiltin_from_name(tdebug(t parser_utilscCs|j|ƒ}t|ƒdkr<tjd||fƒ|St|ƒd}t|ƒr‰t||jƒƒ}|dk r‰|j|ƒSn|S(s¨ Evaluates an annotation node. This means that it evaluates the part of `int` here: foo: int = 3 Also checks for forward references (strings) is8Eval'ed typing index %s should lead to 1 object, not %siN( t eval_nodetlenR twarningtlistR t_get_forward_reference_nodetget_safe_valuetNone(tcontextt annotationt context_settevaled_contexttresult((s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyteval_annotations    csbt||ƒ}|dkrtS|j|ƒ}ˆdk r^|j‡fd†ƒjˆƒ}n|S(Ncs+|jdko*tt|jƒƒƒˆkS(Nutuple(t array_typeRRt py__iter__(R(tindex(s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyt7s(RRRRtfiltertpy__simple_getitem__(RtstringRtnodeR((Rs?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyt_evaluate_annotation_string/s   cCs‹y+|jjjt|ƒdddtƒ}Wn#tk rPtjd|ƒdSX|j j ƒ}t j ||j dƒ|j |_|SdS(Nt start_symbolt eval_inputterror_recoverysAnnotation not parsed: %si(t evaluatortgrammarRRtFalseRR RRt tree_nodet get_root_nodeR tmovetend_postparent(RR!tnew_nodetmodule((s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyR=s     cCsÍyt|dtƒjd}Wn#tk rBtjd|ƒgSX|jdkre|jƒjƒgSg}y |j}Wnt k rŒgSXx9|D]1}|jdkr”|j |jƒjƒƒq”q”W|S(s¦ Split decl_text on commas, but group generic expressions together. For example, given "foo, Bar[baz, biz]" we return ['foo', 'Bar[baz, biz]']. R&is*Comment annotation is not valid Python: %stnamet atom_exprtpower(R1R2R3( RR)tchildrenRR Rttypetget_codetstriptAttributeErrortappend(t decl_textR"tparamsR4tchild((s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyt _split_comment_param_declarationNs      c CsÅt||ƒ}|j}|jdkrbt|dƒ}tg|D]}t|d|fƒ^q@ƒS|jdkrÁt|dƒ}tg|D]0}t|dtt|dƒgƒ|fƒ^qŠƒS|S(Nittupletgenericsitdicttstr(t _infer_paramR't star_countR RR (texecution_contexttparamtcontextsR'ttuple_tctdct((s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyt infer_paramms &;c Csm|j}|dkrQg|jjD]}|jdkr"|^q"}|jj}tj|ƒ}|dkrntStj d|ƒ}|sŠtSt |j dƒƒ}|j |ƒ} t |ƒt |ƒkrÜtjd||ƒnddlm} t|j| ƒr| dkrtS| d8} n| t |ƒkr1tS|| } t|jjƒ| ƒS|jjƒ} t| |ƒS( sJ Infers the type of a function parameter, using type annotations. REs^#\s*type:\s*\(([^#]*)\)\s*->is&Comments length != Params length %s %siÿÿÿÿ(tInstanceArgumentsiN(RRR.R4R5R tget_following_comment_same_lineRtretmatchR=tgroupRRR Rtjedi.evaluate.context.instanceRKt isinstancetvar_argsR#tfunction_contexttget_default_param_contextR( RDRERR<t all_paramsR"tcommentRNtparams_commentsRRKt param_commentR((s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyRBs<         cCsei}x<|jƒD].}|j}|dk r|||jj\s*([^#]*)ic3sB|]8}t|ttfƒr-|jˆƒn t|hƒVqdS(N(RQRRtdefine_genericsR(t.0tann(t type_var_dict(s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pys äsN(R`R*tgetRR RLRRMRNR#RSRTROR7texecute_annotationRtfind_unknown_type_varsRtinfer_type_vars_for_executionRt from_sets( tfunction_execution_contexttall_annotationsRR"RVRNRtunknown_type_varstannotation_contexts((Rds?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pytinfer_return_typesÁs0       c Cs |jjƒ}i}|jƒ\}}xÛ|D]Ó}y||j}Wntk r[q.nXt||ƒ}|r.|j|ƒ} |jj} |j dt ƒ} | dkr¹| j ƒ} n| dkr×| j dƒ} nx'| D]} t |t| | ƒƒqÞWq.q.W|S(sM Some functions use type vars that are not defined by the class, but rather only defined in the function. See for example `iter`. In those cases we want to: 1. Search for undefined type vars. 2. Infer type vars with the execution state we have. 3. Return the union of all type vars that have been found. t use_hintsiit _dict_values(RSRTtget_executed_params_and_issuest string_nametKeyErrorRgRt _param_nodeRCtinferR)tmerge_types_of_iteratet try_merget_merge_type_var_dictst_infer_type_vars( RDtannotation_dictRtannotation_variable_resultstexecuted_paramst_texecuted_paramtannotation_nodetannotation_variablestannotation_context_setRCtactual_context_setRc((s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyRhês,       cCsSxL|jƒD]>\}}y||c|O Iterator[_T]: ... This functions would generate `int` for `_T` in this case, because it unpacks the `Iterable`. tIterableitMappingii( RQRt py__class__t py__name__Rt get_genericsRxRyRvRtget_mapping_item_contextsR8( tannotation_contextRRdR1tgiventnested_annotation_contextRtmethodt key_contextstvalue_contexts((s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyRysH         cCst|||jd|ƒS(Ni(t_find_type_from_comment_hintR4(RR"R1((s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pytfind_type_from_comment_hint_forTscCsOt|jdjƒdks(tdƒ‚|jdjd}t||||ƒS(Niis1Can only be here when children[1] is 'foo() as f'i(RR4tAssertionErrorR“(RR"R1tvarlist((s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyt find_type_from_comment_hint_withXs cCst|||jd|ƒS(Ni(R“R4(RR"R1((s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyt"find_type_from_comment_hint_assign_scCsËd}|jdkred}xG|jD]5}||kr;Pn|jdkrPq%n|d7}q%WgSntj|ƒ}|dkr„gStjd|ƒ}|dkr¦gSt||jdƒj ƒ|ƒj ƒS( Nttestlist_star_exprtexprlistttestlistitoperatoris^#\s*type:\s*([^#]*)(R™RšR›( RR5R4R RLRMRNR#ROR7Rf(RR"R–R1RR<RVRN((s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyR“cs$   cs)‡‡‡fd†‰g‰ˆ|ƒˆS(Ncs»|jdkrl|jd}|jdkr·|jddkr·x(t|jdƒD]}ˆ|ƒqRWq·nKˆj|ƒ}x9|D]1}t|tƒr‚|ˆkr‚ˆj|ƒq‚q‚WdS( NR2R3iÿÿÿÿttrailerit[i(R2R3(R5R4t_unpack_subscriptlistRRQRR9(R"Rtsubscript_nodet type_var_setttype_var(t check_nodeRtfound(s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyR£}s " ((RR"((R£RR¤s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyRg|s  ccse|jdkrJxO|jddd…D]}|jdkr&|Vq&q&Wn|jdkra|VndS(Nt subscriptlistit subscript(R5R4(R¥R¦((s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyRŸŽs (*t__doc__RMtparsoRRtjedi._compatibilityRtjedi.evaluate.cacheRtjedi.evaluate.base_contextRRtjedi.evaluate.gradual.typingRRRR tjedi.evaluate.helpersR tjedi.evaluate.compiledR tjediR R RRR#RR=RJRBR`RnRhRxRyR”R—R˜R“RgRŸ(((s?lib/python2.7/site-packages/jedi/evaluate/gradual/annotation.pyts8      3 ) (  :