Your IP : 13.59.55.237
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��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�dDŽ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 t|j�dkst�|jj�dS)Nr)�lenr�AssertionError�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/r0rrr �_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.
)r4)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)r0cSsg|]}|jD]}|�qqSr)�names)�.0�idr/rrr �
<listcomp>Usz/CParser._fix_decl_name_type.<locals>.<listcomp>r)r;rr<r:�declnamer/�quals�IdentifierTyper(r.r0�FuncDecl)rr=�typenamer:Ztnrrr �_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�storager:�functionr)r�insert)rZdeclspecZnewspecZkind�specrrr �_add_declaration_specifierYs
z"CParser._add_declaration_specifiercCsRd|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]�} | ddk �svt�|�r�tjd|d|d| d| djd�}
n<tjd|d|d|d| d| jd�| jd�| djd�}
t |
j
tj
tjtjf��r|
}n|j|
|d�}|�r>|�r.|j|j|j�n|j|j|j�|j|��q`W|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.
�typedefrLr�bitsizeNr=r:�r�?r0zInvalid declaration)rEr:rFr0rK)r/rFrLr:r0rM�init)r/rFrL�funcspecr:rUrRr0r,r,r,r,r,r,r,)r-r(rAr4�hasattrr0r.rr<r;�Struct�UnionrGr:rEr)ZTypedef�DeclrJr1r/r2r&)rrO�decls�typedef_namespaceZ
is_typedefZdeclarationsr0�tZdecls_0_tailr=�declarationZ
fixed_declrrr �_build_declarationsjsn&
zCParser._build_declarationscCsBd|dkst�|j|t|dd�gdd�d}tj||||jd�S) z' Builds a function definition.
rQrLN)r=rUT)rOr[r\r)r=�param_decls�bodyr0)r)r_rrZFuncDefr0)rrOr=r`rar^rrr �_build_function_definition�sz"CParser._build_function_definitioncCs|dkrtjStjSdS)z` Given a token (either STRUCT or UNION), selects the
appropriate AST class.
�structN)rrXrY)r�tokenrrr �_select_struct_union_class�sz"CParser._select_struct_union_class�left�LOR�LAND�OR�XOR�AND�EQ�NE�GT�GE�LT�LE�RSHIFT�LSHIFT�PLUS�MINUS�TIMES�DIVIDE�MODcCs2|ddkrtjg�|d<ntj|d�|d<dS)zh translation_unit_or_empty : translation_unit
| empty
rNr)rZFileAST)r�prrr �p_translation_unit_or_empty�sz#CParser.p_translation_unit_or_emptycCs|d|d<dS)z4 translation_unit : external_declaration
rrNr)rryrrr �p_translation_unit_1�szCParser.p_translation_unit_1cCs.|ddk r|dj|d�|d|d<dS)zE translation_unit : translation_unit external_declaration
rSNrr)�extend)rryrrr �p_translation_unit_2szCParser.p_translation_unit_2cCs|dg|d<dS)z7 external_declaration : function_definition
rrNr)rryrrr �p_external_declaration_1sz CParser.p_external_declaration_1cCs|d|d<dS)z/ external_declaration : declaration
rrNr)rryrrr �p_external_declaration_2sz CParser.p_external_declaration_2cCs|d|d<dS)z0 external_declaration : pp_directive
rrNr)rryrrr �p_external_declaration_3sz CParser.p_external_declaration_3cCsd|d<dS)z( external_declaration : SEMI
Nrr)rryrrr �p_external_declaration_4sz CParser.p_external_declaration_4cCs|jd|j|jd���dS)z pp_directive : PPHASH
zDirectives not supported yetrN)r.r5�lineno)rryrrr �p_pp_directive$szCParser.p_pp_directivecCsPtggtjdg|j|jd��d�ggd�}|j||d|d|dd�|d<d S)
zR function_definition : declarator declaration_list_opt compound_statement
r@r)r0)rKrLr:rMrS�)rOr=r`rarN)rrrGr5r�rb)rryrOrrr �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
rrSr��)rOr=r`rarN)rb)rryrOrrr �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)rryrrr �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
rrSNr:rrKrLrM)r/rFrLrVr:rUrRr0)r=rUT)rOr[r\)
rrXrY�Enumr(r;rZr0r_r)rryrOZtyZs_u_or_er[rrr �p_decl_body\s.
zCParser.p_decl_bodycCs|d|d<dS)z& declaration : decl_body SEMI
rrNr)rryrrr �
p_declaration�szCParser.p_declarationcCs,t|�dkr|dn|d|d|d<dS)zj declaration_list : declaration
| declaration_list declaration
rSrrN)r()rryrrr �p_declaration_list�szCParser.p_declaration_listcCs|j|d|dd�|d<dS)zM declaration_specifiers : type_qualifier declaration_specifiers_opt
rSrrKrN)rP)rryrrr �p_declaration_specifiers_1�sz"CParser.p_declaration_specifiers_1cCs|j|d|dd�|d<dS)zM declaration_specifiers : type_specifier declaration_specifiers_opt
rSrr:rN)rP)rryrrr �p_declaration_specifiers_2�sz"CParser.p_declaration_specifiers_2cCs|j|d|dd�|d<dS)zV declaration_specifiers : storage_class_specifier declaration_specifiers_opt
rSrrLrN)rP)rryrrr �p_declaration_specifiers_3�sz"CParser.p_declaration_specifiers_3cCs|j|d|dd�|d<dS)zQ declaration_specifiers : function_specifier declaration_specifiers_opt
rSrrMrN)rP)rryrrr �p_declaration_specifiers_4�sz"CParser.p_declaration_specifiers_4cCs|d|d<dS)z� storage_class_specifier : AUTO
| REGISTER
| STATIC
| EXTERN
| TYPEDEF
rrNr)rryrrr �p_storage_class_specifier�sz!CParser.p_storage_class_specifiercCs|d|d<dS)z& function_specifier : INLINE
rrNr)rryrrr �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)r0rN)rrGr5r�)rryrrr �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)rryrrr �p_type_specifier_2�szCParser.p_type_specifier_2cCs|d|d<dS)zo type_qualifier : CONST
| RESTRICT
| VOLATILE
rrNr)rryrrr �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)r()rryrrr �p_init_declarator_list_1�sz CParser.p_init_declarator_list_1cCstd|dd�g|d<dS)z6 init_declarator_list : EQUALS initializer
NrS)r=rUr)r)rryrrr �p_init_declarator_list_2�sz CParser.p_init_declarator_list_2cCst|ddd�g|d<dS)z7 init_declarator_list : abstract_declarator
rN)r=rUr)r)rryrrr �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
rrSr�N)r=rUr)rr()rryrrr �p_init_declaratorszCParser.p_init_declaratorcCs|j|d|dd�|d<dS)zS specifier_qualifier_list : type_qualifier specifier_qualifier_list_opt
rSrrKrN)rP)rryrrr �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
rSrr:rN)rP)rryrrr �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
rrSN)r/r[r0r)rer5r�)rry�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�rS)r/r[r0r)rer5r�)rryr�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
rrSr�)r/r[r0rN)rer5r�)rryr�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)rryrrr �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
rSrrN)r()rryrrr �p_struct_declaration_list8sz!CParser.p_struct_declaration_listcCs�|d}d|dkst�|ddk r8|j||dd�}nht|d�dkr�|dd}t|tj�rf|}n
tj|�}|j|t|d �gd�}n|j|tddd
�gd�}||d<dS)zW struct_declaration : specifier_qualifier_list struct_declarator_list_opt SEMI
rrQrLrSN)rOr[r:r)r=)r=rU)r)r_r(r;rZNoderGr)rryrOr[ZnodeZ 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
rrSN)r=rU)rOr[r)r_r)rryrrr �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)r()rryrrr �p_struct_declarator_listrsz CParser.p_struct_declarator_listcCs|ddd�|d<dS)z( struct_declarator : declarator
rN)r=rRrr)rryrrr �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=rRrNrS)r(rr<)rryrrr �p_struct_declarator_2�szCParser.p_struct_declarator_2cCs&tj|dd|j|jd���|d<dS)zM enum_specifier : ENUM ID
| ENUM TYPEID
rSNrr)rr�r5r�)rryrrr �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�r5r�)rryrrr �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
rSr�rrN)rr�r5r�)rryrrr �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
rSrrr�N)r(rZEnumeratorListr0Zenumeratorsr&)rryrrr �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
rSrNr�r)r(rZ
Enumeratorr5r�r2r/r0)rryZ
enumeratorrrr �p_enumerator�szCParser.p_enumeratorcCs|d|d<dS)z) declarator : direct_declarator
rrNr)rryrrr �p_declarator_1�szCParser.p_declarator_1cCs|j|d|d�|d<dS)z1 declarator : pointer direct_declarator
rSrrN)r?)rryrrr �p_declarator_2�szCParser.p_declarator_2cCs:tj|ddd|j|jd��d�}|j||d�|d<dS)z& declarator : pointer TYPEID
rSN)rEr:rFr0rr)rr<r5r�r?)rryr=rrr �p_declarator_3�szCParser.p_declarator_3cCs*tj|ddd|j|jd��d�|d<dS)z" direct_declarator : ID
rN)rEr:rFr0r)rr<r5r�)rryrrr �p_direct_declarator_1�s
zCParser.p_direct_declarator_1cCs|d|d<dS)z8 direct_declarator : LPAREN declarator RPAREN
rSrNr)rryrrr �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)r:�dim� dim_qualsr0)r=r>r)r(r� ArrayDeclr0r?)rryrF�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)r;�list)rB�itemrrr rD�sz1CParser.p_direct_declarator_4.<locals>.<listcomp>r�r�cSs"g|]}|D]}|dk r|�qqS)Nr)rBZsublistrKrrr rD�s
Nr�r)r:r�r�r0)r=r>r)rr�r0r?)rryZlisted_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)r:r�r�r0)r=r>r)rr��IDr5r�r0r?)rryr�rrr �p_direct_declarator_5szCParser.p_direct_declarator_5cCs|tj|dd|djd�}|j�jdkrb|jdk rbx.|jjD]"}t|tj�rNP|j |j
|j�q<W|j|d|d�|d<dS)z� direct_declarator : direct_declarator LPAREN parameter_type_list RPAREN
| direct_declarator LPAREN identifier_list_opt RPAREN
r�Nr)�argsr:r0�LBRACE)r=r>r)rrHr0r9r:r��paramsr;�
EllipsisParamr2r/r?)rry�funcZparamrrr �p_direct_declarator_6s
zCParser.p_direct_declarator_6cCsr|j|jd��}tj|dpgd|d�}t|�dkrf|d}x|jdk rP|j}q>W||_|d|d<n||d<dS)zm pointer : TIMES type_qualifier_list_opt
| TIMES type_qualifier_list_opt pointer
rrSN)rFr:r0r�r)r5r�rZPtrDeclr(r:)rryr0Znested_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
rSrrN)r()rryrrr �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
rSrr�rN)r(r�r&rr�r5r�)rryrrr �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
rSrrr�N)r(r� ParamListr0r�r&)rryrrr �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
rr:r@)r0rS)r=)rOr[rN)rrGr5r�r_r)rryrOrrr �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
rr:r@)r0rrSN)r=rU)rOr[r
rK)r/rFr:r0r,r,)rrGr5r�r(rAr4r_r�Typenamer<rJ)rryrOr=rIrrr �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
rSrrr�N)r(rr�r0r�r&)rryrrr �p_identifier_list�szCParser.p_identifier_listcCs|d|d<dS)z- initializer : assignment_expression
rrNr)rryrrr �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
rSNrr)r�InitListr5r�)rryrrr �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�rNrSrr�)r(rZNamedInitializerr�r0�exprsr&)rryrUrrr �p_initializer_list�s((zCParser.p_initializer_listcCs|d|d<dS)z. designation : designator_list EQUALS
rrNr)rryrrr �
p_designation�szCParser.p_designationcCs0t|�dkr|dgn|d|dg|d<dS)z_ designator_list : designator
| designator_list designator
rSrrN)r()rryrrr �p_designator_list�szCParser.p_designator_listcCs|d|d<dS)zi designator : LBRACKET constant_expression RBRACKET
| PERIOD identifier
rSrNr)rryrrr �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
rrKrSN)r/rFr:r0r:r)rr�r<r5r�rJ)rryrIrrr �p_type_name�s
zCParser.p_type_namecCs(tjddd�}|j||dd�|d<dS)z+ abstract_declarator : pointer
Nr)r=r>r)rr<r?)rryZ dummytyperrr �p_abstract_declarator_1�szCParser.p_abstract_declarator_1cCs|j|d|d�|d<dS)zF abstract_declarator : pointer direct_abstract_declarator
rSrrN)r?)rryrrr �p_abstract_declarator_2�szCParser.p_abstract_declarator_2cCs|d|d<dS)z> abstract_declarator : direct_abstract_declarator
rrNr)rryrrr �p_abstract_declarator_3�szCParser.p_abstract_declarator_3cCs|d|d<dS)zA direct_abstract_declarator : LPAREN abstract_declarator RPAREN rSrNr)rryrrr �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)r:r�r�r0)r=r>r)rr�r0r?)rryr�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
NrSr)r:r�r�r0r)rr�r<r5r�)rryrrr �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)r:r�r�r0)r=r>r)rr�r�r5r�r0r?)rryr�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)r:r�r�r0r)rr�r<r�r5r�)rryrrr �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�r:r0)r=r>r)rrHr0r?)rryr�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
rSNr)r�r:r0r)rrHr<r5r�)rryrrr �p_direct_abstract_declarator_7sz&CParser.p_direct_abstract_declarator_7cCs(t|dt�r|dn|dg|d<dS)zG block_item : declaration
| statement
rrN)r;r�)rryrrr �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
rSNrr)r()rryrrr �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 rSr)Zblock_itemsr0rN)rZCompoundr5r�)rryrrr �p_compound_statement_19szCParser.p_compound_statement_1cCs*tj|d|d|j|jd���|d<dS)z( labeled_statement : ID COLON statement rr�rN)rZLabelr5r�)rryrrr �p_labeled_statement_1?szCParser.p_labeled_statement_1cCs,tj|d|dg|j|jd���|d<dS)z> labeled_statement : CASE constant_expression COLON statement rSr�rrN)rZCaser5r�)rryrrr �p_labeled_statement_2CszCParser.p_labeled_statement_2cCs&tj|dg|j|jd���|d<dS)z- labeled_statement : DEFAULT COLON statement r�rrN)rZDefaultr5r�)rryrrr �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�Ifr5r�)rryrrr �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�r5r�)rryrrr �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 rZSwitchr5r�)rryrrr �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)rZWhiler5r�)rryrrr �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�rSrrN)rZDoWhiler5r�)rryrrr �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�Forr5r�)rryrrr �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�ZDeclListr5r�)rryrrr �p_iteration_statement_4dszCParser.p_iteration_statement_4cCs$tj|d|j|jd���|d<dS)z jump_statement : GOTO ID SEMI rSrrN)rZGotor5r�)rryrrr �p_jump_statement_1iszCParser.p_jump_statement_1cCstj|j|jd���|d<dS)z jump_statement : BREAK SEMI rrN)rZBreakr5r�)rryrrr �p_jump_statement_2mszCParser.p_jump_statement_2cCstj|j|jd���|d<dS)z! jump_statement : CONTINUE SEMI rrN)rZContinuer5r�)rryrrr �p_jump_statement_3qszCParser.p_jump_statement_3cCs4tjt|�dkr|dnd|j|jd���|d<dS)z\ jump_statement : RETURN expression SEMI
| RETURN SEMI
r�rSNrr)rZReturnr(r5r�)rryrrr �p_jump_statement_4uszCParser.p_jump_statement_4cCs8|ddkr(tj|j|jd���|d<n|d|d<dS)z, expression_statement : expression_opt SEMI rNr)rZEmptyStatementr5r�)rryrrr �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
rSrrr�N)r(r;r�ExprListr0r�r&)rryrrr �p_expression�szCParser.p_expressioncCs(tj|dg|j|jd��d�|d<dS)z typedef_name : TYPEID r)r0rN)rrGr5r�)rryrrr �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
rSrrr�N)r(rZ
Assignmentr0)rryrrr �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)rryrrr �p_assignment_operator�s
zCParser.p_assignment_operatorcCs|d|d<dS)z. constant_expression : conditional_expression rrNr)rryrrr �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
rSrrr�r�N)r(rZ TernaryOpr0)rryrrr �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
rSrrr�N)r(rZBinaryOpr0)rryrrr �p_binary_expression�szCParser.p_binary_expressioncCs|d|d<dS)z$ cast_expression : unary_expression rrNr)rryrrr �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 rSr�rrN)rZCastr5r�)rryrrr �p_cast_expression_2�szCParser.p_cast_expression_2cCs|d|d<dS)z* unary_expression : postfix_expression rrNr)rryrrr �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
rrSrN)r�UnaryOpr0)rryrrr �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�rSrN)rrr(r5r�)rryrrr �p_unary_expression_3�szCParser.p_unary_expression_3cCs|d|d<dS)z� unary_operator : AND
| TIMES
| PLUS
| MINUS
| NOT
| LNOT
rrNr)rryrrr �p_unary_operator�szCParser.p_unary_operatorcCs|d|d<dS)z* postfix_expression : primary_expression rrNr)rryrrr �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)rZArrayRefr0)rryrrr �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�FuncCallr(r0)rryrrr �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�rrSrN)rr�r5r�Z StructRefr0)rryZfieldrrr �p_postfix_expression_4szCParser.p_postfix_expression_4cCs(tjd|d|d|dj�|d<dS)z{ postfix_expression : postfix_expression PLUSPLUS
| postfix_expression MINUSMINUS
ryrSrrN)rrr0)rryrrr �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
rSr�rN)rZCompoundLiteral)rryrrr �p_postfix_expression_6szCParser.p_postfix_expression_6cCs|d|d<dS)z" primary_expression : identifier rrNr)rryrrr �p_primary_expression_1 szCParser.p_primary_expression_1cCs|d|d<dS)z primary_expression : constant rrNr)rryrrr �p_primary_expression_2$szCParser.p_primary_expression_2cCs|d|d<dS)zp primary_expression : unified_string_literal
| unified_wstring_literal
rrNr)rryrrr �p_primary_expression_3(szCParser.p_primary_expression_3cCs|d|d<dS)z0 primary_expression : LPAREN expression RPAREN rSrNr)rryrrr �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)r5r�rrr�r�)rryr0rrr �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
rSrrr�N)r(rr�r0r�r&)rryrrr �p_argument_expression_list:sz"CParser.p_argument_expression_listcCs$tj|d|j|jd���|d<dS)z identifier : ID rrN)rr�r5r�)rryrrr �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�Constantr5r�)rryrrr �p_constant_1HszCParser.p_constant_1cCs&tjd|d|j|jd���|d<dS)zM constant : FLOAT_CONST
| HEX_FLOAT_CONST
�floatrrN)rrr5r�)rryrrr �p_constant_2QszCParser.p_constant_2cCs&tjd|d|j|jd���|d<dS)zH constant : CHAR_CONST
| WCHAR_CONST
�charrrN)rrr5r�)rryrrr �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
rS�stringrrNr,)r(rrr5r��value)rryrrr �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
rSrrrNr,)r(rrr5r�r�rstrip)rryrrr �p_unified_wstring_literalos
,z!CParser.p_unified_wstring_literalcCs|d|d<dS)z brace_open : LBRACE
rrNr)rryrrr �p_brace_openzszCParser.p_brace_opencCs|d|d<dS)z brace_close : RBRACE
rrNr)rryrrr �
p_brace_closeszCParser.p_brace_closecCsd|d<dS)zempty : Nrr)rryrrr �p_empty�szCParser.p_emptycCs<|r,|jd|j|j|j|jj|�d��n|jdd�dS)Nz
before: %s)r�r8zAt end of inputr
)r.rr5r�rZfind_tok_column)rryrrr �p_error�szCParser.p_errorN)TrTrFr
)r
r)F�rfrg�rfrh�rfri�rfrj�rfrk�rfrlrm�rfrnrorprq�rfrrrs�rfrtru�rfrvrwrx)
r"r#r$r%r&r'r(r)r*r+)��__name__�
__module__�__qualname__r!r$r'r+r1r2r4rrrrr9r?rJrPr_rbreZ
precedencerzr{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�r�rrrrrrrr r
rrr
rrrrrrrrrrrrr r!rrrr r
sFc
)7-Y
;
&
r
�__main__)�reZplyrr
rZc_lexerrZ plyparserrrrZast_transformsr r
r,�pprintZtime�sysrrrr �<module> s,
?>