3 ��]��@s�ddlZddlmZddlmZddlmZddlmZm Z m Z ddlmZGdd �d e�Z ed kr|ddlZddlZddlZdS)�N)�yacc�)�c_ast)�CLexer)� PLYParser�Coord� ParseError)�fix_switch_casesc @sDeZdZ�dCdd�Z�dDd d �Zdd�Zd d�Zdd�Zdd�Zdd�Z dd�Z dd�Zdd�Zdd�Z dd�Zdd �Zd!d"�Zd#d$�Z�dEd%d&�Zd'd(�Zd)d*�Z�dPZd>d?�Zd@dA�ZdBdC�ZdDdE�ZdFdG�ZdHdI�ZdJdK�ZdLdM�ZdNdO�ZdPdQ�ZdRdS�Z dTdU�Z!dVdW�Z"dXdY�Z#dZd[�Z$d\d]�Z%d^d_�Z&d`da�Z'dbdc�Z(ddde�Z)dfdg�Z*dhdi�Z+djdk�Z,dldm�Z-dndo�Z.dpdq�Z/drds�Z0dtdu�Z1dvdw�Z2dxdy�Z3dzd{�Z4d|d}�Z5d~d�Z6d�d��Z7d�d��Z8d�d��Z9d�d��Z:d�d��Z;d�d��Zd�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ф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��Zv�d�d�Zw�d�d�Zx�d�d�Zy�d�d�Zz�d�d �Z{�d �d�Z|�d�d �Z}�d�d�Z~�d�d�Z�d�d�Z��d�d�Z��d�d�Z��d�d�Z��d�d�Z��d�d�Z��d�d�Z��d �d!�Z��d"�d#�Z��d$�d%�Z��d&�d'�Z��d(�d)�Z��d*�d+�Z��d,�d-�Z��d.�d/�Z��d0�d1�Z��d2�d3�Z��d4�d5�Z��d6�d7�Z��d8�d9�Z��d:�d;�Z��d<�d=�Z��d>�d?�Z��d@�dA�Z��dBS(Q�CParserT�pycparser.lextab�pycparser.yacctabF�c Cs�t|j|j|j|jd�|_|jj|||d�|jj|_ddddddd d ddd dddg}x|D]}|j|�q\Wt 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�clexZbuild�tokensZ_create_opt_ruler�cparser�dict�_scope_stack�_last_yielded_token) �selfZlex_optimizerZ yacc_optimizeZyacctabZ yacc_debugZtaboutputdirZrules_with_optZrule�r�/usr/lib/python3.6/c_parser.py�__init__sF5 zCParser.__init__rcCs6||j_|jj�t�g|_d|_|jj||j|d�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) debuglevel: Debug level to yacc N)�inputZlexerr)r�filenameZreset_linenorrrr�parse)r�textr#Z debuglevelrrr r$~s z CParser.parsecCs|jjt��dS)N)r�appendr)rrrr �_push_scope�szCParser._push_scopecCs|jj�dS)N)r�pop)rrrr � _pop_scope�szCParser._pop_scopecCs4|jdj|d�s"|jd||�d|jd|<dS)zC Add a new typedef name (ie a TYPEID) to the current scope rTz;Typedef %r previously declared as non-typedef in this scopeN��r*)r�get�_parse_error)r�name�coordrrr �_add_typedef_name�s zCParser._add_typedef_namecCs4|jdj|d�r"|jd||�d|jd|<dS)ze Add a new object, function, or enum member name (ie an ID) to the current scope rFz;Non-typedef %r previously declared as typedef in this scopeNr*r*)rr+r,)rr-r.rrr �_add_identifier�s zCParser._add_identifiercCs.x(t|j�D]}|j|�}|dk r|SqWdS)z8 Is *name* a typedef-name in the current scope? NF)�reversedrr+)rr-ZscopeZin_scoperrr �_is_type_in_scope�s zCParser._is_type_in_scopecCs|j||j||��dS)N)r,�_coord)r�msg�line�columnrrr r�szCParser._lex_error_funccCs|j�dS)N)r')rrrr r�szCParser._lex_on_lbrace_funccCs|j�dS)N)r))rrrr r�szCParser._lex_on_rbrace_funccCs|j|�}|S)z� Looks up types that were previously defined with typedef. Passed to the lexer for recognizing identifiers that are types. )r2)rr-Zis_typerrr 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_token)rrrr �_get_yacc_lookahead_token�sz!CParser._get_yacc_lookahead_tokencCsd|}|}x|jr|j}q Wt|tj�r0||_|S|}xt|jtj�sL|j}q6W|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_tailrrr �_type_modify_decl�s zCParser._type_modify_declcCs�|}xt|tj�s|j}qW|j|_|j|_x>|D]6}t|tj�s2t|�dkr^|j d|j �q2||_|Sq2W|s�t|jtj�s�|j 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)r.cSsg|]}|jD]}|�qqSr)�names)�.0�idr-rrr � Usz/CParser._fix_decl_name_type..r)r9rr:r8�declnamer-�quals�IdentifierType�lenr,r.�FuncDecl)rr;�typenamer8Ztnrrr �_fix_decl_name_type,s. zCParser._fix_decl_name_typecCs(|ptggggd�}||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 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�storager8�functionr)r�insert)rZdeclspecZnewspecZkind�specrrr �_add_declaration_specifierYs z"CParser._add_declaration_specifiercCs@d|dk}g}|djd�dk r&�n4|dddkr�t|d�dksvt|ddj�d ksv|j|ddjd�r�d }x"|dD]}t|d�r�|j}Pq�W|jd|�tj|ddjddd|ddjd �|dd<|dd=nrt |ddtj tjtjf��sZ|dd}xt |tj��s.|j }�qW|jdk�rZ|ddjd|_|dd=x�|D]�} |�r�tjd|d|d| d| djd�} nr)r.)rJrKr8rLrQ�)rNr;r^r_rN)rrrEr3r�r`)rrwrNrrr �p_function_definition_1-szCParser.p_function_definition_1cCs.|d}|j||d|d|dd�|d<dS)zi function_definition : declaration_specifiers declarator declaration_list_opt compound_statement rrQr��)rNr;r^r_rN)r`)rrwrNrrr �p_function_definition_2>szCParser.p_function_definition_2cCs|d|d<dS)a statement : labeled_statement | expression_statement | compound_statement | selection_statement | iteration_statement | jump_statement rrNr)rrwrrr �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 rrQNr8rrJrKrL)r-rDrKrTr8rSrPr.)r;rST)rNrYrZ) rrVrW�EnumrFr9rXr.r]r)rrwrNZtyZs_u_or_erYrrr �p_decl_body\s. zCParser.p_decl_bodycCs|d|d<dS)z& declaration : decl_body SEMI rrNr)rrwrrr � p_declaration�szCParser.p_declarationcCs,t|�dkr|dn|d|d|d<dS)zj declaration_list : declaration | declaration_list declaration rQrrN)rF)rrwrrr �p_declaration_list�szCParser.p_declaration_listcCs|j|d|dd�|d<dS)zM declaration_specifiers : type_qualifier declaration_specifiers_opt rQrrJrN)rO)rrwrrr �p_declaration_specifiers_1�sz"CParser.p_declaration_specifiers_1cCs|j|d|dd�|d<dS)zM declaration_specifiers : type_specifier declaration_specifiers_opt rQrr8rN)rO)rrwrrr �p_declaration_specifiers_2�sz"CParser.p_declaration_specifiers_2cCs|j|d|dd�|d<dS)zV declaration_specifiers : storage_class_specifier declaration_specifiers_opt rQrrKrN)rO)rrwrrr �p_declaration_specifiers_3�sz"CParser.p_declaration_specifiers_3cCs|j|d|dd�|d<dS)zQ declaration_specifiers : function_specifier declaration_specifiers_opt rQrrLrN)rO)rrwrrr �p_declaration_specifiers_4�sz"CParser.p_declaration_specifiers_4cCs|d|d<dS)z� storage_class_specifier : AUTO | REGISTER | STATIC | EXTERN | TYPEDEF rrNr)rrwrrr �p_storage_class_specifier�sz!CParser.p_storage_class_specifiercCs|d|d<dS)z& function_specifier : INLINE rrNr)rrwrrr �p_function_specifier�szCParser.p_function_specifiercCs(tj|dg|j|jd��d�|d<dS)a� type_specifier : VOID | _BOOL | CHAR | SHORT | INT | LONG | FLOAT | DOUBLE | _COMPLEX | SIGNED | UNSIGNED r)r.rN)rrEr3r�)rrwrrr �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)rrwrrr �p_type_specifier_2�szCParser.p_type_specifier_2cCs|d|d<dS)zo type_qualifier : CONST | RESTRICT | VOLATILE rrNr)rrwrrr �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�rN)rF)rrwrrr �p_init_declarator_list_1�sz CParser.p_init_declarator_list_1cCstd|dd�g|d<dS)z6 init_declarator_list : EQUALS initializer NrQ)r;rSr)r)rrwrrr �p_init_declarator_list_2�sz CParser.p_init_declarator_list_2cCst|ddd�g|d<dS)z7 init_declarator_list : abstract_declarator rN)r;rSr)r)rrwrrr �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 rrQr�N)r;rSr)rrF)rrwrrr �p_init_declaratorszCParser.p_init_declaratorcCs|j|d|dd�|d<dS)zS specifier_qualifier_list : type_qualifier specifier_qualifier_list_opt rQrrJrN)rO)rrwrrr �p_specifier_qualifier_list_1sz$CParser.p_specifier_qualifier_list_1cCs|j|d|dd�|d<dS)zS specifier_qualifier_list : type_specifier specifier_qualifier_list_opt rQrr8rN)rO)rrwrrr �p_specifier_qualifier_list_2sz$CParser.p_specifier_qualifier_list_2cCs4|j|d�}||dd|j|jd��d�|d<dS)z{ struct_or_union_specifier : struct_or_union ID | struct_or_union TYPEID rrQN)r-rYr.r)rcr3r�)rrw�klassrrr �p_struct_or_union_specifier_1s z%CParser.p_struct_or_union_specifier_1cCs4|j|d�}|d|d|j|jd��d�|d<dS)zd struct_or_union_specifier : struct_or_union brace_open struct_declaration_list brace_close rNr�rQ)r-rYr.r)rcr3r�)rrwr�rrr �p_struct_or_union_specifier_2s z%CParser.p_struct_or_union_specifier_2cCs8|j|d�}||d|d|j|jd��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 rrQr�)r-rYr.rN)rcr3r�)rrwr�rrr �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)rrwrrr �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 rQrrN)rF)rrwrrr �p_struct_declaration_list8sz!CParser.p_struct_declaration_listcCs�|d}|ddk r(|j||dd�}nht|d�dkrx|dd}t|tj�rV|}n tj|�}|j|t|d�gd�}n|j|tddd�gd�}||d<dS) zW struct_declaration : specifier_qualifier_list struct_declarator_list_opt SEMI rrQN)rNrYr8r)r;)r;rS)r]rFr9rZNoderEr)rrwrNrYZnodeZ decl_typerrr �p_struct_declaration_1>s" zCParser.p_struct_declaration_1cCs(|j|dt|ddd�gd�|d<dS)zP struct_declaration : specifier_qualifier_list abstract_declarator SEMI rrQN)r;rS)rNrYr)r]r)rrwrrr �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�rN)rF)rrwrrr �p_struct_declarator_listrsz CParser.p_struct_declarator_listcCs|ddd�|d<dS)z( struct_declarator : declarator rN)r;rPrr)rrwrrr �p_struct_declarator_1{szCParser.p_struct_declarator_1cCsDt|�dkr$|d|dd�|d<ntjddd�|dd�|d<dS)z� struct_declarator : declarator COLON constant_expression | COLON constant_expression r�r)r;rPrNrQ)rFrr:)rrwrrr �p_struct_declarator_2�szCParser.p_struct_declarator_2cCs&tj|dd|j|jd��|d<dS)zM enum_specifier : ENUM ID | ENUM TYPEID rQNrr)rr�r3r�)rrwrrr �p_enum_specifier_1�szCParser.p_enum_specifier_1cCs&tjd|d|j|jd��|d<dS)zG enum_specifier : ENUM brace_open enumerator_list brace_close Nr�rr)rr�r3r�)rrwrrr �p_enum_specifier_2�szCParser.p_enum_specifier_2cCs*tj|d|d|j|jd��|d<dS)z� enum_specifier : ENUM ID brace_open enumerator_list brace_close | ENUM TYPEID brace_open enumerator_list brace_close rQr�rrN)rr�r3r�)rrwrrr �p_enum_specifier_3�szCParser.p_enum_specifier_3cCsht|�dkr*tj|dg|dj�|d<n:t|�dkrD|d|d<n |djj|d�|d|d<dS)z� enumerator_list : enumerator | enumerator_list COMMA | enumerator_list COMMA enumerator rQrrr�N)rFrZEnumeratorListr.Zenumeratorsr&)rrwrrr �p_enumerator_list�szCParser.p_enumerator_listcCsjt|�dkr,tj|dd|j|jd��}n"tj|d|d|j|jd��}|j|j|j�||d<dS)zR enumerator : ID | ID EQUALS constant_expression rQrNr�r)rFrZ Enumeratorr3r�r0r-r.)rrwZ enumeratorrrr �p_enumerator�szCParser.p_enumeratorcCs|d|d<dS)z) declarator : direct_declarator rrNr)rrwrrr �p_declarator_1�szCParser.p_declarator_1cCs|j|d|d�|d<dS)z1 declarator : pointer direct_declarator rQrrN)r=)rrwrrr �p_declarator_2�szCParser.p_declarator_2cCs:tj|ddd|j|jd��d�}|j||d�|d<dS)z& declarator : pointer TYPEID rQN)rCr8rDr.rr)rr:r3r�r=)rrwr;rrr �p_declarator_3�szCParser.p_declarator_3cCs*tj|ddd|j|jd��d�|d<dS)z" direct_declarator : ID rN)rCr8rDr.r)rr:r3r�)rrwrrr �p_direct_declarator_1�s zCParser.p_direct_declarator_1cCs|d|d<dS)z8 direct_declarator : LPAREN declarator RPAREN rQrNr)rrwrrr �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)r8�dim� dim_qualsr.)r;r<r)rFr� ArrayDeclr.r=)rrwrD�arrrrr �p_direct_declarator_3�szCParser.p_direct_declarator_3cCs^dd�|d|dgD�}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)r9�list)r@�itemrrr rB�sz1CParser.p_direct_declarator_4..r�r�cSs"g|]}|D]}|dk r|�qqS)Nr)r@ZsublistrJrrr rB�s Nr�r)r8r�r�r.)r;r<r)rr�r.r=)rrwZlisted_qualsr�r�rrr �p_direct_declarator_4�szCParser.p_direct_declarator_4cCs^tjdtj|d|j|jd��|ddkr4|dng|djd�}|j|d|d�|d<dS)za direct_declarator : direct_declarator LBRACKET type_qualifier_list_opt TIMES RBRACKET Nr�r�r)r8r�r�r.)r;r<r)rr��IDr3r�r.r=)rrwr�rrr �p_direct_declarator_5szCParser.p_direct_declarator_5cCs|tj|dd|djd�}|j�jdkrb|jdk rbx.|jjD]"}t|tj�rNP|j |j |j�qW||_|d|d<n||d<dS)zm pointer : TIMES type_qualifier_list_opt | TIMES type_qualifier_list_opt pointer rrQN)rDr8r.r�r)r3r�rZPtrDeclrFr8)rrwr.Znested_typeZ tail_typerrr � p_pointer(s zCParser.p_pointercCs0t|�dkr|dgn|d|dg|d<dS)zs type_qualifier_list : type_qualifier | type_qualifier_list type_qualifier rQrrN)rF)rrwrrr �p_type_qualifier_listFszCParser.p_type_qualifier_listcCs>t|�dkr.|djjtj|j|jd��|d|d<dS)zn parameter_type_list : parameter_list | parameter_list COMMA ELLIPSIS rQrr�rN)rFr�r&rr�r3r�)rrwrrr �p_parameter_type_listLs"zCParser.p_parameter_type_listcCsNt|�dkr*tj|dg|dj�|d<n |djj|d�|d|d<dS)zz parameter_list : parameter_declaration | parameter_list COMMA parameter_declaration rQrrr�N)rFr� ParamListr.r�r&)rrwrrr �p_parameter_listUszCParser.p_parameter_listcCsX|d}|ds2tjdg|j|jd��d�g|d<|j|t|dd�gd�d|d<d S) zE parameter_declaration : declaration_specifiers declarator rr8r>)r.rQ)r;)rNrYrN)rrEr3r�r]r)rrwrNrrr �p_parameter_declaration_1_sz!CParser.p_parameter_declaration_1cCs�|d}|ds2tjdg|j|jd��d�g|d<t|d�dkr�t|dd j�dkr�|j|ddjd�r�|j|t|ddd�gd �d}nHtj d |d|dp�tj ddd�|j|jd��d�}|d}|j||�}||d<dS)zR parameter_declaration : declaration_specifiers abstract_declarator_opt rr8r>)r.rrQN)r;rS)rNrYr rJ)r-rDr8r.r*r*)rrEr3r�rFr?r2r]r�Typenamer:rI)rrwrNr;rHrrr �p_parameter_declaration_2js"&z!CParser.p_parameter_declaration_2cCsNt|�dkr*tj|dg|dj�|d<n |djj|d�|d|d<dS)ze identifier_list : identifier | identifier_list COMMA identifier rQrrr�N)rFrr�r.r�r&)rrwrrr �p_identifier_list�szCParser.p_identifier_listcCs|d|d<dS)z- initializer : assignment_expression rrNr)rrwrrr �p_initializer_1�szCParser.p_initializer_1cCs:|ddkr*tjg|j|jd��|d<n|d|d<dS)z� initializer : brace_open initializer_list_opt brace_close | brace_open initializer_list COMMA brace_close rQNrr)r�InitListr3r�)rrwrrr �p_initializer_2�szCParser.p_initializer_2cCs�t|�dkrN|ddkr |dntj|d|d�}tj|g|dj�|d<nD|ddkrb|dntj|d|d�}|djj|�|d|d<dS)z� initializer_list : designation_opt initializer | initializer_list COMMA designation_opt initializer r�rNrQrr�)rFrZNamedInitializerr�r.�exprsr&)rrwrSrrr �p_initializer_list�s((zCParser.p_initializer_listcCs|d|d<dS)z. designation : designator_list EQUALS rrNr)rrwrrr � p_designation�szCParser.p_designationcCs0t|�dkr|dgn|d|dg|d<dS)z_ designator_list : designator | designator_list designator rQrrN)rF)rrwrrr �p_designator_list�szCParser.p_designator_listcCs|d|d<dS)zi designator : LBRACKET constant_expression RBRACKET | PERIOD identifier rQrNr)rrwrrr �p_designator�szCParser.p_designatorcCsTtjd|dd|dp$tjddd�|j|jd��d�}|j||dd�|d<dS) zH type_name : specifier_qualifier_list abstract_declarator_opt r rrJrQN)r-rDr8r.r8r)rr�r:r3r�rI)rrwrHrrr �p_type_name�s zCParser.p_type_namecCs(tjddd�}|j||dd�|d<dS)z+ abstract_declarator : pointer Nr)r;r<r)rr:r=)rrwZ dummytyperrr �p_abstract_declarator_1�szCParser.p_abstract_declarator_1cCs|j|d|d�|d<dS)zF abstract_declarator : pointer direct_abstract_declarator rQrrN)r=)rrwrrr �p_abstract_declarator_2�szCParser.p_abstract_declarator_2cCs|d|d<dS)z> abstract_declarator : direct_abstract_declarator rrNr)rrwrrr �p_abstract_declarator_3�szCParser.p_abstract_declarator_3cCs|d|d<dS)zA direct_abstract_declarator : LPAREN abstract_declarator RPAREN rQrNr)rrwrrr �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�r)r8r�r�r.)r;r<r)rr�r.r=)rrwr�rrr �p_direct_abstract_declarator_2�sz&CParser.p_direct_abstract_declarator_2cCs4tjtjddd�|dg|j|jd��d�|d<dS)zS direct_abstract_declarator : LBRACKET assignment_expression_opt RBRACKET NrQr)r8r�r�r.r)rr�r:r3r�)rrwrrr �p_direct_abstract_declarator_3�s z&CParser.p_direct_abstract_declarator_3cCsJtjdtj|d|j|jd��g|djd�}|j|d|d�|d<dS)zZ direct_abstract_declarator : direct_abstract_declarator LBRACKET TIMES RBRACKET Nr�r)r8r�r�r.)r;r<r)rr�r�r3r�r.r=)rrwr�rrr �p_direct_abstract_declarator_4sz&CParser.p_direct_abstract_declarator_4cCsHtjtjddd�tj|d|j|jd��g|j|jd��d�|d<dS)z? direct_abstract_declarator : LBRACKET TIMES RBRACKET Nr�r)r8r�r�r.r)rr�r:r�r3r�)rrwrrr �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�Nr)r�r8r.)r;r<r)rrGr.r=)rrwr�rrr �p_direct_abstract_declarator_6s z&CParser.p_direct_abstract_declarator_6cCs2tj|dtjddd�|j|jd��d�|d<dS)zM direct_abstract_declarator : LPAREN parameter_type_list_opt RPAREN rQNr)r�r8r.r)rrGr:r3r�)rrwrrr �p_direct_abstract_declarator_7sz&CParser.p_direct_abstract_declarator_7cCs(t|dt�r|dn|dg|d<dS)zG block_item : declaration | statement rrN)r9r�)rrwrrr �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 rQNrr)rF)rrwrrr �p_block_item_list2szCParser.p_block_item_listcCs&tj|d|j|jd��d�|d<dS)zA compound_statement : brace_open block_item_list_opt brace_close rQr)Zblock_itemsr.rN)rZCompoundr3r�)rrwrrr �p_compound_statement_19szCParser.p_compound_statement_1cCs*tj|d|d|j|jd��|d<dS)z( labeled_statement : ID COLON statement rr�rN)rZLabelr3r�)rrwrrr �p_labeled_statement_1?szCParser.p_labeled_statement_1cCs,tj|d|dg|j|jd��|d<dS)z> labeled_statement : CASE constant_expression COLON statement rQr�rrN)rZCaser3r�)rrwrrr �p_labeled_statement_2CszCParser.p_labeled_statement_2cCs&tj|dg|j|jd��|d<dS)z- labeled_statement : DEFAULT COLON statement r�rrN)rZDefaultr3r�)rrwrrr �p_labeled_statement_3GszCParser.p_labeled_statement_3cCs,tj|d|dd|j|jd��|d<dS)z= selection_statement : IF LPAREN expression RPAREN statement r�r�Nrr)r�Ifr3r�)rrwrrr �p_selection_statement_1KszCParser.p_selection_statement_1cCs0tj|d|d|d|j|jd��|d<dS)zL selection_statement : IF LPAREN expression RPAREN statement ELSE statement r�r��rrN)rr�r3r�)rrwrrr �p_selection_statement_2OszCParser.p_selection_statement_2cCs.ttj|d|d|j|jd��|d<dS)zA selection_statement : SWITCH LPAREN expression RPAREN statement r�r�rrN)r rZSwitchr3r�)rrwrrr �p_selection_statement_3SszCParser.p_selection_statement_3cCs*tj|d|d|j|jd��|d<dS)z@ iteration_statement : WHILE LPAREN expression RPAREN statement r�r�rrN)rZWhiler3r�)rrwrrr �p_iteration_statement_1XszCParser.p_iteration_statement_1cCs*tj|d|d|j|jd��|d<dS)zH iteration_statement : DO statement WHILE LPAREN expression RPAREN SEMI r�rQrrN)rZDoWhiler3r�)rrwrrr �p_iteration_statement_2\szCParser.p_iteration_statement_2cCs6tj|d|d|d|d|j|jd��|d<dS)zj iteration_statement : FOR LPAREN expression_opt SEMI expression_opt SEMI expression_opt RPAREN statement r�r�r�� rrN)r�Forr3r�)rrwrrr �p_iteration_statement_3`szCParser.p_iteration_statement_3cCsJtjtj|d|j|jd��|d|d|d|j|jd��|d<dS)zb iteration_statement : FOR LPAREN declaration expression_opt SEMI expression_opt RPAREN statement r�rr��rN)rr�ZDeclListr3r�)rrwrrr �p_iteration_statement_4dszCParser.p_iteration_statement_4cCs$tj|d|j|jd��|d<dS)z jump_statement : GOTO ID SEMI rQrrN)rZGotor3r�)rrwrrr �p_jump_statement_1iszCParser.p_jump_statement_1cCstj|j|jd��|d<dS)z jump_statement : BREAK SEMI rrN)rZBreakr3r�)rrwrrr �p_jump_statement_2mszCParser.p_jump_statement_2cCstj|j|jd��|d<dS)z! jump_statement : CONTINUE SEMI rrN)rZContinuer3r�)rrwrrr �p_jump_statement_3qszCParser.p_jump_statement_3cCs4tjt|�dkr|dnd|j|jd��|d<dS)z\ jump_statement : RETURN expression SEMI | RETURN SEMI r�rQNrr)rZReturnrFr3r�)rrwrrr �p_jump_statement_4uszCParser.p_jump_statement_4cCs8|ddkr(tj|j|jd��|d<n|d|d<dS)z, expression_statement : expression_opt SEMI rNr)rZEmptyStatementr3r�)rrwrrr �p_expression_statement{szCParser.p_expression_statementcCsjt|�dkr|d|d<nLt|dtj�sFtj|dg|dj�|d<|djj|d�|d|d<dS)zn expression : assignment_expression | expression COMMA assignment_expression rQrrr�N)rFr9r�ExprListr.r�r&)rrwrrr �p_expression�szCParser.p_expressioncCs(tj|dg|j|jd��d�|d<dS)z typedef_name : TYPEID r)r.rN)rrEr3r�)rrwrrr �p_typedef_name�szCParser.p_typedef_namecCsDt|�dkr|d|d<n&tj|d|d|d|dj�|d<dS)z� assignment_expression : conditional_expression | unary_expression assignment_operator assignment_expression rQrrr�N)rFrZ Assignmentr.)rrwrrr �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)rrwrrr �p_assignment_operator�s zCParser.p_assignment_operatorcCs|d|d<dS)z. constant_expression : conditional_expression rrNr)rrwrrr �p_constant_expression�szCParser.p_constant_expressioncCsDt|�dkr|d|d<n&tj|d|d|d|dj�|d<dS)z� conditional_expression : binary_expression | binary_expression CONDOP expression COLON conditional_expression rQrrr�r�N)rFrZ TernaryOpr.)rrwrrr �p_conditional_expression�sz CParser.p_conditional_expressioncCsDt|�dkr|d|d<n&tj|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 rQrrr�N)rFrZBinaryOpr.)rrwrrr �p_binary_expression�szCParser.p_binary_expressioncCs|d|d<dS)z$ cast_expression : unary_expression rrNr)rrwrrr �p_cast_expression_1�szCParser.p_cast_expression_1cCs*tj|d|d|j|jd��|d<dS)z; cast_expression : LPAREN type_name RPAREN cast_expression rQr�rrN)rZCastr3r�)rrwrrr �p_cast_expression_2�szCParser.p_cast_expression_2cCs|d|d<dS)z* unary_expression : postfix_expression rrNr)rrwrrr �p_unary_expression_1�szCParser.p_unary_expression_1cCs$tj|d|d|dj�|d<dS)z� unary_expression : PLUSPLUS unary_expression | MINUSMINUS unary_expression | unary_operator cast_expression rrQrN)r�UnaryOpr.)rrwrrr �p_unary_expression_2�szCParser.p_unary_expression_2cCs>tj|dt|�dkr|dn|d|j|jd��|d<dS)zx unary_expression : SIZEOF unary_expression | SIZEOF LPAREN type_name RPAREN rr�rQrN)rr�rFr3r�)rrwrrr �p_unary_expression_3�szCParser.p_unary_expression_3cCs|d|d<dS)z� unary_operator : AND | TIMES | PLUS | MINUS | NOT | LNOT rrNr)rrwrrr �p_unary_operator�szCParser.p_unary_operatorcCs|d|d<dS)z* postfix_expression : primary_expression rrNr)rrwrrr �p_postfix_expression_1�szCParser.p_postfix_expression_1cCs$tj|d|d|dj�|d<dS)zG postfix_expression : postfix_expression LBRACKET expression RBRACKET rr�rN)rZArrayRefr.)rrwrrr �p_postfix_expression_2szCParser.p_postfix_expression_2cCs4tj|dt|�dkr|dnd|dj�|d<dS)z� postfix_expression : postfix_expression LPAREN argument_expression_list RPAREN | postfix_expression LPAREN RPAREN rr�r�Nr)r�FuncCallrFr.)rrwrrr �p_postfix_expression_3szCParser.p_postfix_expression_3cCsBtj|d|j|jd��}tj|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�rrQrN)rr�r3r�Z StructRefr.)rrwZfieldrrr �p_postfix_expression_4szCParser.p_postfix_expression_4cCs(tjd|d|d|dj�|d<dS)z{ postfix_expression : postfix_expression PLUSPLUS | postfix_expression MINUSMINUS rwrQrrN)rr�r.)rrwrrr �p_postfix_expression_5szCParser.p_postfix_expression_5cCstj|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 rQr�rN)rZCompoundLiteral)rrwrrr �p_postfix_expression_6szCParser.p_postfix_expression_6cCs|d|d<dS)z" primary_expression : identifier rrNr)rrwrrr �p_primary_expression_1 szCParser.p_primary_expression_1cCs|d|d<dS)z primary_expression : constant rrNr)rrwrrr �p_primary_expression_2$szCParser.p_primary_expression_2cCs|d|d<dS)zp primary_expression : unified_string_literal | unified_wstring_literal rrNr)rrwrrr �p_primary_expression_3(szCParser.p_primary_expression_3cCs|d|d<dS)z0 primary_expression : LPAREN expression RPAREN rQrNr)rrwrrr �p_primary_expression_4.szCParser.p_primary_expression_4cCsF|j|jd��}tjtj|d|�tj|d|dg|�|�|d<dS)zQ primary_expression : OFFSETOF LPAREN type_name COMMA identifier RPAREN rr�r�rN)r3r�rrr�r�)rrwr.rrr �p_primary_expression_52szCParser.p_primary_expression_5cCsNt|�dkr*tj|dg|dj�|d<n |djj|d�|d|d<dS)z� argument_expression_list : assignment_expression | argument_expression_list COMMA assignment_expression rQrrr�N)rFrr�r.r�r&)rrwrrr �p_argument_expression_list:sz"CParser.p_argument_expression_listcCs$tj|d|j|jd��|d<dS)z identifier : ID rrN)rr�r3r�)rrwrrr �p_identifierDszCParser.p_identifiercCs&tjd|d|j|jd��|d<dS)z� constant : INT_CONST_DEC | INT_CONST_OCT | INT_CONST_HEX | INT_CONST_BIN r>rrN)r�Constantr3r�)rrwrrr �p_constant_1HszCParser.p_constant_1cCs&tjd|d|j|jd��|d<dS)zM constant : FLOAT_CONST | HEX_FLOAT_CONST �floatrrN)rrr3r�)rrwrrr �p_constant_2QszCParser.p_constant_2cCs&tjd|d|j|jd��|d<dS)zH constant : CHAR_CONST | WCHAR_CONST �charrrN)rrr3r�)rrwrrr �p_constant_3XszCParser.p_constant_3cCsht|�dkr0tjd|d|j|jd��|d<n4|djdd�|ddd�|d_|d|d<dS)z~ unified_string_literal : STRING_LITERAL | unified_string_literal STRING_LITERAL rQ�stringrrNr*)rFrrr3r��value)rrwrrr �p_unified_string_literalds (z CParser.p_unified_string_literalcCslt|�dkr0tjd|d|j|jd��|d<n8|djj�dd�|ddd�|d_|d|d<dS)z� unified_wstring_literal : WSTRING_LITERAL | unified_wstring_literal WSTRING_LITERAL rQrrrNr*)rFrrr3r�r�rstrip)rrwrrr �p_unified_wstring_literalos ,z!CParser.p_unified_wstring_literalcCs|d|d<dS)z brace_open : LBRACE rrNr)rrwrrr �p_brace_openzszCParser.p_brace_opencCs|d|d<dS)z brace_close : RBRACE rrNr)rrwrrr � p_brace_closeszCParser.p_brace_closecCsd|d<dS)zempty : Nrr)rrwrrr �p_empty�szCParser.p_emptycCs<|r,|jd|j|j|j|jj|�d��n|jdd�dS)Nz before: %s)r�r6zAt end of inputr )r,rr3r�rZfind_tok_column)rrwrrr �p_error�szCParser.p_errorN)TrTrFr )r r)F�rdre�rdrf�rdrg�rdrh�rdri�rdrjrk�rdrlrmrnro�rdrprq�rdrrrs�rdrtrurv) r r!r"r#r$r%r&r'r(r))��__name__� __module__�__qualname__r!r$r'r)r/r0r2rrrrr7r=rIrOr]r`rcZ precedencerxryr{r|r}r~rr�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�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 sFc )7-Y ; & r �__main__)�reZplyrr rZc_lexerrZ plyparserrrrZast_transformsr r r*�pprintZtime�sysrrrr � s,