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 t | j�dkst�| j�� d S )Nr )�lenr �AssertionError�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/ r2 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 r0 )r r3 ZscopeZin_scoper r r �_is_type_in_scope� s
zCParser._is_type_in_scopec C s | � || �||�� d S r& )r1 �_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.
)r8 )r r3 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�r4 c S s g | ]}|j D ]}|�qqS r )�names)�.0�idr3 r r r �
<listcomp>U s z/CParser._fix_decl_name_type.<locals>.<listcomp>r ) r? r r@ r> �declnamer3 �quals�IdentifierTyper* r1 r4 �FuncDecl)r rA �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 sF 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 ]�} | d dk �slt�|�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 �} |�r4|�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.
�typedefrR r �bitsizeNrA r> � r. r �?r4 zInvalid declaration�rJ r> rK r4 rQ )r3 rK rR r> r4 rS �init�r3 rK rR Zfuncspecr> r\ rX r4 )r0 r* rF r8 �hasattrr4 r1 r r@ r? �Struct�UnionrL r> rJ r+ ZTypedef�DeclrO r5 r3 r6 r' ) r rU �decls�typedef_namespaceZ
is_typedefZ declarationsr4 �tZ decls_0_tailrA � declarationZ
fixed_declr r r �_build_declarationsj sz &�
� �
��
�zCParser._build_declarationsc C sB d|d kst �| j|t|dd�gdd�d }tj||||jd�S ) z' Builds a function definition.
rW rR N�rA r\ T�rU rb rc r )rA � param_decls�bodyr4 )r+ rf r r ZFuncDefr4 )r rU rA ri rj re 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)ro ZLAND)ro �OR)ro ZXOR)ro ZAND)ro ZEQZNE)ro ZGTZGEZLTZLE)ro ZRSHIFTZLSHIFT)ro �PLUS�MINUS)ro 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 rs 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
rY Nr r )�extendrs 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 rs 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 rs 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 rs 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 rs 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)r1 r9 �linenors 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
rD r rE rP rY � �rU rA ri rj r N)r r rL r9 r} rk �r rt rU 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 rY r � r� r N)rk 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 rs 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 rY Nr> r rQ rR rS r] rg Trh )
r r_ r` �Enumr* r? ra r4 rf r )r rt rU ZtyZs_u_or_erb r r r � p_decl_body\ s4 �
��zCParser.p_decl_bodyc C s |d |d< dS )z& declaration : decl_body SEMI
r r Nr rs 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
rY r r N�r* rs 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
rY r rQ r N�rV rs 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
rY r r> r Nr� rs 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
rY r rR r Nr� rs 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
rY r rS r Nr� rs 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 rs 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 rs 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 rE r N�r rL r9 r} rs 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 rs 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 rs 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� rs 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
NrY rg r �r rs 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 Nrg r r� rs 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 rY r Nrg r )r r* rs 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
rY r rQ r Nr� rs 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
rY r r> r Nr� rs 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 rY N�r3 rb r4 r �rn r9 r} �r rt �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 rY 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 rY 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 rs 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
rY r r Nr� rs r r r �p_struct_declaration_list8 s z!CParser.p_struct_declaration_listc C s� |d }d|d kst �|d dk r8| j||d d�}nht|d �dkr�|d d }t|tj�rf|}n
t�|�}| j|t|d �gd�}n| j|tddd
�gd�}||d< dS ) zW struct_declaration : specifier_qualifier_list struct_declarator_list_opt SEMI
r rW rR rY N�rU rb r> r �rA rg )r+ rf r* r? r ZNoderL r )r rt rU rb 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 rY Nrg r� r )rf r rs 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� rs 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�rA rX r r rs 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 NrY )r* r r@ rs 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
rY Nr r �r r� r9 r} rs 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� rs 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
rY r� r r Nr� rs 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
rY r r r N)r* r ZEnumeratorListr4 Z enumeratorsr' rs 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
rY r Nr r )r* r Z
Enumeratorr9 r} r6 r3 r4 )r rt Z
enumeratorr r r � p_enumerator� s � �zCParser.p_enumeratorc C s |d |d< dS )z) declarator : direct_declarator
r r Nr rs r r r �p_declarator_1� s zCParser.p_declarator_1c C s | � |d |d �|d< dS )z1 declarator : pointer direct_declarator
rY r r N�rC rs 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
rY Nr[ r r )r r@ r9 r} rC )r rt rA 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 Nr[ r )r r@ r9 r} rs 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
rY r Nr rs 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_qualsr4 �rA rB r )r* r � ArrayDeclr4 rC )r rt rK �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)rG �itemr r r rI � s �z1CParser.p_direct_declarator_4.<locals>.<listcomp>r r� c S s" g | ]}|D ]}|d k r |�q qS r& r )rG ZsublistrQ r r r rI � s
�Nr� r r� r� r �r r� r4 rC )r rt 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� �IDr9 r} r4 rC �r rt 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> r4 �LBRACEr� r ) r rM r4 r= r> r� �paramsr? �
EllipsisParamr6 r3 rC )r rt �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 rY N)rK r> r4 r r )r9 r} r ZPtrDeclr* r> )r rt r4 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
rY r r Nr� rs 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
rY r r r N)r* r� r' r r� r9 r} rs 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
rY r r r N�r* r Z ParamListr4 r� r' rs 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> rD rE rY r� r� r N)r rL r9 r} rf 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> rD rE r. r rY Nrg r� r
rQ �r3 rK r> r4 ) r rL r9 r} r* rF r8 rf r �Typenamer@ rO )r rt rU rA rN 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
rY r r r Nr� rs r r r �p_identifier_list� s zCParser.p_identifier_listc C s |d |d< dS )z- initializer : assignment_expression
r r Nr rs 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
rY Nr r )r �InitListr9 r} rs 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 NrY r r� )r* r ZNamedInitializerr� r4 �exprsr' )r rt r\ r r r �p_initializer_list� s ((zCParser.p_initializer_listc C s |d |d< dS )z. designation : designator_list EQUALS
r r Nr rs 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
rY r r Nr� rs r r r �p_designator_list� s zCParser.p_designator_listc C s |d |d< dS )zi designator : LBRACKET constant_expression RBRACKET
| PERIOD identifier
rY r Nr rs 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 rQ rY Nr� r> r )r r� r@ r9 r} rO )r rt rN 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@ rC )r rt 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
rY r r Nr� rs 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 rs 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 rY r Nr rs 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
NrY r r� r )r r� r@ r9 r} rs 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� r9 r} rs 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 rM r4 rC )r rt 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
rY Nr r� r )r rM r@ r9 r} rs 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� rs 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
rY Nr r r� rs 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 rY r )Z block_itemsr4 r N)r ZCompoundr9 r} rs 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 ZLabelr9 r} rs 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 rY r� r r N)r ZCaser9 r} rs 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 ZDefaultr9 r} rs 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 ZIfr9 r} rs 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� rs 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 ZSwitchr9 r} rs 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 ZWhiler9 r} rs 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� rY r r N)r ZDoWhiler9 r} rs 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 �Forr9 r} rs 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� ZDeclListr9 r} rs 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 rY r r N)r ZGotor9 r} rs 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 ZBreakr9 r} rs 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 ZContinuer9 r} rs 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� rY Nr r )r ZReturnr* r9 r} rs 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 ZEmptyStatementr9 r} rs 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
rY r r r N)r* r? r �ExprListr4 r� r' rs r r r � p_expression� s zCParser.p_expressionc C s( t j|d g| �|�d��d�|d< dS )z typedef_name : TYPEID r rE r Nr� rs 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
rY r r r N)r* r Z
Assignmentr4 rs 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 rs 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 rs 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
rY r r r r� N)r* r Z TernaryOpr4 rs 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
rY r r r N)r* r ZBinaryOpr4 rs r r r �p_binary_expression� s zCParser.p_binary_expressionc C s |d |d< dS )z$ cast_expression : unary_expression r r Nr rs 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 rY r� r r N)r ZCastr9 r} rs 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 rs 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 rY r N�r �UnaryOpr4 rs 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 rY r N)r r r* r9 r} rs 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 rs r r r �p_unary_operator� s zCParser.p_unary_operatorc C s |d |d< dS )z* postfix_expression : primary_expression r r Nr rs 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 ZArrayRefr4 rs 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 �FuncCallr* r4 rs 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 rY r N)r r� r9 r} Z StructRefr4 )r rt 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
rt rY r r Nr rs 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
rY r� r N)r ZCompoundLiteralrs 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 rs 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 rs 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 rs 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 rY r Nr rs 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)r9 r} r r r� r )r rt r4 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
rY r r r N)r* r r r4 r� r' rs 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� r9 r} rs 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
rD r r N�r �Constantr9 r} rs 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$ rs 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$ rs 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
rY �stringr r Nr. )r* r r% r9 r} �valuers 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
rY r+ r r Nr. )r* r r% r9 r} r, �rstriprs 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 rs r r r � p_brace_openz s zCParser.p_brace_openc C s |d |d< dS )z brace_close : RBRACE
r r Nr rs r r r �
p_brace_close s zCParser.p_brace_closec C s d|d< dS )zempty : Nr r rs 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
)r1 r, r9 r} r Zfind_tok_columnrs r r r �p_error� s
��zCParser.p_errorN)Tr Tr Fr
)r
r )F)��__name__�
__module__� __qualname__r! r$ r) r- r5 r6 r8 r r r r r= rC rO rV rf rk rn Z
precedenceru rv 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 r2 r3 r r r r r
s6 �
j
)7- Y ;
&
r
�__main__)�reZplyr r
r Zc_lexerr Z plyparserr r r Zast_transformsr r
r4 Zpprint�time�sysr r r r �<module> s,