관리-도구
편집 파일: c_parser.cpython-36.pyc
3 ��]� � @ s� d dl Z d dlmZ ddlmZ ddlmZ ddlmZm Z m Z ddl m Z G dd � d e�Z ed kr|d dlZd dlZd dlZdS ) � N)�yacc� )�c_ast)�CLexer)� PLYParser�Coord� ParseError)�fix_switch_casesc @ sD e Zd Z�dCdd�Z�dDd d �Zd d � Zd d� Zdd� Zdd� Zdd� Z dd� Z dd� Z dd� Z dd � Z d d � Zd d � Zd!d"� Zd#d$� Z�dEd%d&�Zd'd(� Zd)d*� Z�dPZd>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� Z6d�d�� Z7d�d�� Z8d�d�� Z9d�d�� Z:d�d�� Z;d�d�� Z<d�d�� Z=d�d�� Z>d�d�� Z?d�d�� Z@d�d�� ZAd�d�� ZBd�d�� ZCd�d�� ZDd�d�� ZEd�d�� ZFd�d�� ZGd�d�� ZHd�d�� ZId�d�� ZJd�d�� ZKd�d�� ZLd�d�� ZMd�d�� ZNd�d�� ZOd�d�� ZPd�d�� ZQd�d�� ZRd�d�� ZSd�d�� ZTd�d�� ZUd�d�� ZVd�d�� ZWd�dÄ ZXd�dń ZYd�dDŽ ZZd�dɄ Z[d�d˄ Z\d�d̈́ Z]d�dτ Z^d�dф Z_d�dӄ Z`d�dՄ Zad�dׄ Zbd�dل Zcd�dۄ Zdd�d݄ Zed�d߄ Zfd�d� Zgd�d� Zhd�d� Zid�d� Zjd�d� Zkd�d� Zld�d� Zmd�d� Znd�d� Zod�d� Zpd�d�� Zqd�d�� Zrd�d�� Zsd�d�� Ztd�d�� Zud�d�� 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� 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��d0�d1� Z��d2�d3� Z��d4�d5� Z��d6�d7� Z��d8�d9� Z��d:�d;� Z��d<�d=� Z��d>�d?� Z��d@�dA� Z��dBS (Q �CParserT�pycparser.lextab�pycparser.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)�optimize�lextab� outputdirZabstract_declaratorZassignment_expressionZdeclaration_listZdeclaration_specifiersZ designationZ expressionZidentifier_listZinit_declarator_listZinitializer_listZparameter_type_listZspecifier_qualifier_listZblock_item_listZtype_qualifier_listZstruct_declarator_listZtranslation_unit_or_empty)�module�start�debugr Z tabmoduler N)r �_lex_error_func�_lex_on_lbrace_func�_lex_on_rbrace_func�_lex_type_lookup_func�clexZbuild�tokensZ_create_opt_ruler �cparser�dict� _scope_stack�_last_yielded_token) �selfZ lex_optimizer Z yacc_optimizeZyacctabZ yacc_debugZ taboutputdirZrules_with_optZrule� r � /usr/lib/python3.6/c_parser.py�__init__ sF 5 zCParser.__init__r c C s6 || j _| j j� t� g| _d| _| jj|| j |d�S )a& Parses C code and returns an AST. text: A string containing the C source code filename: Name of the file being parsed (for meaningful error messages) debuglevel: Debug level to yacc N)�inputZlexerr )r �filenameZ reset_linenor r r r �parse)r �textr# Z debuglevelr r r r$ ~ s z CParser.parsec C s | j jt� � d S )N)r �appendr )r r r r � _push_scope� s zCParser._push_scopec C s t | j�dkst�| jj� d S )Nr )�lenr �AssertionError�pop)r r r r � _pop_scope� s zCParser._pop_scopec C s4 | j d j|d�s"| 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 scopeN���r, )r �get� _parse_error)r �name�coordr r r �_add_typedef_name� s zCParser._add_typedef_namec C s4 | j d j|d�r"| 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/ r0 r r r �_add_identifier� s zCParser._add_identifierc C s. x(t | j�D ]}|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 �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. )r4 )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|tj�r0||_ |S |}xt|j tj�sL|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 �decl�modifierZ modifier_headZ modifier_tailZ decl_tailr r r �_type_modify_decl� s zCParser._type_modify_declc C s� |}xt |tj�s|j}qW |j|_|j|_x>|D ]6}t |tj�s2t|�dkr^| j d|j � q2||_|S q2W |s�t |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 declaration�int)r0 c S s g | ]}|j D ]}|�qqS r )�names)�.0�idr/ r r r � <listcomp>U s z/CParser._fix_decl_name_type.<locals>.<listcomp>r ) r; r r< r: �declnamer/ �quals�IdentifierTyper( r. r0 �FuncDecl)r r= �typenamer: Ztnr r r �_fix_decl_name_type, s. zCParser._fix_decl_name_typec C s( |pt g g g g d�}|| 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. )�qual�storager: �functionr )r �insert)r ZdeclspecZnewspecZkind�specr r r �_add_declaration_specifierY s z"CParser._add_declaration_specifierc C sR d|d k}g }|d j d�dk r&�n4|d d dkr�t|d �dk svt|d d j�d ksv| j|d d jd � r�d }x"|d D ]}t|d �r�|j}P q�W | jd |� tj|d d jd dd|d d jd �|d d< |d d= nrt |d d tj tj tj f��sZ|d d }xt |tj��s.|j }�qW |jdk�rZ|d d jd |_|d d= x�|D ]�} | d dk �svt�|�r�tjd|d |d | d | d jd�} n<tjd|d |d |d | d | j d�| j d�| d jd�} t | j tj tj tj 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. �typedefrL r �bitsizeNr= r: � r �?r0 zInvalid declaration)rE r: rF r0 rK )r/ rF rL r: r0 rM �init)r/ rF rL �funcspecr: rU rR r0 r, r, r, r, r, r, r, )r- r( rA r4 �hasattrr0 r. r r< r; �Struct�UnionrG r: rE r) ZTypedef�DeclrJ r1 r/ r2 r& ) r rO �decls�typedef_namespaceZ is_typedefZ declarationsr0 �tZ decls_0_tailr= � declarationZ fixed_declr r r �_build_declarationsj sn & zCParser._build_declarationsc C sB d|d kst �| j|t|dd�gdd�d }tj||||jd�S ) z' Builds a function definition. rQ rL N)r= rU T)rO r[ r\ r )r= � param_decls�bodyr0 )r) r_ r r ZFuncDefr0 )r rO r= r` ra r^ 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 rX rY )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 s2 |d dkr t jg �|d< nt j|d �|d< dS )zh translation_unit_or_empty : translation_unit | empty r Nr )r ZFileAST)r �pr r r �p_translation_unit_or_empty� s z#CParser.p_translation_unit_or_emptyc C s |d |d< dS )z4 translation_unit : external_declaration r r Nr )r ry r r r �p_translation_unit_1� s z CParser.p_translation_unit_1c C s. |d dk r |d j |d � |d |d< dS )zE translation_unit : translation_unit external_declaration rS Nr r )�extend)r ry 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 )r ry 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 )r ry r r r �p_external_declaration_2 s z CParser.p_external_declaration_2c C s |d |d< dS )z0 external_declaration : pp_directive r r Nr )r ry r r r �p_external_declaration_3 s z CParser.p_external_declaration_3c C s d|d< dS )z( external_declaration : SEMI Nr r )r ry r r r �p_external_declaration_4 s z CParser.p_external_declaration_4c C s | j d| j|jd��� dS )z pp_directive : PPHASH z Directives not supported yetr N)r. r5 �lineno)r ry r r r �p_pp_directive$ s zCParser.p_pp_directivec C sP t g g tjdg| j|jd��d�gg d�}| j||d |d |d d�|d< d S ) zR function_definition : declarator declaration_list_opt compound_statement r@ r )r0 )rK rL r: rM rS � )rO r= r` ra r N)r r rG r5 r� rb )r ry rO 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 rS r� � )rO r= r` ra r N)rb )r ry rO 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 ry 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 rS Nr: r rK rL rM )r/ rF rL rV r: rU rR r0 )r= rU T)rO r[ r\ ) r rX rY �Enumr( r; rZ r0 r_ r )r ry rO ZtyZs_u_or_er[ 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 ry 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 rS r r N)r( )r ry 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 rS r rK r N)rP )r ry 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 rS r r: r N)rP )r ry 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 rS r rL r N)rP )r ry 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 rS r rM r N)rP )r ry 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 ry 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 ry r r r �p_function_specifier� s z CParser.p_function_specifierc C s( t j|d g| j|jd��d�|d< dS )a� type_specifier : VOID | _BOOL | CHAR | SHORT | INT | LONG | FLOAT | DOUBLE | _COMPLEX | SIGNED | UNSIGNED r )r0 r N)r rG r5 r� )r ry 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 ry 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 ry 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)r( )r ry r r r �p_init_declarator_list_1� s z CParser.p_init_declarator_list_1c C s t d|d d�g|d< dS )z6 init_declarator_list : EQUALS initializer NrS )r= rU r )r )r ry r r r �p_init_declarator_list_2� s z CParser.p_init_declarator_list_2c C s t |d dd�g|d< dS )z7 init_declarator_list : abstract_declarator r N)r= rU r )r )r ry 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 rS r� N)r= rU r )r r( )r ry 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 rS r rK r N)rP )r ry 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 rS r r: r N)rP )r ry r r r � p_specifier_qualifier_list_2 s z$CParser.p_specifier_qualifier_list_2c C s4 | j |d �}||d d| j|jd��d�|d< dS )z{ struct_or_union_specifier : struct_or_union ID | struct_or_union TYPEID r rS N)r/ r[ r0 r )re r5 r� )r ry �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|jd��d�|d< dS )zd struct_or_union_specifier : struct_or_union brace_open struct_declaration_list brace_close r Nr� rS )r/ r[ r0 r )re r5 r� )r ry 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|jd��d�|d< dS )z� struct_or_union_specifier : struct_or_union ID brace_open struct_declaration_list brace_close | struct_or_union TYPEID brace_open struct_declaration_list brace_close r rS r� )r/ r[ r0 r N)re r5 r� )r ry 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 ry 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 rS r r N)r( )r ry r r r �p_struct_declaration_list8 s z!CParser.p_struct_declaration_listc C s� |d }d|d kst �|d dk r8| j||d d�}nht|d �dkr�|d d }t|tj�rf|}n tj|�}| j|t|d �gd�}n| j|tddd �gd�}||d< dS ) zW struct_declaration : specifier_qualifier_list struct_declarator_list_opt SEMI r rQ rL rS N)rO r[ r: r )r= )r= rU )r) r_ r( r; r ZNoderG r )r ry rO r[ ZnodeZ decl_typer r r �p_struct_declaration_1> s$ z CParser.p_struct_declaration_1c C s( | j |d t|d dd�gd�|d< dS )zP struct_declaration : specifier_qualifier_list abstract_declarator SEMI r rS N)r= rU )rO r[ r )r_ r )r ry 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)r( )r ry 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= rR r r )r ry 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= rR r NrS )r( r r< )r ry 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 rS Nr r )r r� r5 r� )r ry 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� r5 r� )r ry 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 rS r� r r N)r r� r5 r� )r ry 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 rS r r r� N)r( r ZEnumeratorListr0 Z enumeratorsr& )r ry 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 rS r Nr� r )r( r Z Enumeratorr5 r� r2 r/ r0 )r ry Z enumeratorr r r � p_enumerator� s zCParser.p_enumeratorc C s |d |d< dS )z) declarator : direct_declarator r r Nr )r ry r r r �p_declarator_1� s zCParser.p_declarator_1c C s | j |d |d �|d< dS )z1 declarator : pointer direct_declarator rS r r N)r? )r ry r r r �p_declarator_2� s zCParser.p_declarator_2c C s: t j|d dd| j|jd��d�}| j||d �|d< dS )z& declarator : pointer TYPEID rS N)rE r: rF r0 r r )r r< r5 r� r? )r ry r= r r r �p_declarator_3� s zCParser.p_declarator_3c C s* t j|d dd| j|jd��d�|d< dS )z" direct_declarator : ID r N)rE r: rF r0 r )r r< r5 r� )r ry 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 rS r Nr )r ry r r r �p_direct_declarator_2� s z CParser.p_direct_declarator_2c C sf t |�dkr|d ng pg }tjdt |�dkr6|d n|d ||d jd�}| j|d |d�|d< dS ) zu direct_declarator : direct_declarator LBRACKET type_qualifier_list_opt assignment_expression_opt RBRACKET � r� Nr� r )r: �dim� dim_qualsr0 )r= r> r )r( r � ArrayDeclr0 r? )r ry rF �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 |t�r|n|g�qS r )r; �list)rB �itemr r r rD � s z1CParser.p_direct_declarator_4.<locals>.<listcomp>r� r� c S s" g | ]}|D ]}|d k r |�q qS )Nr )rB ZsublistrK r r r rD � s Nr� r )r: r� r� r0 )r= r> r )r r� r0 r? )r ry 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 )r: r� r� r0 )r= r> r )r r� �IDr5 r� r0 r? )r ry 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 j�rNP | j |j |j� q<W | j |d |d�|d< dS )z� direct_declarator : direct_declarator LPAREN parameter_type_list RPAREN | direct_declarator LPAREN identifier_list_opt RPAREN r� Nr )�argsr: r0 �LBRACE)r= r> r ) r rH r0 r9 r: r� �paramsr; � EllipsisParamr2 r/ r? )r ry �funcZparamr r r �p_direct_declarator_6 s z CParser.p_direct_declarator_6c C sr | j |jd��}tj|d p g d|d�}t|�dkrf|d }x|jdk rP|j}q>W ||_|d |d< n||d< dS )zm pointer : TIMES type_qualifier_list_opt | TIMES type_qualifier_list_opt pointer r rS N)rF r: r0 r� r )r5 r� r ZPtrDeclr( r: )r ry r0 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 rS r r N)r( )r ry 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 rS r r� r N)r( r� r& r r� r5 r� )r ry 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 rS r r r� N)r( r � ParamListr0 r� r& )r ry r r r �p_parameter_listU s zCParser.p_parameter_listc C sX |d }|d s2t jdg| j|jd��d�g|d< | j|t|d d�gd�d |d< d S ) zE parameter_declaration : declaration_specifiers declarator r r: r@ )r0 rS )r= )rO r[ r N)r rG r5 r� r_ r )r ry rO r r r �p_parameter_declaration_1_ s z!CParser.p_parameter_declaration_1c C s� |d }|d s2t jdg| j|jd��d�g|d< t|d �dkr�t|d d j�dkr�| j|d d jd �r�| j|t|d dd�gd �d }nHt j d |d |d p�t j ddd�| j|jd��d �}|d }| j ||�}||d< dS )zR parameter_declaration : declaration_specifiers abstract_declarator_opt r r: r@ )r0 r rS N)r= rU )rO r[ r rK )r/ rF r: r0 r, r, ) r rG r5 r� r( rA r4 r_ r �Typenamer< rJ )r ry rO r= rI 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 rS r r r� N)r( r r� r0 r� r& )r ry r r r �p_identifier_list� s zCParser.p_identifier_listc C s |d |d< dS )z- initializer : assignment_expression r r Nr )r ry 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 rS Nr r )r �InitListr5 r� )r ry 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 NrS r r� )r( r ZNamedInitializerr� r0 �exprsr& )r ry rU 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 ry 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 rS r r N)r( )r ry r r r �p_designator_list� s zCParser.p_designator_listc C s |d |d< dS )zi designator : LBRACKET constant_expression RBRACKET | PERIOD identifier rS r Nr )r ry r r r � p_designator� s zCParser.p_designatorc C sT t jd|d d |d p$t jddd�| j|jd��d�}| j||d d �|d< dS ) zH type_name : specifier_qualifier_list abstract_declarator_opt r r rK rS N)r/ rF r: r0 r: r )r r� r< r5 r� rJ )r ry rI 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 ry 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 rS r r N)r? )r ry 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 ry 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 rS r Nr )r ry r r r � p_direct_abstract_declarator_1� s z&CParser.p_direct_abstract_declarator_1c C s6 t jd|d g |d jd�}| j|d |d�|d< dS )zn direct_abstract_declarator : direct_abstract_declarator LBRACKET assignment_expression_opt RBRACKET Nr� r )r: r� r� r0 )r= r> r )r r� r0 r? )r ry 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|jd��d�|d< dS )zS direct_abstract_declarator : LBRACKET assignment_expression_opt RBRACKET NrS r )r: r� r� r0 r )r r� r< r5 r� )r ry r r r � p_direct_abstract_declarator_3� s z&CParser.p_direct_abstract_declarator_3c C sJ t jdt j|d | j|jd���g |d jd�}| j|d |d�|d< dS )zZ direct_abstract_declarator : direct_abstract_declarator LBRACKET TIMES RBRACKET Nr� r )r: r� r� r0 )r= r> r )r r� r� r5 r� r0 r? )r ry r� r r r � p_direct_abstract_declarator_4 s z&CParser.p_direct_abstract_declarator_4c C sH t jt jddd�t j|d | j|jd���g | j|jd��d�|d< dS )z? direct_abstract_declarator : LBRACKET TIMES RBRACKET Nr� r )r: r� r� r0 r )r r� r< r� r5 r� )r ry 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: r0 )r= r> r )r rH r0 r? )r ry 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|jd��d�|d< dS )zM direct_abstract_declarator : LPAREN parameter_type_list_opt RPAREN rS Nr )r� r: r0 r )r rH r< r5 r� )r ry r r r � p_direct_abstract_declarator_7 s z&CParser.p_direct_abstract_declarator_7c C s( t |d t�r|d n|d g|d< dS )zG block_item : declaration | statement r r N)r; r� )r ry 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 rS Nr r )r( )r ry r r r �p_block_item_list2 s zCParser.p_block_item_listc C s& t j|d | j|jd��d�|d< dS )zA compound_statement : brace_open block_item_list_opt brace_close rS r )Z block_itemsr0 r N)r ZCompoundr5 r� )r ry 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 ZLabelr5 r� )r ry 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 rS r� r r N)r ZCaser5 r� )r ry 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 ZDefaultr5 r� )r ry 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 �Ifr5 r� )r ry 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� r5 r� )r ry 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 ZSwitchr5 r� )r ry 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 ZWhiler5 r� )r ry 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� rS r r N)r ZDoWhiler5 r� )r ry 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 �Forr5 r� )r ry 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� ZDeclListr5 r� )r ry 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 rS r r N)r ZGotor5 r� )r ry 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 ZBreakr5 r� )r ry 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 ZContinuer5 r� )r ry 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� rS Nr r )r ZReturnr( r5 r� )r ry 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 ZEmptyStatementr5 r� )r ry r r r �p_expression_statement{ s z CParser.p_expression_statementc C sj t |�dkr|d |d< nLt|d tj�sFtj|d g|d j�|d< |d jj|d � |d |d< dS )zn expression : assignment_expression | expression COMMA assignment_expression rS r r r� N)r( r; r �ExprListr0 r� r& )r ry r r r � p_expression� s zCParser.p_expressionc C s( t j|d g| j|jd��d�|d< dS )z typedef_name : TYPEID r )r0 r N)r rG r5 r� )r ry 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 rS r r r� N)r( r Z Assignmentr0 )r ry 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 ry 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 ry 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 rS r r r� r� N)r( r Z TernaryOpr0 )r ry 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 rS r r r� N)r( r ZBinaryOpr0 )r ry 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 ry 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 rS r� r r N)r ZCastr5 r� )r ry 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 ry 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 rS r N)r �UnaryOpr0 )r ry 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� rS r N)r r r( r5 r� )r ry 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 ry 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 ry 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 ZArrayRefr0 )r ry 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 �FuncCallr( r0 )r ry 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 rS r N)r r� r5 r� Z StructRefr0 )r ry 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 ry rS r r N)r r r0 )r ry 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 rS r� r N)r ZCompoundLiteral)r ry 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 ry 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 ry 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 ry 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 rS r Nr )r ry 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)r5 r� r r r� r� )r ry r0 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 rS r r r� N)r( r r� r0 r� r& )r ry 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� r5 r� )r ry 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 �Constantr5 r� )r ry 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 r5 r� )r ry 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 r5 r� )r ry 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 rS �stringr r Nr, )r( r r r5 r� �value)r ry 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 rS r r r Nr, )r( r r r5 r� r �rstrip)r ry 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 ry r r r � p_brace_openz s zCParser.p_brace_openc C s |d |d< dS )z brace_close : RBRACE r r Nr )r ry r r r � p_brace_close s zCParser.p_brace_closec C s d|d< dS )zempty : Nr r )r ry 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� r8 zAt end of inputr )r. r r5 r� r Zfind_tok_column)r ry r r r �p_error� s zCParser.p_errorN)Tr Tr Fr )r r )F�rf rg �rf rh �rf ri �rf rj �rf rk �rf rl rm �rf rn ro rp rq �rf rr rs �rf rt ru �rf rv rw rx ) r" r# r$ r% r& r' r( r) r* r+ )��__name__� __module__� __qualname__r! r$ r' r+ r1 r2 r4 r r r r r9 r? rJ rP r_ rb re Z precedencerz r{ r} r~ r r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r r r r r r r 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,