ÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ U Ó—_óã@s€ddlZddlmZddlmZddlmZddlmZm Z m Z ddlmZGdd „d eƒZ ed kr|ddlZddlZddlZdS)éN)Úyaccé)Úc_ast)ÚCLexer)Ú PLYParserÚCoordÚ ParseError)Úfix_switch_casesc@seZdZd1dd„Zd2d d „Zdd„Zd d„Zdd„Zdd„Zdd„Z dd„Z dd„Zdd„Zdd„Z dd„Zdd „Zd!d"„Zd#d$„Zd3d%d&„Zd'd(„Zd)d*„Zd+Zd,d-„Zd.d/„Zd0d1„Zd2d3„Zd4d5„Zd6d7„Zd8d9„Zd:d;„Zdd?„Zd@dA„Z dBdC„Z!dDdE„Z"dFdG„Z#dHdI„Z$dJdK„Z%dLdM„Z&dNdO„Z'dPdQ„Z(dRdS„Z)dTdU„Z*dVdW„Z+dXdY„Z,dZd[„Z-d\d]„Z.d^d_„Z/d`da„Z0dbdc„Z1ddde„Z2dfdg„Z3dhdi„Z4djdk„Z5dldm„Z6dndo„Z7dpdq„Z8drds„Z9dtdu„Z:dvdw„Z;dxdy„Zd~d„Z?d€d„Z@d‚dƒ„ZAd„d…„ZBd†d‡„ZCdˆd‰„ZDdŠd‹„ZEdŒd„ZFdŽd„ZGdd‘„ZHd’d“„ZId”d•„ZJd–d—„ZKd˜d™„ZLdšd›„ZMdœd„ZNdždŸ„ZOd d¡„ZPd¢d£„ZQd¤d¥„ZRd¦d§„ZSd¨d©„ZTdªd«„ZUd¬d„ZVd®d¯„ZWd°d±„ZXd²d³„ZYd´dµ„ZZd¶d·„Z[d¸d¹„Z\dºd»„Z]d¼d½„Z^d¾d¿„Z_dÀdÁ„Z`dÂdÃ„ZadÄdÅ„ZbdÆdÇ„ZcdÈdÉ„ZddÊdË„ZedÌdÍ„ZfdÎdÏ„ZgdÐdÑ„ZhdÒdÓ„ZidÔdÕ„ZjdÖd×„ZkdØdÙ„ZldÚdÛ„ZmdÜdÝ„ZndÞdß„Zodàdá„Zpdâdã„Zqdädå„Zrdædç„Zsdèdé„Ztdêdë„Zudìdí„Zvdîdï„Zwdðdñ„Zxdòdó„Zydôdõ„Zzdöd÷„Z{dødù„Z|dúdû„Z}düdý„Z~dþdÿ„Zdd„Z€dd„Zdd„Z‚dd„Zƒdd „Z„d d„Z…dd „Z†dd„Z‡dd„Zˆdd„Z‰dd„ZŠdd„Z‹dd„ZŒdd„Zdd„ZŽdd„Zd d!„Zd"d#„Z‘d$d%„Z’d&d'„Z“d(d)„Z”d*d+„Z•d,d-„Z–d.d/„Z—d0S(4ÚCParserTúpycparser.lextabúpycparser.yacctabFÚc Cs–t|j|j|j|jd|_|jj|||d|jj|_ddddddd d ddd dddg}|D]}| |¡qZt j |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. 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)ÚoptimizeÚlextabÚ outputdirZabstract_declaratorZassignment_expressionZdeclaration_listZdeclaration_specifiersZdesignationZ expressionZidentifier_listZinit_declarator_listZinitializer_listZparameter_type_listZspecifier_qualifier_listZblock_item_listZtype_qualifier_listZstruct_declarator_listZtranslation_unit_or_empty)ÚmoduleÚstartÚdebugrZ tabmodulerN)rÚ_lex_error_funcÚ_lex_on_lbrace_funcÚ_lex_on_rbrace_funcÚ_lex_type_lookup_funcÚclexZbuildZtokensZ_create_opt_rulerÚcparserÚdictÚ_scope_stackÚ_last_yielded_token) ÚselfÚlex_optimizerÚ yacc_optimizeÚyacctabÚ yacc_debugZtaboutputdirZrules_with_optZrule©r"ú../pycparser/c_parser.pyÚ__init__sN5üý òú zCParser.__init__rcCs6||j_|j ¡tƒg|_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)ÚinputZlexerr)rÚfilenameZreset_linenorrrrÚparse)rÚtextr&Z debuglevelr"r"r#r'~s ýz CParser.parsecCs|j tƒ¡dS©N)rÚappendr©rr"r"r#Ú_push_scope–szCParser._push_scopecCs t|jƒdkst‚|j ¡dS)Nr)ÚlenrÚAssertionErrorÚpopr+r"r"r#Ú _pop_scope™szCParser._pop_scopecCs4|jd |d¡s"| 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 scopeN©rÚgetÚ_parse_error©rÚnameÚcoordr"r"r#Ú_add_typedef_namesÿþzCParser._add_typedef_namecCs4|jd |d¡r"| d||¡d|jd|<dS)ze Add a new object, function, or enum member name (ie an ID) to the current scope r1Fz;Non-typedef %r previously declared as typedef in this scopeNr2r5r"r"r#Ú_add_identifier¦sÿþzCParser._add_identifiercCs.t|jƒD]}| |¡}|dk r |Sq dS)z8 Is *name* a typedef-name in the current scope? NF)Úreversedrr3)rr6ZscopeZin_scoper"r"r#Ú_is_type_in_scope°s zCParser._is_type_in_scopecCs| || ||¡¡dSr))r4Ú_coord)rÚmsgÚlineÚcolumnr"r"r#rºszCParser._lex_error_funccCs| ¡dSr))r,r+r"r"r#r½szCParser._lex_on_lbrace_funccCs| ¡dSr))r0r+r"r"r#rÀszCParser._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. )r;)rr6Zis_typer"r"r#rÃs 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_tokenÌsz!CParser._get_yacc_lookahead_tokencCs\|}|}|jr|j}qt|tjƒr,||_|S|}t|jtjƒsF|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Ú isinstancerÚTypeDecl)rÚdeclÚmodifierZ modifier_headZ modifier_tailZ decl_tailr"r"r#Ú_type_modify_declõszCParser._type_modify_declcCsÂ|}t|tjƒs|j}q|j|_|j|_|D]:}t|tjƒs,t|ƒdkrX| d|j ¡q,||_|Sq,|sžt|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 declarationÚint©r7cSsg|]}|jD]}|‘qqSr")Únames)Ú.0Úidr6r"r"r#Ú Usz/CParser._fix_decl_name_type..r)rBrrCrAÚdeclnamer6ÚqualsÚIdentifierTyper-r4r7ÚFuncDecl)rrDÚtypenamerAZtnr"r"r#Ú_fix_decl_name_type,s:ÿ ÿþ þzCParser._fix_decl_name_typecCs(|ptggggd}|| 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. Returns the declaration specifier, with the new specifier incorporated. ©ÚqualÚstoragerAÚfunctionr)rÚinsert)rZdeclspecZnewspecZkindÚspecr"r"r#Ú_add_declaration_specifierYs z"CParser._add_declaration_specifiercCsFd|dk}g}|d d¡dk r&n,|dddkrät|dƒdkstt|dd jƒd kst| |dd jd¡s¦d}|dD]}t|dƒr€|j}qšq€| d |¡tj|dd jddd|dd jd|dd<|dd =nnt |ddtj tjtjfƒsR|dd}t |tjƒs(|j }q|jdkrR|dd jd|_|dd =|D]ê} | ddk slt‚|rštjd|d|d| d| djd} nsüzCParser.p_function_definition_2cCs|d|d<dS)a statement : labeled_statement | expression_statement | compound_statement | selection_statement | iteration_statement | jump_statement rrNr"rrr"r"r#Úp_statementIszCParser.p_statementc Cs¶|d}|ddkr–|d}tjtjtjf}t|ƒdkrzt|d|ƒrztjd|d|d|d|ddd|djd g}qª|j|t ddd gdd}n|j||ddd}||d<dS) zE decl_body : declaration_specifiers init_declarator_list_opt rr\NrArrTrUrVr`rjTrk) rrbrcÚEnumr-rBrdr7rir)rrsrXZtyZs_u_or_erer"r"r#Úp_decl_body\s4ø ýýzCParser.p_decl_bodycCs|d|d<dS)z& declaration : decl_body SEMI rrNr"rrr"r"r#Ú p_declaration—szCParser.p_declarationcCs,t|ƒdkr|dn|d|d|d<dS)zj declaration_list : declaration | declaration_list declaration r\rrN©r-rrr"r"r#Úp_declaration_list szCParser.p_declaration_listcCs| |d|dd¡|d<dS)zM declaration_specifiers : type_qualifier declaration_specifiers_opt r\rrTrN©rYrrr"r"r#Úp_declaration_specifiers_1¦sz"CParser.p_declaration_specifiers_1cCs| |d|dd¡|d<dS)zM declaration_specifiers : type_specifier declaration_specifiers_opt r\rrArNrŠrrr"r"r#Úp_declaration_specifiers_2«sz"CParser.p_declaration_specifiers_2cCs| |d|dd¡|d<dS)zV declaration_specifiers : storage_class_specifier declaration_specifiers_opt r\rrUrNrŠrrr"r"r#Úp_declaration_specifiers_3°sz"CParser.p_declaration_specifiers_3cCs| |d|dd¡|d<dS)zQ declaration_specifiers : function_specifier declaration_specifiers_opt r\rrVrNrŠrrr"r"r#Úp_declaration_specifiers_4µsz"CParser.p_declaration_specifiers_4cCs|d|d<dS)zß storage_class_specifier : AUTO | REGISTER | STATIC | EXTERN | TYPEDEF rrNr"rrr"r"r#Úp_storage_class_specifierºsz!CParser.p_storage_class_specifiercCs|d|d<dS)z& function_specifier : INLINE rrNr"rrr"r"r#Úp_function_specifierÃszCParser.p_function_specifiercCs(tj|dg| | d¡¡d|d<dS)aŒ type_specifier : VOID | _BOOL | CHAR | SHORT | INT | LONG | FLOAT | DOUBLE | _COMPLEX | SIGNED | UNSIGNED rrHrN©rrOr<r|rrr"r"r#Úp_type_specifier_1Ès zCParser.p_type_specifier_1cCs|d|d<dS)z type_specifier : typedef_name | enum_specifier | struct_or_union_specifier rrNr"rrr"r"r#Úp_type_specifier_2×szCParser.p_type_specifier_2cCs|d|d<dS)zo type_qualifier : CONST | RESTRICT | VOLATILE rrNr"rrr"r"r#Úp_type_qualifierÞszCParser.p_type_qualifiercCs0t|ƒdkr|d|dgn|dg|d<dS)z„ init_declarator_list : init_declarator | init_declarator_list COMMA init_declarator r‚rr~rNrˆrrr"r"r#Úp_init_declarator_list_1åsz CParser.p_init_declarator_list_1cCstd|ddg|d<dS)z6 init_declarator_list : EQUALS initializer Nr\rjr©rrrr"r"r#Úp_init_declarator_list_2ðsz CParser.p_init_declarator_list_2cCst|dddg|d<dS)z7 init_declarator_list : abstract_declarator rNrjrr–rrr"r"r#Úp_init_declarator_list_3øsz CParser.p_init_declarator_list_3cCs,t|dt|ƒdkr|dndd|d<dS)zb init_declarator : declarator | declarator EQUALS initializer rr\r~Nrjr)rr-rrr"r"r#Úp_init_declaratorszCParser.p_init_declaratorcCs| |d|dd¡|d<dS)zS specifier_qualifier_list : type_qualifier specifier_qualifier_list_opt r\rrTrNrŠrrr"r"r#Úp_specifier_qualifier_list_1sz$CParser.p_specifier_qualifier_list_1cCs| |d|dd¡|d<dS)zS specifier_qualifier_list : type_specifier specifier_qualifier_list_opt r\rrArNrŠrrr"r"r#Úp_specifier_qualifier_list_2sz$CParser.p_specifier_qualifier_list_2cCs4| |d¡}||dd| | d¡¡d|d<dS)z{ struct_or_union_specifier : struct_or_union ID | struct_or_union TYPEID rr\N©r6rer7r©ror<r|©rrsÚklassr"r"r#Úp_struct_or_union_specifier_1sýz%CParser.p_struct_or_union_specifier_1cCs4| |d¡}|d|d| | d¡¡d|d<dS)zd struct_or_union_specifier : struct_or_union brace_open struct_declaration_list brace_close rNr~r\rœrrržr"r"r#Úp_struct_or_union_specifier_2sýz%CParser.p_struct_or_union_specifier_2cCs8| |d¡}||d|d| | d¡¡d|d<dS)zÙ struct_or_union_specifier : struct_or_union ID brace_open struct_declaration_list brace_close | struct_or_union TYPEID brace_open struct_declaration_list brace_close rr\r‚rœrNrržr"r"r#Úp_struct_or_union_specifier_3&sýz%CParser.p_struct_or_union_specifier_3cCs|d|d<dS)zF struct_or_union : STRUCT | UNION rrNr"rrr"r"r#Úp_struct_or_union0szCParser.p_struct_or_unioncCs,t|ƒdkr|dn|d|d|d<dS)z struct_declaration_list : struct_declaration | struct_declaration_list struct_declaration r\rrNrˆrrr"r"r#Úp_struct_declaration_list8sz!CParser.p_struct_declaration_listcCs¬|d}d|dkst‚|ddk r8|j||dd}nht|dƒdkrˆ|dd}t|tjƒrf|}n t |¡}|j|t|d gd}n|j|tddd gd}||d<dS)zW struct_declaration : specifier_qualifier_list struct_declarator_list_opt SEMI rrZrUr\N©rXrerAr©rDrj)r.rir-rBrZNoderOr)rrsrXreZnodeZ decl_typer"r"r#Úp_struct_declaration_1>s*þ þ þzCParser.p_struct_declaration_1cCs(|j|dt|dddgd|d<dS)zP struct_declaration : specifier_qualifier_list abstract_declarator SEMI rr\Nrjr¥r)rirrrr"r"r#Úp_struct_declaration_2ds þzCParser.p_struct_declaration_2cCs0t|ƒdkr|d|dgn|dg|d<dS)zŠ struct_declarator_list : struct_declarator | struct_declarator_list COMMA struct_declarator r‚rr~rNrˆrrr"r"r#Úp_struct_declarator_listrsz CParser.p_struct_declarator_listcCs|dddœ|d<dS)z( struct_declarator : declarator rN©rDr[rr"rrr"r"r#Úp_struct_declarator_1{szCParser.p_struct_declarator_1cCsDt|ƒdkr$|d|ddœ|d<nt ddd¡|ddœ|d<dS)z€ struct_declarator : declarator COLON constant_expression | COLON constant_expression r~rrªrNr\)r-rrCrrr"r"r#Úp_struct_declarator_2€szCParser.p_struct_declarator_2c Cs&t |dd| | d¡¡¡|d<dS)zM enum_specifier : ENUM ID | ENUM TYPEID r\Nrr©rr…r<r|rrr"r"r#Úp_enum_specifier_1‰szCParser.p_enum_specifier_1c Cs&t d|d| | d¡¡¡|d<dS)zG enum_specifier : ENUM brace_open enumerator_list brace_close Nr~rrrrrr"r"r#Úp_enum_specifier_2szCParser.p_enum_specifier_2c Cs*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\r‚rrNrrrr"r"r#Úp_enum_specifier_3”szCParser.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\rrr~N)r-rZEnumeratorListr7Zenumeratorsr*rrr"r"r#Úp_enumerator_listšszCParser.p_enumerator_listc Csjt|ƒdkr,t |dd| | d¡¡¡}n"t |d|d| | d¡¡¡}| |j|j¡||d<dS)zR enumerator : ID | ID EQUALS constant_expression r\rNr~r)r-rZ Enumeratorr<r|r9r6r7)rrsZ enumeratorr"r"r#Úp_enumerator§sþþzCParser.p_enumeratorcCs|d|d<dS)z) declarator : direct_declarator rrNr"rrr"r"r#Úp_declarator_1·szCParser.p_declarator_1cCs| |d|d¡|d<dS)z1 declarator : pointer direct_declarator r\rrN©rFrrr"r"r#Úp_declarator_2¼szCParser.p_declarator_2c Cs:tj|ddd| | d¡¡d}| ||d¡|d<dS)z& declarator : pointer TYPEID r\Nr^rr)rrCr<r|rF)rrsrDr"r"r#Úp_declarator_3ÅsüzCParser.p_declarator_3c Cs*tj|ddd| | d¡¡d|d<dS)z" direct_declarator : ID rNr^r)rrCr<r|rrr"r"r#Úp_direct_declarator_1ÐsüzCParser.p_direct_declarator_1cCs|d|d<dS)z8 direct_declarator : LPAREN declarator RPAREN r\rNr"rrr"r"r#Úp_direct_declarator_2ÙszCParser.p_direct_declarator_2cCsft|ƒdkr|dngpg}tjdt|ƒdkr6|dn|d||djd}|j|d|d|d<dS) zu direct_declarator : direct_declarator LBRACKET type_qualifier_list_opt assignment_expression_opt RBRACKET ér~Nr‚r©rAZdimÚ dim_qualsr7©rDrEr)r-rÚ ArrayDeclr7rF)rrsrNÚarrr"r"r#Úp_direct_declarator_3ÞsüzCParser.p_direct_declarator_3cCs^dd„|d|dfDƒ}dd„|Dƒ}tjd|d||djd }|j|d|d |d<dS)zï direct_declarator : direct_declarator LBRACKET STATIC type_qualifier_list_opt assignment_expression RBRACKET | direct_declarator LBRACKET type_qualifier_list STATIC assignment_expression RBRACKET cSs g|]}t|tƒr|n|g‘qSr"©rBÚlist)rJÚitemr"r"r#rLósÿz1CParser.p_direct_declarator_4..r~r‚cSs"g|]}|D]}|dk r|‘qqSr)r")rJZsublistrTr"r"r#rLõs ÿNr¹rrºr¼r©rr½r7rF)rrsZlisted_qualsr»r¾r"r"r#Úp_direct_declarator_4ìsÿüzCParser.p_direct_declarator_4c Cs^tjdt |d| | d¡¡¡|ddkr4|dng|djd}|j|d|d|d<dS)za direct_declarator : direct_declarator LBRACKET type_qualifier_list_opt TIMES RBRACKET Nr‚r~rrºr¼r©rr½ÚIDr<r|r7rF©rrsr¾r"r"r#Úp_direct_declarator_5süzCParser.p_direct_declarator_5cCsztj|dd|djd}| ¡jdkr`|jdk r`|jjD]$}t|tjƒrNq`| |j |j¡q:|j|d|d|d<dS)z© direct_declarator : direct_declarator LPAREN parameter_type_list RPAREN | direct_declarator LPAREN identifier_list_opt RPAREN r~Nr©ÚargsrAr7ZLBRACEr¼r)rrPr7r@rArÊÚparamsrBÚ EllipsisParamr9r6rF)rrsÚfuncZparamr"r"r#Úp_direct_declarator_6sý zCParser.p_direct_declarator_6cCsn| | d¡¡}tj|dpgd|d}t|ƒdkrb|d}|jdk rN|j}q<||_|d|d<n||d<dS)zm pointer : TIMES type_qualifier_list_opt | TIMES type_qualifier_list_opt pointer rr\N)rNrAr7r~r)r<r|rZPtrDeclr-rA)rrsr7Znested_typeZ tail_typer"r"r#Ú p_pointer(s zCParser.p_pointercCs0t|ƒdkr|dgn|d|dg|d<dS)zs type_qualifier_list : type_qualifier | type_qualifier_list type_qualifier r\rrNrˆrrr"r"r#Úp_type_qualifier_listFszCParser.p_type_qualifier_listc Cs>t|ƒdkr.|dj t | | d¡¡¡¡|d|d<dS)zn parameter_type_list : parameter_list | parameter_list COMMA ELLIPSIS r\rr~rN)r-rËr*rrÌr<r|rrr"r"r#Úp_parameter_type_listLs"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\rrr~N©r-rZ ParamListr7rËr*rrr"r"r#Úp_parameter_listUszCParser.p_parameter_listcCsX|d}|ds2tjdg| | d¡¡dg|d<|j|t|ddgdd|d<d S) zE parameter_declaration : declaration_specifiers declarator rrArGrHr\r¦r¥rN)rrOr<r|rirr€r"r"r#Úp_parameter_declaration_1_sÿþþz!CParser.p_parameter_declaration_1c Csæ|d}|ds2tjdg| | d¡¡dg|d<t|dƒdkr’t|ddjƒdkr’| |ddjd¡r’|j|t|ddd gd d}nHtj d|d|dp²t ddd¡| | d¡¡d }|d}| ||¡}||d<dS)zR parameter_declaration : declaration_specifiers abstract_declarator_opt rrArGrHr1rr\Nrjr¥r rT©r6rNrAr7)rrOr<r|r-rIr;rirÚTypenamerCrR)rrsrXrDrQr"r"r#Úp_parameter_declaration_2js.ÿ&ÿþþü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\rrr~NrÒrrr"r"r#Úp_identifier_list‰szCParser.p_identifier_listcCs|d|d<dS)z- initializer : assignment_expression rrNr"rrr"r"r#Úp_initializer_1“szCParser.p_initializer_1cCs:|ddkr*t g| | d¡¡¡|d<n|d|d<dS)z‹ initializer : brace_open initializer_list_opt brace_close | brace_open initializer_list COMMA brace_close r\Nrr)rÚInitListr<r|rrr"r"r#Úp_initializer_2˜szCParser.p_initializer_2cCs–t|ƒdkrN|ddkr |dnt |d|d¡}t |g|dj¡|d<nD|ddkrb|dnt |d|d¡}|dj |¡|d|d<dS)z initializer_list : designation_opt initializer | initializer_list COMMA designation_opt initializer r~rNr\rr‚)r-rZNamedInitializerrÚr7Úexprsr*)rrsr_r"r"r#Úp_initializer_list¡s((zCParser.p_initializer_listcCs|d|d<dS)z. designation : designator_list EQUALS rrNr"rrr"r"r#Ú p_designationszCParser.p_designationcCs0t|ƒdkr|dgn|d|dg|d<dS)z_ designator_list : designator | designator_list designator r\rrNrˆrrr"r"r#Úp_designator_listµszCParser.p_designator_listcCs|d|d<dS)zi designator : LBRACKET constant_expression RBRACKET | PERIOD identifier r\rNr"rrr"r"r#Úp_designator»szCParser.p_designatorc CsTtjd|dd|dp$t ddd¡| | d¡¡d}| ||dd¡|d<dS) zH type_name : specifier_qualifier_list abstract_declarator_opt r rrTr\NrÕrAr)rrÖrCr<r|rR)rrsrQr"r"r#Úp_type_nameÁs üzCParser.p_type_namecCs(t ddd¡}|j||dd|d<dS)z+ abstract_declarator : pointer Nrr¼r)rrCrF)rrsZ 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\rrNr´rrr"r"r#Úp_abstract_declarator_2ÚszCParser.p_abstract_declarator_2cCs|d|d<dS)z> abstract_declarator : direct_abstract_declarator rrNr"rrr"r"r#Úp_abstract_declarator_3ßszCParser.p_abstract_declarator_3cCs|d|d<dS)zA direct_abstract_declarator : LPAREN abstract_declarator RPAREN r\rNr"rrr"r"r#Úp_direct_abstract_declarator_1ész&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 Nr~rrºr¼rrÃrÇr"r"r#Úp_direct_abstract_declarator_2ísüz&CParser.p_direct_abstract_declarator_2c Cs4tjt ddd¡|dg| | d¡¡d|d<dS)zS direct_abstract_declarator : LBRACKET assignment_expression_opt RBRACKET Nr\rrºr)rr½rCr<r|rrr"r"r#Úp_direct_abstract_declarator_3øsüz&CParser.p_direct_abstract_declarator_3c CsJtjdt |d| | d¡¡¡g|djd}|j|d|d|d<dS)zZ direct_abstract_declarator : direct_abstract_declarator LBRACKET TIMES RBRACKET Nr~rrºr¼rrÅrÇr"r"r#Úp_direct_abstract_declarator_4süz&CParser.p_direct_abstract_declarator_4c CsHtjt ddd¡t |d| | d¡¡¡g| | d¡¡d|d<dS)z? direct_abstract_declarator : LBRACKET TIMES RBRACKET Nr~rrºr)rr½rCrÆr<r|rrr"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 r~NrrÉr¼r)rrPr7rF)rrsrÍr"r"r#Úp_direct_abstract_declarator_6sýz&CParser.p_direct_abstract_declarator_6cCs2tj|dt ddd¡| | d¡¡d|d<dS)zM direct_abstract_declarator : LPAREN parameter_type_list_opt RPAREN r\NrrÉr)rrPrCr<r|rrr"r"r#Úp_direct_abstract_declarator_7s ýz&CParser.p_direct_abstract_declarator_7cCs(t|dtƒr|dn|dg|d<dS)zG block_item : declaration | statement rrNrÀrrr"r"r#Úp_block_item*szCParser.p_block_itemcCs:t|ƒdks|ddgkr"|dn|d|d|d<dS)z_ block_item_list : block_item | block_item_list block_item r\Nrrrˆrrr"r"r#Úp_block_item_list2szCParser.p_block_item_listcCs&tj|d| | d¡¡d|d<dS)zA compound_statement : brace_open block_item_list_opt brace_close r\r)Zblock_itemsr7rN)rZCompoundr<r|rrr"r"r#Úp_compound_statement_19sþzCParser.p_compound_statement_1c Cs*t |d|d| | d¡¡¡|d<dS)z( labeled_statement : ID COLON statement rr~rN)rZLabelr<r|rrr"r"r#Úp_labeled_statement_1?szCParser.p_labeled_statement_1c Cs,t |d|dg| | d¡¡¡|d<dS)z> labeled_statement : CASE constant_expression COLON statement r\r‚rrN)rZCaser<r|rrr"r"r#Úp_labeled_statement_2CszCParser.p_labeled_statement_2cCs&t |dg| | d¡¡¡|d<dS)z- labeled_statement : DEFAULT COLON statement r~rrN)rZDefaultr<r|rrr"r"r#Úp_labeled_statement_3GszCParser.p_labeled_statement_3c Cs,t |d|dd| | d¡¡¡|d<dS)z= selection_statement : IF LPAREN expression RPAREN statement r~r¹Nrr©rZIfr<r|rrr"r"r#Úp_selection_statement_1KszCParser.p_selection_statement_1c Cs0t |d|d|d| | d¡¡¡|d<dS)zL selection_statement : IF LPAREN expression RPAREN statement ELSE statement r~r¹érrNròrrr"r"r#Úp_selection_statement_2OszCParser.p_selection_statement_2c Cs.tt |d|d| | d¡¡¡ƒ|d<dS)zA selection_statement : SWITCH LPAREN expression RPAREN statement r~r¹rrN)r rZSwitchr<r|rrr"r"r#Úp_selection_statement_3Ss ÿzCParser.p_selection_statement_3c Cs*t |d|d| | d¡¡¡|d<dS)z@ iteration_statement : WHILE LPAREN expression RPAREN statement r~r¹rrN)rZWhiler<r|rrr"r"r#Úp_iteration_statement_1XszCParser.p_iteration_statement_1c Cs*t |d|d| | d¡¡¡|d<dS)zH iteration_statement : DO statement WHILE LPAREN expression RPAREN SEMI r¹r\rrN)rZDoWhiler<r|rrr"r"r#Úp_iteration_statement_2\szCParser.p_iteration_statement_2cCs6t |d|d|d|d| | d¡¡¡|d<dS)zj iteration_statement : FOR LPAREN expression_opt SEMI expression_opt SEMI expression_opt RPAREN statement r~r¹rôé rrN)rÚForr<r|rrr"r"r#Úp_iteration_statement_3`szCParser.p_iteration_statement_3cCsJt t |d| | d¡¡¡|d|d|d| | d¡¡¡|d<dS)zb iteration_statement : FOR LPAREN declaration expression_opt SEMI expression_opt RPAREN statement r~rr‚éérN)rrúZDeclListr<r|rrr"r"r#Úp_iteration_statement_4dsÿzCParser.p_iteration_statement_4cCs$t |d| | d¡¡¡|d<dS)z jump_statement : GOTO ID SEMI r\rrN)rZGotor<r|rrr"r"r#Úp_jump_statement_1iszCParser.p_jump_statement_1cCst | | d¡¡¡|d<dS)z jump_statement : BREAK SEMI rrN)rZBreakr<r|rrr"r"r#Úp_jump_statement_2mszCParser.p_jump_statement_2cCst | | d¡¡¡|d<dS)z! jump_statement : CONTINUE SEMI rrN)rZContinuer<r|rrr"r"r#Úp_jump_statement_3qszCParser.p_jump_statement_3cCs4t t|ƒdkr|dnd| | d¡¡¡|d<dS)z\ jump_statement : RETURN expression SEMI | RETURN SEMI r‚r\Nrr)rZReturnr-r<r|rrr"r"r#Úp_jump_statement_4uszCParser.p_jump_statement_4cCs8|ddkr(t | | d¡¡¡|d<n|d|d<dS)z, expression_statement : expression_opt SEMI rNr)rZEmptyStatementr<r|rrr"r"r#Úp_expression_statement{szCParser.p_expression_statementcCsjt|ƒdkr|d|d<nLt|dtjƒsFt |dg|dj¡|d<|dj |d¡|d|d<dS)zn expression : assignment_expression | expression COMMA assignment_expression r\rrr~N)r-rBrÚExprListr7rÜr*rrr"r"r#Úp_expression‚szCParser.p_expressioncCs(tj|dg| | d¡¡d|d<dS)z typedef_name : TYPEID rrHrNr‘rrr"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\rrr~N)r-rZ Assignmentr7rrr"r"r#Úp_assignment_expression“szCParser.p_assignment_expressioncCs|d|d<dS)aÞ assignment_operator : EQUALS | XOREQUAL | TIMESEQUAL | DIVEQUAL | MODEQUAL | PLUSEQUAL | MINUSEQUAL | LSHIFTEQUAL | RSHIFTEQUAL | ANDEQUAL | OREQUAL rrNr"rrr"r"r#Úp_assignment_operator¡s zCParser.p_assignment_operatorcCs|d|d<dS)z. constant_expression : conditional_expression rrNr"rrr"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\rrr~r¹N)r-rZ TernaryOpr7rrr"r"r#Úp_conditional_expression´sz 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\rrr~N)r-rZBinaryOpr7rrr"r"r#Úp_binary_expression½szCParser.p_binary_expressioncCs|d|d<dS)z$ cast_expression : unary_expression rrNr"rrr"r"r#Úp_cast_expression_1×szCParser.p_cast_expression_1c Cs*t |d|d| | d¡¡¡|d<dS)z; cast_expression : LPAREN type_name RPAREN cast_expression r\r‚rrN)rZCastr<r|rrr"r"r#Úp_cast_expression_2ÛszCParser.p_cast_expression_2cCs|d|d<dS)z* unary_expression : postfix_expression rrNr"rrr"r"r#Úp_unary_expression_1ßszCParser.p_unary_expression_1cCs$t |d|d|dj¡|d<dS)z¸ unary_expression : PLUSPLUS unary_expression | MINUSMINUS unary_expression | unary_operator cast_expression rr\rN©rÚUnaryOpr7rrr"r"r#Úp_unary_expression_2ãszCParser.p_unary_expression_2c Cs>t |dt|ƒdkr|dn|d| | d¡¡¡|d<dS)zx unary_expression : SIZEOF unary_expression | SIZEOF LPAREN type_name RPAREN rr~r\rN)rrr-r<r|rrr"r"r#Úp_unary_expression_3ês ýzCParser.p_unary_expression_3cCs|d|d<dS)zÏ unary_operator : AND | TIMES | PLUS | MINUS | NOT | LNOT rrNr"rrr"r"r#Úp_unary_operatorószCParser.p_unary_operatorcCs|d|d<dS)z* postfix_expression : primary_expression rrNr"rrr"r"r#Úp_postfix_expression_1ýszCParser.p_postfix_expression_1cCs$t |d|d|dj¡|d<dS)zG postfix_expression : postfix_expression LBRACKET expression RBRACKET rr~rN)rZArrayRefr7rrr"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 rr¹r~Nr)rÚFuncCallr-r7rrr"r"r#Úp_postfix_expression_3szCParser.p_postfix_expression_3cCsBt |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 r~rr\rN)rrÆr<r|Z StructRefr7)rrsZfieldr"r"r#Úp_postfix_expression_4szCParser.p_postfix_expression_4cCs(t d|d|d|dj¡|d<dS)z{ postfix_expression : postfix_expression PLUSPLUS | postfix_expression MINUSMINUS rsr\rrNrrrr"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\r¹rN)rZCompoundLiteralrrr"r"r#Úp_postfix_expression_6szCParser.p_postfix_expression_6cCs|d|d<dS)z" primary_expression : identifier rrNr"rrr"r"r#Úp_primary_expression_1 szCParser.p_primary_expression_1cCs|d|d<dS)z primary_expression : constant rrNr"rrr"r"r#Úp_primary_expression_2$szCParser.p_primary_expression_2cCs|d|d<dS)zp primary_expression : unified_string_literal | unified_wstring_literal rrNr"rrr"r"r#Úp_primary_expression_3(szCParser.p_primary_expression_3cCs|d|d<dS)z0 primary_expression : LPAREN expression RPAREN r\rNr"rrr"r"r#Úp_primary_expression_4.szCParser.p_primary_expression_4cCsF| | d¡¡}t t |d|¡t |d|dg|¡|¡|d<dS)zQ primary_expression : OFFSETOF LPAREN type_name COMMA identifier RPAREN rr~r¹rN)r<r|rrrÆr)rrsr7r"r"r#Úp_primary_expression_52s þzCParser.p_primary_expression_5cCsNt|ƒdkr*t |dg|dj¡|d<n |dj |d¡|d|d<dS)zœ argument_expression_list : assignment_expression | argument_expression_list COMMA assignment_expression r\rrr~N)r-rrr7rÜr*rrr"r"r#Úp_argument_expression_list:sz"CParser.p_argument_expression_listcCs$t |d| | d¡¡¡|d<dS)z identifier : ID rrN)rrÆr<r|rrr"r"r#Úp_identifierDszCParser.p_identifierc Cs&t d|d| | d¡¡¡|d<dS)z constant : INT_CONST_DEC | INT_CONST_OCT | INT_CONST_HEX | INT_CONST_BIN rGrrN©rÚConstantr<r|rrr"r"r#Úp_constant_1Hs ÿzCParser.p_constant_1c Cs&t d|d| | d¡¡¡|d<dS)zM constant : FLOAT_CONST | HEX_FLOAT_CONST ÚfloatrrNr"rrr"r"r#Úp_constant_2Qs ÿzCParser.p_constant_2c Cs&t d|d| | d¡¡¡|d<dS)zH constant : CHAR_CONST | WCHAR_CONST ÚcharrrNr"rrr"r"r#Úp_constant_3Xs ÿzCParser.p_constant_3c Csht|ƒdkr0t d|d| | d¡¡¡|d<n4|djdd…|ddd…|d_|d|d<dS)z~ unified_string_literal : STRING_LITERAL | unified_string_literal STRING_LITERAL r\ÚstringrrNr1)r-rr#r<r|Úvaluerrr"r"r#Úp_unified_string_literaldsÿ (z CParser.p_unified_string_literalc Cslt|ƒdkr0t d|d| | d¡¡¡|d<n8|dj ¡dd…|ddd…|d_|d|d<dS)z unified_wstring_literal : WSTRING_LITERAL | unified_wstring_literal WSTRING_LITERAL r\r)rrNr1)r-rr#r<r|r*Úrstriprrr"r"r#Úp_unified_wstring_literalosÿ ,z!CParser.p_unified_wstring_literalcCs|d|d<dS)z brace_open : LBRACE rrNr"rrr"r"r#Úp_brace_openzszCParser.p_brace_opencCs|d|d<dS)z brace_close : RBRACE rrNr"rrr"r"r#Ú p_brace_closeszCParser.p_brace_closecCsd|d<dS)zempty : Nrr"rrr"r"r#Úp_empty„szCParser.p_emptycCs<|r,| d|j|j|j|j |¡d¡n| dd¡dS)Nz before: %s)r|r?zAt end of inputr )r4r*r<r|rZfind_tok_columnrrr"r"r#Úp_errorˆs ÿþzCParser.p_errorN)TrTrFr )r r)F)˜Ú__name__Ú __module__Ú__qualname__r$r'r,r0r8r9r;rrrrr@rFrRrYrirnroZ precedencertrurwrxryrzr{r}rrƒr„r†r‡r‰r‹rŒrrŽrrr’r“r”r•r—r˜r™ršr›r r¡r¢r£r¤r§r¨r©r«r¬r®r¯r°r±r²r³rµr¶r·r¸r¿rÄrÈrÎrÏrÐrÑrÓrÔr×rØrÙrÛrÝrÞrßràrárârãrärårærçrèrérêrërìrírîrïrðrñrórõrör÷rørûrþrÿrrrrrrrrr r rrr rrrrrrrrrrrrrrrr r!r$r&r(r+r-r.r/r0r1r"r"r"r#r s6ù j )7-Y ; & r Ú__main__)ÚreZplyrr rÚc_lexerrZ plyparserrrrZast_transformsr r r2ÚpprintÚtimeÚsysr"r"r"r#Ú s,