NWc@@s|ddlmZddlmZmZddlmZddlmZddlmZddlm Z dd lm Z dd l m Z m Z dd l mZmZyeWn!ek rdd lmZnXd ejfdYZee ZdefdYZdefdYZdefdYZdefdYZdZdZdZdZdZdS(i(tabsolute_importi(terrortmessage(t ExprNodes(tNodes(tBuiltin(t PyrexTypesi(tUtils(tpy_object_typetunspecified_type(tCythonTransformt EnvTransform(treducet TypedExprNodecB@seZgZddZRS(cC@s tt|j|d|dS(Nttype(tsuperR t__init__(tselfRtpos((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyRsN(t__name__t __module__tsubexprstNoneR(((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyR stMarkParallelAssignmentscB@seZeZeZdZddZdZdZ dZ dZ dZ dZ dZd Zd Zd Zd Zd ZdZdZdZRS(cC@s#g|_tt|j|dS(N(tparallel_block_stackRRR(Rtcontext((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyR%s c C@sOt|tjtjfr|jdkr.dS|jrK|jd}|jj |j}|r|\}}|r|r||kr||f}t |j d|qn |j }||f|j|j<|j j |qKnmt|tjrKxXt|jD]D\} } | s| jr%d} n|j| } |j| | qWndS(NisMReduction operator '%s' is inconsistent with previous reduction operator '%s'(t isinstanceRtNameNodeRt PyArgDeclNodetentryRRt assignmentstgetRRtassigned_nodestappendt SequenceNodet enumeratetargst is_starredtinferable_item_nodetmark_assignment( Rtlhstrhst inplace_opt parallel_nodetprevious_assignmentRtprevious_inplace_optttitargt item_node((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyR'*s0         cC@s*|j|j|jj|j||S(N(R'R(t with_nodet enter_callt visitchildren(Rtnode((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyt"visit_WithTargetAssignmentStatNodeQs cC@s'|j|j|j|j||S(N(R'R(R)R4(RR5((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_SingleAssignmentNodeVs cC@s8x$|jD]}|j||jq W|j||S(N(tlhs_listR'R)R4(RR5R(((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_CascadedAssignmentNode[s cC@s0|j|j|j|j|j||S(N(R'R(tcreate_binop_nodetoperatorR4(RR5((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_InPlaceAssignmentNodeas c C@st}|jj}|j}t|tjr|j}|jdkr|j r|j j |j }| sv|jr~|j dkrt|jdkr|jd}q{|j dkr{t|jdkr{|jrxt|jdkrx|jd}|j ru|j|j }|jrr|j|jdtj|jdddtj|jd}|jd}qrquqxq{q~qnt|tjrp|j}|jdkrp|j rp|j j |j }| s|jrm|j dkrjt}x%|jd D]} |j|| qWt|jdkrg|j|tj|jd |jd|jdqgqjqmqpn|s|j|tj|jd |d tj|jdddtjn|j||S(NtreversediiR#itvaluetPY_SSIZE_T_MAXRtrangetxranget+tbasetindex(srangesxrange(tFalsetiteratortsequencettargetRRtSimpleCallNodetfunctionRRtis_namet current_envtlookuptnamet is_builtintlenR$tis_sequence_constructort infer_typetis_builtin_typeR'tIntNodeRRtc_py_ssize_t_typetTruet binop_nodet IndexNodeR4( RR5t is_specialRGRHRJRRFt iterator_typeR0((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_ForInStatNodefs\   $$      "      cC@sg|j|j|j|jdk rV|j|jtj|jd|j|jn|j||S(NRB( R'RHtbound1tstepRRRWRR4(RR5((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_ForFromStatNodes   cC@s|j||S(N(R4(RR5((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_WhileStatNodes cC@s6|jdk r%|j|jtn|j||S(N(RHRR't object_exprR4(RR5((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_ExceptClauseNodes cC@sdS(N((RR5((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_FromCImportStatNodescC@sJx6|jD]+\}}|dkr |j|tq q W|j||S(Nt*(titemsR'R`R4(RR5RNRH((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_FromImportStatNodes   cC@sp|jr.|j|jttj|jn|jr\|j|jttj|jntj |||S(N( tstar_argR'R Rt tuple_typeRt starstar_argt dict_typeR tvisit_FuncDefNode(RR5((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyt visit_DefNodes  cC@s5x!|jD]}|j||q W|j||S(N(R$R'R4(RR5R0((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_DelStatNodes cC@s|jr|jd|_n d|_t}|jrt|jsIt|_q|jjp_|jj |_|jj}nt|_|jo|jj}|jj||pt|jdk}|j r|r|j rt |j dt|_ n|jr^|j }dddg|_ |j |||_ |jj|jrx|j|j|_qxn|j ||jjt|_ |S(NiisOnly prange() may be nestedtbodyRHR$(RtparentRREt is_prangeRVt is_parallelR!RPtparallel_errorsRRt child_attrsR4tpopt else_clausetvisit(RR5tnestedRr((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_ParallelStatNodes:                 cC@s |jrt|jdn|S(Ns&Yield not allowed in parallel sections(RRR(RR5((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_YieldExprNodes cC@st|j|_|S(N(tboolRt in_parallel(RR5((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_ReturnStatNodesN(RRREtin_loopRqRRR'R6R7R9R<R[R^R_RaRbReRkRlRwRxR{(((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyRs&  '     9      , tMarkOverflowingArithmeticcB@seZeZdZdZdZdZdZdZ dZ eZ eZ eZ eZdZdZd ZRS( cC@s+g|_|j|_tt|j|S(N(t env_stacktscopetenvRR}t__call__(Rtroot((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyR s  cC@s-t|j|_}|j|||_|S(N(REtmight_overflowR4(RR5tsaved((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_safe_nodes  cC@s|j||S(N(R4(RR5((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_neutral_nodes cC@s-t|j|_}|j|||_|S(N(RVRR4(RR5R((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_dangerous_nodes  cC@sB|jj|j|j|_|j||jj|_|S(N(R~R!Rt local_scopeRRs(RR5((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyRj"s   cC@s@|jr<|jp$|jj|j}|r<t|_q<n|S(N(RRRRMRNRV(RR5R((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_NameNode)s  cC@s-|jdkr|j|S|j|SdS(Ns&|^(R;RR(RR5((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_BinopNode0s cC@smt|tjrit|tjritj|jri|jpQ|jj |j }|rit |_ qindS(N( RRRTRRt long_literalR>RRRMRNRVR(RR(R)R((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytvisit_assignment>s cC@s'|j|j|j|j||S(N(RR(R)R4(RR5((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyR7Fs cC@s8x$|jD]}|j||jq W|j||S(N(R8RR)R4(RR5R(((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyR9Ks (RRRERRRRRRjRRtvisit_UnopNodetvisit_UnaryMinusNodeR<t visit_NodeRR7R9(((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyR}s         tPyObjectTypeInferercB@seZdZdZRS(s0 If it's not declared, it's a PyObject. cC@s?x8|jjD]'\}}|jtkrt|_qqWdS(sY Given a dict of entries, map all unspecified types to a specified type. N(tentriesRdRR R(RRRNR((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyt infer_typesUs(RRt__doc__R(((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyRQstSimpleAssignmentTypeInferercB@s eZdZdZdZRS(s Very basic type inference. Note: in order to support cross-closure type inference, this must be applies to nested scopes in top-down order. cC@s-||_x|jD]}||_qWdS(N(Rt all_entries(RRt entry_typete((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytset_entry_typeds c@sjd}jd}|tkr/t nU|dkrDt n@x9jjD](}|jtkrT j |t qTqTWdSt }t iixjj D]\}}x[|j D]P}|j}|||j|j qj|j qW fd fdfd} fdt fd} x)tr| |s| |sPqqqWt xjjD]}|jtk rqnt } j|j rg|j D]}|j^q@}|rt|r ||j|j} j|qn j || qW fd}x |rqW|r x1D]&}t|jd |j|jfqWndS( NRsinfer_types.verbosec@s_g|jD]}|j^q }|s.t}n$|j}||j|j}||_dS(N(tcf_statet inferred_typeRRRR(R5tassmtttypest node_typeR(Rt spanning_type(s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytinfer_name_node_types  c@sZg|jD]}|jdk r |j^q }|s8dS|j}||j|jS(N(RRRRRR(R5RRR(RR(s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytinfer_name_node_type_partials  c@st}xo|D]g}|}j|rx|D]}|q:W|j}j||j|qqW|j||S(N(tsett issupersetRRtaddtdifference_update(RtresolvedRtdepsR5R(tassmt_to_namestassmts_resolvedt dependenciesR(s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytresolve_assignmentss      c@sxg}xA|D]5}|}|dkr3tS|j||fqWx|D]\}}||_qQW|jtS(N(RRER!RRRRV(Rt partial_typesR5t partial_type(RR(s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyt partial_infers    c@sft}xI|D]A}|kr(qn|r|j|j|qqWj||S(N(RRtupdate(RtpartialsR(Rtpartial_assmtsR(s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytresolve_partials      c@st}xsD]k}g|jD]}|j^q}||j|j}||jkr j||t}q q W|S(N(REtcf_assignmentsRRRRRRRV(tdirtyRRRtnew_type(tinferredRRR(s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytreinfers  s inferred '%s' to be of type '%s'(t directivesRVtaggressive_spanning_typeRtsafe_spanning_typeRtvaluesRR RRRRdRttype_dependenciesRRRRtallRRRRRN(RRtenabledtverboseRRRNRtnamestassmtsR5RRRRR(( RRRRRRRRRRRs@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyRisl                      (RRRRR(((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyR]s cC@sr||kr|}n4|tjks3|tjkr7tStj||}|tjtjtjfkrntjS|S(N(Rt c_bint_typeRRt c_double_typet c_float_typeRt float_type(ttype1ttype2t result_type((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytfind_spanning_types  cC@se|jr|j}n|jr*|j}n|jrC|j|n|jratj|j }n|S(N( t is_referencet ref_base_typetis_consttconst_base_typet is_cpp_classtcheck_nullary_constructortis_arrayRt c_ptr_typet base_type(RR((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyt simply_types      cC@sttt||S(N(RR R(RRRR((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyRscC@sttt||}|jr;|jdkr4tS|Sn|tjkrN|S|tjkra|S|j rn|S|j r{|S|j r|S|j s|j r| r|S|j| r|j r|StS(Ntstr(RR Rt is_pyobjectRNRRRRtis_ptrRt is_structtis_inttis_enumtcan_coerce_to_pyobjecttis_error(RRRRR((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyR s*     cC@stS(N(R(((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pytget_type_inferer3sN( t __future__RtErrorsRRtRRRRRRR tVisitorR R R t NameErrort functoolstExprNodeR R`RR}tobjectRRRRRRR(((s@/bar/jli/Chip-seq/script/cython/Cython/Compiler/TypeInference.pyts.  K    )