MINI MINI MANI MO
3
\m @ s d Z dZddlZddlZddlmZ dZi add ZG dd d e Z
G d
d d e
Z G d d
d
e
Z dd Z
G dd de ZG dd deZG dd deZG dd deZG dd deZdd ZdS ) z
Python parse tree definitions.
This is a very concrete parse tree; we need to keep every token and
even the comments and whitespace between tokens.
There's also a pattern matching implementation here.
z#Guido van Rossum <guido@python.org> N)StringIOic C sH t s<ddlm} x*|jj D ] \}}t|tkr |t |< q W t j| | S )N )python_symbols) _type_reprsZpygramr __dict__itemstypeint
setdefault)Ztype_numr nameval r
&/usr/lib64/python3.6/lib2to3/pytree.py type_repr s r c @ s e Zd ZdZdZdZf ZdZdZdd Z dd Z
dZ dd Z d
d Z
d d
Zdd Zdd Zdd Zdd Zdd Zedd Zedd Zd d Zd d Zd d! Zejd&k rd$d% Z dS )'Basez
Abstract base class for Node and Leaf.
This provides some default functionality and boilerplate using the
template pattern.
A node may be a subnode of at most one parent.
NFc O s | t k stdtj| S )z7Constructor that prevents Base from being instantiated.zCannot instantiate Base)r AssertionErrorobject__new__)clsargskwdsr
r
r r 2 s z Base.__new__c C s | j |j k rtS | j|S )zW
Compare two nodes for equality.
This calls the method _eq().
) __class__NotImplemented_eq)selfotherr
r
r __eq__7 s z Base.__eq__c C s t dS )a_
Compare two nodes for equality.
This is called by __eq__ and __ne__. It is only called if the two nodes
have the same type. This must be implemented by the concrete subclass.
Nodes should be considered equal if they have the same structure,
ignoring the prefix string and other context information.
N)NotImplementedError)r r r
r
r r C s zBase._eqc C s t dS )zr
Return a cloned (deep) copy of self.
This must be implemented by the concrete subclass.
N)r )r r
r
r cloneN s z
Base.clonec C s t dS )zx
Return a post-order iterator for the tree.
This must be implemented by the concrete subclass.
N)r )r r
r
r
post_orderV s zBase.post_orderc C s t dS )zw
Return a pre-order iterator for the tree.
This must be implemented by the concrete subclass.
N)r )r r
r
r pre_order^ s zBase.pre_orderc C s | j dk stt| |dk s"tt|ts2|g}g }d}xR| j jD ]F}|| kr| sht| j j| |f|dk rz|j| d}qD|j| qDW |st| j| |f| j j || j _x|D ] }| j |_ qW d| _ dS )z/Replace this node with a new one in the parent.NFT) parentr str
isinstancelistchildrenextendappendchanged)r newZ
l_childrenfoundchxr
r
r replacef s&
z Base.replacec C s. | }x"t |ts&|jsdS |jd }qW |jS )z9Return the line number which generated the invocant node.Nr )r# Leafr% lineno)r noder
r
r
get_lineno} s zBase.get_linenoc C s | j r| j j d| _d S )NT)r! r( was_changed)r r
r
r r( s
z Base.changedc C sJ | j rFx>t| j jD ].\}}|| kr| j j | j j|= d| _ |S qW dS )z
Remove the node from the tree. Returns the position of the node in its
parent's children before it was removed.
N)r! enumerater% r( )r ir0 r
r
r remove s
z Base.removec C sZ | j dkrdS xFt| j jD ]6\}}|| kr y| j j|d S tk
rP dS X q W dS )z
The node immediately following the invocant in their parent's children
list. If the invocant does not have a next sibling, it is None
Nr )r! r3 r%
IndexError)r r4 childr
r
r next_sibling s
zBase.next_siblingc C sP | j dkrdS x<t| j jD ],\}}|| kr |dkr8dS | j j|d S q W dS )z
The node immediately preceding the invocant in their parent's children
list. If the invocant does not have a previous sibling, it is None.
Nr r )r! r3 r% )r r4 r7 r
r
r prev_sibling s
zBase.prev_siblingc c s" x | j D ]}|j E d H qW d S )N)r% leaves)r r7 r
r
r r: s z Base.leavesc C s | j d krdS d| j j S )Nr r )r! depth)r r
r
r r; s
z
Base.depthc C s | j }|dkrdS |jS )z
Return the string immediately following the invocant node. This is
effectively equivalent to node.next_sibling.prefix
N )r8 prefix)r Znext_sibr
r
r
get_suffix s zBase.get_suffix r c C s t | jdS )Nascii)r" encode)r r
r
r __str__ s z Base.__str__)r? r ) __name__
__module__ __qualname____doc__r r! r% r2 Z was_checkedr r __hash__r r r r r- r1 r( r5 propertyr8 r9 r: r; r> sys version_inforB r
r
r
r r s0
r c @ s e Zd ZdZd ddZdd Zdd Zejd kr4eZ d d Z
d
d Z dd Z dd Z
dd Zdd ZeeeZdd Zdd Zdd ZdS ) Nodez+Concrete implementation for interior nodes.Nc C sx |dkst ||| _t|| _x*| jD ] }|jdksBt t|| |_q(W |dk rZ|| _|rn|dd | _nd| _dS )z
Initializer.
Takes a type constant (a symbol number >= 256), a sequence of
child nodes, and an optional context keyword argument.
As a side effect, the parent pointers of the children are updated.
N)r r r$ r% r! reprr= fixers_applied)r r r% contextr= rN r+ r
r
r __init__ s
z
Node.__init__c C s d| j jt| j| jf S )z)Return a canonical string representation.z
%s(%s, %r))r rC r r r% )r r
r
r __repr__ s z
Node.__repr__c C s dj tt| jS )zk
Return a pretty string representation.
This reproduces the input source exactly.
r< )joinmapr" r% )r r
r
r __unicode__ s zNode.__unicode__r? r c C s | j | jf|j |jfkS )z Compare two nodes for equality.)r r% )r r r
r
r r s zNode._eqc C s t | jdd | jD | jdS )z$Return a cloned (deep) copy of self.c S s g | ] }|j qS r
)r ).0r+ r
r
r
<listcomp> s z Node.clone.<locals>.<listcomp>)rN )rK r r% rN )r r
r
r r s z
Node.clonec c s( x | j D ]}|j E dH qW | V dS )z*Return a post-order iterator for the tree.N)r% r )r r7 r
r
r r s zNode.post_orderc c s( | V x | j D ]}|j E dH qW dS )z)Return a pre-order iterator for the tree.N)r% r )r r7 r
r
r r
s zNode.pre_orderc C s | j s
dS | j d jS )zO
The whitespace and comments preceding this node in the input.
r< r )r% r= )r r
r
r _prefix_getter s zNode._prefix_getterc C s | j r|| j d _d S )Nr )r% r= )r r= r
r
r _prefix_setter s zNode._prefix_setterc C s( | |_ d| j| _ || j|< | j dS )z
Equivalent to 'node.children[i] = child'. This method also sets the
child's parent attribute appropriately.
N)r! r% r( )r r4 r7 r
r
r set_child! s
zNode.set_childc C s | |_ | jj|| | j dS )z
Equivalent to 'node.children.insert(i, child)'. This method also sets
the child's parent attribute appropriately.
N)r! r% insertr( )r r4 r7 r
r
r insert_child+ s zNode.insert_childc C s | |_ | jj| | j dS )z
Equivalent to 'node.children.append(child)'. This method also sets the
child's parent attribute appropriately.
N)r! r% r' r( )r r7 r
r
r append_child4 s zNode.append_child)NNN)r? r )rC rD rE rF rP rQ rT rI rJ rB r r r r rW rX rH r= rY r[ r\ r
r
r
r rK s$
rK c @ s e Zd ZdZdZdZdZddg fddZdd Zd d
Z e
j dkrFe Z d d
Z
dd Zdd Zdd Zdd Zdd Zdd ZeeeZdS )r. z'Concrete implementation for leaf nodes.r< r Nc C sf d| kodk n s t ||dk r:|\| _\| _| _|| _|| _|dk rT|| _|dd | _dS )z
Initializer.
Takes a type constant (a token number < 256), a string value, and an
optional context keyword argument.
r rL N)r _prefixr/ columnr valuerN )r r r_ rO r= rN r
r
r rP G s
z
Leaf.__init__c C s d| j j| j| jf S )z)Return a canonical string representation.z
%s(%r, %r))r rC r r_ )r r
r
r rQ Z s z
Leaf.__repr__c C s | j t| j S )zk
Return a pretty string representation.
This reproduces the input source exactly.
)r= r" r_ )r r
r
r rT ` s zLeaf.__unicode__r? c C s | j | jf|j |jfkS )z Compare two nodes for equality.)r r_ )r r r
r
r r k s zLeaf._eqc C s$ t | j| j| j| j| jff| jdS )z$Return a cloned (deep) copy of self.)rN )r. r r_ r= r/ r^ rN )r r
r
r r o s
z
Leaf.clonec c s
| V d S )Nr
)r r
r
r r: u s z Leaf.leavesc c s
| V dS )z*Return a post-order iterator for the tree.Nr
)r r
r
r r x s zLeaf.post_orderc c s
| V dS )z)Return a pre-order iterator for the tree.Nr
)r r
r
r r | s zLeaf.pre_orderc C s | j S )zP
The whitespace and comments preceding this token in the input.
)r] )r r
r
r rW s zLeaf._prefix_getterc C s | j || _d S )N)r( r] )r r= r
r
r rX s zLeaf._prefix_setter)r? r )rC rD rE rF r] r/ r^ rP rQ rT rI rJ rB r r r: r r rW rX rH r= r
r
r
r r. > s&
r. c C sN |\}}}}|s|| j kr<t|dkr.|d S t|||dS t|||dS dS )z
Convert raw node information to a Node or Leaf instance.
This is passed to the parser driver which calls it whenever a reduction of a
grammar rule produces a new complete node, so that the tree is build
strictly bottom-up.
r r )rO N)Z
number2symbollenrK r. )ZgrZraw_noder r_ rO r% r
r
r convert s ra c @ sP e Zd ZdZdZdZdZdd Zdd Zdd Z dd d
Z
dd d Z d
d Z dS ) BasePatterna
A pattern is a tree matching pattern.
It looks for a specific node type (token or symbol), and
optionally for a specific content.
This is an abstract base class. There are three concrete
subclasses:
- LeafPattern matches a single leaf node;
- NodePattern matches a single node (usually non-leaf);
- WildcardPattern matches a sequence of nodes of variable length.
Nc O s | t k stdtj| S )z>Constructor that prevents BasePattern from being instantiated.z Cannot instantiate BasePattern)rb r r r )r r r r
r
r r s zBasePattern.__new__c C sL t | j| j| jg}x|r.|d d kr.|d= qW d| jjdjtt|f S )Nr z%s(%s)z, rc ) r r contentr r rC rR rS rM )r r r
r
r rQ s
zBasePattern.__repr__c C s | S )z
A subclass can define this as a hook for optimizations.
Returns either self or another node with the same effect.
r
)r r
r
r optimize s zBasePattern.optimizec C sn | j dk r|j | j krdS | jdk rRd}|dk r4i }| j||sDdS |rR|j| |dk rj| jrj||| j< dS )a#
Does this pattern exactly match a node?
Returns True if it matches, False if not.
If results is not None, it must be a dict which will be
updated with the nodes matching named subpatterns.
Default implementation for non-wildcard patterns.
NFT)r rd _submatchupdater )r r0 resultsrr
r
r match s
zBasePattern.matchc C s t |dkrdS | j|d |S )z
Does this pattern exactly match a sequence of nodes?
Default implementation for non-wildcard patterns.
r Fr )r` rj )r nodesrh r
r
r match_seq s zBasePattern.match_seqc c s& i }|r"| j |d |r"d|fV dS )z}
Generator yielding all matches for this pattern.
Default implementation for non-wildcard patterns.
r r N)rj )r rk ri r
r
r generate_matches s z BasePattern.generate_matches)N)N)
rC rD rE rF r rd r r rQ re rj rl rm r
r
r
r rb s
rb c @ s* e Zd ZdddZd ddZd
ddZdS ) LeafPatternNc C s\ |dk r(d| kodk n s(t ||dk rFt|tsFt t||| _|| _|| _dS )ap
Initializer. Takes optional type, content, and name.
The type, if given must be a token type (< 256). If not given,
this matches any *leaf* node; the content may still be required.
The content, if given, must be a string.
If a name is given, the matching node is stored in the results
dict under that key.
Nr rL )r r# r" rM r rd r )r r rd r r
r
r rP s zLeafPattern.__init__c C s t |tsdS tj| ||S )z*Override match() to insist on a leaf node.F)r# r. rb rj )r r0 rh r
r
r rj s
zLeafPattern.matchc C s | j |jkS )a
Match the pattern's content to the node's children.
This assumes the node type matches and self.content is not None.
Returns True if it matches, False if not.
If results is not None, it must be a dict which will be
updated with the nodes matching named subpatterns.
When returning False, the results dict may still be updated.
)rd r_ )r r0 rh r
r
r rf s
zLeafPattern._submatch)NNN)N)N)rC rD rE rP rj rf r
r
r
r rn s
rn c @ s$ e Zd ZdZdddZdddZdS ) NodePatternFNc C s |dk r|dkst ||dk r|t|t s8t t|t|}x:t|D ].\}}t|tsht ||ft|trJd| _qJW || _ || _
|| _ dS )ad
Initializer. Takes optional type, content, and name.
The type, if given, must be a symbol type (>= 256). If the
type is None this matches *any* single node (leaf or not),
except if content is not None, in which it only matches
non-leaf nodes that also match the content pattern.
The content, if not None, must be a sequence of Patterns that
must match the node's children exactly. If the content is
given, the type must not be None.
If a name is given, the matching node is stored in the results
dict under that key.
NrL T) r r# r" rM r$ r3 rb WildcardPattern wildcardsr rd r )r r rd r r4 itemr
r
r rP % s
zNodePattern.__init__c C s | j rJx>t| j|jD ],\}}|t|jkr|dk r>|j| dS qW dS t| jt|jkrbdS x*t| j|jD ]\}}|j||srdS qrW dS )a
Match the pattern's content to the node's children.
This assumes the node type matches and self.content is not None.
Returns True if it matches, False if not.
If results is not None, it must be a dict which will be
updated with the nodes matching named subpatterns.
When returning False, the results dict may still be updated.
NTF)rq rm rd r% r` rg ziprj )r r0 rh cri
subpatternr7 r
r
r rf B s
zNodePattern._submatch)NNN)N)rC rD rE rq rP rf r
r
r
r ro ! s
ro c @ s^ e Zd ZdZddedfddZdd Zddd Zdd
d Zd d
Z dd Z
dd Z dd Z dS )rp a
A wildcard pattern can match zero or more nodes.
This has all the flexibility needed to implement patterns like:
.* .+ .? .{m,n}
(a b c | d e | f)
(...)* (...)+ (...)? (...){m,n}
except it always uses non-greedy matching.
Nr c C s d| ko | ko t kn s.t||f|dk rzttt|}t|sXtt|x |D ]}t|s^tt|q^W || _|| _|| _|| _ dS )a
Initializer.
Args:
content: optional sequence of subsequences of patterns;
if absent, matches one node;
if present, each subsequence is an alternative [*]
min: optional minimum number of times to match, default 0
max: optional maximum number of times to match, default HUGE
name: optional name assigned to this match
[*] Thus, if content is [[a, b, c], [d, e], [f, g, h]] this is
equivalent to (a b c | d e | f g h); if content is None,
this is equivalent to '.' in regular expression terms.
The min and max parameters work as follows:
min=0, max=maxint: .*
min=1, max=maxint: .+
min=0, max=1: .?
min=1, max=1: .
If content is not None, replace the dot with the parenthesized
list of alternatives, e.g. (a b c | d e | f g h)*
r N)
HUGEr tuplerS r` rM rd minmaxr )r rd rx ry r altr
r
r rP l s .
zWildcardPattern.__init__c C s d}| j dk r<t| j dkr<t| j d dkr<| j d d }| jdkr| jdkr| j dkrft| jdS |dk r| j|jkr|j S | jdkrt|tr|jdkr| j|jkrt|j | j|j | j|j |jS | S )z+Optimize certain stacked wildcard patterns.Nr r )r ) rd r` rx ry ro r re r# rp )r ru r
r
r re s
zWildcardPattern.optimizec C s | j |g|S )z'Does this pattern exactly match a node?)rl )r r0 rh r
r
r rj s zWildcardPattern.matchc C sR xL| j |D ]>\}}|t|kr |dk rF|j| | jrFt||| j< dS q W dS )z4Does this pattern exactly match a sequence of nodes?NTF)rm r` rg r r$ )r rk rh rt ri r
r
r rl s
zWildcardPattern.match_seqc c s: | j dkrXxJt| jdtt|| j D ]*}i }| jrH|d| || j< ||fV q(W n| jdkrp| j|V nttdrtj }t
t_ zy@x:| j |dD ]*\}}| jr|d| || j< ||fV qW W nR t k
r x:| j
|D ],\}}| jr
|d| || j< ||fV qW Y nX W dttdr4|t_ X dS )a"
Generator yielding matches for a sequence of nodes.
Args:
nodes: sequence of nodes
Yields:
(count, results) tuples where:
count: the match comprises nodes[:count];
results: dict containing named submatches.
Nr Z bare_name getrefcountr )rd rangerx r` ry r _bare_name_matcheshasattrrI stderrr _recursive_matches RuntimeError_iterative_matches)r rk countri Z save_stderrr
r
r rm s.
"
z WildcardPattern.generate_matchesc c s t |}d| jkr di fV g }x>| jD ]4}x.t||D ] \}}||fV |j||f q8W q(W x|rg }x|D ]\}} ||k rr|| jkrrxn| jD ]d}x^t|||d D ]H\}
} |
dkri }|j| |j| ||
|fV |j||
|f qW qW qrW |}qbW dS )z(Helper to iteratively yield the matches.r N)r` rx rd rm r' ry rg ) r rk Znodelenrh rz rt ri Z new_resultsc0r0c1r1r
r
r r s*
z"WildcardPattern._iterative_matchesc C sx d}i }d}t |}xH| r\||k r\d}x0| jD ]&}|d j|| |r0|d7 }d}P q0W qW |d| || j< ||fS )z(Special optimized matcher for bare_name.r FTr N)r` rd rj r )r rk r ri donery Zleafr
r
r r} s
z"WildcardPattern._bare_name_matchesc c s | j dk st|| jkr"di fV || jk rxr| j D ]h}xbt||D ]T\}}xJ| j||d |d D ].\}}i }|j| |j| || |fV qfW qDW q4W dS )z(Helper to recursively yield the matches.Nr r )rd r rx ry rm r rg ) r rk r rz r r r r ri r
r
r r s
"
z"WildcardPattern._recursive_matches)N)N)
rC rD rE rF rv rP re rj rl rm r r} r r
r
r
r rp ^ s #
- rp c @ s. e Zd Zd
ddZdd Zdd Zdd ZdS ) NegatedPatternNc C s( |dk r t |ts tt||| _dS )a
Initializer.
The argument is either a pattern or None. If it is None, this
only matches an empty sequence (effectively '$' in regex
lingo). If it is not None, this matches whenever the argument
pattern doesn't have any matches.
N)r# rb r rM rd )r rd r
r
r rP s zNegatedPattern.__init__c C s dS )NFr
)r r0 r
r
r rj ) s zNegatedPattern.matchc C s t |dkS )Nr )r` )r rk r
r
r rl - s zNegatedPattern.match_seqc c sL | j d kr"t|dkrHdi fV n&x| j j|D ]
\}}d S W di fV d S )Nr )rd r` rm )r rk rt ri r
r
r rm 1 s
z NegatedPattern.generate_matches)N)rC rD rE rP rj rl rm r
r
r
r r s
r c c s | sdi fV n| d | dd }}xl|j |D ]^\}}|sJ||fV q2xDt |||d D ].\}}i }|j| |j| || |fV q^W q2W dS )aR
Generator yielding matches for a sequence of patterns and nodes.
Args:
patterns: a sequence of patterns
nodes: a sequence of nodes
Yields:
(count, results) tuples where:
count: the entire sequence of patterns matches nodes[:count];
results: dict containing named submatches.
r r N)rm rg ) Zpatternsrk prestr r r r ri r
r
r rm = s
rm )rF
__author__rI warningsior rv r r r r rK r. ra rb rn ro rp r rm r
r
r
r <module> s&
1nNV,= =#
OHA YOOOO