Your IP : 52.15.233.83
�
j f�5 � @ s� d d l m Z m Z m Z Gd d � d e j � Z Gd d � d e � Z Gd d � d e � Z Gd d � d e � Z d
d d � Z
d
S)� )�grammar�token�tokenizec @ s e Z d Z d S)� PgenGrammarN)�__name__�
__module__� __qualname__� r r �7/opt/alt/python34/lib64/python3.4/lib2to3/pgen2/pgen.pyr s r c @ s� e Z d Z 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 � Z d d d! � Z d" d# � Z d$ d% � Z d S)&�ParserGeneratorNc C s� d } | d k r* t | � } | j } n | | _ | | _ t j | j � | _ | j � | j � \ | _
| _ | d k r� | � n i | _ | j
� d S)N)�open�close�filename�streamr �generate_tokens�readline� generator�gettoken�parse�dfas� startsymbol�first� addfirstsets)�selfr r Z close_streamr r r
�__init__ s
zParserGenerator.__init__c C s� t � } t | j j � � } | j � | j | j � | j d | j � x; | D]3 } d t | j � } | | j | <| | j
| <qR Wx� | D]� } | j | } g } x� | D]� } g } xE | j j � D]4 \ } }
| j
| j | | � | j |
� f � q� W| j r,| j
d | j | � f � n | j
| � q� W| j j
| � | | j | | � f | j | j | <q� W| j | j | _ | S)N� � )r �listr �keys�sort�remover �insert�len�
symbol2numberZ
number2symbol�arcs�items�append�
make_label�index�isfinal�states�
make_first�start) r �c�names�name�i�dfar* �stater$ �label�nextr r r
� make_grammar s.
, *z ParserGenerator.make_grammarc C sD | j | } i } x* | D]" } | j | | � } d | | <q W| S)Nr )r r' )r r- r/ Zrawfirstr r3 �ilabelr r r
r+ 4 s
zParserGenerator.make_firstc C s� t | j � } | d j � r� | | j k ry | | j k rH | j | S| j j | j | d f � | | j | <| Sq�t t | d � } | | j k r� | j | S| j j | d f � | | j | <| Sn� t | � } | d j � r2| | j
k r| j
| S| j j t j | f � | | j
| <| SnN t j
| } | | j k rY| j | S| j j | d f � | | j | <| Sd S)Nr )r" Zlabels�isalphar# Z symbol2labelr& �getattrr �tokens�eval�keywords�NAMEr Zopmap)r r- r3 r6 Zitoken�valuer r r
r' = s6
zParserGenerator.make_labelc C sS t | j j � � } | j � x- | D]% } | | j k r& | j | � q& q& Wd S)N)r r r r r � calcfirst)r r. r/ r r r
r k s
z ParserGenerator.addfirstsetsc C sj | j | } d | j | <| d } i } i } x� | j j � D]� \ } } | | j k r� | | j k r� | j | } | d k r� t d | � � q� n | j | � | j | } | j | � | | | <q@ d | | <i d | 6| | <q@ Wi } xd | j � D]V \ } }
xG |
D]? } | | k rGt d | | | | | f � � n | | | <qWq� W| | j | <d S)Nr zrecursion for rule %rr zArule %s is ambiguous; %s is in the first sets of %s as well as %s)r r r$ r% �
ValueErrorr> �update) r r/ r1 r2 ZtotalsetZ overlapcheckr3 r4 �fsetZinverseZitsfirstZsymbolr r r
r> s s2
zParserGenerator.calcfirstc C s� i } d } x� | j t j k r� x | j t j k rC | j � q$ W| j t j � } | j t j d � | j � \ } } | j t j � | j | | � } t
| � } | j | � t
| � } | | | <| d k r | } q q W| | f S)N�:) �typer � ENDMARKER�NEWLINEr �expectr< �OP� parse_rhs�make_dfar" � simplify_dfa) r r r r/ �a�zr1 ZoldlenZnewlenr r r
r � s"
zParserGenerator.parsec s � f d d � } � f d d � � t | | � | � g } x� | D]� } i } xS | j D]H } x? | j D]4 \ } } | d k ri � | | j | i � � qi qi WqY Wxj | j � D]\ \ } }
x= | D] } | j |
k r� Pq� q� Wt |
| � } | j | � | j | | � q� WqC W| S)Nc s i } � | | � | S)Nr )r2 �base)�
addclosurer r
�closure� s
z)ParserGenerator.make_dfa.<locals>.closurec sT | | k r d Sd | | <x3 | j D]( \ } } | d k r$ � | | � q$ q$ Wd S)Nr )r$ )r2 rM r3 r4 )rN r r
rN � s
z,ParserGenerator.make_dfa.<locals>.addclosure)�DFAState�nfasetr$ �
setdefaultr% r& �addarc) r r, �finishrO r* r2 r$ Znfastater3 r4 rQ �str )rN r
rI � s"
$
zParserGenerator.make_dfac
C s� t d | � | g } x� t | � D]� \ } } t d | | | k rJ d pM d � x | j D]t \ } } | | k r� | j | � } n t | � } | j | � | d k r� t d | � q[ t d | | f � q[ Wq# Wd S)NzDump of NFA forz Statez(final)� z -> %dz %s -> %d)�print� enumerater$ r( r" r& )
r r/ r, rT Ztodor0 r2 r3 r4 �jr r r
�dump_nfa� s
"
zParserGenerator.dump_nfac C s� t d | � xv t | � D]h \ } } t d | | j r> d pA d � x: | j j � D]) \ } } t d | | j | � f � qU Wq Wd S)NzDump of DFA forz Statez(final)rV z %s -> %d)rW rX r) r$ r% r( )r r/ r1 r0 r2 r3 r4 r r r
�dump_dfa� s
zParserGenerator.dump_dfac C s� d } x� | r� d } x� t | � D]x \ } } xi t | d t | � � D]N } | | } | | k rH | | =x | D] } | j | | � qr Wd } PqH qH Wq" Wq Wd S)NTFr )rX �ranger" �
unifystate)r r1 Zchangesr0 Zstate_irY Zstate_jr2 r r r
rJ � s
z ParserGenerator.simplify_dfac C s� | j � \ } } | j d k r+ | | f St � } t � } | j | � | j | � xI | j d k r� | j � | j � \ } } | j | � | j | � qZ W| | f Sd S)N�|)� parse_altr= �NFAStaterS r )r rK rL ZaaZzzr r r
rH � s
zParserGenerator.parse_rhsc C sr | j � \ } } xS | j d k s? | j t j t j f k rg | j � \ } } | j | � | } q W| | f S)N�(�[)ra rb )�
parse_itemr= rC r r< �STRINGrS )r rK �br- �dr r r
r_
s
zParserGenerator.parse_altc C s� | j d k rU | j � | j � \ } } | j t j d � | j | � | | f S| j � \ } } | j } | d k r� | | f S| j � | j | � | d k r� | | f S| | f Sd S)Nrb �]�+�*)rh ri )r= r rH rF r rG rS �
parse_atom)r rK rL r= r r r
rc s
zParserGenerator.parse_itemc C s� | j d k rH | j � | j � \ } } | j t j d � | | f S| j t j t j f k r� t � } t � } | j
| | j � | j � | | f S| j d | j | j � d S)Nra �)z+expected (...) or NAME or STRING, got %s/%s) r= r rH rF r rG rC r< rd r` rS � raise_error)r rK rL r r r
rj ( s
zParserGenerator.parse_atomc C sc | j | k s* | d k rL | j | k rL | j d | | | j | j � n | j } | j � | S)Nzexpected %s/%s, got %s/%s)rC r= rl r )r rC r= r r r
rF 9 s *
zParserGenerator.expectc C si t | j � } x/ | d t j t j f k r@ t | j � } q W| \ | _ | _ | _ | _ | _ d S)Nr )
r4 r r �COMMENT�NLrC r= Zbegin�end�line)r �tupr r r
r A s zParserGenerator.gettokenc G sz | rG y | | } WqG d j | g t t t | � � � } YqG Xn t | | j | j d | j d | j f � � d S)N� r r )�joinr �map�str� SyntaxErrorr ro rp )r �msg�argsr r r
rl H s -zParserGenerator.raise_error)r r r r r5 r+ r' r r> r rI rZ r[ rJ rH r_ rc rj rF r rl r r r r
r
s$ . $
r c @ s+ e Z d Z d d � Z d d d � Z d S)r` c C s
g | _ d S)N)r$ )r r r r
r S s zNFAState.__init__Nc C s | j j | | f � d S)N)r$ r& )r r4 r3 r r r
rS V s zNFAState.addarc)r r r r rS r r r r
r` Q s r` c @ sF e Z d Z d d � Z d d � Z d d � Z d d � Z d Z d S)
rP c C s% | | _ | | k | _ i | _ d S)N)rQ r) r$ )r rQ �finalr r r
r ] s zDFAState.__init__c C s | | j | <d S)N)r$ )r r4 r3 r r r
rS e s zDFAState.addarcc C s@ x9 | j j � D]( \ } } | | k r | | j | <q q Wd S)N)r$ r% )r �old�newr3 r4 r r r
r] k s zDFAState.unifystatec C sx | j | j k r d St | j � t | j � k r8 d Sx9 | j j � D]( \ } } | | j j | � k rH d SqH Wd S)NFT)r) r" r$ r% �get)r �otherr3 r4 r r r
�__eq__p s zDFAState.__eq__N)r r r r rS r] r~ �__hash__r r r r
rP [ s
rP z Grammar.txtc C s t | � } | j � S)N)r r5 )r �pr r r
�generate_grammar� s r� N) rV r r r ZGrammarr �objectr r` rP r� r r r r
�<module> s � H
%