wg#<ddlZddlZGddZGddZy)NcBeZdZdZdZdZdZdZdZdZ dZ d Z y ) TestImmediateDominatorsctj}|jdtjtj tj |dtj|}tjtj tj |dtjddgg}tjtjtj |dyNr) nxGraphadd_nodepytestraisesNetworkXNotImplementedimmediate_dominators MultiGraphDiGraph NetworkXErrorselfGs m/home/mcse/projects/flask/flask-venv/lib/python3.12/site-packages/networkx/algorithms/tests/test_dominance.pytest_exceptionsz'TestImmediateDominators.test_exceptionss HHJ 1  b//1H1H!QO MM!  b//1H1H!QO JJAx  b&&(?(?AFctj}|jdtj|dddik(sJ|j ddtj|dddik(sJyNr)rrr radd_edgers rtest_singletonz&TestImmediateDominators.test_singletonsd JJL 1 &&q!,A666 1a&&q!,A666rc d}tj|tj}tj|dt |Dcic]}|t |dz dc}k(sJycc}wN create_usingrrr path_graphrrrangemaxrnris r test_pathz!TestImmediateDominators.test_pathsZ  MM!"**, 7&&q!,5QR80TaCAqM1A0TTTT0TA-c d}tj|tj}tj|dt |Dcic]}|t |dz dc}k(sJycc}wr)r cycle_graphrrr#r$r%s r test_cyclez"TestImmediateDominators.test_cyclesZ  NN12::< 8&&q!,5QR80TaCAqM1A0TTTT0Tr)c d}|dkDsJtj|tj}tj||dzt |dz|Dcic]}|t |dz |dzc}k(sJycc}wNrrrr!r%s rtest_unreachablez(TestImmediateDominators.test_unreachable!s 1u u MM!"**, 7&&q!q&1+0a+;6 &'As1q5!q&! !6    6 sA>cgd}tj|}tj|dtddDcic]}|dc}k(sJycc}w) Graph taken from figure 2 of "A simple, fast dominance algorithm." (2006). https://hdl.handle.net/1911/96345 rr/r/rr/)r)rr7)rr8rrNrrrr#)redgesrr's rtest_irreducible1z)TestImmediateDominators.test_irreducible1)sK A JJu &&q!,uQ{0K!A0KKKK0Ks Acgd}tj|}tj|d}|tddDcic]}|dc}k(sJycc}w) Graph taken from figure 4 of "A simple, fast dominance algorithm." (2006). https://hdl.handle.net/1911/96345 r4r5r/r7r6)r8r/)r8r7)rrr9r8)r9rr9rNr:)rr;rresultr's rtest_irreducible2z)TestImmediateDominators.test_irreducible22sP Y JJu ((A.a 41!Q$44444s Acgd}tj|}tj|d}|dddddddk(sJtj|jdd}|dddddddk(sJy) Nr4r@)r/r8)r/r9)r7rr8r)rr/rr/rr/r7r8rr9Fcopyr9rrrrreverserr;rrCs rtest_domrel_pngz'TestImmediateDominators.test_domrel_png=szH JJu ((A.Q1qQ1====(()>BQ1qQ1====rc gd}tj|}tj|d}|dddddddddk(sJtj|jdd }|dd d dd d dd dk(sJy) N )rrr4)rr7)r/rB)r7r8rG)r8r9)rrBrArrr7r8rrr/r7r8rr9rBFrIrBrrKrMs rtest_boost_examplez*TestImmediateDominators.test_boost_exampleGsY JJu ((A.Q1qQ1qIIII(()>BQ1qQ1qIIIIrN) __name__ __module__ __qualname__rrr(r,r0r<rDrNrRrrrrs4G7U U  L 5> JrrcZeZdZdZdZdZdZdZdZdZ dZ d Z d Z d Z d Zd Zy)TestDominanceFrontiersctj}|jdtjtj tj |dtj|}tjtj tj |dtjddgg}tjtjtj |dyr) rr r r r r dominance_frontiersrrrrs rrz&TestDominanceFrontiers.test_exceptionsTs HHJ 1  b//1G1GAN MM!  b//1G1GAN JJAx  b&&(>(>1Erctj}|jdtj|ddt ik(sJ|j ddtj|ddt ik(sJyr)rrr rZsetrrs rrz%TestDominanceFrontiers.test_singleton]sh JJL 1 %%a+35z999 1a%%a+35z999rcd}tj|tj}tj|dt |Dcic] }|t c}k(sJycc}wNrrrrr"rrZr#r\r%s rr(z TestDominanceFrontiers.test_pathdsP  MM!"**, 7%%a+%(/KQ35/KKKK/KA(cd}tj|tj}tj|dt |Dcic] }|t c}k(sJycc}wr^)rr+rrZr#r\r%s rr,z!TestDominanceFrontiers.test_cycleisP  NN12::< 8%%a+%(/KQ35/KKKK/Kr`cd}|dkDsJtj|tj}tj||dzt |dz|Dcic] }|t c}k(sJycc}wr.r_r%s rr0z'TestDominanceFrontiers.test_unreachablensh 1u u MM!"**, 7%%aa0uQRSVUVGW4X!QX4XXXX4XsA6cgd}tj|}ttj|dj dhdhdhdht dk(sJy)r2r3rr/r)rr/r7r8rN)rrdictrZitemsr\rr;rs rr<z(TestDominanceFrontiers.test_irreducible1tsc A JJu B**1a06689ssssu >    rcgd}tj|}tj|ddhddhdhddhdhtdk(sJy)r>r?r9r/rr7rHN)rrrZr\rfs rrDz(TestDominanceFrontiers.test_irreducible2s^ Y JJu %%a+s1vs1vsu 0    rc2gd}tj|}tj|dtdhdhdhdhtdk(sJtj|j dd}|tdhdhdhdhtdk(sJy) NrFrr/rrHFrIr9rrrZr\rLrMs rrNz&TestDominanceFrontiers.test_domrel_pngsH JJu %%a+ussssu 0    '' u (=qASUsssssuMMMMrc fgd}tj|}tj|dttdhdhddhdhdhtdk(sJtj|j dd}ttdhdhddhdhdhtd}||k(sJy) NrPrrBr8rQFrIrri)rr;rrCexpecteds rrRz)TestDominanceFrontiers.test_boost_examplesY JJu %%a+uuss1vssu 0   '' u (=qAuuss1vssu  !!!rc tj}|jgdtj|d}|t dhdhdht dhdhdhdhd k(sJy)N) )b0b1rnb2rpb3)rrrn)rnb5)rsb6)rsb8)rtb7)rurv)rvrr)rrb4rmrrrvrn) rwrsrtrvrmrnrprrrurradd_edges_fromrZr\rgdfs rtest_discard_issuez)TestDominanceFrontiers.test_discard_issuesx JJL    # #At ,%&&&%&&&&    rctj}|jgdtj|d}|t t t dk(sJy)N))ab)rc)rrr)rrrrxrzs r test_loopz TestDominanceFrontiers.test_loopsI JJL =>  # #As +35su359999rctj}gd}|j|tj|dy)N))entry_1rnrorq)rrexit)entry_2rrr)rrryrZ)rr{r;s rtest_missing_immediate_domsz2TestDominanceFrontiers.test_missing_immediate_domss6 JJL $  q),rc tj}gd}|j|tj|d}t dhddhhdhdhdddht d}|D]!}t ||t ||k(r!Jy)N) )entryr)r1)r2)r3)r4)r5)r6)rr)rr)rr)rrrrr>rrr>rrrr)rrrrrrrrrx)rr{r;r|answerr&s rtest_loops_largerz(TestDominanceFrontiers.test_loops_largers JJL     # #Aw /U##(##E   0Ar!u:VAY/ // 0rN)rSrTrUrrr(r,r0r<rDrNrRr}rrrrVrrrXrXSsHF:L L Y   N ": >: -40rrX)r networkxrrrXrVrrrs& JJJJZK0K0r