Ѯh*"@sddlmZddlmZddlmZddlmZmZm Z m Z ddl m Z m Z e GdddeZdS) )yacc)c_ast)CLexer) PLYParser ParseError parameterizedtemplate)fix_switch_casesfix_atomic_specifiersc @seZdZdedddddddZdddd Zd d Zd d ZddZddZ ddZ ddZ ddZ ddZ ddZddZddZd d!Zdd"d#Zdd$d%Zd&d'Zd(d)Zd}Zd=d>Zd?d@ZdAdBZdCdDZdEdFZdGdHZdIdJZdKdLZdMdNZdOdPZ dQdRZ!dSdTZ"dUdVZ#dWdXZ$dYdZZ%d[d\Z&d]d^Z'd_d`Z(dadbZ)dcddZ*dedfZ+dgdhZ,didjZ-dkdlZ.dmdnZ/dodpZ0dqdrZ1dsdtZ2dudvZ3dwdxZ4dydzZ5d{d|Z6d}d~Z7ddZ8ddZ9ddZ:ddZ;ddZ<ddZ=ddZ>ddZ?ddZ@ddZAddZBddZCddZDddZEddZFddZGddZHddZIddZJddZKddZLddZMddZNddZOddZPddZQddZRddZSddZTddZUddZVddZWeXd~ddddZYeXdddddZZeXdddddZ[eXddddZ\eXdddddZ]eXdddddZ^eXdddddZ_eXdddddZ`ddZaddZbddZcddZdddZeddZfddZgddZhddZiddZjddZkddZlddZmddZnddZoddZpddZqddZrddZsddZtddZuddZvddZwddZxddZyddZzdd Z{d d Z|d d Z}ddZ~ddZddZddZddZddZddZddZddZd d!Zd"d#Zd$d%Zd&d'Zd(d)Zd*d+Zd,d-Zd.d/Zd0d1Zd2d3Zd4d5Zd6d7Zd8d9Zd:d;Zd<d=Zd>d?Zd@dAZdBdCZdDdEZdFdGZdHdIZdJdKZdLdMZdNdOZdPdQZdRdSZdTdUZdVdWZdXdYZdZd[Zd\d]Zd^d_Zd`daZdbdcZdddeZdfdgZdhdiZdjdkZdldmZdndoZdpdqZdrS(CParserTzpycparser.lextabzpycparser.yacctabFc Cs|d|jd|jd|jd|j|_|jjd|d|d||jj|_dd d d d d ddddddddg}x|D]} |j| qWtjd|ddd|d|d|d||_ t g|_ d|_ dS)a Create a new CParser. Some arguments for controlling the debug/optimization level of the parser are provided. The defaults are tuned for release/performance mode. The simple rules for using them are: *) When tweaking CParser/CLexer, set these to False *) When releasing a stable parser, set to True lex_optimize: Set to False when you're modifying the lexer. Otherwise, changes in the lexer won't be used, if some lextab.py file exists. When releasing with a stable lexer, set to True to save the re-generation of the lexer table on each run. lexer: Set this parameter to define the lexer to use if you're not using the default CLexer. lextab: Points to the lex table that's used for optimized mode. Only if you're modifying the lexer and want some tests to avoid re-generating the table, make this point to a local lex table file (that's been earlier generated with lex_optimize=True) yacc_optimize: Set to False when you're modifying the parser. Otherwise, changes in the parser won't be used, if some parsetab.py file exists. When releasing with a stable parser, set to True to save the re-generation of the parser table on each run. yacctab: Points to the yacc table that's used for optimized mode. Only if you're modifying the parser, make this point to a local yacc table file yacc_debug: Generate a parser.out file that explains how yacc built the parsing table from the grammar. taboutputdir: Set this parameter to control the location of generated lextab and yacctab files. Z error_funcZon_lbrace_funcZon_rbrace_funcZtype_lookup_funcoptimizelextabZ outputdirZabstract_declaratorZassignment_expressionZdeclaration_listZdeclaration_specifiers_no_typeZ designationZ expressionZidentifier_listZinit_declarator_listZid_init_declarator_listZinitializer_listZparameter_type_listZblock_item_listZtype_qualifier_listZstruct_declarator_listmodulestartZtranslation_unit_or_emptydebugZ tabmoduleN) _lex_error_func_lex_on_lbrace_func_lex_on_rbrace_func_lex_type_lookup_funcclexZbuildtokensZ_create_opt_rulercparserdict _scope_stack_last_yielded_token) self lex_optimizelexerr yacc_optimizeyacctab yacc_debugZ taboutputdirZrules_with_optZruler"../pycparser/c_parser.py__init__sF:        zCParser.__init__cCsS||j_|jjtg|_d|_|jjd|d|jd|S)a  Parses C code and returns an AST. text: A string containing the C source code filename: Name of the file being parsed (for meaningful error messages) debug: Debug flag to YACC Ninputrr)rfilenameZ reset_linenorrrrparse)rtextr&rr"r"r#r's     z CParser.parsecCs|jjtdS)N)rappendr)rr"r"r# _push_scopeszCParser._push_scopecCs,t|jdkst|jjdS)Nr)lenrAssertionErrorpop)rr"r"r# _pop_scopeszCParser._pop_scopecCsB|jdj|ds-|jd||d|jd|Ss z/CParser._fix_decl_name_type..) r>rr?r=declnamer2qualsIdentifierTyper+r1r3FuncDecl)rr@typenamer=Ztnr"r"r#_fix_decl_name_type+s.      zCParser._fix_decl_name_typec Cs_|p*tdgdgdgdgdg}|rG||j|n||jd||S)a Declaration specifiers are represented by a dictionary with the entries: * qual: a list of type qualifiers * storage: a list of storage type qualifiers * type: a list of type specifiers * function: a list of function specifiers * alignment: a list of alignment specifiers This method is given a declaration specifier, and a new specifier of a given kind. If `append` is True, the new specifier is added to the end of the specifiers list, otherwise it's added at the beginning. Returns the declaration specifier, with the new specifier incorporated. qualstorager=function alignmentrH)rr)insert)rZdeclspecZnewspecZkindr)specr"r"r#_add_declaration_specifierWs -z"CParser._add_declaration_specifierc CsHd|dk}g}|djddk r2n|dddkr:t|ddkst|ddjd ks|j|ddjd rd }x+|dD]}t|d r|j}PqW|jd |tjd |ddjdddddd|dd |ddj|dd<|dd=nt |ddtj tj tj tj fs|dd}xt |tjs|j}qzW|jdkr|ddjd|_|dd=xv|D]n} | ddk st|r4tjddd|dd|dd| dd | dj} notjddd|dd|dd|dd|dd| dd| jdd| jdd | dj } t | jtj tj tj tj fr| } n|j| |d} |r'|r|j| j| jn|j| j| jt| } |j| qW|S)z Builds a list of declarations all sharing the given specifiers. If typedef_namespace is true, each declared name is added to the "typedef namespace", which also includes objects, functions, and enum constants. typedefrPrHbitsizeNr@r=r?r3zInvalid declarationrIrJalignrRr2rOfuncspecrQinitr/r/r/r/r/r/r/)r0r+rDr7hasattrr3r1rr?r>EnumStructUnionrKr=rIr,ZTypedefDeclrNr4r2r5r r)) rrTdeclstypedef_namespaceZ is_typedefZ declarationsr3tZ decls_0_tailr@ declarationZ fixed_declr"r"r#_build_declarationspsv3   !                zCParser._build_declarationsc Cs|d|dkr#|jd|j|jd|dtd|ddgd d d }tjd|d |d |d|jS)z' Builds a function definition. rVrPzInvalid typedefrTrbr@r\NrcTrH param_declsbodyr3)r1r3rfrrZFuncDef)rrTr@rgrhrer"r"r#_build_function_definitions   z"CParser._build_function_definitioncCs|dkrtjStjSdS)z` Given a token (either STRUCT or UNION), selects the appropriate AST class. ZstructN)rr_r`)rtokenr"r"r#_select_struct_union_classs z"CParser._select_struct_union_classleftLORLANDORXORANDEQNEGTGELTLERSHIFTLSHIFTPLUSMINUSTIMESDIVIDEMODcCsA|ddkr&tjg|drar3rfr)rrrTZtyZs_u_or_erbr"r"r# p_decl_bodys0  %           zCParser.p_decl_bodycCs|d|dsz"CParser.p_declaration_specifiers_4cCs!|jd|dd|drZNoderKr)rrrTrbZnodeZ decl_typer"r"r#p_struct_declaration_1 s$     zCParser.p_struct_declaration_1cCsd|dlist)rEitemr"r"r#rGs z5CParser.p_direct_xxx_declarator_4..rrcSs/g|]%}|D]}|dk r|qqS)Nr")rEZsublistrOr"r"r#rGs r=Nrrrr3rr@rArH)rrr3rB)rrZ listed_qualsrrr"r"r#p_direct_xxx_declarator_4s   z!CParser.p_direct_xxx_declarator_4c Cstjdddtj|d|j|dd|ddk rK|dngd|dj}|jd |dd ||d EllipsisParamr5r2rB)rrfuncZparamr"r"r#p_direct_xxx_declarator_6s   z!CParser.p_direct_xxx_declarator_6cCs|j|d}tjd|dp(gddd|}t|dkr|d}x|jdk rt|j}qYW||_|d|d abstract_declarator : direct_abstract_declarator rrHNr")rrr"r"r#p_abstract_declarator_3szCParser.p_abstract_declarator_3cCs|d|dr)rrr"r"r# p_block_itemszCParser.p_block_itemcCsIt|dks%|ddgkr/|dn|d|d|drExprListr3rr))rrr"r"r# p_expressionXs $zCParser.p_expressioncCs|d|drfloatfFr7r8z long doubleZdoublerHNr/)rBrCr/)r7r8)lowerrr=r)rrrdr"r"r# p_constant_2Hs   zCParser.p_constant_2cCs-tjd|d|j|d|dtjd|d|j|d|d|djdd|ddd|d_|d|dtjd|d|j|d|d s "