← Back
Editing: parse.cpython-36.pyc
3 � fu � @ s4 d Z ddlmZ G dd� de�ZG dd� de�ZdS )z�Parser engine for the grammar tables generated by pgen. The grammar table must be loaded first. See Parser/parser.c in the Python distribution for additional info on how this parsing engine works. � )�tokenc @ s e Zd ZdZdd� ZdS )� ParseErrorz(Exception to signal the parser is stuck.c C s4 t j| d||||f � || _|| _|| _|| _d S )Nz!%s: type=%r, value=%r, context=%r)� Exception�__init__�msg�type�value�context)�selfr r r r � r �8/opt/alt/python36/lib64/python3.6/lib2to3/pgen2/parse.pyr s zParseError.__init__N)�__name__� __module__� __qualname__�__doc__r r r r r r s r c @ sL e Zd ZdZddd�Zddd�Zdd� Zd d � Zd d � Zd d� Z dd� Z dS )�Parsera5 Parser engine. The proper usage sequence is: p = Parser(grammar, [converter]) # create instance p.setup([start]) # prepare for parsing <for each input token>: if p.addtoken(...): # parse a token; may raise ParseError break root = p.rootnode # root of abstract syntax tree A Parser instance may be reused by calling setup() repeatedly. A Parser instance contains state pertaining to the current token sequence, and should not be used concurrently by different threads to parse separate token sequences. See driver.py for how to get input tokens by tokenizing a file or string. Parsing is complete when addtoken() returns True; the root of the abstract syntax tree can then be retrieved from the rootnode instance variable. When a syntax error occurs, addtoken() raises the ParseError exception. There is no error recovery; the parser cannot be used after a syntax error was reported (but it can be reinitialized by calling setup()). Nc C s || _ |pdd� | _dS )a� Constructor. The grammar argument is a grammar.Grammar instance; see the grammar module for more information. The parser is not ready yet for parsing; you must call the setup() method to get it started. The optional convert argument is a function mapping concrete syntax tree nodes to abstract syntax tree nodes. If not given, no conversion is done and the syntax tree produced is the concrete syntax tree. If given, it must be a function of two arguments, the first being the grammar (a grammar.Grammar instance), and the second being the concrete syntax tree node to be converted. The syntax tree is converted from the bottom up. A concrete syntax tree node is a (type, value, context, nodes) tuple, where type is the node type (a token or symbol number), value is None for symbols and a string for tokens, context is None or an opaque value used for error reporting (typically a (lineno, offset) pair), and nodes is a list of children for symbols, and None for tokens. An abstract syntax tree node may be anything; this is entirely up to the converter function. c S s |S )Nr )�grammar�noder r r �<lambda>W s z!Parser.__init__.<locals>.<lambda>N)r �convert)r r r r r r r 9 s zParser.__init__c C sH |dkr| j j}|ddg f}| j j| d|f}|g| _d| _t� | _dS )a� Prepare for parsing. This *must* be called before starting to parse. The optional argument is an alternative start symbol; it defaults to the grammar's start symbol. You can use a Parser instance to parse any number of programs; each time you call setup() the parser is reset to an initial state determined by the (implicit or explicit) start symbol. N� )r �start�dfas�stack�rootnode�set� used_names)r r �newnodeZ stackentryr r r �setupY s z Parser.setupc C sF | j |||�}�x0| jd \}}}|\}} || } �x| D ]�\} } | jj| \} }|| kr�| dk sft�| j||| |� | }x@|| d|fgkr�| j� | js�dS | jd \}}}|\}} q|W dS | dkr:| jj| }|\}}||kr:| j| | jj| | |� P q:W d|f| k�r0| j� | j�s>t d|||��qt d|||��qW dS ) z<Add a token; return True iff this is the end of the program.r � r TFztoo much inputz bad inputN���r ) �classifyr r Zlabels�AssertionError�shift�popr �pushr )r r r r �ilabel�dfa�stater Zstates�firstZarcs�i�newstate�t�vZitsdfaZ itsstatesZitsfirstr r r �addtokenq s< zParser.addtokenc C sX |t jkr0| jj|� | jjj|�}|dk r0|S | jjj|�}|dkrTtd|||��|S )z&Turn a token into a label. (Internal)Nz bad token) r �NAMEr �addr �keywords�get�tokensr )r r r r r& r r r r! � s zParser.classifyc C sT | j d \}}}|||df}| j| j|�}|dk r@|d j|� |||f| j d< dS )zShift a token. (Internal)r Nr r r )r r r �append) r r r r+ r r' r( r r r r r r# � s z Parser.shiftc C sB | j d \}}}|d|g f}|||f| j d< | j j|d|f� dS )z Push a nonterminal. (Internal)r Nr r r )r r4 ) r r Znewdfar+ r r' r( r r r r r r% � s z Parser.pushc C s` | j j� \}}}| j| j|�}|dk r\| j rL| j d \}}}|d j|� n|| _| j| j_dS )z Pop a nonterminal. (Internal)Nr r r )r r$ r r r4 r r )r ZpopdfaZpopstateZpopnoder r' r( r r r r r$ � s z Parser.pop)N)N) r r r r r r r. r! r# r% r$ r r r r r s 0 r N)r � r r r �objectr r r r r �<module> s
Save File
Cancel