a ,Nbq@slddlZddlmZddlmZddlmZddlmZm Z m Z m Z m Z ddl mZe Gdd d eZdS) N)yacc)c_ast)CLexer) PLYParserCoord ParseError parameterizedtemplate)fix_switch_casesc@seZdZdedddddfddZdJd d Zd d Zd dZddZddZ ddZ ddZ ddZ ddZ ddZddZdd Zd!d"ZdKd#d$ZdLd%d&Zd'd(Zd)d*Zd+Zd,d-Zd.d/Zd0d1Zd2d3Zd4d5Zd6d7Zd8d9Zd:d;Zdd?Z d@dAZ!dBdCZ"dDdEZ#dFdGZ$dHdIZ%dJdKZ&dLdMZ'dNdOZ(dPdQZ)dRdSZ*dTdUZ+dVdWZ,dXdYZ-dZd[Z.d\d]Z/d^d_Z0d`daZ1dbdcZ2dddeZ3dfdgZ4dhdiZ5djdkZ6dldmZ7dndoZ8dpdqZ9drdsZ:dtduZ;dvdwZd|d}Z?d~dZ@ddZAddZBddZCddZDddZEddZFddZGddZHddZIddZJddZKddZLddZMeNdddddZOeNdddddZPeNdddddZQeNddddZReNdddddZSeNdddddZTeNdddddZUeNdddddZVddZWddZXddZYddZZddZ[ddZ\ddZ]ddZ^ddZ_ddZ`dd„ZaddĄZbddƄZcddȄZdddʄZedd̄Zfdd΄ZgddЄZhdd҄ZiddԄZjddքZkdd؄ZlddڄZmdd܄ZnddބZoddZpddZqddZrddZsddZtddZuddZvddZwddZxddZyddZzddZ{ddZ|ddZ}ddZ~ddZddZddZddZddZddZd d Zd d Zd dZddZddZddZddZddZddZddZddZdd Zd!d"Zd#d$Zd%d&Zd'd(Zd)d*Zd+d,Zd-d.Zd/d0Zd1d2Zd3d4Zd5d6Zd7d8Zd9d:Zd;d<Zd=d>Zd?d@ZdAdBZdCdDZdEdFZdGdHZdIS(MCParserTzpycparser.lextabzpycparser.yacctabFc Cs~||j|j|j|jd|_|jj|||d|jj|_gd}|D]} || qBtj|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_func)optimizelextab outputdir)Zabstract_declaratorZassignment_expressionZdeclaration_listZdeclaration_specifiers_no_typeZ designationZ expressionZidentifier_listZinit_declarator_listZid_init_declarator_listZinitializer_listZparameter_type_listZblock_item_listZtype_qualifier_listZstruct_declarator_listZtranslation_unit_or_empty)modulestartdebugrZ tabmodulerN) _lex_error_func_lex_on_lbrace_func_lex_on_rbrace_func_lex_type_lookup_funcclexZbuildtokensZ_create_opt_rulercparserdict _scope_stack_last_yielded_token) selfZ lex_optimizelexerrZ yacc_optimizeZyacctabZ yacc_debugZ taboutputdirZrules_with_optZruler 6/usr/lib/python3.9/site-packages/pycparser/c_parser.py__init__s2:   zCParser.__init__rcCs6||j_|jtg|_d|_|jj||j|dS)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) debuglevel: Debug level to yacc N)inputrr)rfilenameZ reset_linenorrrrparse)rtextr$Z debuglevelr r r!r%s   z CParser.parsecCs|jtdSN)rappendrrr r r! _push_scopeszCParser._push_scopecCs t|jdksJ|jdS)Nr)lenrpopr)r r r! _pop_scopeszCParser._pop_scopecCs4|jd|ds"|d||d|jd|<dS)zC Add a new typedef name (ie a TYPEID) to the current scope Tz;Typedef %r previously declared as non-typedef in this scopeNrget _parse_errorrnamecoordr r r!_add_typedef_nameszCParser._add_typedef_namecCs4|jd|dr"|d||d|jd|<dS)ze Add a new object, function, or enum member name (ie an ID) to the current scope r.Fz;Non-typedef %r previously declared as typedef in this scopeNr/r2r r r!_add_identifierszCParser._add_identifiercCs.t|jD]}||}|dur |Sq dS)z8 Is *name* a typedef-name in the current scope? NF)reversedrr0)rr3ZscopeZin_scoper r r!_is_type_in_scopes zCParser._is_type_in_scopecCs|||||dSr')r1_coord)rmsglinecolumnr r r!rszCParser._lex_error_funccCs |dSr')r*r)r r r!rszCParser._lex_on_lbrace_funccCs |dSr')r-r)r r r!rszCParser._lex_on_rbrace_funccCs||}|S)z Looks up types that were previously defined with typedef. Passed to the lexer for recognizing identifiers that are types. )r8)rr3Zis_typer r r!rs zCParser._lex_type_lookup_funccCs|jjS)z We need access to yacc's lookahead token in certain cases. This is the last token yacc requested from the lexer, so we ask the lexer. )rZ last_tokenr)r r r!_get_yacc_lookahead_tokensz!CParser._get_yacc_lookahead_tokencCs\|}|}|jr|j}qt|tjr,||_|S|}t|jtjsF|j}q0|j|_||_|SdS)z Tacks a type modifier on a declarator, and returns the modified declarator. Note: the declarator and modifier may be modified N)type isinstancerTypeDecl)rdeclmodifierZ modifier_headZ modifier_tailZ decl_tailr r r!_type_modify_decls  zCParser._type_modify_declcCs|}t|tjs|j}q|j|_|j|_|D]:}t|tjs,t|dkrX| d|j q,||_|Sq,|st|jtj s| d|j tjdg|j d|_n tjdd|D|dj d|_|S) z- Fixes a declaration. Modifies decl. rz Invalid multiple types specifiedzMissing type in declarationintr4cSsg|]}|jD]}|qqSr )names).0idr3r r r! [z/CParser._fix_decl_name_type..r) r?rr@r>declnamer3qualsIdentifierTyper+r1r4FuncDecl)rrAtypenamer>tnr r r!_fix_decl_name_type2s6      zCParser._fix_decl_name_typecCs<|ptggggd}|r(|||n||d||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 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>functionr)rr(insert)rZdeclspecZnewspeckindr(specr r r!_add_declaration_specifier_s z"CParser._add_declaration_specifierc CsFd|dv}g}|dddur&n,|dddurt|ddkstt|dd jd kst||dd jdsd }|dD]}t|d r|j}qq|d |tj|dd jddd|dd jd|dd<|dd =nnt |ddtj tj tj fsR|dd}t |tjs(|j }q|jdurR|dd jd|_|dd =|D]} | dduslJ|rtjd|d|d| d| djd} nr.r?r4zInvalid declarationrKr>rLr4rS)r3rLrTr>r4rUinitr3rLrTZfuncspecr>r_r[r4)r0r+rFr8hasattrr4r1rr@r?StructUnionrMr>rKZTypedefDeclrQr5r3r6r() rrXdeclstypedef_namespaceZ is_typedefZ declarationsr4tZ decls_0_tailrA declarationZ fixed_declr r r!_build_declarationswsz &           zCParser._build_declarationscCsBd|dvsJ|j|t|ddgddd}tj||||jdS) z' Builds a function definition. rZrTNrAr_TrXrerfr)rA param_declsbodyr4)rirrZFuncDefr4)rrXrArlrmrhr r r!_build_function_definitions z"CParser._build_function_definitioncCs|dkrtjStjSdS)z` Given a token (either STRUCT or UNION), selects the appropriate AST class. structN)rrbrc)rtokenr r r!_select_struct_union_classsz"CParser._select_struct_union_class) )leftZLOR)rrZLAND)rrOR)rrZXOR)rrZAND)rrZEQZNE)rrZGTZGEZLTZLE)rrZRSHIFTZLSHIFT)rrPLUSMINUS)rrZTIMESZDIVIDEZMODcCs2|ddurtg|d<nt|d|d<dS)zh translation_unit_or_empty : translation_unit | empty rNr)rZFileASTrpr r r!p_translation_unit_or_emptys z#CParser.p_translation_unit_or_emptycCs|d|d<dS)z4 translation_unit : external_declaration rrNr rvr r r!p_translation_unit_1 szCParser.p_translation_unit_1cCs"|d|d|d|d<dS)zE translation_unit : translation_unit external_declaration rr\rN)extendrvr r r!p_translation_unit_2szCParser.p_translation_unit_2cCs|dg|d<dS)z7 external_declaration : function_definition rrNr rvr r r!p_external_declaration_1sz CParser.p_external_declaration_1cCs|d|d<dS)z/ external_declaration : declaration rrNr rvr r r!p_external_declaration_2!sz CParser.p_external_declaration_2cCs|dg|d<dS)zi external_declaration : pp_directive | pppragma_directive rrNr rvr r r!p_external_declaration_3&sz CParser.p_external_declaration_3cCs g|d<dS)z( external_declaration : SEMI rNr rvr r r!p_external_declaration_4,sz CParser.p_external_declaration_4cCs|d||ddS)z pp_directive : PPHASH zDirectives not supported yetrN)r1 _token_coordrvr r r!p_pp_directive1s zCParser.p_pp_directivecCsFt|dkr*t|d||d|d<ntd||d|d<dS)zg pppragma_directive : PPPRAGMA | PPPRAGMA PPPRAGMASTR r\rr rN)r+rPragmarrvr r r!p_pppragma_directive7s zCParser.p_pppragma_directivec CsLtggtjdg||ddggd}|j||d|d|dd|d<d S) zU function_definition : id_declarator declaration_list_opt compound_statement rDrrErRr\rrXrArlrmrN)rrrMrrnrrwrXr r r!p_function_definition_1Cs zCParser.p_function_definition_1cCs.|d}|j||d|d|dd|d<dS)zl function_definition : declaration_specifiers id_declarator declaration_list_opt compound_statement rr\rrrN)rnrr r r!p_function_definition_2TszCParser.p_function_definition_2cCs|d|d<dS)a7 statement : labeled_statement | expression_statement | compound_statement | selection_statement | iteration_statement | jump_statement | pppragma_directive rrNr rvr r r! p_statement_s zCParser.p_statementcCsTt|dtjrDt|dkrDtj|d|dg||dd|d<n |d|d<dS)zx pragmacomp_or_statement : pppragma_directive statement | statement rrr\Z block_itemsr4rN)r?rrr+Compoundrrvr r r!p_pragmacomp_or_statements  z!CParser.p_pragmacomp_or_statementc Cs|d}|ddur|d}tjtjtjf}t|dkrzt|d|rztjd|d|d|d|ddd|djd g}q|j|t ddd gd d }n|j||dd d }||d<dS) z decl_body : declaration_specifiers init_declarator_list_opt | declaration_specifiers_no_type id_init_declarator_list_opt rr\Nr>rrSrTrUr`rjTrk) rrbrcEnumr+r?rdr4rir)rrwrXtyZs_u_or_erer r r! p_decl_bodys4   zCParser.p_decl_bodycCs|d|d<dS)z& declaration : decl_body SEMI rrNr rvr r r! p_declarationszCParser.p_declarationcCs,t|dkr|dn|d|d|d<dS)zj declaration_list : declaration | declaration_list declaration r\rrNr+rvr r r!p_declaration_listszCParser.p_declaration_listcCs||d|dd|d<dS)z] declaration_specifiers_no_type : type_qualifier declaration_specifiers_no_type_opt r\rrSrNrYrvr r r!"p_declaration_specifiers_no_type_1sz*CParser.p_declaration_specifiers_no_type_1cCs||d|dd|d<dS)zf declaration_specifiers_no_type : storage_class_specifier declaration_specifiers_no_type_opt r\rrTrNrrvr r r!"p_declaration_specifiers_no_type_2sz*CParser.p_declaration_specifiers_no_type_2cCs||d|dd|d<dS)za declaration_specifiers_no_type : function_specifier declaration_specifiers_no_type_opt r\rrUrNrrvr r r!"p_declaration_specifiers_no_type_3sz*CParser.p_declaration_specifiers_no_type_3cCs"|j|d|dddd|d<dS)zI declaration_specifiers : declaration_specifiers type_qualifier rr\rSTr(rNrrvr r r!p_declaration_specifiers_1sz"CParser.p_declaration_specifiers_1cCs"|j|d|dddd|d<dS)zR declaration_specifiers : declaration_specifiers storage_class_specifier rr\rTTrrNrrvr r r!p_declaration_specifiers_2 sz"CParser.p_declaration_specifiers_2cCs"|j|d|dddd|d<dS)zM declaration_specifiers : declaration_specifiers function_specifier rr\rUTrrNrrvr r r!p_declaration_specifiers_3sz"CParser.p_declaration_specifiers_3cCs"|j|d|dddd|d<dS)zS declaration_specifiers : declaration_specifiers type_specifier_no_typeid rr\r>TrrNrrvr r r!p_declaration_specifiers_4sz"CParser.p_declaration_specifiers_4cCs|d|dd|d<dS)z2 declaration_specifiers : type_specifier Nrr>rrrvr r r!p_declaration_specifiers_5sz"CParser.p_declaration_specifiers_5cCs"|j|d|dddd|d<dS)zQ declaration_specifiers : declaration_specifiers_no_type type_specifier rr\r>TrrNrrvr r r!p_declaration_specifiers_6!sz"CParser.p_declaration_specifiers_6cCs|d|d<dS)z storage_class_specifier : AUTO | REGISTER | STATIC | EXTERN | TYPEDEF rrNr rvr r r!p_storage_class_specifier'sz!CParser.p_storage_class_specifiercCs|d|d<dS)z& function_specifier : INLINE rrNr rvr r r!p_function_specifier0szCParser.p_function_specifiercCs$tj|dg||dd|d<dS)a+ type_specifier_no_typeid : VOID | _BOOL | CHAR | SHORT | INT | LONG | FLOAT | DOUBLE | _COMPLEX | SIGNED | UNSIGNED | __INT128 rrErNrrMrrvr r r!p_type_specifier_no_typeid5sz"CParser.p_type_specifier_no_typeidcCs|d|d<dS)z type_specifier : typedef_name | enum_specifier | struct_or_union_specifier | type_specifier_no_typeid rrNr rvr r r!p_type_specifierEszCParser.p_type_specifiercCs|d|d<dS)zo type_qualifier : CONST | RESTRICT | VOLATILE rrNr rvr r r!p_type_qualifierMszCParser.p_type_qualifiercCs0t|dkr|d|dgn|dg|d<dS)z init_declarator_list : init_declarator | init_declarator_list COMMA init_declarator rrrrNrrvr r r!p_init_declarator_listTszCParser.p_init_declarator_listcCs,t|dt|dkr|dndd|d<dS)zb init_declarator : declarator | declarator EQUALS initializer rr\rNrjrrr+rvr r r!p_init_declarator]szCParser.p_init_declaratorcCs0t|dkr|d|dgn|dg|d<dS)z id_init_declarator_list : id_init_declarator | id_init_declarator_list COMMA init_declarator rrrrNrrvr r r!p_id_init_declarator_listcsz!CParser.p_id_init_declarator_listcCs,t|dt|dkr|dndd|d<dS)zn id_init_declarator : id_declarator | id_declarator EQUALS initializer rr\rNrjrrrvr r r!p_id_init_declaratoriszCParser.p_id_init_declaratorcCs"|j|d|dddd|d<dS)zY specifier_qualifier_list : specifier_qualifier_list type_specifier_no_typeid rr\r>TrrNrrvr r r!p_specifier_qualifier_list_1qsz$CParser.p_specifier_qualifier_list_1cCs"|j|d|dddd|d<dS)zO specifier_qualifier_list : specifier_qualifier_list type_qualifier rr\rSTrrNrrvr r r!p_specifier_qualifier_list_2vsz$CParser.p_specifier_qualifier_list_2cCs|d|dd|d<dS)z4 specifier_qualifier_list : type_specifier Nrr>rrrvr r r!p_specifier_qualifier_list_3{sz$CParser.p_specifier_qualifier_list_3cCs2t|dgggd}|j||dddd|d<dS) zH specifier_qualifier_list : type_qualifier_list type_specifier rrRr\r>TrrN)rrYrr r r!p_specifier_qualifier_list_4sz$CParser.p_specifier_qualifier_list_4cCs0||d}||dd||dd|d<dS)z{ struct_or_union_specifier : struct_or_union ID | struct_or_union TYPEID rr\Nr3rer4r)rqrrrwklassr r r!p_struct_or_union_specifier_1s  z%CParser.p_struct_or_union_specifier_1cCsX||d}t|dkr6|dg||dd|d<n|d|d||dd|d<dS)z struct_or_union_specifier : struct_or_union brace_open struct_declaration_list brace_close | struct_or_union brace_open brace_close rrNr\rrrrqr+rrr r r!p_struct_or_union_specifier_2s   z%CParser.p_struct_or_union_specifier_2cCs`||d}t|dkr:||dg||dd|d<n"||d|d||dd|d<dS)a struct_or_union_specifier : struct_or_union ID brace_open struct_declaration_list brace_close | struct_or_union ID brace_open brace_close | struct_or_union TYPEID brace_open struct_declaration_list brace_close | struct_or_union TYPEID brace_open brace_close rr\rrrNrrr r r!p_struct_or_union_specifier_3s   z%CParser.p_struct_or_union_specifier_3cCs|d|d<dS)zF struct_or_union : STRUCT | UNION rrNr rvr r r!p_struct_or_unionszCParser.p_struct_or_unioncCs:t|dkr|dpg|d<n|d|dp.g|d<dS)z struct_declaration_list : struct_declaration | struct_declaration_list struct_declaration r\rrNrrvr r r!p_struct_declaration_lists z!CParser.p_struct_declaration_listcCs|d}d|dvsJ|ddur8|j||dd}nht|ddkr|dd}t|tjrf|}n t|}|j|t|d gd}n|j|tddd gd}||d<dS) zW struct_declaration : specifier_qualifier_list struct_declarator_list_opt SEMI rrZrTr\NrXrer>rrArj)rir+r?rZNoderMr)rrwrXreZnodeZ decl_typer r r!p_struct_declaration_1s*       zCParser.p_struct_declaration_1cCs d|d<dS)z# struct_declaration : SEMI Nrr rvr r r!p_struct_declaration_2szCParser.p_struct_declaration_2cCs|dg|d<dS)z1 struct_declaration : pppragma_directive rrNr rvr r r!p_struct_declaration_3szCParser.p_struct_declaration_3cCs0t|dkr|d|dgn|dg|d<dS)z struct_declarator_list : struct_declarator | struct_declarator_list COMMA struct_declarator rrrrNrrvr r r!p_struct_declarator_listsz CParser.p_struct_declarator_listcCs|ddd|d<dS)z( struct_declarator : declarator rNrAr[rr rvr r r!p_struct_declarator_1szCParser.p_struct_declarator_1cCsDt|dkr$|d|dd|d<ntddd|dd|d<dS)z struct_declarator : declarator COLON constant_expression | COLON constant_expression rrrrNr\)r+rr@rvr r r!p_struct_declarator_2s zCParser.p_struct_declarator_2cCs"t|dd||d|d<dS)zM enum_specifier : ENUM ID | ENUM TYPEID r\Nrrrrrrvr r r!p_enum_specifier_1szCParser.p_enum_specifier_1cCs"td|d||d|d<dS)zG enum_specifier : ENUM brace_open enumerator_list brace_close Nrrrrrvr r r!p_enum_specifier_2szCParser.p_enum_specifier_2cCs&t|d|d||d|d<dS)z enum_specifier : ENUM ID brace_open enumerator_list brace_close | ENUM TYPEID brace_open enumerator_list brace_close r\rrrNrrvr r r!p_enum_specifier_3szCParser.p_enum_specifier_3cCsht|dkr*t|dg|dj|d<n:t|dkrD|d|d<n |dj|d|d|d<dS)z enumerator_list : enumerator | enumerator_list COMMA | enumerator_list COMMA enumerator r\rrrN)r+rZEnumeratorListr4Z enumeratorsr(rvr r r!p_enumerator_list"s   zCParser.p_enumerator_listcCsbt|dkr(t|dd||d}nt|d|d||d}||j|j||d<dS)zR enumerator : ID | ID EQUALS constant_expression r\rNrr)r+rZ Enumeratorrr6r3r4)rrwZ enumeratorr r r! p_enumerator/s    zCParser.p_enumeratorcCs|d|d<dS)zQ declarator : id_declarator | typeid_declarator rrNr rvr r r! p_declarator?szCParser.p_declarator)rHID)ZtypeidTYPEID)Ztypeid_noparenrcCs|d|d<dS)z1 xxx_declarator : direct_xxx_declarator rrNr rvr r r!p_xxx_declarator_1EszCParser.p_xxx_declarator_1cCs||d|d|d<dS)z9 xxx_declarator : pointer direct_xxx_declarator r\rrNrCrvr r r!p_xxx_declarator_2KszCParser.p_xxx_declarator_2cCs&tj|ddd||dd|d<dS)z' direct_xxx_declarator : yyy rNr^r)rr@rrvr r r!p_direct_xxx_declarator_1Qs  z!CParser.p_direct_xxx_declarator_1cCs|d|d<dS)z@ direct_xxx_declarator : LPAREN xxx_declarator RPAREN r\rNr rvr r r!p_direct_xxx_declarator_2[sz!CParser.p_direct_xxx_declarator_2cCsft|dkr|dngpg}tjdt|dkr6|dn|d||djd}|j|d|d|d<dS) z} direct_xxx_declarator : direct_xxx_declarator LBRACKET type_qualifier_list_opt assignment_expression_opt RBRACKET rrNrrr>Zdim dim_qualsr4rArBr)r+r ArrayDeclr4rC)rrwrLarrr r r!p_direct_xxx_declarator_3asz!CParser.p_direct_xxx_declarator_3cCs^dd|d|dfD}dd|D}tjd|d||djd }|j|d|d |d <dS) z direct_xxx_declarator : direct_xxx_declarator LBRACKET STATIC type_qualifier_list_opt assignment_expression RBRACKET | direct_xxx_declarator LBRACKET type_qualifier_list STATIC assignment_expression RBRACKET cSs g|]}t|tr|n|gqSr r?list)rGitemr r r!rIxsz5CParser.p_direct_xxx_declarator_4..rrcSs"g|]}|D]}|dur |q qSr'r )rGZsublistrSr r r!rIzsNrrrrrrrr4rC)rrwZ listed_qualsrrr r r!p_direct_xxx_declarator_4psz!CParser.p_direct_xxx_declarator_4c CsZtjdt|d||d|ddkr0|dng|djd}|j|d|d|d<dS)zi direct_xxx_declarator : direct_xxx_declarator LBRACKET type_qualifier_list_opt TIMES RBRACKET Nrrrrrrrrrrr4rCrrwrr r r!p_direct_xxx_declarator_5sz!CParser.p_direct_xxx_declarator_5cCsztj|dd|djd}|jdkr`|jdur`|jjD]$}t|tjrNq`| |j |jq:|j |d|d|d<dS)z direct_xxx_declarator : direct_xxx_declarator LPAREN parameter_type_list RPAREN | direct_xxx_declarator LPAREN identifier_list_opt RPAREN rNrargsr>r4LBRACErr) rrNr4r=r>rparamsr? EllipsisParamr6r3rC)rrwfuncZparamr r r!p_direct_xxx_declarator_6s  z!CParser.p_direct_xxx_declarator_6cCsj||d}tj|dpgd|d}t|dkr^|d}|jdurJ|j}q8||_|d|d<n||d<dS)zm pointer : TIMES type_qualifier_list_opt | TIMES type_qualifier_list_opt pointer rr\N)rLr>r4rr)rrZPtrDeclr+r>)rrwr4Z nested_typeZ tail_typer r r! p_pointers   zCParser.p_pointercCs0t|dkr|dgn|d|dg|d<dS)zs type_qualifier_list : type_qualifier | type_qualifier_list type_qualifier r\rrNrrvr r r!p_type_qualifier_listszCParser.p_type_qualifier_listcCs:t|dkr*|djt||d|d|d<dS)zn parameter_type_list : parameter_list | parameter_list COMMA ELLIPSIS r\rrrN)r+rr(rrrrvr r r!p_parameter_type_lists zCParser.p_parameter_type_listcCsNt|dkr*t|dg|dj|d<n |dj|d|d|d<dS)zz parameter_list : parameter_declaration | parameter_list COMMA parameter_declaration r\rrrNr+rZ ParamListr4rr(rvr r r!p_parameter_lists zCParser.p_parameter_listcCsT|d}|ds.tjdg||ddg|d<|j|t|ddgdd|d<d S) z parameter_declaration : declaration_specifiers id_declarator | declaration_specifiers typeid_noparen_declarator rr>rDrEr\rrrN)rrMrrirrr r r!p_parameter_declaration_1s z!CParser.p_parameter_declaration_1cCs|d}|ds.tjdg||ddg|d<t|ddkrt|ddjdkr||ddjdr|j|t|ddd gd d}nDtjd |d |dpt ddd||dd }|d}| ||}||d<dS)zR parameter_declaration : declaration_specifiers abstract_declarator_opt rr>rDrEr.rr\Nrjrr rSr3rLr>r4) rrMrr+rFr8rirTypenamer@rQ)rrwrXrArOr r r!p_parameter_declaration_2s. &  z!CParser.p_parameter_declaration_2cCsNt|dkr*t|dg|dj|d<n |dj|d|d|d<dS)ze identifier_list : identifier | identifier_list COMMA identifier r\rrrNrrvr r r!p_identifier_lists zCParser.p_identifier_listcCs|d|d<dS)z- initializer : assignment_expression rrNr rvr r r!p_initializer_1%szCParser.p_initializer_1cCs6|ddur&tg||d|d<n |d|d<dS)z initializer : brace_open initializer_list_opt brace_close | brace_open initializer_list COMMA brace_close r\Nrr)rInitListrrvr r r!p_initializer_2*s zCParser.p_initializer_2cCst|dkrN|ddur |dnt|d|d}t|g|dj|d<nD|ddurb|dnt|d|d}|dj||d|d<dS)z initializer_list : designation_opt initializer | initializer_list COMMA designation_opt initializer rrNr\rr)r+rZNamedInitializerrr4exprsr()rrwr_r r r!p_initializer_list3s  ((zCParser.p_initializer_listcCs|d|d<dS)z. designation : designator_list EQUALS rrNr rvr r r! p_designation?szCParser.p_designationcCs0t|dkr|dgn|d|dg|d<dS)z_ designator_list : designator | designator_list designator r\rrNrrvr r r!p_designator_listGszCParser.p_designator_listcCs|d|d<dS)zi designator : LBRACKET constant_expression RBRACKET | PERIOD identifier r\rNr rvr r r! p_designatorMszCParser.p_designatorcCsPtjd|dd|dp$tddd||dd}|||dd|d<dS) zH type_name : specifier_qualifier_list abstract_declarator_opt r rrSr\Nrr>r)rrr@rrQ)rrwrOr r r! p_type_nameSs  zCParser.p_type_namecCs(tddd}|j||dd|d<dS)z+ abstract_declarator : pointer Nrrr)rr@rC)rrwZ dummytyper r r!p_abstract_declarator_1^s zCParser.p_abstract_declarator_1cCs||d|d|d<dS)zF abstract_declarator : pointer direct_abstract_declarator r\rrNrrvr r r!p_abstract_declarator_2fszCParser.p_abstract_declarator_2cCs|d|d<dS)z> abstract_declarator : direct_abstract_declarator rrNr rvr r r!p_abstract_declarator_3kszCParser.p_abstract_declarator_3cCs|d|d<dS)zA direct_abstract_declarator : LPAREN abstract_declarator RPAREN r\rNr rvr r r!p_direct_abstract_declarator_1usz&CParser.p_direct_abstract_declarator_1cCs6tjd|dg|djd}|j|d|d|d<dS)zn direct_abstract_declarator : direct_abstract_declarator LBRACKET assignment_expression_opt RBRACKET Nrrrrrrrr r r!p_direct_abstract_declarator_2ysz&CParser.p_direct_abstract_declarator_2cCs`t|dkr|dngpg}tjtdddt|dkr@|dn|d|||dd|d<dS)zk direct_abstract_declarator : LBRACKET type_qualifier_list_opt assignment_expression_opt RBRACKET rr\Nrrrr)r+rrr@r)rrwrLr r r!p_direct_abstract_declarator_3s  z&CParser.p_direct_abstract_declarator_3c CsFtjdt|d||dg|djd}|j|d|d|d<dS)zZ direct_abstract_declarator : direct_abstract_declarator LBRACKET TIMES RBRACKET Nrrrrrrrr r r!p_direct_abstract_declarator_4sz&CParser.p_direct_abstract_declarator_4c Cs@tjtdddt|d||dg||dd|d<dS)z? direct_abstract_declarator : LBRACKET TIMES RBRACKET Nrrrr)rrr@rrrvr r r!p_direct_abstract_declarator_5s   z&CParser.p_direct_abstract_declarator_5cCs4tj|dd|djd}|j|d|d|d<dS)zh direct_abstract_declarator : direct_abstract_declarator LPAREN parameter_type_list_opt RPAREN rNrrrr)rrNr4rC)rrwrr r r!p_direct_abstract_declarator_6s z&CParser.p_direct_abstract_declarator_6cCs.tj|dtddd||dd|d<dS)zM direct_abstract_declarator : LPAREN parameter_type_list_opt RPAREN r\Nrrr)rrNr@rrvr r r!p_direct_abstract_declarator_7s   z&CParser.p_direct_abstract_declarator_7cCs(t|dtr|dn|dg|d<dS)zG block_item : declaration | statement rrNrrvr r r! p_block_itemszCParser.p_block_itemcCs:t|dks|ddgkr"|dn|d|d|d<dS)z_ block_item_list : block_item | block_item_list block_item r\Nrrrrvr r r!p_block_item_listszCParser.p_block_item_listcCs"tj|d||dd|d<dS)zA compound_statement : brace_open block_item_list_opt brace_close r\rrrN)rrrrvr r r!p_compound_statement_1s zCParser.p_compound_statement_1cCs&t|d|d||d|d<dS)z6 labeled_statement : ID COLON pragmacomp_or_statement rrrN)rZLabelrrvr r r!p_labeled_statement_1szCParser.p_labeled_statement_1cCs(t|d|dg||d|d<dS)zL labeled_statement : CASE constant_expression COLON pragmacomp_or_statement r\rrrN)rZCaserrvr r r!p_labeled_statement_2szCParser.p_labeled_statement_2cCs"t|dg||d|d<dS)z; labeled_statement : DEFAULT COLON pragmacomp_or_statement rrrN)rZDefaultrrvr r r!p_labeled_statement_3szCParser.p_labeled_statement_3c Cs(t|d|dd||d|d<dS)zK selection_statement : IF LPAREN expression RPAREN pragmacomp_or_statement rrNrrrZIfrrvr r r!p_selection_statement_1szCParser.p_selection_statement_1c Cs,t|d|d|d||d|d<dS)zZ selection_statement : IF LPAREN expression RPAREN statement ELSE pragmacomp_or_statement rrrrNrrvr r r!p_selection_statement_2szCParser.p_selection_statement_2c Cs*tt|d|d||d|d<dS)zO selection_statement : SWITCH LPAREN expression RPAREN pragmacomp_or_statement rrrrN)r rZSwitchrrvr r r!p_selection_statement_3szCParser.p_selection_statement_3cCs&t|d|d||d|d<dS)zN iteration_statement : WHILE LPAREN expression RPAREN pragmacomp_or_statement rrrrN)rZWhilerrvr r r!p_iteration_statement_1szCParser.p_iteration_statement_1cCs&t|d|d||d|d<dS)zV iteration_statement : DO pragmacomp_or_statement WHILE LPAREN expression RPAREN SEMI rr\rrN)rZDoWhilerrvr r r!p_iteration_statement_2szCParser.p_iteration_statement_2c Cs2t|d|d|d|d||d|d<dS)zx iteration_statement : FOR LPAREN expression_opt SEMI expression_opt SEMI expression_opt RPAREN pragmacomp_or_statement rrr  rrN)rForrrvr r r!p_iteration_statement_3szCParser.p_iteration_statement_3c CsBtt|d||d|d|d|d||d|d<dS)zp iteration_statement : FOR LPAREN declaration expression_opt SEMI expression_opt RPAREN pragmacomp_or_statement rrrrN)rrZDeclListrrvr r r!p_iteration_statement_4szCParser.p_iteration_statement_4cCs t|d||d|d<dS)z jump_statement : GOTO ID SEMI r\rrN)rZGotorrvr r r!p_jump_statement_1szCParser.p_jump_statement_1cCst||d|d<dS)z jump_statement : BREAK SEMI rrN)rZBreakrrvr r r!p_jump_statement_2szCParser.p_jump_statement_2cCst||d|d<dS)z! jump_statement : CONTINUE SEMI rrN)rZContinuerrvr r r!p_jump_statement_3szCParser.p_jump_statement_3cCs0tt|dkr|dnd||d|d<dS)z\ jump_statement : RETURN expression SEMI | RETURN SEMI rr\Nrr)rZReturnr+rrvr r r!p_jump_statement_4szCParser.p_jump_statement_4cCs4|ddur$t||d|d<n |d|d<dS)z, expression_statement : expression_opt SEMI rNr\r)rZEmptyStatementrrvr r r!p_expression_statements zCParser.p_expression_statementcCsjt|dkr|d|d<nLt|dtjsFt|dg|dj|d<|dj|d|d|d<dS)zn expression : assignment_expression | expression COMMA assignment_expression r\rrrN)r+r?rExprListr4rr(rvr r r! p_expressions  zCParser.p_expressioncCs$tj|dg||dd|d<dS)z typedef_name : TYPEID rrErNrrvr r r!p_typedef_nameszCParser.p_typedef_namecCsDt|dkr|d|d<n&t|d|d|d|dj|d<dS)z assignment_expression : conditional_expression | unary_expression assignment_operator assignment_expression r\rrrN)r+rZ Assignmentr4rvr r r!p_assignment_expression s zCParser.p_assignment_expressioncCs|d|d<dS)a assignment_operator : EQUALS | XOREQUAL | TIMESEQUAL | DIVEQUAL | MODEQUAL | PLUSEQUAL | MINUSEQUAL | LSHIFTEQUAL | RSHIFTEQUAL | ANDEQUAL | OREQUAL rrNr rvr r r!p_assignment_operator.s zCParser.p_assignment_operatorcCs|d|d<dS)z. constant_expression : conditional_expression rrNr rvr r r!p_constant_expression=szCParser.p_constant_expressioncCsDt|dkr|d|d<n&t|d|d|d|dj|d<dS)z conditional_expression : binary_expression | binary_expression CONDOP expression COLON conditional_expression r\rrrrN)r+rZ TernaryOpr4rvr r r!p_conditional_expressionAs z CParser.p_conditional_expressioncCsDt|dkr|d|d<n&t|d|d|d|dj|d<dS)ak binary_expression : cast_expression | binary_expression TIMES binary_expression | binary_expression DIVIDE binary_expression | binary_expression MOD binary_expression | binary_expression PLUS binary_expression | binary_expression MINUS binary_expression | binary_expression RSHIFT binary_expression | binary_expression LSHIFT binary_expression | binary_expression LT binary_expression | binary_expression LE binary_expression | binary_expression GE binary_expression | binary_expression GT binary_expression | binary_expression EQ binary_expression | binary_expression NE binary_expression | binary_expression AND binary_expression | binary_expression OR binary_expression | binary_expression XOR binary_expression | binary_expression LAND binary_expression | binary_expression LOR binary_expression r\rrrN)r+rZBinaryOpr4rvr r r!p_binary_expressionJs zCParser.p_binary_expressioncCs|d|d<dS)z$ cast_expression : unary_expression rrNr rvr r r!p_cast_expression_1dszCParser.p_cast_expression_1cCs&t|d|d||d|d<dS)z; cast_expression : LPAREN type_name RPAREN cast_expression r\rrrN)rZCastrrvr r r!p_cast_expression_2hszCParser.p_cast_expression_2cCs|d|d<dS)z* unary_expression : postfix_expression rrNr rvr r r!p_unary_expression_1lszCParser.p_unary_expression_1cCs$t|d|d|dj|d<dS)z unary_expression : PLUSPLUS unary_expression | MINUSMINUS unary_expression | unary_operator cast_expression rr\rNrUnaryOpr4rvr r r!p_unary_expression_2pszCParser.p_unary_expression_2cCs:t|dt|dkr|dn|d||d|d<dS)zx unary_expression : SIZEOF unary_expression | SIZEOF LPAREN type_name RPAREN rrr\rN)rr%r+rrvr r r!p_unary_expression_3ws  zCParser.p_unary_expression_3cCs|d|d<dS)z unary_operator : AND | TIMES | PLUS | MINUS | NOT | LNOT rrNr rvr r r!p_unary_operatorszCParser.p_unary_operatorcCs|d|d<dS)z* postfix_expression : primary_expression rrNr rvr r r!p_postfix_expression_1szCParser.p_postfix_expression_1cCs$t|d|d|dj|d<dS)zG postfix_expression : postfix_expression LBRACKET expression RBRACKET rrrN)rArrayRefr4rvr r r!p_postfix_expression_2szCParser.p_postfix_expression_2cCs4t|dt|dkr|dnd|dj|d<dS)z postfix_expression : postfix_expression LPAREN argument_expression_list RPAREN | postfix_expression LPAREN RPAREN rrrNr)rFuncCallr+r4rvr r r!p_postfix_expression_3szCParser.p_postfix_expression_3cCs>t|d||d}t|d|d||dj|d<dS)z postfix_expression : postfix_expression PERIOD ID | postfix_expression PERIOD TYPEID | postfix_expression ARROW ID | postfix_expression ARROW TYPEID rrr\rN)rrr StructRefr4)rrwZfieldr r r!p_postfix_expression_4szCParser.p_postfix_expression_4cCs(td|d|d|dj|d<dS)z{ postfix_expression : postfix_expression PLUSPLUS | postfix_expression MINUSMINUS rwr\rrNr$rvr r r!p_postfix_expression_5szCParser.p_postfix_expression_5cCst|d|d|d<dS)z postfix_expression : LPAREN type_name RPAREN brace_open initializer_list brace_close | LPAREN type_name RPAREN brace_open initializer_list COMMA brace_close r\rrN)rZCompoundLiteralrvr r r!p_postfix_expression_6szCParser.p_postfix_expression_6cCs|d|d<dS)z" primary_expression : identifier rrNr rvr r r!p_primary_expression_1szCParser.p_primary_expression_1cCs|d|d<dS)z primary_expression : constant rrNr rvr r r!p_primary_expression_2szCParser.p_primary_expression_2cCs|d|d<dS)zp primary_expression : unified_string_literal | unified_wstring_literal rrNr rvr r r!p_primary_expression_3szCParser.p_primary_expression_3cCs|d|d<dS)z0 primary_expression : LPAREN expression RPAREN r\rNr rvr r r!p_primary_expression_4szCParser.p_primary_expression_4cCsB||d}tt|d|t|d|dg|||d<dS)za primary_expression : OFFSETOF LPAREN type_name COMMA offsetof_member_designator RPAREN rrrrN)rrr,rr)rrwr4r r r!p_primary_expression_5s  zCParser.p_primary_expression_5cCst|dkr|d|d<nrt|dkrNt|d|d|d|dj|d<n>t|dkr|t|d|d|dj|d<ntdt|dS) z offsetof_member_designator : identifier | offsetof_member_designator PERIOD identifier | offsetof_member_designator LBRACKET expression RBRACKET r\rrrrrz$Unexpected parsing state. len(p): %uN)r+rr.r4r*NotImplementedErrorrvr r r!p_offsetof_member_designators  ( "z$CParser.p_offsetof_member_designatorcCsNt|dkr*t|dg|dj|d<n |dj|d|d|d<dS)z argument_expression_list : assignment_expression | argument_expression_list COMMA assignment_expression r\rrrN)r+rrr4rr(rvr r r!p_argument_expression_lists z"CParser.p_argument_expression_listcCs t|d||d|d<dS)z identifier : ID rrN)rrrrvr r r! p_identifierszCParser.p_identifiercCsd}d}|dddD]&}|dvr.|d7}q|dvr|d7}qd}|dkrVtdn|d krftd d |d |}t|d |d||d|d<dS)z constant : INT_CONST_DEC | INT_CONST_OCT | INT_CONST_HEX | INT_CONST_BIN | INT_CONST_CHAR rrNlL)uUr z.Constant cannot have more than one u/U suffix.r\z.Constant cannot have more than two l/L suffix.z unsigned zlong rD) ValueErrorrConstantr)rrwZuCountZlCountxrgprefixr r r! p_constant_1s    zCParser.p_constant_1cCshd|dvrd}n0|dddvr,d}n|dddvrBd}nd}t||d||d|d <d S) zM constant : FLOAT_CONST | HEX_FLOAT_CONST rCrfloatr.)fFr<z long doubleZdoublerN)lowerrrBr)rrwrgr r r! p_constant_2szCParser.p_constant_2cCs"td|d||d|d<dS)zH constant : CHAR_CONST | WCHAR_CONST charrrN)rrBrrvr r r! p_constant_3 szCParser.p_constant_3cCsdt|dkr,td|d||d|d<n4|djdd|ddd|d_|d|d<dS)z~ unified_string_literal : STRING_LITERAL | unified_string_literal STRING_LITERAL r\stringrrNr.)r+rrBrvaluervr r r!p_unified_string_literals   (z CParser.p_unified_string_literalcCsht|dkr,td|d||d|d<n8|djdd|ddd|d_|d|d<dS)z unified_wstring_literal : WSTRING_LITERAL | unified_wstring_literal WSTRING_LITERAL r\rMrrNr.)r+rrBrrNrstriprvr r r!p_unified_wstring_literal"s   ,z!CParser.p_unified_wstring_literalcCs"|d|d<|d|ddS)z brace_open : LBRACE rrNZ set_linenolinenorvr r r! p_brace_open-s zCParser.p_brace_opencCs"|d|d<|d|ddS)z brace_close : RBRACE rrNrRrvr r r! p_brace_close3s zCParser.p_brace_closecCs d|d<dS)zempty : Nrr rvr r r!p_empty9szCParser.p_emptycCs@|r,|d|j|j|j|j|dn|d|jjdS)Nz before: %s)rSr<zAt end of input)r1rNr9rSrZfind_tok_columnr$rvr r r!p_error=s zCParser.p_errorN)r r)F)F)__name__ __module__ __qualname__rr"r%r*r-r5r6r8rrrrr=rCrQrYrirnrqZ precedencerxryr{r|r}r~rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr r r r rrrrrrrrrrrrrr r!r"r#r&r'r(r)r+r-r/r0r1r2r3r4r5r6r8r9r:rErJrLrOrQrTrUrVrWr r r r!r s^ o     )7-  Y     5<       &                                                         r )reZplyrr rZc_lexerrZ plyparserrrrr r Zast_transformsr r r r r r! s