3 /*^<@s.ddlmZddlmZddlmZmZddlm Z ddl m Z m Z m Z Gddde ZGdd d eeZed kr*eZejdd lmZmZed kr*ej\ZZZZZdd lmZeeeZeej j!j"edj#Z$eee$Z%ddl&Z&edde%DZ%edde%DZ%ee%e$Z%e'e%dS)) DEFAULT_DEBUG) next_offset)PythonParserSinglenop_func) Python2Parser)or_check ifelsestmt tryelsestmtcsXeZdZeffdd ZddZddZddZd d Zfd d Z fd dZ Z S)Python27Parsercstt|j|i|_dS)N)superr __init__Z customized)selfZ debug_parser) __class__W/home/psgendb/BIRCHDEV/python/lib/python3.6/site-packages/uncompyle6/parsers/parse27.pyr szPython27Parser.__init__cCsdS)aL list_for ::= expr for_iter store list_iter JUMP_BACK list_comp ::= BUILD_LIST_0 list_iter lc_body ::= expr LIST_APPEND for_iter ::= GET_ITER COME_FROM FOR_ITER stmt ::= set_comp_func # Dictionary and set comprehensions were added in Python 2.7 expr ::= dict_comp dict_comp ::= LOAD_DICTCOMP MAKE_FUNCTION_0 expr GET_ITER CALL_FUNCTION_1 stmt ::= dict_comp_func dict_comp_func ::= BUILD_MAP_0 LOAD_FAST FOR_ITER store comp_iter JUMP_BACK RETURN_VALUE RETURN_LAST set_comp_func ::= BUILD_SET_0 LOAD_FAST FOR_ITER store comp_iter JUMP_BACK RETURN_VALUE RETURN_LAST comp_iter ::= comp_if_not comp_if_not ::= expr jmp_true comp_iter comp_body ::= dict_comp_body comp_body ::= set_comp_body comp_for ::= expr for_iter store comp_iter JUMP_BACK dict_comp_body ::= expr expr MAP_ADD set_comp_body ::= expr SET_ADD # See also common Python p_list_comprehension Nr)r argsrrrp_comprehension27sz Python27Parser.p_comprehension27cCsdS)a7 # If the last except is a "raise" we might not have a final COME_FROM # FIXME: need a check on this rule since this accepts try_except when # we shouldn't try_except ::= SETUP_EXCEPT suite_stmts_opt POP_BLOCK except_handler tryfinallystmt ::= SETUP_FINALLY suite_stmts_opt POP_BLOCK LOAD_CONST COME_FROM_FINALLY suite_stmts_opt END_FINALLY tryelsestmt ::= SETUP_EXCEPT suite_stmts_opt POP_BLOCK except_handler_else else_suite COME_FROM tryelsestmtl ::= SETUP_EXCEPT suite_stmts_opt POP_BLOCK except_handler_else else_suitel JUMP_BACK COME_FROM tryelsestmtl ::= SETUP_EXCEPT suite_stmts_opt POP_BLOCK except_handler_else else_suitel tryelsestmtc ::= SETUP_EXCEPT suite_stmts_opt POP_BLOCK except_handler_else else_suitec COME_FROM except_stmt ::= except_cond2 except_suite except_cond1 ::= DUP_TOP expr COMPARE_OP jmp_false POP_TOP POP_TOP POP_TOP except_cond2 ::= DUP_TOP expr COMPARE_OP jmp_false POP_TOP store POP_TOP for_block ::= l_stmts_opt JUMP_BACK Nr)r rrrrp_try277szPython27Parser.p_try27cCsdS)ab iflaststmtl ::= testexpr c_stmts _ifstmts_jump ::= c_stmts_opt JUMP_FORWARD come_froms bp_come_from ::= POP_BLOCK COME_FROM # FIXME: Common with 3.0+ jmp_false ::= POP_JUMP_IF_FALSE jmp_true ::= POP_JUMP_IF_TRUE ret_and ::= expr JUMP_IF_FALSE_OR_POP ret_expr_or_cond COME_FROM ret_or ::= expr JUMP_IF_TRUE_OR_POP ret_expr_or_cond COME_FROM if_exp_ret ::= expr POP_JUMP_IF_FALSE expr RETURN_END_IF COME_FROM ret_expr_or_cond expr_jitop ::= expr JUMP_IF_TRUE_OR_POP or ::= expr_jitop expr COME_FROM and ::= expr JUMP_IF_FALSE_OR_POP expr COME_FROM # compare_chained{1,2} is used exclusively in chained_compare compare_chained1 ::= expr DUP_TOP ROT_THREE COMPARE_OP JUMP_IF_FALSE_OR_POP compare_chained1 COME_FROM compare_chained1 ::= expr DUP_TOP ROT_THREE COMPARE_OP JUMP_IF_FALSE_OR_POP compare_chained2 COME_FROM return_lambda ::= RETURN_VALUE return_lambda ::= RETURN_VALUE_LAMBDA compare_chained2 ::= expr COMPARE_OP return_lambda compare_chained2 ::= expr COMPARE_OP return_lambda # if_exp_true are for conditions which always evaluate true # There is dead or non-optional remnants of the condition code though, # and we use that to match on to reconstruct the source more accurately. # FIXME: we should do analysis and reduce *only* if there is dead code? # right now we check that expr is "or". Any other nodes types? expr ::= if_exp_true if_exp_true ::= expr JUMP_FORWARD expr COME_FROM if_exp ::= expr jmp_false expr JUMP_FORWARD expr COME_FROM if_exp ::= expr jmp_false expr JUMP_ABSOLUTE expr Nr)r rrrrp_jump27ZszPython27Parser.p_jump27cCsdS)a) stmt ::= ifelsestmtr # assert condition assert ::= assert_expr jmp_true LOAD_ASSERT RAISE_VARARGS_1 # assert condition, expr assert2 ::= assert_expr jmp_true LOAD_ASSERT expr CALL_FUNCTION_1 RAISE_VARARGS_1 continue ::= JUMP_BACK JUMP_ABSOLUTE for_block ::= returns _come_froms with ::= expr SETUP_WITH POP_TOP suite_stmts_opt POP_BLOCK LOAD_CONST COME_FROM_WITH WITH_CLEANUP END_FINALLY withasstmt ::= expr SETUP_WITH store suite_stmts_opt POP_BLOCK LOAD_CONST COME_FROM_WITH WITH_CLEANUP END_FINALLY whilestmt ::= SETUP_LOOP testexpr returns _come_froms POP_BLOCK COME_FROM # 2.7.5 (and before to 2.7.0?) while1stmt ::= SETUP_LOOP l_stmts_opt JUMP_BACK COME_FROM while1stmt ::= SETUP_LOOP l_stmts_opt CONTINUE COME_FROM while1stmt ::= SETUP_LOOP returns COME_FROM while1elsestmt ::= SETUP_LOOP l_stmts JUMP_BACK else_suitel COME_FROM while1stmt ::= SETUP_LOOP returns bp_come_from while1stmt ::= SETUP_LOOP l_stmts_opt JUMP_BACK POP_BLOCK COME_FROM whilestmt ::= SETUP_LOOP testexpr l_stmts_opt JUMP_BACK POP_BLOCK _come_froms # Should this be JUMP_BACK+ ? # JUMP_BACK should all be to the same location whilestmt ::= SETUP_LOOP testexpr l_stmts_opt JUMP_BACK JUMP_BACK POP_BLOCK _come_froms while1elsestmt ::= SETUP_LOOP l_stmts JUMP_BACK POP_BLOCK else_suitel COME_FROM whileelsestmt ::= SETUP_LOOP testexpr l_stmts_opt JUMP_BACK POP_BLOCK else_suitel COME_FROM return_stmts ::= _stmts return_stmt return_stmts ::= return_stmt return_stmt ::= return ifstmt ::= testexpr return_stmts COME_FROM ifstmt ::= testexpr return_if_stmts COME_FROM ifelsestmt ::= testexpr c_stmts_opt JUMP_FORWARD else_suite come_froms ifelsestmtc ::= testexpr c_stmts_opt JUMP_ABSOLUTE else_suitec ifelsestmtl ::= testexpr c_stmts_opt JUMP_BACK else_suitel ifelsestmtl ::= testexpr c_stmts_opt CONTINUE else_suitel # In the future when we have ifelsestmtl checking we should add something like: # ifelsestmtl ::= testexpr c_stmts_opt JUMP_FORWARD else_suite come_froms # c_stmts ::= ifelsestmtl # "if"/"else" statement that ends in a RETURN ifelsestmtr ::= testexpr return_if_stmts COME_FROM returns # Common with 2.6 return_if_lambda ::= RETURN_END_IF_LAMBDA COME_FROM stmt ::= if_exp_lambda stmt ::= if_exp_not_lambda if_exp_lambda ::= expr jmp_false expr return_if_lambda return_stmt_lambda LAMBDA_MARKER if_exp_not_lambda ::= expr jmp_true expr return_if_lambda return_stmt_lambda LAMBDA_MARKER expr ::= if_exp_not if_exp_not ::= expr jmp_true expr _jump expr COME_FROM kv3 ::= expr expr STORE_MAP Nr)r rrrrp_stmt27szPython27Parser.p_stmt27cs|jdd|kr|jdttt|j||tttd|_d|j d<d|j d<d|j d <d|j d <d|j d <d|j d <d|j d <d|j d<d|j d<d|j d<d|j d<d|j d<d|j d<dS)Na while1elsestmt ::= SETUP_LOOP l_stmts JUMP_BACK else_suite COME_FROM tryfinallystmt ::= SETUP_FINALLY suite_stmts_opt POP_BLOCK LOAD_CONST COME_FROM suite_stmts_opt END_FINALLY PyPyzf return_if_stmt ::= ret_expr RETURN_END_IF come_froms )orr Z tryelsestmtlASTandif_exptokensZexcept_handlerZexcept_handler_elser raise_stmt1 iflaststmtlr list_if_notlist_ifcomp_if if_exp_true whilestmt) Z remove_rulesZaddRulerr r customize_grammar_rulesrr reduce_check_tableZ check_reduce)r rZ customize)rrrr#s.              z&Python27Parser.customize_grammar_rulesc s^tt|j|||||}|d}t|}|jj|d} | rP| ||||||||}t||d}|rf|S|d*kr|d} | ddkr||j| djko||jkSSn|d|dddfd,kr"|d} | ddkrZ|d j } | dj| jkrd S|d j} | ||jkSn8|ddkrN|ddkoL|dddkS|dd-kr|dd} | j}|t|kp|||jkp|t |d.j |d/j |d0jk S|d2krx\t |d|d d3D]D}||}|dkr|j|t|t|djkS|d4krPqWn>|d6kr|d}|dd7krZ|d}t|dkrZ|djjdrZ|ddj}|t|kr|d8}x*t||jtr||kr|d7}qW||krd Sx*||krt||jtr|d8}qW||j|ko||jkSSn>|d9krR|dd} | j}|| jkoP|||jkS|d;kr|dd} | j}|| jko|||jkS|d=kr|dd}|j|jd }|||jkp||j|jk S|dd"kr2|ddd>d?kr2|d}x||d&kr|d8}qW||j||djkS|dd'krZ|dkoX||ddkSd(S)@Nrr expr jmp_false comp_iterPOP_JUMP_IF_FALSEr JUMP_ABSOLUTETrrassertassert2ifstmttestexpr _ifstmts_jump JUMP_FORWARDPOP_TOP COME_FROMrc_stmts testfalsetesttrueZjmp_rjmp_true list_iterr\e_come_from_optr" SETUP_LOOP l_stmts_opt JUMP_BACKr!Fr&r'r()r r@r&r'r&r+r&)rrA)r.r/rBrBr1r2)r0rCrB)r4r5r1r6)rrD)r7r8r&r9r:)rrEr&r'r:)rrFr&r9r&r;)rrG)r=r1r>r?r?)r r reduce_is_invalidlenr$getminoffsetattrZ first_childropopcrangeZoff2intkind startswith isinstancestrZpattr)r Zruleastrfirstlastinvalidlhsnfnr'Z else_instrZ end_offsetZ jump_instZ jump_targetitr1testZ jmp_targetZ jump_offsetr9)rrrrIs   *   $       *      z Python27Parser.reduce_is_invalid) __name__ __module__ __qualname__PARSER_DEFAULT_DEBUGr rrrrr#rI __classcell__rr)rrr s"#,P +r c@s eZdZdS)Python27ParserSingleN)r`rarbrrrrreasre__main__)PYTHON_VERSIONIS_PYPYg@) get_scannerzJUMP_BACK CONTINUE RETURN_END_IF COME_FROM LOAD_GENEXPR LOAD_ASSERT LOAD_SETCOMP LOAD_DICTCOMP LAMBDA_MARKER RETURN_LAST NcCsg|]}tjdd|qS)z_\d+$)resub).0r^rrr tsrncCsg|]}tjdd|qS)z_CONT$rj)rkrl)rmr^rrrrnvs)(Z spark_parserrrcZxdisrZuncompyle6.parserrrZuncompyle6.parsers.parse2rZuncompyle6.parsers.reducecheckrrr r rer`pZ check_grammar uncompyle6rgrhZ check_setsrZrhsrZright_recursiveZdup_rhsZuncompyle6.scannerrissetrPopnameunionsplitZ opcode_setZ remain_tokensrkprintrrrrs4   T