Your IP : 216.73.216.196
I�]� � @ s� d d l Z d d l m Z d d l m Z d d l m Z d d l m Z m Z m
Z
d d l m Z Gd d � d e � Z
e d
k r� d d l Z d d l Z d d l Z d S) � N)�yacc� )�c_ast)�CLexer)� PLYParser�Coord�
ParseError)�fix_switch_casesc
@ s! e Z d Z d d d d d d d d � Z d d d d
� Z d d � Z d
d � Z d d � Z d d � Z d d � Z d d � Z
d d � Z d d � Z d d � Z
d d � Z d d � Z d! d" � Z d# d$ � Z d d% d& � Z d' d( � Z d) d* � Z dMZ d> d? � Z d@ dA � Z dB dC � Z dD dE � Z dF dG � Z dH dI � Z dJ dK � Z dL dM � Z dN dO � Z dP dQ � Z dR dS � Z dT dU � Z! dV dW � Z" dX dY � Z# dZ d[ � Z$ d\ d] � Z% d^ d_ � Z& d` da � Z' db dc � Z( dd de � Z) df dg � Z* dh di � Z+ dj dk � Z, dl dm � Z- dn do � Z. dp dq � Z/ dr ds � Z0 dt du � Z1 dv dw � Z2 dx dy � Z3 dz d{ � Z4 d| d} � Z5 d~ d � Z6 d� d� � Z7 d� d� � Z8 d� d� � Z9 d� d� � Z: d� d� � Z; d� d� � Z< d� d� � Z= d� d� � Z> d� d� � Z? d� d� � Z@ d� d� � ZA d� d� � ZB d� d� � ZC d� d� � ZD d� d� � ZE d� d� � ZF d� d� � ZG d� d� � ZH d� d� � ZI d� d� � ZJ d� d� � ZK d� d� � ZL d� d� � ZM d� d� � ZN d� d� � ZO d� d� � ZP d� d� � ZQ d� d� � ZR d� d� � ZS d� d� � ZT d� d� � ZU d� d� � ZV d� d� � ZW d� d� � ZX d� d� � ZY d� d� � ZZ d� d� � Z[ d� d� � Z\ d� d� � Z] d� d� � Z^ d� d� � Z_ d� d� � Z` d� d� � Za d� d� � Zb d� d� � Zc d� d� � Zd d� d� � Ze d� d� � Zf d� d� � Zg d� d� � Zh d� d� � Zi d� d� � Zj d� d� � Zk d� d� � Zl d� d� � Zm d� d� � Zn d� d� � Zo d� d� � Zp d� d� � Zq d� d� � Zr d� d� � Zs d� d� � Zt d� d� � Zu d� d� � Zv d d� Zw dd� Zx dd� Zy dd� Zz dd � Z{ d
d � Z| d d
� Z} dd� Z~ dd� Z dd� Z� dd� Z� dd� Z� dd� Z� dd� Z� d d � Z� d d � Z� d d!� Z� d"d#� Z� d$d%� Z� d&d'� Z� d(d)� Z� d*d+� Z� d,d-� Z� d.d/� Z� d0d1� Z� d2d3� Z� d4d5� Z� d6d7� Z� d8d9� Z� d:d;� Z� d<d=� Z� d>d?� Z� d@dA� Z� dBS(N �CParserTzpycparser.lextabzpycparser.yacctabF� c C s� t d | j d | j d | j d | j � | _ | j j d | d | d | � | j j | _ d d d
d d d
d d d d d d d d g } x | D] } | j | � q� Wt j d | d d d | d | d | d | � | _
t � g | _ d | _
d S) a� Create a new CParser.
Some arguments for controlling the debug/optimization
level of the parser are provided. The defaults are
tuned for release/performance mode.
The simple rules for using them are:
*) When tweaking CParser/CLexer, set these to False
*) When releasing a stable parser, set to True
lex_optimize:
Set to False when you're modifying the lexer.
Otherwise, changes in the lexer won't be used, if
some lextab.py file exists.
When releasing with a stable lexer, set to True
to save the re-generation of the lexer table on
each run.
lextab:
Points to the lex table that's used for optimized
mode. Only if you're modifying the lexer and want
some tests to avoid re-generating the table, make
this point to a local lex table file (that's been
earlier generated with lex_optimize=True)
yacc_optimize:
Set to False when you're modifying the parser.
Otherwise, changes in the parser won't be used, if
some parsetab.py file exists.
When releasing with a stable parser, set to True
to save the re-generation of the parser table on
each run.
yacctab:
Points to the yacc table that's used for optimized
mode. Only if you're modifying the parser, make
this point to a local yacc table file
yacc_debug:
Generate a parser.out file that explains how yacc
built the parsing table from the grammar.
taboutputdir:
Set this parameter to control the location of generated
lextab and yacctab files.
Z
error_funcZon_lbrace_funcZon_rbrace_funcZtype_lookup_func�optimize�lextabZ outputdirZabstract_declaratorZassignment_expressionZdeclaration_listZdeclaration_specifiersZ designationZ
expressionZidentifier_listZinit_declarator_listZinitializer_listZparameter_type_listZspecifier_qualifier_listZblock_item_listZtype_qualifier_listZstruct_declarator_list�module�startZtranslation_unit_or_empty�debugZ tabmoduleN)r �_lex_error_func�_lex_on_lbrace_func�_lex_on_rbrace_func�_lex_type_lookup_func�clexZbuild�tokensZ_create_opt_ruler �cparser�dict� _scope_stack�_last_yielded_token) �selfZ lex_optimizer
Z
yacc_optimizeZyacctabZ
yacc_debugZ taboutputdirZrules_with_optZrule� r �C/opt/alt/python35/lib/python3.5/site-packages/pycparser/c_parser.py�__init__ sF 5
zCParser.__init__r c C sS | | j _ | j j � t � g | _ d | _ | j j d | d | j d | � S)a& Parses C code and returns an AST.
text:
A string containing the C source code
filename:
Name of the file being parsed (for meaningful
error messages)
debuglevel:
Debug level to yacc
N�inputZlexerr )r �filenameZ reset_linenor r r r �parse)r �textr Z
debuglevelr r r r! ~ s
z
CParser.parsec C s | j j t � � 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 sB | j d j | d � s- | j d | | � d | j d | <d S)zC Add a new typedef name (ie a TYPEID) to the current scope
r Tz;Typedef %r previously declared as non-typedef in this scopeN���r' )r �get� _parse_error)r �name�coordr r r �_add_typedef_name� s
zCParser._add_typedef_namec C sB | j d j | d � r- | j d | | � d | j d | <d S)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= x6 t | j � D]% } | j | � } | d k r | Sq Wd S)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 �msg�line�columnr 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.
)r/ )r r* Zis_typer r r r � s z CParser._lex_type_lookup_funcc C s
| j j S)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 s� | } | } x | j r$ | j } q Wt | t j � rD | | _ | S| } x" t | j t j � sn | j } qM W| j | _ | | _ | Sd S)z� Tacks a type modifier on a declarator, and returns
the modified declarator.
Note: the declarator and modifier may be modified
N)�type�
isinstancer �TypeDecl)r �decl�modifierZ
modifier_headZ
modifier_tailZ decl_tailr r r �_type_modify_decl� s
zCParser._type_modify_declc C s | } x t | t j � s' | j } q W| j | _ | j | _ xU | D]M } t | t j � sG t | � d k r� | j d | j
� qG | | _ | SqG W| s� t | j t j � s� | j d | j
� t j d g d | j
�| _ n, t j d d � | D� d | d j
�| _ | S) z- Fixes a declaration. Modifies decl.
r z Invalid multiple types specifiedzMissing type in declaration�intr+ c S s& g | ] } | j D] } | � q q Sr )�names)�.0�idr* r r r �
<listcomp>U s z/CParser._fix_decl_name_type.<locals>.<listcomp>r ) r6 r r7 r5 �declnamer* �quals�IdentifierType�lenr) r+ �FuncDecl)r r8 �typenamer5 Ztnr r r �_fix_decl_name_type, s.
zCParser._fix_decl_name_typec C s? | p$ t d g d g d g d g � } | | j d | � | S)a� Declaration specifiers are represented by a dictionary
with the entries:
* qual: a list of type qualifiers
* storage: a list of storage type qualifiers
* type: a list of type specifiers
* function: a list of function specifiers
This method is given a declaration specifier, and a
new specifier of a given kind.
Returns the declaration specifier, with the new
specifier incorporated.
�qual�storager5 �functionr )r �insert)r ZdeclspecZnewspecZkind�specr r r �_add_declaration_specifierY s
'z"CParser._add_declaration_specifierc C s d | d k } g } | d j d � d k r2 n�| d d d k r0t | d � d k s� t | d d j � d k s� | j | d d j d � r� d
} x+ | d D] } t | d � r� | j } Pq� W| j d | � t j d
| d d j d d d d d d | d d j � | d d <| d d =n� t | d d t j
t j t j f � s�| d d } x t | t j � s�| j
} qjW| j d k r�| d d j d | _ | d d =xD| D]<} | rt j d d d | d d | d d | d d | d j � }
ne t j d d d | d d | d d | d d | d d | j d � d | j d � d | d j � }
t |
j
t j
t j t j f � r�|
} n | j |
| d � } | r�| r�| j | j | j � n | j | j | j � | j | � q�W| 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.
ZtypedefrH r �bitsizeNr8 r5 � r �?r+ zInvalid declarationr@ rA r* rG �funcspecrI �initr' r' r' r' r' r' r' )r( rC r< r/ �hasattrr+ r) r r7 r6 �Struct�UnionrB r5 r@ ZTypedef�DeclrF r, r* r- r# ) r rK �decls�typedef_namespaceZ
is_typedefZ declarationsr+ �tZ decls_0_tailr8 � declarationZ
fixed_declr r r �_build_declarationsj sl 3
zCParser._build_declarationsc C sY | j d | d t d | d d � g d d � d } t j d | d | d
| d | j � S) z' Builds a function definition.
rK rV r8 rQ NrW Tr � param_decls�bodyr+ )rZ r r ZFuncDefr+ )r rK r8 r[ r\ rY r r r �_build_function_definition� s
z"CParser._build_function_definitionc C s | d k r t j St j Sd S)z` Given a token (either STRUCT or UNION), selects the
appropriate AST class.
ZstructN)r rS rT )r �tokenr r r �_select_struct_union_class� s z"CParser._select_struct_union_class�left�LOR�LAND�OR�XOR�AND�EQ�NE�GT�GE�LT�LE�RSHIFT�LSHIFT�PLUS�MINUS�TIMES�DIVIDE�MODc C sA | d d k r& t j g � | d <n t j | d � | d <d S)zh translation_unit_or_empty : translation_unit
| empty
r Nr )r ZFileAST)r �pr r r �p_translation_unit_or_empty� s z#CParser.p_translation_unit_or_emptyc C s | d | d <d S)z4 translation_unit : external_declaration
r r Nr )r rs r r r �p_translation_unit_1� s z CParser.p_translation_unit_1c C s7 | d d k r% | d j | d � | d | d <d S)zE translation_unit : translation_unit external_declaration
rN Nr r )�extend)r rs r r r �p_translation_unit_2 s z CParser.p_translation_unit_2c C s | d g | d <d S)z7 external_declaration : function_definition
r r Nr )r rs r r r �p_external_declaration_1 s z CParser.p_external_declaration_1c C s | d | d <d S)z/ external_declaration : declaration
r r Nr )r rs r r r �p_external_declaration_2 s z CParser.p_external_declaration_2c C s | d | d <d S)z0 external_declaration : pp_directive
r r Nr )r rs r r r �p_external_declaration_3 s z CParser.p_external_declaration_3c C s d | d <d S)z( external_declaration : SEMI
Nr r )r rs r r r �p_external_declaration_4 s z CParser.p_external_declaration_4c C s& | j d | j | j d � � � d S)z pp_directive : PPHASH
z Directives not supported yetr N)r) r0 �lineno)r rs r r r �p_pp_directive$ s zCParser.p_pp_directivec C s� t d g d g d t j d g d | j | j d � � �g d g � } | j d | d | d d
| d d | d
� | d <d S)zR function_definition : declarator declaration_list_opt compound_statement
rG rH r5 r; r+ r rI rK r8 r[ rN r\ � r N)r r rB r0 r| r] )r rs rK r r r �p_function_definition_1- s
z CParser.p_function_definition_1c
C sB | d } | j d | d | d d | d d | d � | d <d
S) zi function_definition : declaration_specifiers declarator declaration_list_opt compound_statement
r rK r8 rN r[ r~ r\ � r N)r] )r rs rK r r r �p_function_definition_2> s
z CParser.p_function_definition_2c C s | d | d <d S)a
statement : labeled_statement
| expression_statement
| compound_statement
| selection_statement
| iteration_statement
| jump_statement
r r Nr )r rs r r r � p_statementI s zCParser.p_statementc C s | d } | d d k r� | d } t j t j t j f } t | � d k r� t | d | � r� t j d d d | d d | d d
| d d | d d d d
d d | d j � g } q| j d | d t d d d d � g d d � } n" | j d | d | d d d � } | | d <d S)zE decl_body : declaration_specifiers init_declarator_list_opt
r rN Nr5 r r* rA rG rH rP rI rQ rM r+ rK rV r8 rW T)
r rS rT �EnumrC r6 rU r+ rZ r )r rs rK ZtyZs_u_or_erV r r r � p_decl_body\ s.
%
zCParser.p_decl_bodyc C s | d | d <d S)z& declaration : decl_body SEMI
r r Nr )r rs r r r �
p_declaration� s zCParser.p_declarationc C s6 t | � d k r | d n | d | d | d <d S)zj declaration_list : declaration
| declaration_list declaration
rN r r N)rC )r rs r r r �p_declaration_list� s zCParser.p_declaration_listc C s% | j | d | d d � | d <d S)zM declaration_specifiers : type_qualifier declaration_specifiers_opt
rN r rG r N)rL )r rs r r r �p_declaration_specifiers_1� s z"CParser.p_declaration_specifiers_1c C s% | j | d | d d � | d <d S)zM declaration_specifiers : type_specifier declaration_specifiers_opt
rN r r5 r N)rL )r rs r r r �p_declaration_specifiers_2� s z"CParser.p_declaration_specifiers_2c C s% | j | d | d d � | d <d S)zV declaration_specifiers : storage_class_specifier declaration_specifiers_opt
rN r rH r N)rL )r rs r r r �p_declaration_specifiers_3� s z"CParser.p_declaration_specifiers_3c C s% | j | d | d d � | d <d S)zQ declaration_specifiers : function_specifier declaration_specifiers_opt
rN r rI r N)rL )r rs r r r �p_declaration_specifiers_4� s z"CParser.p_declaration_specifiers_4c C s | d | d <d S)z� storage_class_specifier : AUTO
| REGISTER
| STATIC
| EXTERN
| TYPEDEF
r r Nr )r rs r r r �p_storage_class_specifier� s z!CParser.p_storage_class_specifierc C s | d | d <d S)z& function_specifier : INLINE
r r Nr )r rs r r r �p_function_specifier� s z CParser.p_function_specifierc C s6 t j | d g d | j | j d � � �| d <d S)a� type_specifier : VOID
| _BOOL
| CHAR
| SHORT
| INT
| LONG
| FLOAT
| DOUBLE
| _COMPLEX
| SIGNED
| UNSIGNED
r r+ r N)r rB r0 r| )r rs r r r �p_type_specifier_1� s
zCParser.p_type_specifier_1c C s | d | d <d S)z� type_specifier : typedef_name
| enum_specifier
| struct_or_union_specifier
r r Nr )r rs r r r �p_type_specifier_2� s zCParser.p_type_specifier_2c C s | d | d <d S)zo type_qualifier : CONST
| RESTRICT
| VOLATILE
r r Nr )r rs r r r �p_type_qualifier� s zCParser.p_type_qualifierc C s< t | � d k r' | d | d g n
| d g | d <d S)z� init_declarator_list : init_declarator
| init_declarator_list COMMA init_declarator
r� r r~ r N)rC )r rs r r r �p_init_declarator_list_1� s z CParser.p_init_declarator_list_1c C s$ t d d d | d � g | d <d S)z6 init_declarator_list : EQUALS initializer
r8 NrQ rN r )r )r rs r r r �p_init_declarator_list_2� s z CParser.p_init_declarator_list_2c C s$ t d | d d d � g | d <d S)z7 init_declarator_list : abstract_declarator
r8 r rQ Nr )r )r rs r r r �p_init_declarator_list_3� s z CParser.p_init_declarator_list_3c C s= t d | d d t | � d k r, | d n d � | d <d S)zb init_declarator : declarator
| declarator EQUALS initializer
r8 r rQ rN r~ Nr )r rC )r rs r r r �p_init_declarator s zCParser.p_init_declaratorc C s% | j | d | d d � | d <d S)zS specifier_qualifier_list : type_qualifier specifier_qualifier_list_opt
rN r rG r N)rL )r rs r r r � p_specifier_qualifier_list_1 s z$CParser.p_specifier_qualifier_list_1c C s% | j | d | d d � | d <d S)zS specifier_qualifier_list : type_specifier specifier_qualifier_list_opt
rN r r5 r N)rL )r rs r r r � p_specifier_qualifier_list_2 s z$CParser.p_specifier_qualifier_list_2c C sL | j | d � } | d | d d d d | j | j d � � � | d <d S)z{ struct_or_union_specifier : struct_or_union ID
| struct_or_union TYPEID
r r* rN rV Nr+ r )r_ r0 r| )r rs �klassr r r � p_struct_or_union_specifier_1 s
z%CParser.p_struct_or_union_specifier_1c C sL | j | d � } | d d d | d d | j | j d � � � | d <d S) zd struct_or_union_specifier : struct_or_union brace_open struct_declaration_list brace_close
r r* NrV r~ r+ rN r )r_ r0 r| )r rs r� r r r � p_struct_or_union_specifier_2 s
z%CParser.p_struct_or_union_specifier_2c C sP | j | d � } | d | d d | d d | j | j d � � � | d <d S) 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 r* rN rV r� r+ r N)r_ r0 r| )r rs r� r r r � p_struct_or_union_specifier_3& s
z%CParser.p_struct_or_union_specifier_3c C s | d | d <d S)zF struct_or_union : STRUCT
| UNION
r r Nr )r rs r r r �p_struct_or_union0 s zCParser.p_struct_or_unionc C s6 t | � d k r | d n | d | d | d <d S)z� struct_declaration_list : struct_declaration
| struct_declaration_list struct_declaration
rN r r N)rC )r rs r r r �p_struct_declaration_list8 s z!CParser.p_struct_declaration_listc C s� | d } | d d k r9 | j d | d | d � } n� t | d � d k r� | d d } t | t j � rx | } n t j | � } | j d | d t d | � g � } n* | j d | d t d d d d � g � } | | d <d S)
zW struct_declaration : specifier_qualifier_list struct_declarator_list_opt SEMI
r rN NrK rV r5 r r8 rQ )rZ rC r6 r ZNoderB r )r rs rK rV ZnodeZ decl_typer r r �p_struct_declaration_1> s"
z CParser.p_struct_declaration_1c C s: | j d | d d t d | d d d � g � | d <d S) zP struct_declaration : specifier_qualifier_list abstract_declarator SEMI
rK r rV r8 rN rQ Nr )rZ r )r rs r r r �p_struct_declaration_2d s
z CParser.p_struct_declaration_2c C s< t | � d k r' | d | d g n
| d g | d <d S)z� struct_declarator_list : struct_declarator
| struct_declarator_list COMMA struct_declarator
r� r r~ r N)rC )r rs r r r �p_struct_declarator_listr s z CParser.p_struct_declarator_listc C s d | d d d i | d <d S)z( struct_declarator : declarator
r8 r rM Nr r )r rs r r r �p_struct_declarator_1{ s z CParser.p_struct_declarator_1c C s` t | � d k r3 d | d d | d i | d <n) d t j d d d � d | d i | d <d S)z� struct_declarator : declarator COLON constant_expression
| COLON constant_expression
r~ r8 r rM r NrN )rC r r7 )r rs r r r �p_struct_declarator_2� s !z CParser.p_struct_declarator_2c C s3 t j | d d | j | j d � � � | d <d S)zM enum_specifier : ENUM ID
| ENUM TYPEID
rN Nr r )r r� r0 r| )r rs r r r �p_enum_specifier_1� s zCParser.p_enum_specifier_1c C s3 t j d | d | j | j d � � � | d <d S)zG enum_specifier : ENUM brace_open enumerator_list brace_close
Nr~ r r )r r� r0 r| )r rs r r r �p_enum_specifier_2� s zCParser.p_enum_specifier_2c C s7 t j | d | d | j | j d � � � | d <d S)z� enum_specifier : ENUM ID brace_open enumerator_list brace_close
| ENUM TYPEID brace_open enumerator_list brace_close
rN r� r r N)r r� r0 r| )r rs r r r �p_enum_specifier_3� s zCParser.p_enum_specifier_3c C s� t | � d k r9 t j | d g | d j � | d <nI t | � d k r\ | d | d <n& | d j j | d � | d | d <d S)z� enumerator_list : enumerator
| enumerator_list COMMA
| enumerator_list COMMA enumerator
rN r r r~ N)rC r ZEnumeratorListr+ Z enumeratorsr# )r rs r r r �p_enumerator_list� s 'zCParser.p_enumerator_listc C s� t | � d k r@ t j | d d | j | j d � � � } n/ t j | d | d | j | j d � � � } | j | j | j � | | d <d S)zR enumerator : ID
| ID EQUALS constant_expression
rN r Nr~ r )rC r Z
Enumeratorr0 r| r- r* r+ )r rs Z
enumeratorr r r � p_enumerator� s
zCParser.p_enumeratorc C s | d | d <d S)z) declarator : direct_declarator
r r Nr )r rs r r r �p_declarator_1� s zCParser.p_declarator_1c C s" | j | d | d � | d <d S)z1 declarator : pointer direct_declarator
rN r r N)r: )r rs r r r �p_declarator_2� s zCParser.p_declarator_2c C sX t j d | d d d d d d | j | j d � � � } | j | | d � | d <d S) z& declarator : pointer TYPEID
r@ rN r5 NrA r+ r r )r r7 r0 r| r: )r rs r8 r r r �p_declarator_3� s
zCParser.p_declarator_3c C sB t j d | d d d d d d | j | j d � � � | d <d S)z" direct_declarator : ID
r@ r r5 NrA r+ r )r r7 r0 r| )r rs r r r �p_direct_declarator_1� s
z CParser.p_direct_declarator_1c C s | d | d <d S)z8 direct_declarator : LPAREN declarator RPAREN
rN r Nr )r rs r r r �p_direct_declarator_2� s z CParser.p_direct_declarator_2c
C s� t | � d k r | d n g p% g } t j d d d t | � d k rS | d n | d d | d | d j � } | j d
| d d | � | d <d S)
zu direct_declarator : direct_declarator LBRACKET type_qualifier_list_opt assignment_expression_opt RBRACKET
� r~ r5 N�dimr� � dim_qualsr+ r r8 r9 r )rC r � ArrayDeclr+ r: )r rs rA �arrr r r �p_direct_declarator_3� s ( &z CParser.p_direct_declarator_3c
C s� d d � | d | d g D� } d d � | D� } t j d d d | d d
| d | d j � } | j d
| d d | � | d <d S)z� direct_declarator : direct_declarator LBRACKET STATIC type_qualifier_list_opt assignment_expression RBRACKET
| direct_declarator LBRACKET type_qualifier_list STATIC assignment_expression RBRACKET
c S s. g | ]$ } t | t � r! | n | g � q Sr )r6 �list)r= �itemr r r r? � s z1CParser.p_direct_declarator_4.<locals>.<listcomp>r~ r� c S s/ g | ]% } | D] } | d k r | � q q S)Nr )r= ZsublistrG r r r r? � s
r5 Nr� r� r� r+ r r8 r9 r )r r� r+ r: )r rs Z listed_qualsr� r� r r r �p_direct_declarator_4� s
z CParser.p_direct_declarator_4c
C s� t j d d d t j | d | j | j d � � � d | d d k rQ | d n g d | d j � } | j d | d d
| � | d <d S) za direct_declarator : direct_declarator LBRACKET type_qualifier_list_opt TIMES RBRACKET
r5 Nr� r� r� r~ r+ r r8 r9 r )r r� �IDr0 r| r+ r: )r rs r� r r r �p_direct_declarator_5 s ( z CParser.p_direct_declarator_5c C s� t j d | d d d d | d j � } | j � j d k r� | j d k r� x= | j j D]/ } t | t j � rs P| j | j
| j � qZ W| j d | d d | � | d
<d S) z� direct_declarator : direct_declarator LPAREN parameter_type_list RPAREN
| direct_declarator LPAREN identifier_list_opt RPAREN
�argsr~ r5 Nr+ r �LBRACEr8 r9 r ) r rD r+ r4 r5 r� �paramsr6 �
EllipsisParamr- r* r: )r rs �funcZparamr r r �p_direct_declarator_6 s
z CParser.p_direct_declarator_6c C s� | j | j d � � } t j d | d p. g d d d | � } t | � d k r� | d } x | j d k rz | j } q_ W| | _ | d | d <n
| | d <d S) zm pointer : TIMES type_qualifier_list_opt
| TIMES type_qualifier_list_opt pointer
r rA rN r5 Nr+ r~ r )r0 r| r ZPtrDeclrC r5 )r rs r+ Z nested_typeZ tail_typer r r � p_pointer( s (
zCParser.p_pointerc C s< t | � d k r | d g n | d | d g | d <d S)zs type_qualifier_list : type_qualifier
| type_qualifier_list type_qualifier
rN r r N)rC )r rs r r r �p_type_qualifier_listF s z CParser.p_type_qualifier_listc C sS t | � d k rA | d j j t j | j | j d � � � � | d | d <d S)zn parameter_type_list : parameter_list
| parameter_list COMMA ELLIPSIS
rN r r~ r N)rC r� r# r r� r0 r| )r rs r r r �p_parameter_type_listL s /z CParser.p_parameter_type_listc C sc t | � d k r9 t j | d g | d j � | d <n& | d j j | d � | d | d <d S)zz parameter_list : parameter_declaration
| parameter_list COMMA parameter_declaration
rN r r r~ N)rC r � ParamListr+ r� r# )r rs r r r �p_parameter_listU s 'zCParser.p_parameter_listc C sy | d } | d sE t j d g d | j | j d � � �g | d <| j d | d t d | d � g � d | d <d
S) zE parameter_declaration : declaration_specifiers declarator
r r5 r; r+ rK rV r8 rN r N)r rB r0 r| rZ r )r rs rK r r r �p_parameter_declaration_1_ s
" z!CParser.p_parameter_declaration_1c C sH | d } | d sE t j d g d | j | j d � � �g | d <t | d � d k r� t | d d j � d k r� | j | d d j d � r� | j d | d t d | d d
d � g � d } no t j d d
d | d d | d p t j
d d d � d | j | j d � � � } | d } | j | | � } | | d <d S)zR parameter_declaration : declaration_specifiers abstract_declarator_opt
r r5 r; r+ r rK rV r8 rN rQ Nr* r rA rG r' r' ) r rB r0 r| rC r< r/ rZ r �Typenamer7 rF )r rs rK r8 rE r r r �p_parameter_declaration_2j s"
"3 &
z!CParser.p_parameter_declaration_2c C sc t | � d k r9 t j | d g | d j � | d <n& | d j j | d � | d | d <d S)ze identifier_list : identifier
| identifier_list COMMA identifier
rN r r r~ N)rC r r� r+ r� r# )r rs r r r �p_identifier_list� s 'zCParser.p_identifier_listc C s | d | d <d S)z- initializer : assignment_expression
r r Nr )r rs r r r �p_initializer_1� s zCParser.p_initializer_1c C sM | d d k r; t j g | j | j d � � � | d <n | d | d <d S)z� initializer : brace_open initializer_list_opt brace_close
| brace_open initializer_list COMMA brace_close
rN Nr r )r �InitListr0 r| )r rs r r r �p_initializer_2� s +zCParser.p_initializer_2c C s� t | � d k ri | d d k r, | d n t j | d | d � } t j | g | d j � | d <nV | d d k r� | d n t j | d | d � } | d j j | � | d | d <d S)z� initializer_list : designation_opt initializer
| initializer_list COMMA designation_opt initializer
r~ r NrN r r� )rC r ZNamedInitializerr� r+ �exprsr# )r rs rQ r r r �p_initializer_list� s 4#4zCParser.p_initializer_listc C s | d | d <d S)z. designation : designator_list EQUALS
r r Nr )r rs r r r �
p_designation� s zCParser.p_designationc C s< t | � d k r | d g n | d | d g | d <d S)z_ designator_list : designator
| designator_list designator
rN r r N)rC )r rs r r r �p_designator_list� s zCParser.p_designator_listc C s | d | d <d S)zi designator : LBRACKET constant_expression RBRACKET
| PERIOD identifier
rN r Nr )r rs r r r � p_designator� s zCParser.p_designatorc C sy t j d d d | d d d | d p9 t j d d d � d | j | j d � � � } | j | | d d � | d
<d S) zH type_name : specifier_qualifier_list abstract_declarator_opt
r* r rA r rG r5 rN Nr+ r )r r� r7 r0 r| rF )r rs rE r r r � p_type_name� s zCParser.p_type_namec C s9 t j d d d � } | j d | d | d � | d <d S)z+ abstract_declarator : pointer
Nr8 r9 r r )r r7 r: )r rs Z dummytyper r r �p_abstract_declarator_1� s z CParser.p_abstract_declarator_1c C s" | j | d | d � | d <d S)zF abstract_declarator : pointer direct_abstract_declarator
rN r r N)r: )r rs r r r �p_abstract_declarator_2� s z CParser.p_abstract_declarator_2c C s | d | d <d S)z> abstract_declarator : direct_abstract_declarator
r r Nr )r rs r r r �p_abstract_declarator_3� s z CParser.p_abstract_declarator_3c C s | d | d <d S)zA direct_abstract_declarator : LPAREN abstract_declarator RPAREN rN r Nr )r rs r r r � p_direct_abstract_declarator_1� s z&CParser.p_direct_abstract_declarator_1c
C sS t j d d d | d d g d | d j � } | j d | d d | � | d
<d S) zn direct_abstract_declarator : direct_abstract_declarator LBRACKET assignment_expression_opt RBRACKET
r5 Nr� r~ r� r+ r r8 r9 r )r r� r+ r: )r rs r� r r r � p_direct_abstract_declarator_2� s
z&CParser.p_direct_abstract_declarator_2c C sQ t j d t j d d d � d | d d g d | j | j d � � � | d <d S) zS direct_abstract_declarator : LBRACKET assignment_expression_opt RBRACKET
r5 Nr� rN r� r+ r r )r r� r7 r0 r| )r rs r r r � p_direct_abstract_declarator_3� s
z&CParser.p_direct_abstract_declarator_3c
C sq t j d d d t j | d | j | j d � � � d g d | d j � } | j d | d d | � | d
<d S) zZ direct_abstract_declarator : direct_abstract_declarator LBRACKET TIMES RBRACKET
r5 Nr� r~ r� r+ r r8 r9 r )r r� r� r0 r| r+ r: )r rs r� r r r � p_direct_abstract_declarator_4 s (z&CParser.p_direct_abstract_declarator_4c C so t j d t j d d d � d t j | d | j | j d � � � d g d | j | j d � � � | d <d S) z? direct_abstract_declarator : LBRACKET TIMES RBRACKET
r5 Nr� r~ r� r+ r r )r r� r7 r� r0 r| )r rs r r r � p_direct_abstract_declarator_5 s
(z&CParser.p_direct_abstract_declarator_5c C sM t j d | d d d d | d j � } | j d | d d | � | d <d S)
zh direct_abstract_declarator : direct_abstract_declarator LPAREN parameter_type_list_opt RPAREN
r� r~ r5 Nr+ r r8 r9 r )r rD r+ r: )r rs r� r r r � p_direct_abstract_declarator_6 s
z&CParser.p_direct_abstract_declarator_6c C sK t j d | d d t j d d d � d | j | j d � � � | d <d S)zM direct_abstract_declarator : LPAREN parameter_type_list_opt RPAREN
r� rN r5 Nr+ r r )r rD r7 r0 r| )r rs r r r � p_direct_abstract_declarator_7 s
z&CParser.p_direct_abstract_declarator_7c C s2 t | d t � r | d n
| d g | d <d S)zG block_item : declaration
| statement
r r N)r6 r� )r rs r r r � p_block_item* s zCParser.p_block_itemc C sI t | � d k s% | d d g k r/ | d n | d | d | d <d S)z_ block_item_list : block_item
| block_item_list block_item
rN Nr r )rC )r rs r r r �p_block_item_list2 s zCParser.p_block_item_listc C s6 t j d | d d | j | j d � � � | d <d S)zA compound_statement : brace_open block_item_list_opt brace_close Z block_itemsrN r+ r r N)r ZCompoundr0 r| )r rs r r r �p_compound_statement_19 s
z CParser.p_compound_statement_1c C s7 t j | d | d | j | j d � � � | d <d S)z( labeled_statement : ID COLON statement r r~ r N)r ZLabelr0 r| )r rs r r r �p_labeled_statement_1? s z CParser.p_labeled_statement_1c C s: t j | d | d g | j | j d � � � | d <d S)z> labeled_statement : CASE constant_expression COLON statement rN r� r r N)r ZCaser0 r| )r rs r r r �p_labeled_statement_2C s z CParser.p_labeled_statement_2c C s3 t j | d g | j | j d � � � | d <d S)z- labeled_statement : DEFAULT COLON statement r~ r r N)r ZDefaultr0 r| )r rs r r r �p_labeled_statement_3G s z CParser.p_labeled_statement_3c C s: t j | d | d d | j | j d � � � | d <d S)z= selection_statement : IF LPAREN expression RPAREN statement r~ r� Nr r )r �Ifr0 r| )r rs r r r �p_selection_statement_1K s z CParser.p_selection_statement_1c C s> t j | d | d | d | j | j d � � � | d <d S)zL selection_statement : IF LPAREN expression RPAREN statement ELSE statement r~ r� � r r N)r r� r0 r| )r rs r r r �p_selection_statement_2O s z CParser.p_selection_statement_2c C s= t t j | d | d | j | j d � � � � | d <d S)zA selection_statement : SWITCH LPAREN expression RPAREN statement r~ r� r r N)r r ZSwitchr0 r| )r rs r r r �p_selection_statement_3S s z CParser.p_selection_statement_3c C s7 t j | d | d | j | j d � � � | d <d S)z@ iteration_statement : WHILE LPAREN expression RPAREN statement r~ r� r r N)r ZWhiler0 r| )r rs r r r �p_iteration_statement_1X s z CParser.p_iteration_statement_1c C s7 t j | d | d | j | j d � � � | d <d S)zH iteration_statement : DO statement WHILE LPAREN expression RPAREN SEMI r� rN r r N)r ZDoWhiler0 r| )r rs r r r �p_iteration_statement_2\ s z CParser.p_iteration_statement_2c C sE t j | d | d | d | d | j | j d � � � | d <d S)zj iteration_statement : FOR LPAREN expression_opt SEMI expression_opt SEMI expression_opt RPAREN statement r~ r� r� � r r N)r �Forr0 r| )r rs r r r �p_iteration_statement_3` s z CParser.p_iteration_statement_3c C sc t j t j | d | j | j d � � � | d | d | d | j | j d � � � | d <d S)zb iteration_statement : FOR LPAREN declaration expression_opt SEMI expression_opt RPAREN statement r~ r r� � � r N)r r� ZDeclListr0 r| )r rs r r r �p_iteration_statement_4d s +z CParser.p_iteration_statement_4c C s0 t j | d | j | j d � � � | d <d S)z jump_statement : GOTO ID SEMI rN r r N)r ZGotor0 r| )r rs r r r �p_jump_statement_1i s zCParser.p_jump_statement_1c C s) t j | j | j d � � � | d <d S)z jump_statement : BREAK SEMI r r N)r ZBreakr0 r| )r rs r r r �p_jump_statement_2m s zCParser.p_jump_statement_2c C s) t j | j | j d � � � | d <d S)z! jump_statement : CONTINUE SEMI r r N)r ZContinuer0 r| )r rs r r r �p_jump_statement_3q s zCParser.p_jump_statement_3c C sH t j t | � d k r" | d n d | j | j d � � � | d <d S)z\ jump_statement : RETURN expression SEMI
| RETURN SEMI
r� rN Nr r )r ZReturnrC r0 r| )r rs r r r �p_jump_statement_4u s zCParser.p_jump_statement_4c C sJ | d d k r8 t j | j | j d � � � | d <n | d | d <d S)z, expression_statement : expression_opt SEMI r Nr )r ZEmptyStatementr0 r| )r rs r r r �p_expression_statement{ s (z CParser.p_expression_statementc C s� t | � d k r# | d | d <n` t | d t j � s] t j | d g | d j � | d <| d j j | d � | d | d <d S)zn expression : assignment_expression
| expression COMMA assignment_expression
rN r r r~ N)rC r6 r �ExprListr+ r� r# )r rs r r r � p_expression� s $zCParser.p_expressionc C s6 t j | d g d | j | j d � � �| d <d S)z typedef_name : TYPEID r r+ r N)r rB r0 r| )r rs r r r �p_typedef_name� s zCParser.p_typedef_namec C sV t | � d k r# | d | d <n/ t j | d | d | d | d j � | d <d S)z� assignment_expression : conditional_expression
| unary_expression assignment_operator assignment_expression
rN r r r~ N)rC r Z
Assignmentr+ )r rs r r r �p_assignment_expression� s z CParser.p_assignment_expressionc C s | d | d <d S)a� assignment_operator : EQUALS
| XOREQUAL
| TIMESEQUAL
| DIVEQUAL
| MODEQUAL
| PLUSEQUAL
| MINUSEQUAL
| LSHIFTEQUAL
| RSHIFTEQUAL
| ANDEQUAL
| OREQUAL
r r Nr )r rs r r r �p_assignment_operator� s
z CParser.p_assignment_operatorc C s | d | d <d S)z. constant_expression : conditional_expression r r Nr )r rs r r r �p_constant_expression� s z CParser.p_constant_expressionc C sV t | � d k r# | d | d <n/ t j | d | d | d | d j � | d <d S)z� conditional_expression : binary_expression
| binary_expression CONDOP expression COLON conditional_expression
rN r r r~ r� N)rC r Z TernaryOpr+ )r rs r r r �p_conditional_expression� s z CParser.p_conditional_expressionc C sV t | � d k r# | d | d <n/ t j | d | d | d | d j � | d <d S)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
rN r r r~ N)rC r ZBinaryOpr+ )r rs r r r �p_binary_expression� s zCParser.p_binary_expressionc C s | d | d <d S)z$ cast_expression : unary_expression r r Nr )r rs r r r �p_cast_expression_1� s zCParser.p_cast_expression_1c C s7 t j | d | d | j | j d � � � | d <d S)z; cast_expression : LPAREN type_name RPAREN cast_expression rN r� r r N)r ZCastr0 r| )r rs r r r �p_cast_expression_2� s zCParser.p_cast_expression_2c C s | d | d <d S)z* unary_expression : postfix_expression r r Nr )r rs r r r �p_unary_expression_1� s z CParser.p_unary_expression_1c C s, t j | d | d | d j � | d <d S)z� unary_expression : PLUSPLUS unary_expression
| MINUSMINUS unary_expression
| unary_operator cast_expression
r rN r N)r �UnaryOpr+ )r rs r r r �p_unary_expression_2� s z CParser.p_unary_expression_2c C sS t j | d t | � d k r) | d n | d | j | j d � � � | d <d S)zx unary_expression : SIZEOF unary_expression
| SIZEOF LPAREN type_name RPAREN
r r~ rN r N)r r� rC r0 r| )r rs r r r �p_unary_expression_3� s #z CParser.p_unary_expression_3c C s | d | d <d S)z� unary_operator : AND
| TIMES
| PLUS
| MINUS
| NOT
| LNOT
r r Nr )r rs r r r �p_unary_operator� s zCParser.p_unary_operatorc C s | d | d <d S)z* postfix_expression : primary_expression r r Nr )r rs r r r �p_postfix_expression_1� s z CParser.p_postfix_expression_1c C s, t j | d | d | d j � | d <d S)zG postfix_expression : postfix_expression LBRACKET expression RBRACKET r r~ r N)r ZArrayRefr+ )r rs r r r �p_postfix_expression_2 s z CParser.p_postfix_expression_2c C sD t j | d t | � d k r) | d n d | d j � | d <d S)z� postfix_expression : postfix_expression LPAREN argument_expression_list RPAREN
| postfix_expression LPAREN RPAREN
r r� r~ Nr )r �FuncCallrC r+ )r rs r r r �p_postfix_expression_3 s z CParser.p_postfix_expression_3c C sW t j | d | j | j d � � � } t j | d | d | | d j � | d <d S)z� postfix_expression : postfix_expression PERIOD ID
| postfix_expression PERIOD TYPEID
| postfix_expression ARROW ID
| postfix_expression ARROW TYPEID
r~ r rN r N)r r� r0 r| Z StructRefr+ )r rs Zfieldr r r �p_postfix_expression_4 s (z CParser.p_postfix_expression_4c C s0 t j d | d | d | d j � | d <d S)z{ postfix_expression : postfix_expression PLUSPLUS
| postfix_expression MINUSMINUS
rs rN r r N)r r� r+ )r rs r r r �p_postfix_expression_5 s z CParser.p_postfix_expression_5c C s" t j | d | d � | d <d S)z� postfix_expression : LPAREN type_name RPAREN brace_open initializer_list brace_close
| LPAREN type_name RPAREN brace_open initializer_list COMMA brace_close
rN r� r N)r ZCompoundLiteral)r rs r r r �p_postfix_expression_6 s z CParser.p_postfix_expression_6c C s | d | d <d S)z" primary_expression : identifier r r Nr )r rs r r r �p_primary_expression_1 s z CParser.p_primary_expression_1c C s | d | d <d S)z primary_expression : constant r r Nr )r rs r r r �p_primary_expression_2$ s z CParser.p_primary_expression_2c C s | d | d <d S)zp primary_expression : unified_string_literal
| unified_wstring_literal
r r Nr )r rs r r r �p_primary_expression_3( s z CParser.p_primary_expression_3c C s | d | d <d S)z0 primary_expression : LPAREN expression RPAREN rN r Nr )r rs r r r �p_primary_expression_4. s z CParser.p_primary_expression_4c C s_ | j | j d � � } t j t j | d | � t j | d | d g | � | � | d <d S)zQ primary_expression : OFFSETOF LPAREN type_name COMMA identifier RPAREN
r r~ r� r N)r0 r| r r r� r� )r rs r+ r r r �p_primary_expression_52 s z CParser.p_primary_expression_5c C sc t | � d k r9 t j | d g | d j � | d <n& | d j j | d � | d | d <d S)z� argument_expression_list : assignment_expression
| argument_expression_list COMMA assignment_expression
rN r r r~ N)rC r r� r+ r� r# )r rs r r r �p_argument_expression_list: s 'z"CParser.p_argument_expression_listc C s0 t j | d | j | j d � � � | d <d S)z identifier : ID r r N)r r� r0 r| )r rs r r r � p_identifierD s zCParser.p_identifierc C s3 t j d | d | j | j d � � � | d <d S)z� constant : INT_CONST_DEC
| INT_CONST_OCT
| INT_CONST_HEX
| INT_CONST_BIN
r; r r N)r �Constantr0 r| )r rs r r r � p_constant_1H s zCParser.p_constant_1c C s3 t j d | d | j | j d � � � | d <d S)zM constant : FLOAT_CONST
| HEX_FLOAT_CONST
�floatr r N)r r
r0 r| )r rs r r r � p_constant_2Q s zCParser.p_constant_2c C s3 t j d | d | j | j d � � � | d <d S)zH constant : CHAR_CONST
| WCHAR_CONST
�charr r N)r r
r0 r| )r rs r r r � p_constant_3X s zCParser.p_constant_3c C s� t | � d k rD t j d | d | j | j d � � � | d <n> | d j d d � | d d d � | d _ | d | d <d S)z~ unified_string_literal : STRING_LITERAL
| unified_string_literal STRING_LITERAL
rN �stringr r Nr' )rC r r
r0 r| �value)r rs r r r �p_unified_string_literald s
,0z CParser.p_unified_string_literalc C s� t | � d k rD t j d | d | j | j d � � � | d <nD | d j j � d d � | d d d � | d _ | d | d <d S)z� unified_wstring_literal : WSTRING_LITERAL
| unified_wstring_literal WSTRING_LITERAL
rN r r r Nr' )rC r r
r0 r| r �rstrip)r rs r r r �p_unified_wstring_literalo s
,6z!CParser.p_unified_wstring_literalc C s | d | d <d S)z brace_open : LBRACE
r r Nr )r rs r r r � p_brace_openz s zCParser.p_brace_openc C s | d | d <d S)z brace_close : RBRACE
r r Nr )r rs r r r �
p_brace_close s zCParser.p_brace_closec C s d | d <d S)zempty : Nr r )r rs r r r �p_empty� s zCParser.p_emptyc C sU | rA | j d | j | j d | j d | j j | � � � n | j d d � d S)Nz
before: %sr| r3 zAt end of inputr )r) r r0 r| r Zfind_tok_column)r rs r r r �p_error� s
zCParser.p_errorN�r` ra �r` rb �r` rc �r` rd �r` re �r` rf rg �r` rh ri rj rk �r` rl rm �r` rn ro �r` rp rq rr )
r r r r r r! r" r# r$ r% )��__name__�
__module__� __qualname__r r! r$ r& r, r- r/ r r r r r4 r: rF rL rZ r] r_ Z
precedencert ru 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 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& �pprintZtime�sysr r r r �<module> s � � � � � � �