You've already forked python-uncompyle6
mirror of
https://github.com/rocky/python-uncompyle6.git
synced 2025-08-04 01:09:52 +08:00
143 lines
4.8 KiB
Python
143 lines
4.8 KiB
Python
# Copyright (c) 2016 Rocky Bernstein
|
|
"""
|
|
spark grammar differences over Python2 for Python 2.6.
|
|
"""
|
|
|
|
from uncompyle6.parser import PythonParserSingle
|
|
from spark_parser import DEFAULT_DEBUG as PARSER_DEFAULT_DEBUG
|
|
from uncompyle6.parsers.parse2 import Python2Parser
|
|
|
|
class Python26Parser(Python2Parser):
|
|
|
|
def __init__(self, debug_parser=PARSER_DEFAULT_DEBUG):
|
|
super(Python26Parser, self).__init__(debug_parser)
|
|
self.customized = {}
|
|
|
|
|
|
def p_try_except26(self, args):
|
|
"""
|
|
except_cond1 ::= DUP_TOP expr COMPARE_OP
|
|
JUMP_IF_FALSE POP_TOP POP_TOP POP_TOP POP_TOP
|
|
except_cond2 ::= DUP_TOP expr COMPARE_OP
|
|
JUMP_IF_FALSE POP_TOP POP_TOP designator POP_TOP
|
|
|
|
# Might be a bug from when COME_FROM wasn't properly handled
|
|
try_middle ::= JUMP_FORWARD COME_FROM except_stmts
|
|
POP_TOP END_FINALLY come_froms
|
|
|
|
try_middle ::= JUMP_FORWARD COME_FROM except_stmts
|
|
END_FINALLY come_froms
|
|
try_middle ::= JUMP_FORWARD COME_FROM except_stmts
|
|
come_from_pop END_FINALLY come_froms
|
|
try_middle ::= JUMP_FORWARD COME_FROM except_stmts
|
|
END_FINALLY come_froms
|
|
|
|
try_middle ::= jmp_abs COME_FROM except_stmts
|
|
POP_TOP END_FINALLY
|
|
|
|
try_middle ::= jmp_abs COME_FROM except_stmts
|
|
come_from_pop END_FINALLY
|
|
|
|
try_middle ::= jmp_abs COME_FROM except_stmts
|
|
END_FINALLY
|
|
|
|
trystmt ::= SETUP_EXCEPT suite_stmts_opt come_from_pop
|
|
try_middle
|
|
|
|
# Sometimes we don't put in COME_FROM to the next statement
|
|
# like we do in 2.7. Perhaps we should?
|
|
trystmt ::= SETUP_EXCEPT suite_stmts_opt POP_BLOCK
|
|
try_middle
|
|
|
|
except_suite ::= c_stmts_opt JUMP_FORWARD come_from_pop
|
|
|
|
# Python 3 also has this.
|
|
come_froms ::= come_froms COME_FROM
|
|
come_froms ::= COME_FROM
|
|
|
|
"""
|
|
|
|
def p_misc26(self, args):
|
|
"""
|
|
jmp_true ::= JUMP_IF_TRUE POP_TOP
|
|
jmp_false ::= JUMP_IF_FALSE POP_TOP
|
|
jf_pop ::= JUMP_FORWARD come_from_pop
|
|
jb_pop ::= JUMP_BACK come_from_pop
|
|
|
|
# This is what happens after a jump where
|
|
# we start a new block. For reasons I don't fully
|
|
# understand, there is also a value on the top of the stack
|
|
come_from_pop ::= COME_FROM POP_TOP
|
|
|
|
_ifstmts_jump ::= c_stmts_opt jf_pop COME_FROM
|
|
"""
|
|
|
|
def p_stmt26(self, args):
|
|
"""
|
|
assert ::= assert_expr jmp_true LOAD_ASSERT RAISE_VARARGS_1 come_from_pop
|
|
ifelsestmt ::= testexpr c_stmts_opt jf_pop else_suite COME_FROM
|
|
|
|
# This rule is contorted a little to make sutie_stmts_opt be the
|
|
# forth argument for the semantic routines.
|
|
withstmt ::= expr setupwith SETUP_FINALLY suite_stmts_opt
|
|
POP_BLOCK LOAD_CONST COME_FROM WITH_CLEANUP END_FINALLY
|
|
|
|
# This is truly weird. 2.7 does this (not including POP_TOP) with
|
|
# opcode SETUP_WITH
|
|
setupwith ::= DUP_TOP LOAD_ATTR ROT_TWO LOAD_ATTR CALL_FUNCTION_0 POP_TOP
|
|
|
|
whilestmt ::= SETUP_LOOP
|
|
testexpr
|
|
l_stmts_opt jb_pop
|
|
POP_BLOCK _come_from
|
|
|
|
return_if_stmt ::= ret_expr RETURN_END_IF come_from_pop
|
|
|
|
"""
|
|
|
|
def p_comp26(self, args):
|
|
'''
|
|
list_for ::= expr _for designator list_iter JUMP_BACK come_froms POP_TOP
|
|
|
|
list_iter ::= list_if JUMP_BACK
|
|
list_compr ::= BUILD_LIST_0 DUP_TOP
|
|
designator list_iter del_stmt
|
|
list_compr ::= BUILD_LIST_0 DUP_TOP
|
|
designator list_iter JUMP_BACK del_stmt
|
|
lc_body ::= LOAD_NAME expr LIST_APPEND
|
|
lc_body ::= LOAD_FAST expr LIST_APPEND
|
|
'''
|
|
|
|
def p_ret26(self, args):
|
|
'''
|
|
ret_and ::= expr jmp_false ret_expr_or_cond COME_FROM
|
|
ret_or ::= expr jmp_true ret_expr_or_cond COME_FROM
|
|
ret_cond ::= expr jmp_false expr RETURN_END_IF come_from_pop ret_expr_or_cond
|
|
ret_cond ::= expr jmp_false expr ret_expr_or_cond
|
|
ret_cond_not ::= expr jmp_true expr RETURN_END_IF come_from_pop ret_expr_or_cond
|
|
|
|
# FIXME: split into Python 2.5
|
|
ret_cond ::= expr jmp_false expr JUMP_RETURN come_from_pop ret_expr_or_cond
|
|
ret_or ::= expr jmp_true ret_expr_or_cond come_froms
|
|
'''
|
|
|
|
def p_except26(self, args):
|
|
'''
|
|
except_suite ::= c_stmts_opt jmp_abs new_block
|
|
'''
|
|
|
|
def p_jump26(self, args):
|
|
"""
|
|
jmp_false ::= JUMP_IF_FALSE
|
|
jmp_true ::= JUMP_IF_TRUE
|
|
"""
|
|
|
|
|
|
class Python26ParserSingle(Python2Parser, PythonParserSingle):
|
|
pass
|
|
|
|
if __name__ == '__main__':
|
|
# Check grammar
|
|
p = Python26Parser()
|
|
p.checkGrammar()
|