U
_ @ s d dl Z d dlmZ ddlmZ ddlmZ ddlmZm Z m
Z
ddl m Z G dd d eZ
ed
kr|d dlZd dlZd dlZdS ) N)yacc )c_ast)CLexer) PLYParserCoord
ParseError)fix_switch_casesc @ s e Zd Zd1ddZd2d 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$ Zd3d%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?dd Z@dd ZAdd ZBdd ZCdd ZDdd ZEdd ZFdd ZGdd ZHdd ZIdd ZJdd ZKdd ZLdd ZMdd ZNdd ZOdd ZPdd ZQdd ZRdd ZSdd ZTdd ZUdd ZVdd ZWdd ZXdd ZYdd ZZdd Z[dd Z\dd Z]dd Z^dd Z_dd Z`ddÄ Zaddń ZbddDŽ ZcddɄ Zddd˄ Zedd̈́ Zfddτ Zgddф Zhddӄ ZiddՄ Zjddׄ Zkddل Zlddۄ Zmdd݄ Zndd߄ Zodd Zpdd Zqdd Zrdd Zsdd Ztdd Zudd Zvdd Zwdd Zxdd Zydd Zzdd Z{dd Z|dd Z}dd Z~dd Zd d Zdd Zdd Zdd Zdd Zd
d Zd d
Zdd Zdd Zdd Zdd Zdd Zdd Zdd Zd d Zd d Zd d! Zd"d# Zd$d% Zd&d' Zd(d) Zd*d+ Zd,d- Zd.d/ Zd0S (4 CParserTpycparser.lextabpycparser.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)optimizelextab outputdirZabstract_declaratorZassignment_expressionZdeclaration_listZdeclaration_specifiersZ designationZ
expressionZidentifier_listZinit_declarator_listZinitializer_listZparameter_type_listZspecifier_qualifier_listZblock_item_listZtype_qualifier_listZstruct_declarator_listZtranslation_unit_or_empty)modulestartdebugr Z tabmoduler N)r _lex_error_func_lex_on_lbrace_func_lex_on_rbrace_func_lex_type_lookup_funcclexZbuildtokensZ_create_opt_ruler cparserdict _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 |dS )a& Parses C code and returns an AST.
text:
A string containing the C source code
filename:
Name of the file being parsed (for meaningful
error messages)
debuglevel:
Debug level to yacc
N)inputZlexerr )r 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 |ds"| 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 scopeNr get _parse_errorr namecoordr r r _add_typedef_name s zCParser._add_typedef_namec C s4 | j d |dr"| 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 | jD ] }||}|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 msglinecolumnr 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|tjr,||_ |S |}t|j tjsF|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 declmodifierZ
modifier_headZ
modifier_tailZ decl_tailr r r _type_modify_decl s zCParser._type_modify_declc C s |}t |tjs|j}q|j|_|j|_|D ]:}t |tjs,t|dkrX| d|j
q,||_| S q,|st |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 declarationintr2 c S s g | ]}|j D ]}|qqS r )names).0idr1 r r r
<listcomp>U s z/CParser._fix_decl_name_type.<locals>.<listcomp>r ) r= r r> r< declnamer1 qualsIdentifierTypelenr/ 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.
qualstorager< functionr )r insert)r ZdeclspecZnewspecZkindspecr r r _add_declaration_specifierY s
z"CParser._add_declaration_specifierc C s4 d|d k}g }|d ddk r&n,|d d dkrt|d dk stt|d d jd
kst| |d d jd sd }|d D ]}t|d r|j} qq| d
| tj|d d jd dd|d d jd|d d< |d d = nnt |d d tj
tj tj fsR|d d }t |tjs(|j
}q|jdkrR|d d jd |_|d d = |D ]} |rtjd|d |d | d | d jd}
n<tjd|d |d |d | d | d| d| d jd}
t |
j
tj
tj tj fr|
} 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 declarationrH r< rI r2 rP )r1 rI rQ r< r2 rR initr1 rI rQ Zfuncspecr< rZ rV r2 )r. rK rD r6 hasattrr2 r/ r r> r= StructUnionrJ r< rH ZTypedefDeclrN r3 r1 r4 r' ) r rT declstypedef_namespaceZ
is_typedefZ declarationsr2 tZ decls_0_tailr? declarationZ
fixed_declr r r _build_declarationsj sx &
zCParser._build_declarationsc C s2 | j |t|ddgddd }tj||||jdS )z' Builds a function definition.
Nr? rZ TrT r` ra r )r? param_declsbodyr2 )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 PLUSMINUS)rm ZTIMESZDIVIDEZMODc C s2 |d dkr t g |d< nt |d |d< dS )zh translation_unit_or_empty : translation_unit
| empty
r Nr )r ZFileASTr 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| |ddgg 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 NrK 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 NrU 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| |dd|d< dS )a type_specifier : VOID
| _BOOL
| CHAR
| SHORT
| INT
| LONG
| FLOAT
| DOUBLE
| _COMPLEX
| SIGNED
| UNSIGNED
r rC r Nr 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 dg|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 ddg|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| |dd|d< dS )z{ struct_or_union_specifier : struct_or_union ID
| struct_or_union TYPEID
r rW Nr1 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 | |dd|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 | |dd|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|tjrV|}n
t|}| j |t|dgd}n| j |tdddgd}||d< dS ) zW struct_declaration : specifier_qualifier_list struct_declarator_list_opt SEMI
r rW NrT 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 ddgd|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 Nr? 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 tddd|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 NrA rq r r r p_declarator_2 s zCParser.p_declarator_2c C s: t j|d dd| |dd}| ||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| |dd|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 |tr|n|gqS 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 jrN 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 jt| |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} NrK r Z ParamListr2 r r' rq r r r p_parameter_listU s zCParser.p_parameter_listc C sX |d }|d s2t jdg| |ddg|d< | j|t|d dgdd |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| |ddg|d< t|d dkrt|d d jdkr| |d d jd r| j|t|d dd gd
d }nHt j d |d |d pt
ddd| |dd
}|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| |dd}| ||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 | |dd|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 | |dg |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 dddt |d | |dg | |dd|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| |dd|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 tr|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 | |dd|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 tjsFt|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| |dd|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 Nr 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}tt|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 Nr 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 |dkr0td|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 |dkr0td|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 Zpprinttimesysr r r r <module> s,