3
] @ 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
@ sD e Zd ZdCddZdDd 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$ ZdEd%d&Zd'd( Zd)d* ZdPZd>d? Zd@dA ZdBdC ZdDdE ZdFdG ZdHdI ZdJdK 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 Z'dbdc Z(ddde Z)dfdg Z*dhdi Z+djdk Z,dldm Z-dndo Z.dpdq Z/drds Z0dtdu Z1dvdw Z2dxdy Z3dzd{ Z4d|d} Z5d~d Z6dd Z7dd Z8dd Z9dd Z:dd Z;dd Zdd 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ń ZYddDŽ ZZddɄ Z[dd˄ Z\dd̈́ Z]ddτ Z^ddф 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 Zvd d Zwdd Zxdd Zydd Zzdd Z{d
d Z|d d
Z}dd Z~dd 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/ Zd0d1 Zd2d3 Zd4d5 Zd6d7 Zd8d9 Zd:d; Zd<d= Zd>d? Zd@dA ZdBS (Q CParserTpycparser.lextabpycparser.yacctabF c C s t | j| j| j| jd| _| jj|||d | jj| _ddddddd d
d d d
dddg}x|D ]}| j| q\W t 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 /usr/lib/python3.6/c_parser.py__init__ sF 5
zCParser.__init__r c C s6 || j _| 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 jt d S )N)r appendr )r r r r _push_scope s zCParser._push_scopec C s | j j d S )N)r pop)r r r r
_pop_scope s zCParser._pop_scopec C s4 | j d j|ds"| jd| | d| j d |< dS )zC Add a new typedef name (ie a TYPEID) to the current scope
r Tz;Typedef %r previously declared as non-typedef in this scopeNr* )r get _parse_error)r namecoordr r r _add_typedef_name s
zCParser._add_typedef_namec C s4 | j d j|dr"| jd| | 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* r* )r r+ r, )r r- r. r r r _add_identifier s
zCParser._add_identifierc C s. x(t | jD ]}|j|}|dk r |S q W dS )z8 Is *name* a typedef-name in the current scope?
NF)reversedr r+ )r r- ZscopeZin_scoper r r _is_type_in_scope s
zCParser._is_type_in_scopec C s | j || j|| d S )N)r, _coord)r msglinecolumnr r r r s zCParser._lex_error_funcc C s | j d S )N)r' )r r r r r s zCParser._lex_on_lbrace_funcc C s | j d S )N)r) )r r r r r s zCParser._lex_on_rbrace_funcc C s | j |}|S )z Looks up types that were previously defined with
typedef.
Passed to the lexer for recognizing identifiers that
are types.
)r2 )r r- 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_token)r r r r _get_yacc_lookahead_token s z!CParser._get_yacc_lookahead_tokenc C sd |}|}x|j r|j }q
W t|tjr0||_ |S |}xt|j tjsL|j }q6W |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 |}xt |tjs|j}qW |j|_|j|_x>|D ]6}t |tjs2t|dkr^| j d|j
q2||_|S q2W |st |jtj s| j 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 declarationint)r. c S s g | ]}|j D ]}|qqS r )names).0idr- r r r
U s z/CParser._fix_decl_name_type..r ) r9 r r: r8 declnamer- qualsIdentifierTypelenr, r. FuncDecl)r r; typenamer8 Ztnr r r _fix_decl_name_type, s.
zCParser._fix_decl_name_typec C s( |pt g g g g d}|| jd| |S )a Declaration specifiers are represented by a dictionary
with the entries:
* qual: a list of type qualifiers
* storage: a list of storage type qualifiers
* type: a list of type specifiers
* function: a list of function specifiers
This method is given a declaration specifier, and a
new specifier of a given kind.
Returns the declaration specifier, with the new
specifier incorporated.
)qualstorager8 functionr )r insert)r ZdeclspecZnewspecZkindspecr r r _add_declaration_specifierY s
z"CParser._add_declaration_specifierc C s@ d|d k}g }|d j ddk r&n4|d d dkrt|d dk svt|d d jd ksv| j|d d jd rd
}x"|d D ]}t|d r|j}P qW | jd | tj|d d jd dd|d d jd
|d d< |d d= nrt |d d tj
tj tj fsZ|d d }xt |tjs.|j
}qW |jdkrZ|d d jd |_|d d= x|D ]} |rtjd|d |d | d | d jd}
n r )r. )rJ rK r8 rL rQ )rN r; r^ r_ r N)r r rE r3 r r` )r rw rN 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 rQ r )rN r; r^ r_ r N)r` )r rw rN 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 )r rw 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 rQ Nr8 r rJ rK rL )r- rD rK rT r8 rS rP r. )r; rS T)rN rY rZ )
r rV rW EnumrF r9 rX r. r] r )r rw rN ZtyZs_u_or_erY r r r p_decl_body\ s.
zCParser.p_decl_bodyc C s |d |d< dS )z& declaration : decl_body SEMI
r r Nr )r rw 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
rQ r r N)rF )r rw r r r p_declaration_list s zCParser.p_declaration_listc C s | j |d |d d|d< dS )zM declaration_specifiers : type_qualifier declaration_specifiers_opt
rQ r rJ r N)rO )r rw r r r p_declaration_specifiers_1 s z"CParser.p_declaration_specifiers_1c C s | j |d |d d|d< dS )zM declaration_specifiers : type_specifier declaration_specifiers_opt
rQ r r8 r N)rO )r rw r r r p_declaration_specifiers_2 s z"CParser.p_declaration_specifiers_2c C s | j |d |d d|d< dS )zV declaration_specifiers : storage_class_specifier declaration_specifiers_opt
rQ r rK r N)rO )r rw r r r p_declaration_specifiers_3 s z"CParser.p_declaration_specifiers_3c C s | j |d |d d|d< dS )zQ declaration_specifiers : function_specifier declaration_specifiers_opt
rQ r rL r N)rO )r rw 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 )r rw 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 )r rw r r r p_function_specifier s z CParser.p_function_specifierc C s( t j|d g| j|jdd|d< dS )a type_specifier : VOID
| _BOOL
| CHAR
| SHORT
| INT
| LONG
| FLOAT
| DOUBLE
| _COMPLEX
| SIGNED
| UNSIGNED
r )r. r N)r rE r3 r )r rw 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 )r rw 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 )r rw 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 N)rF )r rw 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
NrQ )r; rS r )r )r rw 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 N)r; rS r )r )r rw 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 rQ r N)r; rS r )r rF )r rw r r r p_init_declarator s zCParser.p_init_declaratorc C s | j |d |d d|d< dS )zS specifier_qualifier_list : type_qualifier specifier_qualifier_list_opt
rQ r rJ r N)rO )r rw r r r p_specifier_qualifier_list_1 s z$CParser.p_specifier_qualifier_list_1c C s | j |d |d d|d< dS )zS specifier_qualifier_list : type_specifier specifier_qualifier_list_opt
rQ r r8 r N)rO )r rw r r r p_specifier_qualifier_list_2 s z$CParser.p_specifier_qualifier_list_2c C s4 | j |d }||d d| j|jdd|d< dS )z{ struct_or_union_specifier : struct_or_union ID
| struct_or_union TYPEID
r rQ N)r- rY r. r )rc r3 r )r rw klassr r r p_struct_or_union_specifier_1 s
z%CParser.p_struct_or_union_specifier_1c C s4 | j |d }|d|d | j|jdd|d< dS )zd struct_or_union_specifier : struct_or_union brace_open struct_declaration_list brace_close
r Nr rQ )r- rY r. r )rc r3 r )r rw r r r r p_struct_or_union_specifier_2 s
z%CParser.p_struct_or_union_specifier_2c C s8 | j |d }||d |d | j|jdd|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 rQ r )r- rY r. r N)rc r3 r )r rw 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 )r rw 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
rQ r r N)rF )r rw 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
tj|}| j |t|dgd}n| j |tdddgd}||d< dS ) zW struct_declaration : specifier_qualifier_list struct_declarator_list_opt SEMI
r rQ N)rN rY r8 r )r; )r; rS )r] rF r9 r ZNoderE r )r rw rN rY 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 rQ N)r; rS )rN rY r )r] r )r rw 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 N)rF )r rw 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; rP r r )r rw r r r p_struct_declarator_1{ s z CParser.p_struct_declarator_1c C sD t |dkr$|d |d d|d< n tjddd|d d|d< dS )z struct_declarator : declarator COLON constant_expression
| COLON constant_expression
r r )r; rP r NrQ )rF r r: )r rw r r r p_struct_declarator_2 s z CParser.p_struct_declarator_2c C s& t j|d d| j|jd|d< dS )zM enum_specifier : ENUM ID
| ENUM TYPEID
rQ Nr r )r r r3 r )r rw r r r p_enum_specifier_1 s zCParser.p_enum_specifier_1c C s& t jd|d | j|jd|d< dS )zG enum_specifier : ENUM brace_open enumerator_list brace_close
Nr r r )r r r3 r )r rw r r r p_enum_specifier_2 s zCParser.p_enum_specifier_2c C s* t j|d |d | j|jd|d< dS )z enum_specifier : ENUM ID brace_open enumerator_list brace_close
| ENUM TYPEID brace_open enumerator_list brace_close
rQ r r r N)r r r3 r )r rw r r r p_enum_specifier_3 s zCParser.p_enum_specifier_3c C sh t |dkr*tj|d g|d j|d< n:t |dkrD|d |d< n |d jj|d |d |d< dS )z enumerator_list : enumerator
| enumerator_list COMMA
| enumerator_list COMMA enumerator
rQ r r r N)rF r ZEnumeratorListr. Z enumeratorsr& )r rw r r r p_enumerator_list s zCParser.p_enumerator_listc C sj t |dkr,tj|d d| j|jd}n"tj|d |d | j|jd}| j|j|j ||d< dS )zR enumerator : ID
| ID EQUALS constant_expression
rQ r Nr r )rF r Z
Enumeratorr3 r r0 r- r. )r rw Z
enumeratorr r r p_enumerator s zCParser.p_enumeratorc C s |d |d< dS )z) declarator : direct_declarator
r r Nr )r rw r r r p_declarator_1 s zCParser.p_declarator_1c C s | j |d |d |d< dS )z1 declarator : pointer direct_declarator
rQ r r N)r= )r rw r r r p_declarator_2 s zCParser.p_declarator_2c C s: t j|d dd| j|jdd}| j||d |d< dS )z& declarator : pointer TYPEID
rQ N)rC r8 rD r. r r )r r: r3 r r= )r rw r; r r r p_declarator_3 s zCParser.p_declarator_3c C s* t j|d dd| j|jdd|d< dS )z" direct_declarator : ID
r N)rC r8 rD r. r )r r: r3 r )r rw 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
rQ r Nr )r rw 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 )r8 dim dim_qualsr. )r; r< r )rF r ArrayDeclr. r= )r rw rD arrr r r p_direct_declarator_3 s z CParser.p_direct_declarator_3c C s^ dd |d |d gD }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 )r9 list)r@ itemr r r rB s z1CParser.p_direct_declarator_4..r r c S s" g | ]}|D ]}|d k r |q qS )Nr )r@ ZsublistrJ r r r rB s
Nr r )r8 r r r. )r; r< r )r r r. r= )r rw Z listed_qualsr r r r r p_direct_declarator_4 s z CParser.p_direct_declarator_4c C s^ t jdt j|d | j|jd|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 )r8 r r r. )r; r< r )r r IDr3 r r. r= )r rw r r r r p_direct_declarator_5 s z CParser.p_direct_declarator_5c C s| t j|d d|d jd}| j jdkrb|jdk rbx.|jjD ]"}t|t jrNP | j |j
|j qW ||_|d |d< n||d< dS )zm pointer : TIMES type_qualifier_list_opt
| TIMES type_qualifier_list_opt pointer
r rQ N)rD r8 r. r r )r3 r r ZPtrDeclrF r8 )r rw r. 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
rQ r r N)rF )r rw r r r p_type_qualifier_listF s z CParser.p_type_qualifier_listc C s> t |dkr.|d jjtj| j|jd |d |d< dS )zn parameter_type_list : parameter_list
| parameter_list COMMA ELLIPSIS
rQ r r r N)rF r r& r r r3 r )r rw r r r p_parameter_type_listL s "z CParser.p_parameter_type_listc C sN t |dkr*tj|d g|d j|d< n |d jj|d |d |d< dS )zz parameter_list : parameter_declaration
| parameter_list COMMA parameter_declaration
rQ r r r N)rF r ParamListr. r r& )r rw r r r p_parameter_listU s zCParser.p_parameter_listc C sX |d }|d s2t jdg| j|jddg|d< | j|t|d dgdd |d< d S )
zE parameter_declaration : declaration_specifiers declarator
r r8 r> )r. rQ )r; )rN rY r N)r rE r3 r r] r )r rw rN r r r p_parameter_declaration_1_ s z!CParser.p_parameter_declaration_1c C s |d }|d s2t jdg| j|jddg|d< t|d dkrt|d d
jdkr| j|d d jd r| j|t|d ddgd d }nHt j d
|d |d pt j
ddd| j|jdd }|d }| j ||}||d< dS )zR parameter_declaration : declaration_specifiers abstract_declarator_opt
r r8 r> )r. r rQ N)r; rS )rN rY r
rJ )r- rD r8 r. r* r* ) r rE r3 r rF r? r2 r] r Typenamer: rI )r rw rN r; rH r r r p_parameter_declaration_2j s" & z!CParser.p_parameter_declaration_2c C sN t |dkr*tj|d g|d j|d< n |d jj|d |d |d< dS )ze identifier_list : identifier
| identifier_list COMMA identifier
rQ r r r N)rF r r r. r r& )r rw r r r p_identifier_list s zCParser.p_identifier_listc C s |d |d< dS )z- initializer : assignment_expression
r r Nr )r rw r r r p_initializer_1 s zCParser.p_initializer_1c C s: |d dkr*t jg | j|jd|d< n |d |d< dS )z initializer : brace_open initializer_list_opt brace_close
| brace_open initializer_list COMMA brace_close
rQ Nr r )r InitListr3 r )r rw r r r p_initializer_2 s zCParser.p_initializer_2c C s t |dkrN|d dkr |d ntj|d |d }tj|g|d j|d< nD|d dkrb|d ntj|d |d }|d jj| |d |d< dS )z initializer_list : designation_opt initializer
| initializer_list COMMA designation_opt initializer
r r NrQ r r )rF r ZNamedInitializerr r. exprsr& )r rw rS r r r p_initializer_list s ((zCParser.p_initializer_listc C s |d |d< dS )z. designation : designator_list EQUALS
r r Nr )r rw 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
rQ r r N)rF )r rw r r r p_designator_list s zCParser.p_designator_listc C s |d |d< dS )zi designator : LBRACKET constant_expression RBRACKET
| PERIOD identifier
rQ r Nr )r rw r r r p_designator s zCParser.p_designatorc C sT t jd|d d |d p$t jddd| j|jdd}| j||d d |d< dS ) zH type_name : specifier_qualifier_list abstract_declarator_opt
r
r rJ rQ N)r- rD r8 r. r8 r )r r r: r3 r rI )r rw rH r r r p_type_name s
zCParser.p_type_namec C s( t jddd}| j||d d|d< dS )z+ abstract_declarator : pointer
Nr )r; r< r )r r: r= )r rw Z dummytyper r r p_abstract_declarator_1 s z CParser.p_abstract_declarator_1c C s | j |d |d |d< dS )zF abstract_declarator : pointer direct_abstract_declarator
rQ r r N)r= )r rw 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 )r rw 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 rQ r Nr )r rw 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 )r8 r r r. )r; r< r )r r r. r= )r rw r r r r p_direct_abstract_declarator_2 s z&CParser.p_direct_abstract_declarator_2c C s4 t jt jddd|d g | j|jdd|d< dS )zS direct_abstract_declarator : LBRACKET assignment_expression_opt RBRACKET
NrQ r )r8 r r r. r )r r r: r3 r )r rw r r r p_direct_abstract_declarator_3 s
z&CParser.p_direct_abstract_declarator_3c C sJ t jdt j|d | j|jdg |d jd}| j|d |d|d< dS )zZ direct_abstract_declarator : direct_abstract_declarator LBRACKET TIMES RBRACKET
Nr r )r8 r r r. )r; r< r )r r r r3 r r. r= )r rw r r r r p_direct_abstract_declarator_4 s z&CParser.p_direct_abstract_declarator_4c C sH t jt jdddt j|d | j|jdg | j|jdd|d< dS )z? direct_abstract_declarator : LBRACKET TIMES RBRACKET
Nr r )r8 r r r. r )r r r: r r3 r )r rw 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 r8 r. )r; r< r )r rG r. r= )r rw r r r r p_direct_abstract_declarator_6 s
z&CParser.p_direct_abstract_declarator_6c C s2 t j|d t jddd| j|jdd|d< dS )zM direct_abstract_declarator : LPAREN parameter_type_list_opt RPAREN
rQ Nr )r r8 r. r )r rG r: r3 r )r rw 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 N)r9 r )r rw 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
rQ Nr r )rF )r rw r r r p_block_item_list2 s zCParser.p_block_item_listc C s& t j|d | j|jdd|d< dS )zA compound_statement : brace_open block_item_list_opt brace_close rQ r )Z block_itemsr. r N)r ZCompoundr3 r )r rw r r r p_compound_statement_19 s z CParser.p_compound_statement_1c C s* t j|d |d | j|jd|d< dS )z( labeled_statement : ID COLON statement r r r N)r ZLabelr3 r )r rw r r r p_labeled_statement_1? s z CParser.p_labeled_statement_1c C s, t j|d |d g| j|jd|d< dS )z> labeled_statement : CASE constant_expression COLON statement rQ r r r N)r ZCaser3 r )r rw r r r p_labeled_statement_2C s z CParser.p_labeled_statement_2c C s& t j|d g| j|jd|d< dS )z- labeled_statement : DEFAULT COLON statement r r r N)r ZDefaultr3 r )r rw r r r p_labeled_statement_3G s z CParser.p_labeled_statement_3c C s, t j|d |d d| j|jd|d< dS )z= selection_statement : IF LPAREN expression RPAREN statement r r Nr r )r Ifr3 r )r rw r r r p_selection_statement_1K s z CParser.p_selection_statement_1c C s0 t j|d |d |d | j|jd|d< dS )zL selection_statement : IF LPAREN expression RPAREN statement ELSE statement r r r r N)r r r3 r )r rw r r r p_selection_statement_2O s z CParser.p_selection_statement_2c C s. t tj|d |d | j|jd|d< dS )zA selection_statement : SWITCH LPAREN expression RPAREN statement r r r r N)r r ZSwitchr3 r )r rw r r r p_selection_statement_3S s z CParser.p_selection_statement_3c C s* t j|d |d | j|jd|d< dS )z@ iteration_statement : WHILE LPAREN expression RPAREN statement r r r r N)r ZWhiler3 r )r rw r r r p_iteration_statement_1X s z CParser.p_iteration_statement_1c C s* t j|d |d | j|jd|d< dS )zH iteration_statement : DO statement WHILE LPAREN expression RPAREN SEMI r rQ r r N)r ZDoWhiler3 r )r rw r r r p_iteration_statement_2\ s z CParser.p_iteration_statement_2c C s6 t j|d |d |d |d | j|jd|d< dS )zj iteration_statement : FOR LPAREN expression_opt SEMI expression_opt SEMI expression_opt RPAREN statement r r r r r N)r Forr3 r )r rw r r r p_iteration_statement_3` s z CParser.p_iteration_statement_3c C sJ t jt j|d | j|jd|d |d |d | j|jd|d< dS )zb iteration_statement : FOR LPAREN declaration expression_opt SEMI expression_opt RPAREN statement r r r r N)r r ZDeclListr3 r )r rw r r r p_iteration_statement_4d s z CParser.p_iteration_statement_4c C s$ t j|d | j|jd|d< dS )z jump_statement : GOTO ID SEMI rQ r r N)r ZGotor3 r )r rw r r r p_jump_statement_1i s zCParser.p_jump_statement_1c C s t j| j|jd|d< dS )z jump_statement : BREAK SEMI r r N)r ZBreakr3 r )r rw r r r p_jump_statement_2m s zCParser.p_jump_statement_2c C s t j| j|jd|d< dS )z! jump_statement : CONTINUE SEMI r r N)r ZContinuer3 r )r rw r r r p_jump_statement_3q s zCParser.p_jump_statement_3c C s4 t jt|dkr|d nd| j|jd|d< dS )z\ jump_statement : RETURN expression SEMI
| RETURN SEMI
r rQ Nr r )r ZReturnrF r3 r )r rw r r r p_jump_statement_4u s zCParser.p_jump_statement_4c C s8 |d dkr(t j| j|jd|d< n |d |d< dS )z, expression_statement : expression_opt SEMI r Nr )r ZEmptyStatementr3 r )r rw r r r p_expression_statement{ s z CParser.p_expression_statementc C sj t |dkr|d |d< nLt|d tjsFtj|d g|d j|d< |d jj|d |d |d< dS )zn expression : assignment_expression
| expression COMMA assignment_expression
rQ r r r N)rF r9 r ExprListr. r r& )r rw r r r p_expression s zCParser.p_expressionc C s( t j|d g| j|jdd|d< dS )z typedef_name : TYPEID r )r. r N)r rE r3 r )r rw r r r p_typedef_name s zCParser.p_typedef_namec C sD t |dkr|d |d< n&tj|d |d |d |d j|d< dS )z assignment_expression : conditional_expression
| unary_expression assignment_operator assignment_expression
rQ r r r N)rF r Z
Assignmentr. )r rw 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 )r rw 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 )r rw r r r p_constant_expression s z CParser.p_constant_expressionc C sD t |dkr|d |d< n&tj|d |d |d |d j|d< dS )z conditional_expression : binary_expression
| binary_expression CONDOP expression COLON conditional_expression
rQ r r r r N)rF r Z TernaryOpr. )r rw r r r p_conditional_expression s z CParser.p_conditional_expressionc C sD t |dkr|d |d< n&tj|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
rQ r r r N)rF r ZBinaryOpr. )r rw r r r p_binary_expression s zCParser.p_binary_expressionc C s |d |d< dS )z$ cast_expression : unary_expression r r Nr )r rw r r r p_cast_expression_1 s zCParser.p_cast_expression_1c C s* t j|d |d | j|jd|d< dS )z; cast_expression : LPAREN type_name RPAREN cast_expression rQ r r r N)r ZCastr3 r )r rw 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 )r rw r r r p_unary_expression_1 s z CParser.p_unary_expression_1c C s$ t j|d |d |d j|d< dS )z unary_expression : PLUSPLUS unary_expression
| MINUSMINUS unary_expression
| unary_operator cast_expression
r rQ r N)r UnaryOpr. )r rw r r r p_unary_expression_2 s z CParser.p_unary_expression_2c C s> t j|d t|dkr |d n|d | j|jd|d< dS )zx unary_expression : SIZEOF unary_expression
| SIZEOF LPAREN type_name RPAREN
r r rQ r N)r r rF r3 r )r rw 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 )r rw r r r p_unary_operator s zCParser.p_unary_operatorc C s |d |d< dS )z* postfix_expression : primary_expression r r Nr )r rw r r r p_postfix_expression_1 s z CParser.p_postfix_expression_1c C s$ t j|d |d |d j|d< dS )zG postfix_expression : postfix_expression LBRACKET expression RBRACKET r r r N)r ZArrayRefr. )r rw r r r p_postfix_expression_2 s z CParser.p_postfix_expression_2c C s4 t j|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 FuncCallrF r. )r rw r r r p_postfix_expression_3 s z CParser.p_postfix_expression_3c C sB t j|d | j|jd}t j|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 rQ r N)r r r3 r Z StructRefr. )r rw Zfieldr r r p_postfix_expression_4 s z CParser.p_postfix_expression_4c C s( t jd|d |d |d j|d< dS )z{ postfix_expression : postfix_expression PLUSPLUS
| postfix_expression MINUSMINUS
rw rQ r r N)r r r. )r rw r r r p_postfix_expression_5 s z CParser.p_postfix_expression_5c C s t j|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
rQ r r N)r ZCompoundLiteral)r rw 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 )r rw 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 )r rw 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 )r rw 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 rQ r Nr )r rw r r r p_primary_expression_4. s z CParser.p_primary_expression_4c C sF | j |jd}tjtj|d |tj|d |d g|||d< dS )zQ primary_expression : OFFSETOF LPAREN type_name COMMA identifier RPAREN
r r r r N)r3 r r r r r )r rw r. r r r p_primary_expression_52 s z CParser.p_primary_expression_5c C sN t |dkr*tj|d g|d j|d< n |d jj|d |d |d< dS )z argument_expression_list : assignment_expression
| argument_expression_list COMMA assignment_expression
rQ r r r N)rF r r r. r r& )r rw r r r p_argument_expression_list: s z"CParser.p_argument_expression_listc C s$ t j|d | j|jd|d< dS )z identifier : ID r r N)r r r3 r )r rw r r r p_identifierD s zCParser.p_identifierc C s& t jd|d | j|jd|d< dS )z constant : INT_CONST_DEC
| INT_CONST_OCT
| INT_CONST_HEX
| INT_CONST_BIN
r> r r N)r Constantr3 r )r rw r r r p_constant_1H s zCParser.p_constant_1c C s& t jd|d | j|jd|d< dS )zM constant : FLOAT_CONST
| HEX_FLOAT_CONST
floatr r N)r r r3 r )r rw r r r p_constant_2Q s zCParser.p_constant_2c C s& t jd|d | j|jd|d< dS )zH constant : CHAR_CONST
| WCHAR_CONST
charr r N)r r r3 r )r rw r r r p_constant_3X s zCParser.p_constant_3c C sh t |dkr0tjd|d | j|jd|d< n4|d jdd |d dd |d _|d |d< dS )z~ unified_string_literal : STRING_LITERAL
| unified_string_literal STRING_LITERAL
rQ stringr r Nr* )rF r r r3 r value)r rw r r r p_unified_string_literald s
(z CParser.p_unified_string_literalc C sl t |dkr0tjd|d | j|jd|d< n8|d jj dd |d dd |d _|d |d< dS )z unified_wstring_literal : WSTRING_LITERAL
| unified_wstring_literal WSTRING_LITERAL
rQ r r r Nr* )rF r r r3 r r rstrip)r rw 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 )r rw r r r p_brace_openz s zCParser.p_brace_openc C s |d |d< dS )z brace_close : RBRACE
r r Nr )r rw r r r
p_brace_close s zCParser.p_brace_closec C s d|d< dS )zempty : Nr r )r rw r r r p_empty s zCParser.p_emptyc C s< |r,| j d|j | j|j| jj|d n | j dd d S )Nz
before: %s)r r6 zAt end of inputr
)r, r r3 r r Zfind_tok_column)r rw r r r p_error s zCParser.p_errorN)Tr Tr Fr
)r
r )Frd re rd rf rd rg rd rh rd ri rd rj rk rd rl rm rn ro rd rp rq rd rr rs rd rt ru rv )
r r! r" r# r$ r% r& r' r( r) )__name__
__module__ __qualname__r! r$ r' r) r/ r0 r2 r r r r r7 r= rI rO r] r` rc Z
precedencerx ry r{ r| r} r~ r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r r
r r r
r r r r r r r r r r r r r r r r r
sF c
)7- Y
;
&
r
__main__)reZplyr r
r Zc_lexerr Z plyparserr r r Zast_transformsr r
r* pprintZtimesysr r r r s,