Your IP : 216.73.216.213
Z��ZP � @ s� d d l m Z d d l Z d d l m Z y d d l m Z Wn" e k
rd d d l m Z Yn Xy e Wn e k
r� e
Z Yn Xe Z Gd d � d e � Z
Gd d
� d
e � Z Gd d � d e � Z d S)
� )�absolute_importN� )�
TransitionMap)�maxsize)�maxintc @ s| e Z d Z d Z d Z d Z d Z d d � Z d d � Z d d � Z d
d � Z
d d
� Z d d � Z d d � Z
d S)�Machinez1A collection of Nodes representing an NFA or DFA.Nr c C s g | _ i | _ d S)N)�states�initial_states)�self� r �G/opt/alt/python35/lib64/python3.5/site-packages/Cython/Plex/Machines.py�__init__" s zMachine.__init__c C s" x | j D] } | j � q
Wd S)N)r �destroy)r
�stater r r �__del__& s zMachine.__del__c C s< t � } | j } | d | _ | | _ | j j | � | S)z-Add a new state to the machine and return it.r )�Node�next_state_number�numberr �append)r
�s�nr r r � new_state+ s
zMachine.new_statec C s | j � } | j | | � | S)N)r �make_initial_state)r
�namer r r r �new_initial_state4 s zMachine.new_initial_statec C s | | j | <d S)N)r )r
r r r r r r 9 s zMachine.make_initial_statec C s | j | S)N)r )r
r r r r �get_initial_state< s zMachine.get_initial_statec C s� | j d � | j d k ri | j d � x= t | j j � � D]& \ } } | j d | | j f � q? Wx | j D] } | j | � qs Wd S)NzPlex.Machine:
z Initial states:
z '%s': %d
)�writer �sorted�itemsr r �dump)r
�filer r r r r r r ? s
" z Machine.dump)�__name__�
__module__� __qualname__�__doc__r r r r
r r r r r r r r r r r s r c @ s� e Z d Z d Z d Z d Z d Z d Z 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 S)r zA state of an NFA or DFA.Nr c C s t � | _ t | _ d S)N)r � transitions�LOWEST_PRIORITY�action_priority)r
r r r r
Q s z
Node.__init__c C s d | _ d | _ d | _ d S)N)r% �action�epsilon_closure)r
r r r r X s z Node.destroyc C s | j j | | � d S)N)r% �add)r
�eventr r r r �add_transition^ s zNode.add_transitionc C s | j d | � d S)z5Add an epsilon-move from this state to another state.� N)r, )r
r r r r �link_toa s z Node.link_toc C s% | | j k r! | | _ | | _ d S)z�Make this an accepting state with the given action. If
there is already an action, choose the action with highest
priority.N)r' r( )r
r( �priorityr r r �
set_actione s zNode.set_actionc C s | j S)N)r( )r
r r r �
get_actionm s zNode.get_actionc C s | j S)N)r' )r
r r r �get_action_priorityp s zNode.get_action_priorityc C s
| j d k S)N)r( )r
r r r � is_acceptings s zNode.is_acceptingc C s d | j S)NzState %d)r )r
r r r �__str__v s z Node.__str__c C s] | j d | j � | j j | � | j } | j } | d k rY | j d | | f � d S)Nz
State %d:
z %s [priority %d]
)r r r% r r( r' )r
r r( r/ r r r r y s z Node.dumpc C s | j | j k S)N)r )r
�otherr r r �__lt__� s z Node.__lt__)r! r" r# r$ r% r( r' r r) r
r r, r. r0 r1 r2 r3 r4 r r6 r r r r r I s" r c
@ s� e Z d Z d Z d Z d Z d Z d d d d d d d d d d i Z d d
� Z d d � Z d d
d � Z
d d � Z e 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 S)!� FastMachinezd
FastMachine is a deterministic machine represented in a way that
allows fast scanning.
Nr r- �bol�eol�eof�elsec C s i | _ g | _ d S)N)r r )r
r r r r
� s zFastMachine.__init__c C s" x | j D] } | j � q
Wd S)N)r �clear)r
r r r r r � s zFastMachine.__del__c C sM | j } | d | _ | j j � } | | d <| | d <| j j | � | S)Nr r r( )� next_number�new_state_template�copyr r )r
r( r �resultr r r r � s
zFastMachine.new_statec C s | | j | <d S)N)r )r
r r r r r r � s z FastMachine.make_initial_statec C s� t | � t k rt | \ } } | | k r8 | | d <q~ | | k r~ x7 | | k rp | | t | � <| d 7} qG Wn
| | | <d S)Nr; r )�type�tuple�unichr)r
r r+ r r Zcode0�code1r r r �add_transitions� s
zFastMachine.add_transitionsc C s | j | S)N)r )r
r r r r r � s z FastMachine.get_initial_statec C s� | j d � | j d � xD t | j j � � D]- \ } } | j d t | � | d f � q0 Wx! | j D] } | j | | � qk Wd S)NzPlex.FastMachine:
z Initial states:
z
%s: %s
r )r r r r �reprr �
dump_state)r
r r r r r r r � s
"%zFastMachine.dumpc C sP | j d | d � | j | | � | d } | d k rL | j d | � d S)Nz
State %d:
r r( z %s
)r �dump_transitions)r
r r r( r r r rG � s
zFastMachine.dump_statec
C s� i } i } x� | j � D]� \ } } t | � d k r� | j t | � d � } | d k rq g } | | t | � <| j | � q t | � d k r | | | <q Wi } xH | j D]= } | j t | � d � } | r� | j | � }
| | |
<q� W| j � } | j � xB | D]: }
| j |
� } | |
} | j
d | | d f � qWxA d D]9 } | j | d � } | rT| j
d | | d f � qTWd S)
Nr � z %s --> State %d
r r8 r9 r: r; )r8 r9 r: r; ) r �len�get�idr r �chars_to_ranges�keys�sort�ranges_to_stringr )
r
r r Zchars_leading_to_stateZspecial_to_state�cr �charsZranges_to_state� char_listZrangesZ ranges_list�keyr r r rH � s6
z FastMachine.dump_transitionsc C s� | j � d } t | � } g } x� | | k r� t | | � } | } | d 7} x> | | k r� t | | � | d k r� | d 7} | d 7} qT W| j t | � t | � f � q% Wt | � S)Nr r )rO rJ �ordr �chrrB )r
rS �ir r@ �c1�c2r r r rM � s
)
#zFastMachine.chars_to_rangesc C s d j t | j | � � S)N�,)�join�map�range_to_string)r
Z
range_listr r r rP � s z FastMachine.ranges_to_stringc C s@ | \ } } | | k r" t | � Sd t | � t | � f Sd S)Nz%s..%s)rF )r
Z range_tuplerX rY r r r r] � s
zFastMachine.range_to_string)r! r" r# r$ r r r= r> r
r r r r rE r r rG rH rM rP r] r r r r r7 � s" $
r7 )�
__future__r �sysZ Transitionsr r r � ImportErrorrC � NameErrorrV r& �objectr r r7 r r r r �<module> s
-@