a
,Nbq @ sl d dl Z d dlmZ ddlmZ ddlmZ ddlmZm Z m
Z
m Z m Z ddl
mZ e G dd d eZdS )
N)yacc )c_ast)CLexer) PLYParserCoord
ParseError
parameterizedtemplate)fix_switch_casesc @ s e Zd ZdedddddfddZdJd d
Zd d Zd
d Zdd Zdd Z dd Z
dd Z dd Z dd Z
dd Zd d Zd d Zd!d" ZdKd#d$ZdLd%d&Zd'd( Zd)d* Zd+Zd,d- Zd.d/ Zd0d1 Zd2d3 Zd4d5 Zd6d7 Z d8d9 Z d:d; Z dd? 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_ Z0d`da Z1dbdc Z2ddde Z3dfdg Z4dhdi Z5djdk Z6dldm Z7dndo Z8dpdq Z9drds Z:dtdu Z;dvdw Zd|d} Z?d~d Z@dd ZAdd ZBdd ZCdd ZDdd ZEdd ZFdd ZGdd ZHdd ZIdd ZJdd ZKdd ZLdd ZMeNddddd ZOeNddddd ZPeNddddd ZQeNdddd ZReNddddd ZSeNddddd ZTeNddddd ZUeNddddd ZVdd ZWdd ZXdd ZYdd 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 Zvdd Zwdd Zxdd Zydd Zzdd Z{dd Z|dd Z}dd Z~dd Zdd Zdd Zdd Zdd Zdd Zd d
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/d0 Zd1d2 Zd3d4 Zd5d6 Zd7d8 Zd9d: Zd;d< Zd=d> Zd?d@ ZdAdB ZdCdD ZdEdF ZdGdH ZdIS (M CParserTzpycparser.lextabzpycparser.yacctabF c
C s~ || j | j| j| jd| _| jj|||d | jj| _g d}|D ]} | | qBtj| 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.
lexer:
Set this parameter to define the lexer to use if
you're not using the default CLexer.
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 outputdir)Zabstract_declaratorZassignment_expressionZdeclaration_listZ declaration_specifiers_no_typeZ designationZ
expressionZidentifier_listZinit_declarator_listZid_init_declarator_listZinitializer_listZparameter_type_listZblock_item_listZtype_qualifier_listZstruct_declarator_listZtranslation_unit_or_empty)modulestartdebugr Z tabmoduler N)
_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_optimizelexerr Z
yacc_optimizeZyacctabZ
yacc_debugZ taboutputdirZrules_with_optZrule r 6/usr/lib/python3.9/site-packages/pycparser/c_parser.py__init__ s2 :
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)inputr r )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 | jdksJ | j d S )Nr )lenr 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/ r2 r r r! _add_identifier s zCParser._add_identifierc C s. t | jD ] }||}|dur
| 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 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.
)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|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 declarationintr4 c S s g | ]}|j D ]}|qqS r )names).0idr3 r r r!
[ z/CParser._fix_decl_name_type..r ) r? r r@ r> declnamer3 qualsIdentifierTyper+ r1 r4 FuncDecl)r rA typenamer> tnr r r! _fix_decl_name_type2 s6
zCParser._fix_decl_name_typec C s< |pt g g g g d}|r(|| | n|| 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.
If `append` is True, the new specifier is added to the end of
the specifiers list, otherwise it's added at the beginning.
Returns the declaration specifier, with the new
specifier incorporated.
qualstorager> functionr )r r( insert)r ZdeclspecZnewspeckindr( specr r r! _add_declaration_specifier_ s
z"CParser._add_declaration_specifierc C sF d|d v }g }|d ddur&n,|d d du rt|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|jdu rR|d d jd |_|d d = |D ]} | d duslJ |rtjd|d |d | d | d jd}
n r. r ?r4 zInvalid declarationrK r> rL r4 rS )r3 rL rT r> r4 rU initr3 rL rT Zfuncspecr> r_ r[ r4 )r0 r+ rF r8 hasattrr4 r1 r r@ r? StructUnionrM r> rK ZTypedefDeclrQ r5 r3 r6 r( ) r rX declstypedef_namespaceZ
is_typedefZ declarationsr4 tZ decls_0_tailrA declarationZ
fixed_declr r r! _build_declarationsw sz &
zCParser._build_declarationsc C sB d|d vsJ | j |t|ddgddd }tj||||jdS ) z' Builds a function definition.
rZ rT NrA r_ TrX re rf r )rA param_declsbodyr4 )ri r r ZFuncDefr4 )r rX rA rl rm rh 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 rb rc )r tokenr r r! _select_struct_union_class s z"CParser._select_struct_union_class)
)leftZLOR)rr ZLAND)rr OR)rr ZXOR)rr ZAND)rr ZEQZNE)rr ZGTZGEZLTZLE)rr ZRSHIFTZLSHIFT)rr PLUSMINUS)rr ZTIMESZDIVIDEZMODc C s2 |d du r 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 rv r r r! p_translation_unit_1
s z CParser.p_translation_unit_1c C s" |d |d |d |d< dS )zE translation_unit : translation_unit external_declaration
r r\ r N)extendrv 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 rv 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 rv r r r! p_external_declaration_2! s z CParser.p_external_declaration_2c C s |d g|d< dS )zi external_declaration : pp_directive
| pppragma_directive
r r Nr rv r r r! p_external_declaration_3& s z CParser.p_external_declaration_3c C s g |d< dS )z( external_declaration : SEMI
r Nr rv 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 _token_coordrv r r r! p_pp_directive1 s
zCParser.p_pp_directivec C sF t |dkr*t|d | |d|d< ntd| |d|d< dS )zg pppragma_directive : PPPRAGMA
| PPPRAGMA PPPRAGMASTR
r\ r r
r N)r+ r Pragmar rv r r r! p_pppragma_directive7 s z CParser.p_pppragma_directivec C sL t g g tjdg| |ddgg d}| j||d |d |d d|d< d S )
zU function_definition : id_declarator declaration_list_opt compound_statement
rD r rE rR r\ r rX rA rl rm r N)r r rM r rn r rw rX r r r! p_function_definition_1C s
z CParser.p_function_definition_1c C s. |d }| j ||d |d |d d|d< dS )zl function_definition : declaration_specifiers id_declarator declaration_list_opt compound_statement
r r\ r r r N)rn r r r r! p_function_definition_2T s z CParser.p_function_definition_2c C s |d |d< dS )a7 statement : labeled_statement
| expression_statement
| compound_statement
| selection_statement
| iteration_statement
| jump_statement
| pppragma_directive
r r Nr rv r r r! p_statement_ s zCParser.p_statementc C sT t |d tjrDt|dkrDtj|d |d g| |dd|d< n |d |d< dS )zx pragmacomp_or_statement : pppragma_directive statement
| statement
r r r\ Z block_itemsr4 r N)r? r r r+ Compoundr rv r r r! p_pragmacomp_or_statement s
z!CParser.p_pragmacomp_or_statementc
C s |d }|d du r|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 )
z decl_body : declaration_specifiers init_declarator_list_opt
| declaration_specifiers_no_type id_init_declarator_list_opt
r r\ Nr> r rS rT rU r` rj Trk )
r rb rc Enumr+ r? rd r4 ri r )r rw rX tyZs_u_or_ere r r r! p_decl_body s4
zCParser.p_decl_bodyc C s |d |d< dS )z& declaration : decl_body SEMI
r r Nr rv 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
r\ r r Nr+ rv r r r! p_declaration_list s zCParser.p_declaration_listc C s | |d |d d|d< dS )z] declaration_specifiers_no_type : type_qualifier declaration_specifiers_no_type_opt
r\ r rS r NrY rv r r r! "p_declaration_specifiers_no_type_1 s z*CParser.p_declaration_specifiers_no_type_1c C s | |d |d d|d< dS )zf declaration_specifiers_no_type : storage_class_specifier declaration_specifiers_no_type_opt
r\ r rT r Nr rv r r r! "p_declaration_specifiers_no_type_2 s z*CParser.p_declaration_specifiers_no_type_2c C s | |d |d d|d< dS )za declaration_specifiers_no_type : function_specifier declaration_specifiers_no_type_opt
r\ r rU r Nr rv r r r! "p_declaration_specifiers_no_type_3 s z*CParser.p_declaration_specifiers_no_type_3c C s" | j |d |d ddd|d< dS )zI declaration_specifiers : declaration_specifiers type_qualifier
r r\ rS Tr( r Nr rv r r r! p_declaration_specifiers_1 s z"CParser.p_declaration_specifiers_1c C s" | j |d |d ddd|d< dS )zR declaration_specifiers : declaration_specifiers storage_class_specifier
r r\ rT Tr r Nr rv r r r! p_declaration_specifiers_2
s z"CParser.p_declaration_specifiers_2c C s" | j |d |d ddd|d< dS )zM declaration_specifiers : declaration_specifiers function_specifier
r r\ rU Tr r Nr rv r r r! p_declaration_specifiers_3 s z"CParser.p_declaration_specifiers_3c C s" | j |d |d ddd|d< dS )zS declaration_specifiers : declaration_specifiers type_specifier_no_typeid
r r\ r> Tr r Nr rv r r r! p_declaration_specifiers_4 s z"CParser.p_declaration_specifiers_4c C s | d|d d|d< dS )z2 declaration_specifiers : type_specifier
Nr r> r r rv r r r! p_declaration_specifiers_5 s z"CParser.p_declaration_specifiers_5c C s" | j |d |d ddd|d< dS )zQ declaration_specifiers : declaration_specifiers_no_type type_specifier
r r\ r> Tr r Nr rv r r r! p_declaration_specifiers_6! s z"CParser.p_declaration_specifiers_6c C s |d |d< dS )z storage_class_specifier : AUTO
| REGISTER
| STATIC
| EXTERN
| TYPEDEF
r r Nr rv 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 rv r r r! p_function_specifier0 s z CParser.p_function_specifierc C s$ t j|d g| |dd|d< dS )a+ type_specifier_no_typeid : VOID
| _BOOL
| CHAR
| SHORT
| INT
| LONG
| FLOAT
| DOUBLE
| _COMPLEX
| SIGNED
| UNSIGNED
| __INT128
r rE r Nr rM r rv r r r! p_type_specifier_no_typeid5 s z"CParser.p_type_specifier_no_typeidc C s |d |d< dS )z type_specifier : typedef_name
| enum_specifier
| struct_or_union_specifier
| type_specifier_no_typeid
r r Nr rv r r r! p_type_specifierE s zCParser.p_type_specifierc C s |d |d< dS )zo type_qualifier : CONST
| RESTRICT
| VOLATILE
r r Nr rv r r r! p_type_qualifierM 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 rv r r r! p_init_declarator_listT s z CParser.p_init_declarator_listc C s, t |d t|dkr |d ndd|d< dS )zb init_declarator : declarator
| declarator EQUALS initializer
r r\ r Nrj r r r+ rv r r r! p_init_declarator] s zCParser.p_init_declaratorc C s0 t |dkr |d |d g n|d g|d< dS )z id_init_declarator_list : id_init_declarator
| id_init_declarator_list COMMA init_declarator
r r r r Nr rv r r r! p_id_init_declarator_listc s z!CParser.p_id_init_declarator_listc C s, t |d t|dkr |d ndd|d< dS )zn id_init_declarator : id_declarator
| id_declarator EQUALS initializer
r r\ r Nrj r r rv r r r! p_id_init_declaratori s z CParser.p_id_init_declaratorc C s" | j |d |d ddd|d< dS )zY specifier_qualifier_list : specifier_qualifier_list type_specifier_no_typeid
r r\ r> Tr r Nr rv r r r! p_specifier_qualifier_list_1q s z$CParser.p_specifier_qualifier_list_1c C s" | j |d |d ddd|d< dS )zO specifier_qualifier_list : specifier_qualifier_list type_qualifier
r r\ rS Tr r Nr rv r r r! p_specifier_qualifier_list_2v s z$CParser.p_specifier_qualifier_list_2c C s | d|d d|d< dS )z4 specifier_qualifier_list : type_specifier
Nr r> r r rv r r r! p_specifier_qualifier_list_3{ s z$CParser.p_specifier_qualifier_list_3c C s2 t |d g g g d}| j||d ddd|d< dS ) zH specifier_qualifier_list : type_qualifier_list type_specifier
r rR r\ r> Tr r N)r rY r r r r! p_specifier_qualifier_list_4 s z$CParser.p_specifier_qualifier_list_4c C s0 | |d }||d d| |dd|d< dS )z{ struct_or_union_specifier : struct_or_union ID
| struct_or_union TYPEID
r r\ Nr3 re r4 r )rq r r rw klassr r r! p_struct_or_union_specifier_1 s
z%CParser.p_struct_or_union_specifier_1c C sX | |d }t|dkr6|dg | |dd|d< n |d|d | |dd|d< dS )z struct_or_union_specifier : struct_or_union brace_open struct_declaration_list brace_close
| struct_or_union brace_open brace_close
r r Nr\ r r r rq r+ r r r r r! p_struct_or_union_specifier_2 s
z%CParser.p_struct_or_union_specifier_2c C s` | |d }t|dkr:||d g | |dd|d< n"||d |d | |dd|d< dS )a struct_or_union_specifier : struct_or_union ID brace_open struct_declaration_list brace_close
| struct_or_union ID brace_open brace_close
| struct_or_union TYPEID brace_open struct_declaration_list brace_close
| struct_or_union TYPEID brace_open brace_close
r r\ 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 rv r r r! p_struct_or_union s zCParser.p_struct_or_unionc C s: t |dkr |d pg |d< n|d |d p.g |d< dS )z struct_declaration_list : struct_declaration
| struct_declaration_list struct_declaration
r\ r r Nr rv r r r! p_struct_declaration_list s z!CParser.p_struct_declaration_listc C s |d }d|d vsJ |d dur8| j ||d d}nht|d dkr|d d }t|tjrf|}n
t|}| j |t|d gd}n| j |tddd
gd}||d< dS ) zW struct_declaration : specifier_qualifier_list struct_declarator_list_opt SEMI
r rZ rT r\ NrX re r> r rA rj )ri r+ r? r ZNoderM r )r rw rX re ZnodeZ decl_typer r r! p_struct_declaration_1 s*
z CParser.p_struct_declaration_1c C s d|d< dS )z# struct_declaration : SEMI
Nr r rv r r r! p_struct_declaration_2 s z CParser.p_struct_declaration_2c C s |d g|d< dS )z1 struct_declaration : pppragma_directive
r r Nr rv r r r! p_struct_declaration_3 s z CParser.p_struct_declaration_3c 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 rv r r r! p_struct_declarator_list s z CParser.p_struct_declarator_listc C s |d dd|d< dS )z( struct_declarator : declarator
r NrA r[ r r rv 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 Nr\ )r+ r r@ rv 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
r\ Nr r r r r rv 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 rv 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
r\ r r r Nr rv 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
r\ r r r N)r+ r ZEnumeratorListr4 Z enumeratorsr( rv r r r! p_enumerator_list" s zCParser.p_enumerator_listc C sb t |dkr(t|d d| |d}n t|d |d | |d}| |j|j ||d< dS )zR enumerator : ID
| ID EQUALS constant_expression
r\ r Nr r )r+ r Z
Enumeratorr r6 r3 r4 )r rw Z
enumeratorr r r! p_enumerator/ s
zCParser.p_enumeratorc C s |d |d< dS )zQ declarator : id_declarator
| typeid_declarator
r r Nr rv r r r! p_declarator? s zCParser.p_declarator)rH ID)ZtypeidTYPEID)Ztypeid_noparenr c C s |d |d< dS )z1 xxx_declarator : direct_xxx_declarator
r r Nr rv r r r! p_xxx_declarator_1E s zCParser.p_xxx_declarator_1c C s | |d |d |d< dS )z9 xxx_declarator : pointer direct_xxx_declarator
r\ r r NrC rv r r r! p_xxx_declarator_2K s zCParser.p_xxx_declarator_2c C s& t j|d dd| |dd|d< dS )z' direct_xxx_declarator : yyy
r Nr^ r )r r@ r rv r r r! p_direct_xxx_declarator_1Q s
z!CParser.p_direct_xxx_declarator_1c C s |d |d< dS )z@ direct_xxx_declarator : LPAREN xxx_declarator RPAREN
r\ r Nr rv r r r! p_direct_xxx_declarator_2[ s z!CParser.p_direct_xxx_declarator_2c C sf t |dkr|d ng pg }tjdt |dkr6|d n|d ||d jd}| j|d |d|d< dS ) z} direct_xxx_declarator : direct_xxx_declarator LBRACKET type_qualifier_list_opt assignment_expression_opt RBRACKET
r r Nr r r> Zdim dim_qualsr4 rA rB r )r+ r ArrayDeclr4 rC )r rw rL arrr r r! p_direct_xxx_declarator_3a s z!CParser.p_direct_xxx_declarator_3c C s^ dd |d |d fD }dd |D }t jd|d ||d jd }| j|d |d
|d < dS ) z direct_xxx_declarator : direct_xxx_declarator LBRACKET STATIC type_qualifier_list_opt assignment_expression RBRACKET
| direct_xxx_declarator LBRACKET type_qualifier_list STATIC assignment_expression RBRACKET
c S s g | ]}t |tr|n|gqS r r? list)rG itemr r r! rI x s z5CParser.p_direct_xxx_declarator_4..r r c S s" g | ]}|D ]}|d ur |q qS r' r )rG ZsublistrS r r r! rI z s Nr r r r r r r r4 rC )r rw Z listed_qualsr r r r r! p_direct_xxx_declarator_4p s z!CParser.p_direct_xxx_declarator_4c C sZ t jdt |d | |d|d dkr0|d ng |d jd}| j|d |d|d< dS )zi direct_xxx_declarator : direct_xxx_declarator LBRACKET type_qualifier_list_opt TIMES RBRACKET
Nr r r r r r r r r r r4 rC r rw r r r r! p_direct_xxx_declarator_5 s z!CParser.p_direct_xxx_declarator_5c C sz t j|d d|d jd}| jdkr`|jdur`|jjD ]$}t|t jrN q`| |j
|j q:| j |d |d|d< dS )z direct_xxx_declarator : direct_xxx_declarator LPAREN parameter_type_list RPAREN
| direct_xxx_declarator LPAREN identifier_list_opt RPAREN
r Nr argsr> r4 LBRACEr r ) r rN r4 r= r> r paramsr?
EllipsisParamr6 r3 rC )r rw funcZparamr r r! p_direct_xxx_declarator_6 s
z!CParser.p_direct_xxx_declarator_6c C sj | |d}tj|d pg d|d}t|dkr^|d }|jdurJ|j}q8||_|d |d< n||d< dS )zm pointer : TIMES type_qualifier_list_opt
| TIMES type_qualifier_list_opt pointer
r r\ N)rL r> r4 r r )r r ZPtrDeclr+ r> )r rw 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
r\ r r Nr rv r r r! p_type_qualifier_list 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
r\ r r r N)r+ r r( r r r rv r r r! p_parameter_type_list 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
r\ r r r Nr+ r Z ParamListr4 r r( rv r r r! p_parameter_list s zCParser.p_parameter_listc C sT |d }|d s.t jdg| |ddg|d< | j|t|d dgdd |d< d S )
z parameter_declaration : declaration_specifiers id_declarator
| declaration_specifiers typeid_noparen_declarator
r r> rD rE r\ r r r N)r rM r ri r r r r r! p_parameter_declaration_1 s
z!CParser.p_parameter_declaration_1c C s |d }|d s.t jdg| |ddg|d< t|d dkrt|d d jdkr| |d d jd r| j|t|d dd gd
d }nDt jd |d |d pt ddd| |dd
}|d }|
||}||d< dS )zR parameter_declaration : declaration_specifiers abstract_declarator_opt
r r> rD rE r. r r\ Nrj r r
rS r3 rL r> r4 ) r rM r r+ rF r8 ri r Typenamer@ rQ )r rw rX rA rO r r r! p_parameter_declaration_2 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
r\ r r r Nr rv r r r! p_identifier_list s zCParser.p_identifier_listc C s |d |d< dS )z- initializer : assignment_expression
r r Nr rv r r r! p_initializer_1% s zCParser.p_initializer_1c C s6 |d du r&t g | |d|d< n |d |d< dS )z initializer : brace_open initializer_list_opt brace_close
| brace_open initializer_list COMMA brace_close
r\ Nr r )r InitListr rv r r r! p_initializer_2* s zCParser.p_initializer_2c C s t |dkrN|d du r |d nt|d |d }t|g|d j|d< nD|d du rb|d nt|d |d }|d j| |d |d< dS )z initializer_list : designation_opt initializer
| initializer_list COMMA designation_opt initializer
r r Nr\ r r )r+ r ZNamedInitializerr r4 exprsr( )r rw r_ r r r! p_initializer_list3 s ((zCParser.p_initializer_listc C s |d |d< dS )z. designation : designator_list EQUALS
r r Nr rv 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
r\ r r Nr rv r r r! p_designator_listG s zCParser.p_designator_listc C s |d |d< dS )zi designator : LBRACKET constant_expression RBRACKET
| PERIOD identifier
r\ r Nr rv r r r! p_designatorM s zCParser.p_designatorc C sP t jd|d d |d p$t ddd| |dd}| ||d d |d< dS ) zH type_name : specifier_qualifier_list abstract_declarator_opt
r
r rS r\ Nr r> r )r r r@ r rQ )r rw rO r r r! p_type_nameS 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 rw 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
r\ r r Nr rv r r r! p_abstract_declarator_2f s z CParser.p_abstract_declarator_2c C s |d |d< dS )z> abstract_declarator : direct_abstract_declarator
r r Nr rv r r r! p_abstract_declarator_3k s z CParser.p_abstract_declarator_3c C s |d |d< dS )zA direct_abstract_declarator : LPAREN abstract_declarator RPAREN r\ r Nr rv r r r! p_direct_abstract_declarator_1u 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_2y s z&CParser.p_direct_abstract_declarator_2c C s` t |dkr|d ng pg }tjtdddt |dkr@|d n|d || |dd|d< dS )zk direct_abstract_declarator : LBRACKET type_qualifier_list_opt assignment_expression_opt RBRACKET
r r\ Nr r r r )r+ r r r@ r )r rw rL r r r! p_direct_abstract_declarator_3 s
z&CParser.p_direct_abstract_declarator_3c C sF 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 s@ t jt dddt |d | |dg | |dd|d< dS )z? direct_abstract_declarator : LBRACKET TIMES RBRACKET
Nr r r r )r r r@ r r rv 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 rN r4 rC )r rw r r r r! p_direct_abstract_declarator_6 s z&CParser.p_direct_abstract_declarator_6c C s. t j|d t ddd| |dd|d< dS )zM direct_abstract_declarator : LPAREN parameter_type_list_opt RPAREN
r\ Nr r r )r rN r@ r rv 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 rv 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
r\ Nr r r rv r r r! p_block_item_list 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 r\ r r r N)r r r rv r r r! p_compound_statement_1 s
z CParser.p_compound_statement_1c C s& t |d |d | |d|d< dS )z6 labeled_statement : ID COLON pragmacomp_or_statement r r r N)r ZLabelr rv r r r! p_labeled_statement_1 s z CParser.p_labeled_statement_1c C s( t |d |d g| |d|d< dS )zL labeled_statement : CASE constant_expression COLON pragmacomp_or_statement r\ r r r N)r ZCaser rv r r r! p_labeled_statement_2 s z CParser.p_labeled_statement_2c C s" t |d g| |d|d< dS )z; labeled_statement : DEFAULT COLON pragmacomp_or_statement r r r N)r ZDefaultr rv r r r! p_labeled_statement_3 s z CParser.p_labeled_statement_3c C s( t |d |d d| |d|d< dS )zK selection_statement : IF LPAREN expression RPAREN pragmacomp_or_statement r r Nr r r ZIfr rv r r r! p_selection_statement_1 s z CParser.p_selection_statement_1c C s, t |d |d |d | |d|d< dS )zZ selection_statement : IF LPAREN expression RPAREN statement ELSE pragmacomp_or_statement r r r r Nr rv r r r! p_selection_statement_2 s z CParser.p_selection_statement_2c C s* t t|d |d | |d|d< dS )zO selection_statement : SWITCH LPAREN expression RPAREN pragmacomp_or_statement r r r r N)r r ZSwitchr rv r r r! p_selection_statement_3 s z CParser.p_selection_statement_3c C s& t |d |d | |d|d< dS )zN iteration_statement : WHILE LPAREN expression RPAREN pragmacomp_or_statement r r r r N)r ZWhiler rv r r r! p_iteration_statement_1 s z CParser.p_iteration_statement_1c C s& t |d |d | |d|d< dS )zV iteration_statement : DO pragmacomp_or_statement WHILE LPAREN expression RPAREN SEMI r r\ r r N)r ZDoWhiler rv r r r! p_iteration_statement_2 s z CParser.p_iteration_statement_2c
C s2 t |d |d |d |d | |d|d< dS )zx iteration_statement : FOR LPAREN expression_opt SEMI expression_opt SEMI expression_opt RPAREN pragmacomp_or_statement r r r r r N)r Forr rv r r r! p_iteration_statement_3 s z CParser.p_iteration_statement_3c
C sB t t |d | |d|d |d |d | |d|d< dS )zp iteration_statement : FOR LPAREN declaration expression_opt SEMI expression_opt RPAREN pragmacomp_or_statement r r r r N)r r ZDeclListr rv r r r! p_iteration_statement_4 s z CParser.p_iteration_statement_4c C s t |d | |d|d< dS )z jump_statement : GOTO ID SEMI r\ r r N)r ZGotor rv r r r! p_jump_statement_1 s zCParser.p_jump_statement_1c C s t | |d|d< dS )z jump_statement : BREAK SEMI r r N)r ZBreakr rv r r r! p_jump_statement_2 s zCParser.p_jump_statement_2c C s t | |d|d< dS )z! jump_statement : CONTINUE SEMI r r N)r ZContinuer rv r r r! p_jump_statement_3 s zCParser.p_jump_statement_3c C s0 t t|dkr|d nd| |d|d< dS )z\ jump_statement : RETURN expression SEMI
| RETURN SEMI
r r\ Nr r )r ZReturnr+ r rv r r r! p_jump_statement_4 s zCParser.p_jump_statement_4c C s4 |d du r$t | |d|d< n |d |d< dS )z, expression_statement : expression_opt SEMI r Nr\ r )r ZEmptyStatementr rv 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
r\ r r r N)r+ r? r ExprListr4 r r( rv r r r! p_expression s zCParser.p_expressionc C s$ t j|d g| |dd|d< dS )z typedef_name : TYPEID r rE r Nr rv 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
r\ r r r N)r+ r Z
Assignmentr4 rv 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 rv 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 rv 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
r\ r r r r N)r+ r Z TernaryOpr4 rv r r r! p_conditional_expressionA 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
r\ r r r N)r+ r ZBinaryOpr4 rv r r r! p_binary_expressionJ s zCParser.p_binary_expressionc C s |d |d< dS )z$ cast_expression : unary_expression r r Nr rv r r r! p_cast_expression_1d s zCParser.p_cast_expression_1c C s& t |d |d | |d|d< dS )z; cast_expression : LPAREN type_name RPAREN cast_expression r\ r r r N)r ZCastr rv r r r! p_cast_expression_2h s zCParser.p_cast_expression_2c C s |d |d< dS )z* unary_expression : postfix_expression r r Nr rv r r r! p_unary_expression_1l 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 r\ r Nr UnaryOpr4 rv r r r! p_unary_expression_2p 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 r\ r N)r r% r+ r rv r r r! p_unary_expression_3w s
z CParser.p_unary_expression_3c C s |d |d< dS )z unary_operator : AND
| TIMES
| PLUS
| MINUS
| NOT
| LNOT
r r Nr rv r r r! p_unary_operator s zCParser.p_unary_operatorc C s |d |d< dS )z* postfix_expression : primary_expression r r Nr rv 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 ArrayRefr4 rv 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 rv r r r! p_postfix_expression_3 s z CParser.p_postfix_expression_3c C s> 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 r\ r N)r r r StructRefr4 )r rw 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
rw r\ r r Nr$ rv 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
r\ r r N)r ZCompoundLiteralrv 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 rv 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 rv 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 rv 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 r\ r Nr rv r r r! p_primary_expression_4 s z CParser.p_primary_expression_4c C sB | |d}tt|d |t|d |d g|||d< dS )za primary_expression : OFFSETOF LPAREN type_name COMMA offsetof_member_designator RPAREN
r r r r N)r r r, r r )r rw r4 r r r! p_primary_expression_5 s
z CParser.p_primary_expression_5c C s t |dkr|d |d< nrt |dkrNt|d |d |d |d j|d< n>t |dkr|t|d |d |d j|d< ntdt | dS ) z offsetof_member_designator : identifier
| offsetof_member_designator PERIOD identifier
| offsetof_member_designator LBRACKET expression RBRACKET
r\ r r r r r z$Unexpected parsing state. len(p): %uN)r+ r r. r4 r* NotImplementedErrorrv r r r! p_offsetof_member_designator s ( "z$CParser.p_offsetof_member_designatorc 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
r\ r r r N)r+ r r r4 r r( rv 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 r rv r r r! p_identifier s zCParser.p_identifierc C s d}d}|d dd D ]&}|dv r.|d7 }q|dv r|d7 }qd}|dkrVt dn|d krft d
d | d | }t|d
|d | |d|d< dS )z constant : INT_CONST_DEC
| INT_CONST_OCT
| INT_CONST_HEX
| INT_CONST_BIN
| INT_CONST_CHAR
r r NlL)uUr
z.Constant cannot have more than one u/U suffix.r\ z.Constant cannot have more than two l/L suffix.z unsigned zlong rD )
ValueErrorr Constantr )r rw ZuCountZlCountxrg prefixr r r! p_constant_1 s
zCParser.p_constant_1c C sh d|d v rd}n0|d d dv r,d}n|d d dv rBd}nd}t||d | |d|d < d
S ) zM constant : FLOAT_CONST
| HEX_FLOAT_CONST
rC r floatr. )fFr< z long doubleZdoubler N)lowerr rB r )r rw rg r r r! p_constant_2 s zCParser.p_constant_2c C s" t d|d | |d|d< dS )zH constant : CHAR_CONST
| WCHAR_CONST
charr r N)r rB r rv r r r! p_constant_3 s zCParser.p_constant_3c C sd t |dkr,td|d | |d|d< n4|d jdd |d dd |d _|d |d< dS )z~ unified_string_literal : STRING_LITERAL
| unified_string_literal STRING_LITERAL
r\ stringr r Nr. )r+ r rB r valuerv r r r! p_unified_string_literal s
(z CParser.p_unified_string_literalc C sh t |dkr,td|d | |d|d< n8|d j dd |d dd |d _|d |d< dS )z unified_wstring_literal : WSTRING_LITERAL
| unified_wstring_literal WSTRING_LITERAL
r\ rM r r Nr. )r+ r rB r rN rstriprv r r r! p_unified_wstring_literal" s
,z!CParser.p_unified_wstring_literalc C s" |d |d< | d|d dS )z brace_open : LBRACE
r r NZ
set_linenolinenorv r r r! p_brace_open- s zCParser.p_brace_openc C s" |d |d< | d|d dS )z brace_close : RBRACE
r r NrR rv r r r!
p_brace_close3 s zCParser.p_brace_closec C s d|d< dS )zempty : Nr r rv r r r! p_empty9 s zCParser.p_emptyc C s@ |r,| d|j | j|j| j|d n| d| jj d S )Nz
before: %s)rS r< zAt end of input)r1 rN r9 rS r Zfind_tok_columnr$ rv r r r! p_error= s
zCParser.p_errorN)r
r )F)F)__name__
__module__ __qualname__r r" r% r* r- r5 r6 r8 r r r r r= rC rQ rY ri rn rq 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/ r0 r1 r2 r3 r4 r5 r6 r8 r9 r: rE rJ rL rO rQ rT rU rV rW r r r r! r s^
o
)7- Y 5< &
r )reZplyr r
r Zc_lexerr Z plyparserr r r r r
Zast_transformsr r r r r r! s