U
��_� � @ s� d dl Z d dlmZ ddlmZ ddlmZ ddlmZm Z m
Z
ddl m Z G dd � d e�Z
ed
kr|d dlZd dlZd dlZdS ) � N)�yacc� )�c_ast)�CLexer)� PLYParser�Coord�
ParseError)�fix_switch_casesc @ s e Zd Z�d1dd�Z�d2d d
�Zd d � Zd
d� Zdd� Zdd� Zdd� Z dd� Z
dd� Z dd� Z dd � Z
d d � Zd d � Zd!d"� Zd#d$� Z�d3d%d&�Zd'd(� Zd)d*� Zd+Zd,d-� Zd.d/� Zd0d1� Zd2d3� Zd4d5� Zd6d7� Zd8d9� Z d:d;� 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� 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� Z<dzd{� 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�� Z_d�d�� Z`d�dÄ Zad�dń Zbd�dDŽ 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� 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��d*�d+� Z��d,�d-� Z��d.�d/� Z��d0S (4 �CParserT�pycparser.lextab�pycparser.yacctabF� c C s� t | j| j| j| jd�| _| jj|||d� | jj| _ddddddd d
d d d
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_specifiersZ designationZ
expressionZidentifier_listZinit_declarator_listZinitializer_listZparameter_type_listZspecifier_qualifier_listZblock_item_listZtype_qualifier_listZstruct_declarator_listZtranslation_unit_or_empty)�module�start�debugr Z tabmoduler N)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) �selfZ lex_optimizer Z
yacc_optimizeZyacctabZ
yacc_debugZ taboutputdirZrules_with_optZrule� r � /c_parser.py�__init__ sN 5��
� �
zCParser.__init__r c C s6 || j _| j �� 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 �filenameZ reset_linenor r r r �parse)r �textr# Z
debuglevelr r r r$ ~ s
�z
CParser.parsec C s | j �t� � d S �N)r �appendr �r r r r � _push_scope� s zCParser._push_scopec C s | j �� d S r& )r �popr( r r r �
_pop_scope� s zCParser._pop_scopec C s4 | j d �|d�s"| �d| |� d| j d |< 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_name� s ��zCParser._add_typedef_namec C s4 | j d �|d�r"| �d| |� d| j d |< 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- r0 r r r �_add_identifier� s ��zCParser._add_identifierc C s. t | j�D ] }|�|�}|dk r
| S q
dS )z8 Is *name* a typedef-name in the current scope?
NF)�reversedr r. )r r1 ZscopeZin_scoper r r �_is_type_in_scope� s
zCParser._is_type_in_scopec C s | � || �||�� d S r& )r/ �_coord)r �msg�line�columnr r r r � s zCParser._lex_error_funcc C s | � � d S r& )r) r( r r r r � s zCParser._lex_on_lbrace_funcc C s | � � d S r& )r+ r( r r r r � s zCParser._lex_on_rbrace_funcc C s | � |�}|S )z� Looks up types that were previously defined with
typedef.
Passed to the lexer for recognizing identifiers that
are types.
)r6 )r r1 Zis_typer r r r � s
z CParser._lex_type_lookup_funcc C s | j jS )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.
)r Z
last_tokenr( r r r �_get_yacc_lookahead_token� s z!CParser._get_yacc_lookahead_tokenc C s\ |}|}|j r|j }qt|tj�r,||_ |S |}t|j tj�sF|j }q0|j |_ ||_ |S dS )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� s zCParser._type_modify_declc C s� |}t |tj�s|j}q|j|_|j|_|D ]:}t |tj�s,t|�dkrX| � d|j
� q,||_| S q,|s�t |jtj �s�| � d|j
� tjdg|j
d�|_n tjdd� |D �|d j
d�|_|S ) z- Fixes a declaration. Modifies decl.
r z Invalid multiple types specifiedzMissing type in declaration�int�r2 c S s g | ]}|j D ]}|�qqS r )�names)�.0�idr1 r r r �
<listcomp>U s z/CParser._fix_decl_name_type.<locals>.<listcomp>r ) r= r r> r< �declnamer1 �quals�IdentifierType�lenr/ r2 �FuncDecl)r r? �typenamer< Ztnr r r �_fix_decl_name_type, s: �
��
�zCParser._fix_decl_name_typec C s( |pt g g g g d�}|| �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�storager< �functionr )r �insert)r ZdeclspecZnewspecZkind�specr r r �_add_declaration_specifierY s
z"CParser._add_declaration_specifierc C s4 d|d k}g }|d � d�dk r&�n,|d d dkr�t|d �dk stt|d d j�d
kst| �|d d jd �s�d }|d D ]}t|d �r�|j} q�q�| �d
|� tj|d d jd dd|d d jd�|d d< |d d = nnt |d d tj
tj tj f��sR|d d }t |tj��s(|j
}�q|jdk�rR|d d jd |_|d d = |D ]�} |�r�tjd|d |d | d | d jd�}
n<tjd|d |d |d | d | � d�| � d�| d jd�}
t |
j
tj
tj tj f��r�|
} n| �|
|d �} |�r"|�r| �| j| j� n| �| j| j� |�| � �qV|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.
ZtypedefrQ r �bitsizeNr? r< � r, r �?r2 zInvalid declaration�rH r< rI r2 rP )r1 rI rQ r< r2 rR �init�r1 rI rQ Zfuncspecr< rZ rV r2 )r. rK rD r6 �hasattrr2 r/ r r> r= �Struct�UnionrJ r< rH ZTypedef�DeclrN r3 r1 r4 r' ) r rT �decls�typedef_namespaceZ
is_typedefZ declarationsr2 �tZ decls_0_tailr? � declarationZ
fixed_declr r r �_build_declarationsj sx &�
� �
��
�zCParser._build_declarationsc C s2 | j |t|dd�gdd�d }tj||||jd�S )z' Builds a function definition.
N�r? rZ T�rT r` ra r )r? � param_decls�bodyr2 )rd r r ZFuncDefr2 )r rT r? rg rh rc r r r �_build_function_definition� s ���z"CParser._build_function_definitionc C s |dkrt jS t jS dS )z` Given a token (either STRUCT or UNION), selects the
appropriate AST class.
�structN)r r] r^ )r �tokenr r r �_select_struct_union_class� s z"CParser._select_struct_union_class)
)�leftZLOR)rm ZLAND)rm �OR)rm ZXOR)rm ZAND)rm ZEQZNE)rm ZGTZGEZLTZLE)rm ZRSHIFTZLSHIFT)rm �PLUS�MINUS)rm ZTIMESZDIVIDEZMODc C s2 |d dkr t �g �|d< nt �|d �|d< dS )zh translation_unit_or_empty : translation_unit
| empty
r Nr )r ZFileAST�r �pr r r �p_translation_unit_or_empty� s z#CParser.p_translation_unit_or_emptyc C s |d |d< dS )z4 translation_unit : external_declaration
r r Nr rq r r r �p_translation_unit_1� s z CParser.p_translation_unit_1c C s. |d dk r |d � |d � |d |d< dS )zE translation_unit : translation_unit external_declaration
rW Nr r )�extendrq r r r �p_translation_unit_2 s z CParser.p_translation_unit_2c C s |d g|d< dS )z7 external_declaration : function_definition
r r Nr rq r r r �p_external_declaration_1 s z CParser.p_external_declaration_1c C s |d |d< dS )z/ external_declaration : declaration
r r Nr rq r r r �p_external_declaration_2 s z CParser.p_external_declaration_2c C s |d |d< dS )z0 external_declaration : pp_directive
r r Nr rq r r r �p_external_declaration_3 s z CParser.p_external_declaration_3c C s d|d< dS )z( external_declaration : SEMI
Nr r rq r r r �p_external_declaration_4 s z CParser.p_external_declaration_4c C s | � d| �|�d��� dS )z pp_directive : PPHASH
z Directives not supported yetr N)r/ r7 �linenorq r r r �p_pp_directive$ s �zCParser.p_pp_directivec
C sP t g g tjdg| �|�d��d�gg d�}| j||d |d |d d�|d< d S )
zR function_definition : declarator declaration_list_opt compound_statement
rB r rC rO rW � �rT r? rg rh r N)r r rJ r7 r{ ri �r rr rT r r r �p_function_definition_1- s ���z CParser.p_function_definition_1c C s. |d }| j ||d |d |d d�|d< dS )zi function_definition : declaration_specifiers declarator declaration_list_opt compound_statement
r rW r} � r~ r N)ri r r r r �p_function_definition_2> s �z CParser.p_function_definition_2c C s |d |d< dS )a
statement : labeled_statement
| expression_statement
| compound_statement
| selection_statement
| iteration_statement
| jump_statement
r r Nr rq r r r � p_statementI s zCParser.p_statementc
C s� |d }|d dkr�|d }t jt jt jf}t|�dkrzt|d |�rzt jd|d |d |d |d dd|d jd �g}q�| j|t ddd
�gd d �}n| j||d d d �}||d< dS )
zE decl_body : declaration_specifiers init_declarator_list_opt
r rW Nr< r rP rQ rR r[ re Trf )
r r] r^ �EnumrK r= r_ r2 rd r )r rr rT ZtyZs_u_or_er` r r r � p_decl_body\ s4 �
��zCParser.p_decl_bodyc C s |d |d< dS )z& declaration : decl_body SEMI
r r Nr rq r r r �
p_declaration� s zCParser.p_declarationc C s, t |�dkr|d n|d |d |d< dS )zj declaration_list : declaration
| declaration_list declaration
rW r r N�rK rq r r r �p_declaration_list� s zCParser.p_declaration_listc C s | � |d |d d�|d< dS )zM declaration_specifiers : type_qualifier declaration_specifiers_opt
rW r rP r N�rU rq r r r �p_declaration_specifiers_1� s z"CParser.p_declaration_specifiers_1c C s | � |d |d d�|d< dS )zM declaration_specifiers : type_specifier declaration_specifiers_opt
rW r r< r Nr� rq r r r �p_declaration_specifiers_2� s z"CParser.p_declaration_specifiers_2c C s | � |d |d d�|d< dS )zV declaration_specifiers : storage_class_specifier declaration_specifiers_opt
rW r rQ r Nr� rq r r r �p_declaration_specifiers_3� s z"CParser.p_declaration_specifiers_3c C s | � |d |d d�|d< dS )zQ declaration_specifiers : function_specifier declaration_specifiers_opt
rW r rR r Nr� rq r r r �p_declaration_specifiers_4� s z"CParser.p_declaration_specifiers_4c C s |d |d< dS )z� storage_class_specifier : AUTO
| REGISTER
| STATIC
| EXTERN
| TYPEDEF
r r Nr rq r r r �p_storage_class_specifier� s z!CParser.p_storage_class_specifierc C s |d |d< dS )z& function_specifier : INLINE
r r Nr rq r r r �p_function_specifier� s z CParser.p_function_specifierc C s( t j|d g| �|�d��d�|d< dS )a� type_specifier : VOID
| _BOOL
| CHAR
| SHORT
| INT
| LONG
| FLOAT
| DOUBLE
| _COMPLEX
| SIGNED
| UNSIGNED
r rC r N�r rJ r7 r{ rq r r r �p_type_specifier_1� s
zCParser.p_type_specifier_1c C s |d |d< dS )z� type_specifier : typedef_name
| enum_specifier
| struct_or_union_specifier
r r Nr rq r r r �p_type_specifier_2� s zCParser.p_type_specifier_2c C s |d |d< dS )zo type_qualifier : CONST
| RESTRICT
| VOLATILE
r r Nr rq r r r �p_type_qualifier� s zCParser.p_type_qualifierc C s0 t |�dkr |d |d g n|d g|d< dS )z� init_declarator_list : init_declarator
| init_declarator_list COMMA init_declarator
r� r r} r Nr� rq r r r �p_init_declarator_list_1� s z CParser.p_init_declarator_list_1c C s t d|d d�g|d< dS )z6 init_declarator_list : EQUALS initializer
NrW re r �r rq r r r �p_init_declarator_list_2� s z CParser.p_init_declarator_list_2c C s t |d dd�g|d< dS )z7 init_declarator_list : abstract_declarator
r Nre r r� rq r r r �p_init_declarator_list_3� s z CParser.p_init_declarator_list_3c C s, t |d t|�dkr |d ndd�|d< dS )zb init_declarator : declarator
| declarator EQUALS initializer
r rW r} Nre r )r rK rq r r r �p_init_declarator s zCParser.p_init_declaratorc C s | � |d |d d�|d< dS )zS specifier_qualifier_list : type_qualifier specifier_qualifier_list_opt
rW r rP r Nr� rq r r r � p_specifier_qualifier_list_1 s z$CParser.p_specifier_qualifier_list_1c C s | � |d |d d�|d< dS )zS specifier_qualifier_list : type_specifier specifier_qualifier_list_opt
rW r r< r Nr� rq r r r � p_specifier_qualifier_list_2 s z$CParser.p_specifier_qualifier_list_2c C s4 | � |d �}||d d| �|�d��d�|d< dS )z{ struct_or_union_specifier : struct_or_union ID
| struct_or_union TYPEID
r rW N�r1 r` r2 r �rl r7 r{ �r rr �klassr r r � p_struct_or_union_specifier_1 s �z%CParser.p_struct_or_union_specifier_1c C s4 | � |d �}|d|d | �|�d��d�|d< dS )zd struct_or_union_specifier : struct_or_union brace_open struct_declaration_list brace_close
r Nr} rW r� r r� r� r r r � p_struct_or_union_specifier_2 s �z%CParser.p_struct_or_union_specifier_2c C s8 | � |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
r rW r� r� r Nr� r� r r r � p_struct_or_union_specifier_3& s �z%CParser.p_struct_or_union_specifier_3c C s |d |d< dS )zF struct_or_union : STRUCT
| UNION
r r Nr rq r r r �p_struct_or_union0 s zCParser.p_struct_or_unionc C s, t |�dkr|d n|d |d |d< dS )z� struct_declaration_list : struct_declaration
| struct_declaration_list struct_declaration
rW r r Nr� rq r r r �p_struct_declaration_list8 s z!CParser.p_struct_declaration_listc C s� |d }|d dk r(| j ||d d�}nht|d �dkrx|d d }t|tj�rV|}n
t�|�}| j |t|d�gd�}n| j |tddd�gd�}||d< dS ) zW struct_declaration : specifier_qualifier_list struct_declarator_list_opt SEMI
r rW N�rT r` r< r �r? re )rd rK r= r ZNoderJ r )r rr rT r` ZnodeZ decl_typer r r �p_struct_declaration_1> s( �
� �z CParser.p_struct_declaration_1c C s( | j |d t|d dd�gd�|d< dS )zP struct_declaration : specifier_qualifier_list abstract_declarator SEMI
r rW Nre r� r )rd r rq r r r �p_struct_declaration_2d s
�z CParser.p_struct_declaration_2c C s0 t |�dkr |d |d g n|d g|d< dS )z� struct_declarator_list : struct_declarator
| struct_declarator_list COMMA struct_declarator
r� r r} r Nr� rq r r r �p_struct_declarator_listr s z CParser.p_struct_declarator_listc C s |d dd�|d< dS )z( struct_declarator : declarator
r N�r? rV r r rq r r r �p_struct_declarator_1{ s z CParser.p_struct_declarator_1c C sD t |�dkr$|d |d d�|d< n t�ddd�|d d�|d< dS )z� struct_declarator : declarator COLON constant_expression
| COLON constant_expression
r} r r� r NrW )rK r r> rq r r r �p_struct_declarator_2� s z CParser.p_struct_declarator_2c C s& t �|d d| �|�d���|d< dS )zM enum_specifier : ENUM ID
| ENUM TYPEID
rW Nr r �r r� r7 r{ rq r r r �p_enum_specifier_1� s zCParser.p_enum_specifier_1c C s& t �d|d | �|�d���|d< dS )zG enum_specifier : ENUM brace_open enumerator_list brace_close
Nr} r r r� rq r r r �p_enum_specifier_2� s zCParser.p_enum_specifier_2c C s* 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
rW r� r r Nr� rq r r r �p_enum_specifier_3� s zCParser.p_enum_specifier_3c C sh t |�dkr*t�|d g|d j�|d< n:t |�dkrD|d |d< n |d j�|d � |d |d< dS )z� enumerator_list : enumerator
| enumerator_list COMMA
| enumerator_list COMMA enumerator
rW r r r} N)rK r ZEnumeratorListr2 Z enumeratorsr' rq r r r �p_enumerator_list� s zCParser.p_enumerator_listc C sj t |�dkr,t�|d d| �|�d���}n"t�|d |d | �|�d���}| �|j|j� ||d< dS )zR enumerator : ID
| ID EQUALS constant_expression
rW r Nr} r )rK r Z
Enumeratorr7 r{ r4 r1 r2 )r rr Z
enumeratorr r r � p_enumerator� s � �zCParser.p_enumeratorc C s |d |d< dS )z) declarator : direct_declarator
r r Nr rq r r r �p_declarator_1� s zCParser.p_declarator_1c C s | � |d |d �|d< dS )z1 declarator : pointer direct_declarator
rW r r N�rA rq r r r �p_declarator_2� s zCParser.p_declarator_2c C s: t j|d dd| �|�d��d�}| �||d �|d< dS )z& declarator : pointer TYPEID
rW NrY r r )r r> r7 r{ rA )r rr r? r r r �p_declarator_3� s �zCParser.p_declarator_3c C s* t j|d dd| �|�d��d�|d< dS )z" direct_declarator : ID
r NrY r )r r> r7 r{ rq r r r �p_direct_declarator_1� s �z CParser.p_direct_declarator_1c C s |d |d< dS )z8 direct_declarator : LPAREN declarator RPAREN
rW r Nr rq r r r �p_direct_declarator_2� s z CParser.p_direct_declarator_2c C sf t |�dkr|d ng pg }tjdt |�dkr6|d n|d ||d jd�}| j|d |d�|d< dS ) zu direct_declarator : direct_declarator LBRACKET type_qualifier_list_opt assignment_expression_opt RBRACKET
� r} Nr� r �r< Zdim� dim_qualsr2 �r? r@ r )rK r � ArrayDeclr2 rA )r rr rI �arrr r r �p_direct_declarator_3� s �z CParser.p_direct_declarator_3c C s^ dd� |d |d fD �}dd� |D �}t jd|d ||d jd �}| 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
c S s g | ]}t |t�r|n|g�qS r �r= �list)rE �itemr r r rG � s �z1CParser.p_direct_declarator_4.<locals>.<listcomp>r} r� c S s" g | ]}|D ]}|d k r |�q qS r& r )rE ZsublistrP r r r rG � s
�Nr� r r� r� r �r r� r2 rA )r rr Z listed_qualsr� r� r r r �p_direct_declarator_4� s ��z CParser.p_direct_declarator_4c
C s^ t jdt �|d | �|�d���|d dkr4|d ng |d jd�}| j|d |d�|d< dS )za direct_declarator : direct_declarator LBRACKET type_qualifier_list_opt TIMES RBRACKET
Nr� r} r r� r� r �r r� �IDr7 r{ r2 rA �r rr r� r r r �p_direct_declarator_5 s �z CParser.p_direct_declarator_5c C sz t j|d d|d jd�}| �� jdkr`|jdk r`|jjD ]$}t|t j�rN q`| � |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 ��argsr< r2 �LBRACEr� r ) r rL r2 r; r< r� �paramsr= �
EllipsisParamr4 r1 rA )r rr �funcZparamr r r �p_direct_declarator_6 s �
z CParser.p_direct_declarator_6c C sn | � |�d��}tj|d p g d|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
r rW N)rI r< r2 r} r )r7 r{ r ZPtrDeclrK r< )r rr r2 Z nested_typeZ tail_typer r r � p_pointer( s
zCParser.p_pointerc C s0 t |�dkr|d gn|d |d g |d< dS )zs type_qualifier_list : type_qualifier
| type_qualifier_list type_qualifier
rW r r Nr� rq r r r �p_type_qualifier_listF s z CParser.p_type_qualifier_listc C s> t |�dkr.|d j�t�| �|�d���� |d |d< dS )zn parameter_type_list : parameter_list
| parameter_list COMMA ELLIPSIS
rW r r} r N)rK r� r' r r� r7 r{ rq r r r �p_parameter_type_listL s "z CParser.p_parameter_type_listc C sN t |�dkr*t�|d g|d j�|d< n |d j�|d � |d |d< dS )zz parameter_list : parameter_declaration
| parameter_list COMMA parameter_declaration
rW r r r} N�rK r Z ParamListr2 r� r' rq r r r �p_parameter_listU s zCParser.p_parameter_listc C sX |d }|d s2t jdg| �|�d��d�g|d< | j|t|d d�gd�d |d< d S )
zE parameter_declaration : declaration_specifiers declarator
r r< rB rC rW r� r� r N)r rJ r7 r{ rd r r r r r �p_parameter_declaration_1_ s � ��z!CParser.p_parameter_declaration_1c C s� |d }|d s2t jdg| �|�d��d�g|d< t|d �dkr�t|d d j�dkr�| �|d d jd �r�| j|t|d dd �gd
�d }nHt j d |d |d p�t �
ddd�| �|�d��d
�}|d }| � ||�}||d< dS )zR parameter_declaration : declaration_specifiers abstract_declarator_opt
r r< rB rC r, r rW Nre r� r
rP �r1 rI r< r2 ) r rJ r7 r{ rK rD r6 rd r �Typenamer> rN )r rr rT r? rM r r r �p_parameter_declaration_2j s. � &���� z!CParser.p_parameter_declaration_2c C sN t |�dkr*t�|d g|d j�|d< n |d j�|d � |d |d< dS )ze identifier_list : identifier
| identifier_list COMMA identifier
rW r r r} Nr� rq r r r �p_identifier_list� s zCParser.p_identifier_listc C s |d |d< dS )z- initializer : assignment_expression
r r Nr rq r r r �p_initializer_1� s zCParser.p_initializer_1c C s: |d dkr*t �g | �|�d���|d< n |d |d< dS )z� initializer : brace_open initializer_list_opt brace_close
| brace_open initializer_list COMMA brace_close
rW Nr r )r �InitListr7 r{ rq r r r �p_initializer_2� s zCParser.p_initializer_2c C s� t |�dkrN|d dkr |d nt�|d |d �}t�|g|d j�|d< nD|d dkrb|d nt�|d |d �}|d j�|� |d |d< dS )z� initializer_list : designation_opt initializer
| initializer_list COMMA designation_opt initializer
r} r NrW r r� )rK r ZNamedInitializerr� r2 �exprsr' )r rr rZ r r r �p_initializer_list� s ((zCParser.p_initializer_listc C s |d |d< dS )z. designation : designator_list EQUALS
r r Nr rq r r r �
p_designation� s zCParser.p_designationc C s0 t |�dkr|d gn|d |d g |d< dS )z_ designator_list : designator
| designator_list designator
rW r r Nr� rq r r r �p_designator_list� s zCParser.p_designator_listc C s |d |d< dS )zi designator : LBRACKET constant_expression RBRACKET
| PERIOD identifier
rW r Nr rq r r r � p_designator� s zCParser.p_designatorc C sT t jd|d d |d p$t �ddd�| �|�d��d�}| �||d d �|d< dS ) zH type_name : specifier_qualifier_list abstract_declarator_opt
r
r rP rW Nr� r< r )r r� r> r7 r{ rN )r rr rM r r r � p_type_name� s
�zCParser.p_type_namec C s( t �ddd�}| j||d d�|d< dS )z+ abstract_declarator : pointer
Nr r� r )r r> rA )r rr Z dummytyper r r �p_abstract_declarator_1� s
�z CParser.p_abstract_declarator_1c C s | � |d |d �|d< dS )zF abstract_declarator : pointer direct_abstract_declarator
rW r r Nr� rq r r r �p_abstract_declarator_2� s z CParser.p_abstract_declarator_2c C s |d |d< dS )z> abstract_declarator : direct_abstract_declarator
r r Nr rq r r r �p_abstract_declarator_3� s z CParser.p_abstract_declarator_3c C s |d |d< dS )zA direct_abstract_declarator : LPAREN abstract_declarator RPAREN rW r Nr rq r r r � p_direct_abstract_declarator_1� s z&CParser.p_direct_abstract_declarator_1c C s6 t jd|d g |d jd�}| j|d |d�|d< dS )zn direct_abstract_declarator : direct_abstract_declarator LBRACKET assignment_expression_opt RBRACKET
Nr} r r� r� r r� r� r r r � p_direct_abstract_declarator_2� s �z&CParser.p_direct_abstract_declarator_2c C s4 t jt �ddd�|d g | �|�d��d�|d< dS )zS direct_abstract_declarator : LBRACKET assignment_expression_opt RBRACKET
NrW r r� r )r r� r> r7 r{ rq r r r � p_direct_abstract_declarator_3� s �z&CParser.p_direct_abstract_declarator_3c
C sJ t jdt �|d | �|�d���g |d jd�}| j|d |d�|d< dS )zZ direct_abstract_declarator : direct_abstract_declarator LBRACKET TIMES RBRACKET
Nr} r r� r� r r� r� r r r � p_direct_abstract_declarator_4 s �z&CParser.p_direct_abstract_declarator_4c
C sH t jt �ddd�t �|d | �|�d���g | �|�d��d�|d< dS )z? direct_abstract_declarator : LBRACKET TIMES RBRACKET
Nr} r r� r )r r� r> r� r7 r{ rq r r r � p_direct_abstract_declarator_5 s �z&CParser.p_direct_abstract_declarator_5c C s4 t j|d d|d jd�}| j|d |d�|d< dS )zh direct_abstract_declarator : direct_abstract_declarator LPAREN parameter_type_list_opt RPAREN
r} Nr r� r� r )r rL r2 rA )r rr r� r r r � p_direct_abstract_declarator_6 s �z&CParser.p_direct_abstract_declarator_6c C s2 t j|d t �ddd�| �|�d��d�|d< dS )zM direct_abstract_declarator : LPAREN parameter_type_list_opt RPAREN
rW Nr r� r )r rL r> r7 r{ rq r r r � p_direct_abstract_declarator_7 s
�z&CParser.p_direct_abstract_declarator_7c C s( t |d t�r|d n|d g|d< dS )zG block_item : declaration
| statement
r r Nr� rq r r r � p_block_item* s zCParser.p_block_itemc C s: t |�dks|d dgkr"|d n|d |d |d< dS )z_ block_item_list : block_item
| block_item_list block_item
rW Nr r r� rq r r r �p_block_item_list2 s zCParser.p_block_item_listc C s& t j|d | �|�d��d�|d< dS )zA compound_statement : brace_open block_item_list_opt brace_close rW r )Z block_itemsr2 r N)r ZCompoundr7 r{ rq r r r �p_compound_statement_19 s �z CParser.p_compound_statement_1c C s* t �|d |d | �|�d���|d< dS )z( labeled_statement : ID COLON statement r r} r N)r ZLabelr7 r{ rq r r r �p_labeled_statement_1? s z CParser.p_labeled_statement_1c C s, t �|d |d g| �|�d���|d< dS )z> labeled_statement : CASE constant_expression COLON statement rW r� r r N)r ZCaser7 r{ rq r r r �p_labeled_statement_2C s z CParser.p_labeled_statement_2c C s& t �|d g| �|�d���|d< dS )z- labeled_statement : DEFAULT COLON statement r} r r N)r ZDefaultr7 r{ rq r r r �p_labeled_statement_3G s z CParser.p_labeled_statement_3c
C s, t �|d |d d| �|�d���|d< dS )z= selection_statement : IF LPAREN expression RPAREN statement r} r� Nr r �r ZIfr7 r{ rq r r r �p_selection_statement_1K s z CParser.p_selection_statement_1c
C s0 t �|d |d |d | �|�d���|d< dS )zL selection_statement : IF LPAREN expression RPAREN statement ELSE statement r} r� � r r Nr� rq r r r �p_selection_statement_2O s z CParser.p_selection_statement_2c
C s. t t�|d |d | �|�d����|d< dS )zA selection_statement : SWITCH LPAREN expression RPAREN statement r} r� r r N)r r ZSwitchr7 r{ rq r r r �p_selection_statement_3S s �z CParser.p_selection_statement_3c C s* t �|d |d | �|�d���|d< dS )z@ iteration_statement : WHILE LPAREN expression RPAREN statement r} r� r r N)r ZWhiler7 r{ rq r r r �p_iteration_statement_1X s z CParser.p_iteration_statement_1c C s* t �|d |d | �|�d���|d< dS )zH iteration_statement : DO statement WHILE LPAREN expression RPAREN SEMI r� rW r r N)r ZDoWhiler7 r{ rq r r r �p_iteration_statement_2\ s z CParser.p_iteration_statement_2c C s6 t �|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� � r r N)r �Forr7 r{ rq r r r �p_iteration_statement_3` s z CParser.p_iteration_statement_3c C sJ t �t �|d | �|�d���|d |d |d | �|�d���|d< dS )zb iteration_statement : FOR LPAREN declaration expression_opt SEMI expression_opt RPAREN statement r} r r� � � r N)r r� ZDeclListr7 r{ rq r r r �p_iteration_statement_4d s �z CParser.p_iteration_statement_4c C s$ t �|d | �|�d���|d< dS )z jump_statement : GOTO ID SEMI rW r r N)r ZGotor7 r{ rq r r r �p_jump_statement_1i s zCParser.p_jump_statement_1c C s t �| �|�d���|d< dS )z jump_statement : BREAK SEMI r r N)r ZBreakr7 r{ rq r r r �p_jump_statement_2m s zCParser.p_jump_statement_2c C s t �| �|�d���|d< dS )z! jump_statement : CONTINUE SEMI r r N)r ZContinuer7 r{ rq r r r �p_jump_statement_3q s zCParser.p_jump_statement_3c C s4 t �t|�dkr|d nd| �|�d���|d< dS )z\ jump_statement : RETURN expression SEMI
| RETURN SEMI
r� rW Nr r )r ZReturnrK r7 r{ rq r r r �p_jump_statement_4u s zCParser.p_jump_statement_4c C s8 |d dkr(t �| �|�d���|d< n |d |d< dS )z, expression_statement : expression_opt SEMI r Nr )r ZEmptyStatementr7 r{ rq r r r �p_expression_statement{ s z CParser.p_expression_statementc C sj t |�dkr|d |d< nLt|d tj�sFt�|d g|d j�|d< |d j�|d � |d |d< dS )zn expression : assignment_expression
| expression COMMA assignment_expression
rW r r r} N)rK r= r �ExprListr2 r� r' rq r r r � p_expression� s zCParser.p_expressionc C s( t j|d g| �|�d��d�|d< dS )z typedef_name : TYPEID r rC r Nr� rq r r r �p_typedef_name� s zCParser.p_typedef_namec C sD t |�dkr|d |d< n&t�|d |d |d |d j�|d< dS )z� assignment_expression : conditional_expression
| unary_expression assignment_operator assignment_expression
rW r r r} N)rK r Z
Assignmentr2 rq r r r �p_assignment_expression� s z CParser.p_assignment_expressionc C s |d |d< dS )a� assignment_operator : EQUALS
| XOREQUAL
| TIMESEQUAL
| DIVEQUAL
| MODEQUAL
| PLUSEQUAL
| MINUSEQUAL
| LSHIFTEQUAL
| RSHIFTEQUAL
| ANDEQUAL
| OREQUAL
r r Nr rq r r r �p_assignment_operator� s
z CParser.p_assignment_operatorc C s |d |d< dS )z. constant_expression : conditional_expression r r Nr rq r r r �p_constant_expression� s z CParser.p_constant_expressionc C sD t |�dkr|d |d< n&t�|d |d |d |d j�|d< dS )z� conditional_expression : binary_expression
| binary_expression CONDOP expression COLON conditional_expression
rW r r r} r� N)rK r Z TernaryOpr2 rq r r r �p_conditional_expression� s z CParser.p_conditional_expressionc C sD t |�dkr|d |d< n&t�|d |d |d |d j�|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
rW r r r} N)rK r ZBinaryOpr2 rq r r r �p_binary_expression� s zCParser.p_binary_expressionc C s |d |d< dS )z$ cast_expression : unary_expression r r Nr rq r r r �p_cast_expression_1� s zCParser.p_cast_expression_1c C s* t �|d |d | �|�d���|d< dS )z; cast_expression : LPAREN type_name RPAREN cast_expression rW r� r r N)r ZCastr7 r{ rq r r r �p_cast_expression_2� s zCParser.p_cast_expression_2c C s |d |d< dS )z* unary_expression : postfix_expression r r Nr rq r r r �p_unary_expression_1� s z CParser.p_unary_expression_1c C s$ t �|d |d |d j�|d< dS )z� unary_expression : PLUSPLUS unary_expression
| MINUSMINUS unary_expression
| unary_operator cast_expression
r rW r N�r �UnaryOpr2 rq r r r �p_unary_expression_2� s z CParser.p_unary_expression_2c C s> t �|d t|�dkr |d n|d | �|�d���|d< dS )zx unary_expression : SIZEOF unary_expression
| SIZEOF LPAREN type_name RPAREN
r r} rW r N)r r rK r7 r{ rq r r r �p_unary_expression_3� s
�z CParser.p_unary_expression_3c C s |d |d< dS )z� unary_operator : AND
| TIMES
| PLUS
| MINUS
| NOT
| LNOT
r r Nr rq r r r �p_unary_operator� s zCParser.p_unary_operatorc C s |d |d< dS )z* postfix_expression : primary_expression r r Nr rq r r r �p_postfix_expression_1� s z CParser.p_postfix_expression_1c C s$ t �|d |d |d j�|d< dS )zG postfix_expression : postfix_expression LBRACKET expression RBRACKET r r} r N)r ZArrayRefr2 rq r r r �p_postfix_expression_2 s z CParser.p_postfix_expression_2c C s4 t �|d t|�dkr |d nd|d j�|d< dS )z� postfix_expression : postfix_expression LPAREN argument_expression_list RPAREN
| postfix_expression LPAREN RPAREN
r r� r} Nr )r �FuncCallrK r2 rq r r r �p_postfix_expression_3 s z CParser.p_postfix_expression_3c C sB t �|d | �|�d���}t �|d |d ||d j�|d< dS )z� postfix_expression : postfix_expression PERIOD ID
| postfix_expression PERIOD TYPEID
| postfix_expression ARROW ID
| postfix_expression ARROW TYPEID
r} r rW r N)r r� r7 r{ Z StructRefr2 )r rr Zfieldr r r �p_postfix_expression_4 s z CParser.p_postfix_expression_4c C s( t �d|d |d |d j�|d< dS )z{ postfix_expression : postfix_expression PLUSPLUS
| postfix_expression MINUSMINUS
rr rW r r Nr rq r r r �p_postfix_expression_5 s z CParser.p_postfix_expression_5c C s t �|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
rW r� r N)r ZCompoundLiteralrq r r r �p_postfix_expression_6 s z CParser.p_postfix_expression_6c C s |d |d< dS )z" primary_expression : identifier r r Nr rq r r r �p_primary_expression_1 s z CParser.p_primary_expression_1c C s |d |d< dS )z primary_expression : constant r r Nr rq r r r �p_primary_expression_2$ s z CParser.p_primary_expression_2c C s |d |d< dS )zp primary_expression : unified_string_literal
| unified_wstring_literal
r r Nr rq r r r �p_primary_expression_3( s z CParser.p_primary_expression_3c C s |d |d< dS )z0 primary_expression : LPAREN expression RPAREN rW r Nr rq r r r �p_primary_expression_4. s z CParser.p_primary_expression_4c C sF | � |�d��}t�t�|d |�t�|d |d g|�|�|d< dS )zQ primary_expression : OFFSETOF LPAREN type_name COMMA identifier RPAREN
r r} r� r N)r7 r{ r r r� r )r rr r2 r r r �p_primary_expression_52 s
�z CParser.p_primary_expression_5c C sN t |�dkr*t�|d g|d j�|d< n |d j�|d � |d |d< dS )z� argument_expression_list : assignment_expression
| argument_expression_list COMMA assignment_expression
rW r r r} N)rK r r r2 r� r' rq r r r �p_argument_expression_list: s z"CParser.p_argument_expression_listc C s$ t �|d | �|�d���|d< dS )z identifier : ID r r N)r r� r7 r{ rq r r r � p_identifierD s zCParser.p_identifierc C s& t �d|d | �|�d���|d< dS )z� constant : INT_CONST_DEC
| INT_CONST_OCT
| INT_CONST_HEX
| INT_CONST_BIN
rB r r N�r �Constantr7 r{ rq r r r � p_constant_1H s
�zCParser.p_constant_1c C s& t �d|d | �|�d���|d< dS )zM constant : FLOAT_CONST
| HEX_FLOAT_CONST
�floatr r Nr" rq r r r � p_constant_2Q s
�zCParser.p_constant_2c C s& t �d|d | �|�d���|d< dS )zH constant : CHAR_CONST
| WCHAR_CONST
�charr r Nr" rq r r r � p_constant_3X s
�zCParser.p_constant_3c C sh t |�dkr0t�d|d | �|�d���|d< n4|d jdd� |d dd� |d _|d |d< dS )z~ unified_string_literal : STRING_LITERAL
| unified_string_literal STRING_LITERAL
rW �stringr r Nr, )rK r r# r7 r{ �valuerq r r r �p_unified_string_literald s �
(z CParser.p_unified_string_literalc C sl t |�dkr0t�d|d | �|�d���|d< n8|d j�� dd� |d dd� |d _|d |d< dS )z� unified_wstring_literal : WSTRING_LITERAL
| unified_wstring_literal WSTRING_LITERAL
rW r) r r Nr, )rK r r# r7 r{ r* �rstriprq r r r �p_unified_wstring_literalo s �
,z!CParser.p_unified_wstring_literalc C s |d |d< dS )z brace_open : LBRACE
r r Nr rq r r r � p_brace_openz s zCParser.p_brace_openc C s |d |d< dS )z brace_close : RBRACE
r r Nr rq r r r �
p_brace_close s zCParser.p_brace_closec C s d|d< dS )zempty : Nr r rq r r r �p_empty� s zCParser.p_emptyc C s< |r,| � d|j | j|j| j�|�d�� n | � dd� d S )Nz
before: %s)r{ r: zAt end of inputr
)r/ r* r7 r{ r Zfind_tok_columnrq r r r �p_error� s
��zCParser.p_errorN)Tr Tr Fr
)r
r )F)��__name__�
__module__� __qualname__r! r$ r) r+ r3 r4 r6 r r r r r; rA rN rU rd ri rl Z
precedencers rt rv rw rx ry rz 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 r r r r r r r r r r r r r r r r! r$ r& r( r+ r- r. r/ r0 r1 r r r r r
s6 �
j
)7- Y ;
&
r
�__main__)�reZplyr r
r Zc_lexerr Z plyparserr r r Zast_transformsr r
r2 Zpprint�time�sysr r r r �<module> s,