Lib.Krakatau.java.structuring.pyc Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of krakatau-lib Show documentation
Show all versions of krakatau-lib Show documentation
Assembler, disassebmler, decompiler and compiler tools library for Java.
?
?HRc @ s? d d l Z d d l Z d d l Z e j Z d d l m Z d d l m Z d d l m Z d d l
m Z d d l m
Z
m Z m Z m Z m Z m Z d e f d
? ? YZ d e f d ? ? YZ e j ? Z d
d d d d f Z d e f d ? ? YZ d ? Z d ? Z d ? Z d ? Z d ? Z d ? Z d ? Z d ? Z! d ? Z" d ? Z# d ? Z$ d ? Z% d ? Z& d! ? Z' d" e f d# ? ? YZ( d$ ? Z) d% ? Z* d& ? Z+ d' ? Z, d( d) ? Z- d* ? Z. d S(+ i????Ni ( t
graph_utili ( t
graphproxy( t ssa_jumps( t ExceptionSet( t SEBlockItemt SEScopet SEIft SESwitcht SETryt SEWhilet
DominatorInfoc B s5 e Z d ? Z d ? Z d ? Z d ? Z d ? Z RS( c s? i | f | 6| _ } | g } xC| re| j ? } | | k sG t ? x| j D]
} | | | f ? | j | ? } ? | k r? | d k r? ? n t ? f d ? | D? ? ? | ? d k s? t ? n | d k r)? | k s t ? ? t | ? k s t ? ? d | k r ? d | k s)t ? n ? | k rQ ? | | <| | k r^| j | ? q^qQ qQ Wq# Wt | j ? | _
| | _ d S( Nc 3 s! | ] } | ? k r | Vq d S( N( ( t .0t x( t new( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys , s i????i ( t _domst popt AssertionErrort
successorst gett Nonet tuplet lent appendt sett nodesett root( t selfR t domst stackt curt childt old( ( R
s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt __init__" s( . *)
c C s | j | S( N( R ( R t node( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt
dominators8 s c C sL g t t | j j | ? ? D]$ } t t | ? ? d k r | ^ q d d S( s! Get the common dominator of nodesi i????i ( t zipt mapR R R R ( R t nodesR ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt dominator; s c s# t ? f d ? | j j ? D? ? S( Nc 3 s' | ] \ } } ? | k r | Vq d S( N( ( R t kt v( R! ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys A s ( R R t items( R R! ( ( R! s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt area? s c s4 | j | ? ? t j | ? f d ? ? } t | ? S( Nc s | ? k r g S| j S( N( t predecessors( R ( t dom( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt E s ( R& R t topologicalSortR ( R R% t temp( ( R, s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt extendC s ( t __name__t
__module__R R" R& R* R0 ( ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR
! s
t ScopeConstraintc B s e Z d ? Z RS( c C s | | _ | | _ d S( N( t lboundt ubound( R R4 R5 ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR J s ( R1 R2 R ( ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR3 I s t whilet tryt switcht ift scopet CompoundConstraintc B s e Z d ? Z d ? Z e Z RS( c C s | t k s t ? | | _ | | _ | | _ | d k rH t | g ? n t ? | _ t ? | _ | _ t
? j g | j D] } | j ^ qz ? | _ t
? j g | j D] } | j
^ q? ? | _
| d k r? | j j | ? | j
j | ? n | j
| j k s
t ? t t ? | _ d S( N( t
_gcon_tagsR t tagt scopest headR t frozensett headst forcedupt
forceddownR t unionR4 R5 t addt nextt _countt id( R R= R? R> R: ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR Q s '.. c C s | j t | j ? S( N( R= t strRH ( R ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt __str__b s ( R1 R2 R RJ t __repr__( ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR; P s c C s{ | j | ? } | j | g g | j D] } | | k r% | ^ q% ? } t | ? d k s_ t ? t d d t | | ? g ? S( Ni R6 ( R* R0 R+ R R R; R R3 ( R, R? R5 t n2R4 ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt WhileCone s 8c C s? t | g ? } t | | j ? ? } t d d | g ? } t ? | _ t ? | _ | | _ | | _ | | _ t
| j j ? d k s? t ? | j j d | _
| S( NR7 i i ( R R3 t copyR; R RB RC t targett csett catchvarR R R t orig_target( t trynodeRO RP RQ t tryboundt tryscopeR
( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt TryConk s c C s" t d d t | | j ? ? g ? S( NR: ( R; R R3 RN ( R4 ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt
FixedScopeCon{ s c
s? | } g } x?| r?g } t | ? ? t j | ? f d ? ? } x?| D]?} t | ? d k rg qI n t | ? ? g | D] } ? j | j ? sz | ^ qz } t | ? d k r? | d } n? d Gd j t | ? t | ? ? GH? f d ? } g | D]* } | t j | t j | | ? ? f ^ q? }
x! |
D] \ } } | j
| ? q+Wt |
d d ? ?\ } } | | k sut ? d j t | ? ? GHt
j | ? ? } | | 7} | | 7} | j | ? | j
| ? | j | ? qI W| } q W| S(
Nc s& g | j D] } | ? k r
| ^ q
S( N( R+ ( t blockR ( R/ ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR- ? s i i sR Warning, multiple entry point loop detected. Generated code may be extremely larges ({} entry points, {} blocks)c s6 | | k r g Sg | j D] } | ? k r | ^ q S( N( R ( R? RX R ( t scc_set( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt loopSuccessors? s t keyc S s" t | d ? t | d j ? f S( Ni i ( R R+ ( t t( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR- ? s s Duplicating {} nodes( R R t tarjanSCCR t
issupersetR+ t formatR. t functoolst partialt removet minR R t duplicateNodesR0 R (
R% t todot while_headst newtodot sccst scct nt entriesR? RZ t reachest reachablet newnodes( ( RY R/ s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt structureLoops s<
+
7
c C s? g | D]- } | j r t | j j t j ? r | ^ q } g } xD| D]<} | j j j } | j j j d } i } g } | j | | j | | f ? t j
} x2 | j j ? D]! } | | @ s? t
? | | O} q? W| | j k s? t
? x?| j j ? D]?\ }
} | j |
j t f } | | | <| j j | ? | j j | ? g t | j | | j ? D] \ } }
| | k r`|
^ q`} t | ? d k s?t
? | r?| j ? n d } g | j | D] } | | k r?d n | ^ q?} | j | =x? | j ? D]~ } t j | j | d ? } | j g ? } | j j | ? | j j | ? | | j | <| j | ? | j | | | f ? q?Wq? WqG W| S( Ni i ( RX t
isinstancet jumpR t OnExceptiont cst paramsR t maskR t EMPTYt setst valuesR R) t blockdictR[ t TrueR+ Rb R R# t outvarst invarsR R R t getTopTTst fromTopst envt
indirectEdgest eassigns( R% Rj t
thrownodest newinfost managert thrownvart mycsetst
mytryinfosR/ RP t handlert ent v1t v2t
caughtvarst caughtvarR( R{ t ttt topR
( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt structureExceptions? s@ :
>2
"c s? t | ? ? g | D]- } | j r t | j j t j ? r | ^ q } g | D]- } | j rM t | j j t j ? rM | ^ qM } g } x?| D]?} | j } g | D]! } | ? j | ? k r? | ^ q? } g | D] } | | k r? | ^ q? } ? f d ? | D? }
i } xm | D]e } g |
j ? D]$ \ } }
|
j
| j ? s%| ^ q%| | <| | | k r| | j | ? qqWt
j | | j ? } i } x? | D]? } | | r?t | | ? d k o?| | d | k } | o?| j | | d | ? | k } | s1| j | ? | j | ? |
| =| | =q1q?q?Wg | D] } | | k r<| ^ q<} g } xk | D]c } | } | j | ? xG | | r?| | | d | k s?t ? | | d } | j | ? q?WqgW| d d d ? } x: | D]2 } | j | g ? } | j | ? | j | ? q?Wt | ? t | ? k oQt | ? t | ? k n s\t ? | j | | f ? q? Wg } x] | D]U } | j } g | D] } | j | g ? ^ q?} | j | ? | j | | f ? q?W| | f S( Nc s" i | ] } ? j | ? | ? q S( ( R* ( R R ( R, ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys
? s i i i????( R
RX Rp Rq R t Switcht IfR R" R) t
isdisjointR+ Rb R R. R R t
setdefaultR R R? R0 ( t entryNodeR% Rj t switchnodest ifnodest switchinfost targetsR t badt goodt domainst parentsR' R( t
depthfirstt chosenChildRO t isOkt leavest orderedt leafR R
t ifinfos( ( R, s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt structureConditionals? s^ ::
.%
;
*&
%
>
%
c s g } x$ | D] } | j t | | ? ? q
Wd ? | D? ? t ? f d ? ? } xK | D]C \ } } }
} x. |
j ? D] \ } }
| | | c |
8 s c s
? j ? S( N( RN ( ( t masks( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR- s t repeati R8 R9 ( R RM t ddictR) Rx t keysRV t itertoolst productRP R RB RE RC RR RN t forbiddenR? t allR0 t reversedR" R+ R* R3 R; t listR ( R, Rf t newtryinfosR? R? t constraintsR? t forbid_dictsRj Ru t csetst tryinfost otRP t forbidR' R? RO R? t const cont con2R? t lastR> R t fallthroughsR4 R5 R? ( ( R? s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt createConstraints sj
1"
.
c C s d } t t ? } t ? } t | ? } t | j ? | k sB t ? xv | D]n } | j | k sd t ? | j | k sy t ? x; | j D]0 } | j | k s? t ? | j | k s? t ? q? WqI W| } x?| rXg }
| d g } t | ? } t ? }
t ? } xJ| rH| j ? } | | k r0| j
| ? q? n |
j | ? | g | j D]( } | | k rJ| j
| ? rJ| ^ qJ7} | g | j
D]( } | | k r?| j
| ? r?| ^ q?7} | j j |
? s? |
| j O}
| j |
? }
g | D] } |
| j @r?| ^ q?} | g | D]( } | | k r| j
| ? r| ^ q7} q? q? W|
| k s[t ? |
rv|
| j |
? k s|t ? g |
D] } | j j |
? r?| ^ q?} g |
D] } | j j | ? r?| ^ q?} g } x? | D]? } t t ? } t } x? |
D]? } | | k rq?n g | j D] } | j | j @r | ^ q } t | ? d k sn| d j j | j ? rxt } Pn | | d c | j O R RE R RB RC t issubsetR0 R^ t FalseR Rz R) RA RD R? t intersectionRb RW ( R, R? R% t DummyParentt childrent frozent node_sett itemR: Re R) t queuet isett nsetR? t i2t hitst it
candidatest cscope_assignst cnodet svalsR? t sR> t extt parentR/ R' R( R t croot( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt orderConstraintsW s?
<<
&@!++
,,!%:
%c si i ? x? ? j ? D]? \ } } xr | D]j } g | j D] } | j | j @r6 | ^ q6 } | ? k rv t | ? d k s| t ? | | d f ? | R4 Rb ( R? R? t pscopeR R? R> ( R? R? ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt removeFromTree? s ,c s? g | j D] } | j | j @r
| ^ q
} | | d f ? | R4 R R Rb ( R? R? R? R> R: t cR? R ( R? R? ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt insertInTree? s ,
-
c S sN xG | j D]< } | | k r
| | c | j 8<| | sF | | =qF q
q
Wd S( N( R4 RP ( R? t newdownRj ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt unforbid? s
c s | j | B} | j | B} | | k s, t ? | j | ? | | @rG t S? j | j | B? } t | j ? } x | D] }
| |
j M} qs Wx? t } ? | \ } }
x? | | j
d k r? | n |
j k sT| j
d k r| | k r? | | t j t ? t ? | ? } | sPqn | | j O} | | k s=| | k rAt S? | \ } }
q? W| r? Pq? q? x/ ? | D]# } | j | @rm| | j O} qmqmW| | k s?t S| j
| B} | j j ? } x" | | j D] } ? | | ? q?Wt | j ? ? s?t ? x?| D]?} | | k r| | | @r| | | @} g ? D] } | | k r9| ^ q9} g | D]- } | | j k r^| j j | ? r^| ^ q^} g | D] } | j
| @r?| ^ q?} g | D]$ } | | k r?| | k r?| ^ q?} x? | D]? } | | k rq?n | j | | } | j | ? x | D] } ? | | ? q,W| | k sUt ? | | O} | | j | t j ? @} | s?Pq?q?W| r?| | j k s?| | j
s?t ? t SqqW| j | ? s?t ? t | j ? ? s?t ? x# | D] }
|
j | k s?t ? q?W| | _ | | _
| | _ | | _ | | _ | j ? | j d _ | j ? | j d _ x0 | j D]% } | j j | ? | j | O_ qoWxh | j D]] } ? | j | ? x% | | j D] } ? | j | ? q?W| j j | ? | j | O_ q?W? | ? ? | | ? t S( NR7 i ( RB RC R t discardR? R0 R4 R R5 Rz R= R Rv RP R? RN R? Rx R? RE R R? R> ( R? t newblockst xCSett xUpst xDownst removedRB RC t bodyR5 t tcont doneR? R? R RP R? R? R! R? R? R? t topndR/ R
t new2( R? R, R? R? R? t tryExtendt tryconsR? ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR? ? s?
'%
%:&1
"
R7 c s | ? k r ? | g Sg S( N( ( t cn( R? ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR- P s R[ c s& g | j D] } | ? k r
| ^ q
S( N( R ( R! R ( t backnodes( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR- ^ s c sq t ? | g ? } | j ? j k rm | j ? j | Bk rm | j ? j | Bk rj | j ? j sg t Sqj qm n t S( N( R R4 RC RB RP Rz R? ( R? t okdiff( R? ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt
removeablel s
c s s | ] } | j Vq d S( N( RO ( R R? ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys ? s c S s& i | ] \ } } | | j d ? q S( i ( R ( R R' R( ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys
? s (" R) R> R4 R R R R= R R. t sortedt indexRc R" RO R5 RR R? RB Rb RP RC RE R? R@ RN R+ R R{ R? R R? R R
R ( R, R? R? R% R' Rs R R? R> t topoorderR? t tryheadt
catchreachR? R? t successR? R? R? t
removed_nodesR: RU Rj R! R R/ t eaR? R? ( (
R? R? R? R, R? R? R? R? R? R? s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt mergeExceptions? s?
,$
$j(
!7.(
/
$'%%
%
+.
!
c s x| D]? ? j d k r" q n t ? j g ? } | j ? j ? } t | | ? } ? j j | ? ? j ? ? j d } t j ? t ? ? ? f d ? | j
D? ? | _
? ` | j | j B? _ | j
| j
B? _
| j j
| j
? s? t ? | j
j | j
? s t ? q Wd S( NR7 i c 3 s. | ]$ } ? ? j j | ? ? @s | Vq d S( N( R? R ( R R ( R? RP t empty( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys ? s ( R= R RO R* R3 R> R RP R Rv R5 R? R4 R? R R? ( R, R? R4 R5 t cscopet tscope( ( R? RP R? s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt fixTryConstraints? s
(c C s? | j | ? } | | j | ? M} | | k } xp | s? t } x] t | ? D]O } | | k rb qJ n x4 | j D]) } | | k rl t } | j | ? Pql ql WqJ Wq1 W| | j | ? k s? t ? | j | ? s? t ? | | j | ? k s? t ? | S( N(
R& R* Rz R? t predecessors_nlR? Rb R0 R R^ ( R, R4 R5 t udomR? R t y( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt _dominatorUBoundClosure? s"
c C s? t j g | D]$ } | | k r
| t | f f ^ q
? } t d ? | D? ? } xY| r?| j ? \ } }
} |
p~ | | k } | | k o? | | k }
| r6| | k r? | d f Sg | j D] } | | k r? | ^ q? } xV | D]K } | t f | k r? | j | t f ? | j | t | | f f ? q? q? Wn |
rS | | } | t f | k r?| j | t f ? | j | t | | f f ? q?qS qS Wd t d ? | D? ? f Sd S( Nc s s | ] } | t f Vq d S( N( Rz ( R Rj ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys ? s c s s! | ] \ } } | r | Vq d S( N( ( R R t front( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys
s (
t collectionst dequeRz R t popleftR t
successors_nlRE R R? ( t
startnodest startsett endsett usedt backedget boundRj R? t seent post lastfwt patht canfwdt canbackR R t pos2( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt _augmentingPath? s( :
(
'
'c C s1 t | ? } t | ? } | | B} t ? } i } x? t | | | | | | ? \ } } | d k rm | | | @BS| d | k r? | d | k s? t ? x? t | d | ? D] \ } }
|
| j k r? | | k s? t ? | | |
k s&t ? q? | j | ? |
| | <| | d k | | k k s? t ? q? Wq4 d S( Ni i????( N( R@ R R R R R# t norm_suc_nlRE ( R t endnodesR R R R R R t lastseenR R? ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt _mincut s"
! &
c s? i } x? | j ? D]t \ } } xe | D]] } g | j D]! } | j j | j ? r6 | ^ q6 } t | ? d k su t ? | d | | + s R[ c s$ ? ? j | j ? t | j ? f S( N( R& R4 R R5 ( R? ( R, t nodeorder( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR- 4 s c s s= | ]3 } | j d k s1 t | j j t j ? r | Vq d S( N( RX R Rp Rq R t Return( R Rj ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys F s ( R) R> R4 R? R R R R. R t enumerateR R? R R5 R^ R? RN R R R? t chainRE R R@ t updateR0 R ( R, R? R? t isClinitt parentscopeR' R( R R: t pscopesR R? t revordert frozen_nodesR? R? R> R5 t otherR? R/ Rj t partsR R R R t interiort newchildrenR? ( ( R, R s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt completeScopes" sj
1 " ,
+> +>/
*
* -t _mnodec B s e Z d ? Z d ? Z e Z RS( c C s" | | _ t ? | _ g | _ d S( N( R? R R% R) ( R R? ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR s s c C s d t | j ? d S( Nt Mi ( RI R? ( R ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyRJ y s ( R1 R2 R RJ RK ( ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR# r s c s` ? f d ? | D? ? x? t | d | ?D]? } x? | j D]? } | | k rQ q9 n t g t ? | ? | ? D] \ } } | | k rl | ^ ql ? } | r? ? | | ? | | k s? t ? ? | | ? | | j D]3 } | | k r?q?n t | _ | j | j 7_ q?W| j | j | _ x! | j d D] } t | _ q:Wn | j s_t ? t t | j ? ? t | j ? k sVt ? qVWg } xn | D]f } | j s?q?n t ? g } } x+ | j D] } | | j O} | | j 7} q?W| j
| | f ? q?Wt t j! j" t | ? d ? ? } t | ? t | ? k rVt | ? t | ? k s\t ? | S( Nc s" i | ] } ? j | ? | ? q S( ( R" ( R Rj ( R, ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys
s R[ c 3 s) | ] } ? | d | k r | Vq d S( i????N( ( R Rj ( t domC( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys ? s c s s! | ] } | t | ? f Vq d S( N( R# ( R R' ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys ? s i????i c sG i | ]= } d g g ? | d D] } | ? k r! | ^ q! | ? q S( i????N( R ( R t ht h2( R% t mdata( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys
? s i c s s | ] } | j d k Vq d S( R8 N( R= ( R R? ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys ? s i c S s | j S( N( R? ( t mn( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR- ? s c s s | ] } t | j ? Vq d S( N( R R? ( R R) ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys ? s c S s | j t | j ? | j f S( N( t depthR t subtreet tiebreak( R) ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR- ? s c s s | ] } | j Vq d S( N( R* ( R R) ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys ? s c s s | ] \ } } | | Vq d S( N( ( R R? t d( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys ? s (# R? R R R# R R R? t OrderedDictR% RE R& R4 R) R R? Rb Rz R? t selectedR+ R* t anyR, R? R R. Rx t sumt maxR R? R? R? R t
from_iterable( R, t rno_getR? t childconsRj RL R R? t matchRA R? R? R& R? R' t domPrunedt mnodet mnode2R t successort depthsR/ R t subnodet resultsR R% R) ( ( R, R% R( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt
_addBreak_sub| s? B(
1%
& 3@ ,
& .
"6c C s? t j | j g d ? ? } d ? t | ? D? } | j } | g } x`| r?| j ? } | | } g } | | ? s i i ( R R. R R R R R> R4 R> R R0 R RW R t _checkNested( R, R? R? R? R R4 R R? t oldchildrenR! R: R? t subconsR= R\ R% R) R
( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt addBreakScopes? s, +/%
c s? d ? | D? } t j | g ? f d ? ? } x?| D]z} g } x? | j D]? } | j } | j | ? }
g } x? |
d k r? | |
} | |
=| j | ? g | j D] }
|
| k r? |
^ q? } t | ? d k s? t ? | r? | d n d }
qr Wt
| ? } | j | ? | j t | ? k sK t ? qK W| j
d
k rl| | j } t | t ? s_t ? | | j =n d } | j
d k r?t | d ? } n? | j
d k r?| d | d g } t | | ? } n? | j
d k r g | D] } t
| g ? ^ q?} t | | ? } nc | j
d k rS| j j ? } | j } t | d | d | | ? } n | j
d k ro| d } n | j t | j ? k s?t ? | j | k s?t ? | | | j ? s c s ? | S( N( ( R? ( R? ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR- ? s i i R9 R8 R6 R7 R: ( s ifs switch( R R. R> R4 R& R R R R R R R% R@ R= R? Rp R R R R RP R} RQ R t
entryBlockRx ( R, R? R? R% t seitemsR R? t sescopesR: R? R R) R? Rj t suct newscopeR? R
t sescopet catchttsRQ ( ( R? s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt constraintsToSETree? sV
(
"
c C s@ x9| j ? D]+\ } } x? | D]? } | j | j k s> t ? | j | j k sV t ? g | j D] } | j | j @r` | ^ q` } t | ? d k s? t ? xY t j | j d ? D]B \ } } | j j | j ? s? t ? | j j | j ? s? t ? q? Wq Wx; t j | d ? D]' \ } } | j j | j ? s
t ? q
Wq
Wd S( Ni i ( R) R4 R R5 R> R R? t combinationsR? ( t ctree_childrenR' R? R R? R> t c1t c2( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyR? 1 s
,"# t c s? d d l } | j d t ? } | j | ? x? | D]? } xy | j D]n ? d } t | j j t j ? r? t
? f d ? | j j j ? D? ? r? d } q? n | j | ? d | ?qB Wq2 W| j
d d ? | j d j | ? ? d S(
Ni????t directedt blackc 3 s! | ] } | j ? j k Vq d S( N( R[ t bkey( R t b( RL ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pys I s t greyt colort progt dots
file{}.png( t
pygraphvizt AGraphRz t add_nodes_fromR Rp RX Rq R Rr R0 t getExceptSuccessorst add_edget layoutt drawR_ ( R% t outnt pgvt GRj RU ( ( RL s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt _debug_drawA s
( c C s? x: | D]1 } | | j k r | j | j | g ? ? q q Wg | D]- } | j rD t | j j t j ? rD | ^ qD } | r
| r
t | ? d k s? t ? | d } xN | j
d D]? } | j ? } | g | _
| j i | | 6? | j | ? q? W| j
d | _
n x? | D]? } x& | j
D] } | | j k s!t ? q!Wx& | j D] } | | j
k sJt ? qJWt
| j ? t
| j ? t
| j ? Bk st ? qWt | ? } t | ? }
t | | ? \ } } t | ? }
t |
| |
| | ? } t |
| | ? \ } } t |
| | | ? \ }
} } t |
| ? t |
| | ? \ } } x? | D]? } t
|
j | ? ? } |
j | ? } g | j D] } | | k r?| ^ q?| _ g | j
D] } | | k r?| ^ q?| _ g | j D] } | | j k r?| ^ q?| _ qQWx` | D]X } x& | j D] } | | j k st ? qWx& | j D] } | | j k sCt ? qCWq
Wt | ? t |
| | | ? t | ? t |
| | | ? t | ? t |
| | | ? S( Ni i (! R R R? RX Rp Rq R R R R R+ t newDuplicatet replaceSuccessorsR R{ R? Ro R? R? R
R? R? R? R? R" R* R R? R R? R" RB RJ ( R? R% R Rj t retblockst rett predR
R Rf R? R? R? R, R? R? RL R/ t temp2RL ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt structureP sZ :
5
++2
(/ R? R? R` t defaultdictR? RO R R t ssaR t ssa.exceptionsetR t setreeR R R R R R t objectR
R3 t countRG R< R; RM RV RW Ro R? R? R? R? R? R? R? R R R" R# R> RB RJ R? Rb Ri ( ( ( s@ /home/alex/projects/github/krakatau/Krakatau/java/structuring.pyt sB $ .( , + @ A e ? P
` 8 © 2015 - 2025 Weber Informatics LLC | Privacy Policy