Vh#<ddlZddlZGddZGddZy)NcBeZdZdZdZdZdZdZdZdZ dZ d Z y ) TestImmediateDominatorsctj}|jdtjtj tj |dtj|}tjtj tj |dtjddgg}tjtjtj |dyNr) nxGraphadd_nodepytestraisesNetworkXNotImplementedimmediate_dominators MultiGraphDiGraph NetworkXErrorselfGs X/home/dcms/DCMS/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|dtj t dddk(sJy) Graph taken from figure 2 of "A simple, fast dominance algorithm." (2006). https://hdl.handle.net/1911/96345 rr/r/rr/)r)rr7)rr8rrNrrrdictfromkeysr#redgesrs rtest_irreducible1z)TestImmediateDominators.test_irreducible1)sD A JJu &&q!, eAqk10MMMMrcgd}tj|}tj|d}|tj t dddk(sJy) 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>rresults rtest_irreducible2z)TestImmediateDominators.test_irreducible22sI Y JJu ((A.uQ{A6666rcgd}tj|}tj|d}|dddddddk(sJtj|jdd}|dddddddk(sJy) Nr4rC)r/r8)r/r9)r7rr8r)rr/rr/rr/r7r8rr9Fcopyr9rrrrreverserFs 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/rE)r7r8rK)r8r9)rrErDrrr7r8rrr/r7r8rr9rEFrMrErrOrFs rtest_boost_examplez*TestImmediateDominators.test_boost_exampleGsY JJu ((A.Q1qQ1qIIII(()>BQ1qQ1qIIIIrN) __name__ __module__ __qualname__rrr(r,r0r?rHrQrUrrrrs4G7U U  N 7> 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 r]setrrs rrz%TestDominanceFrontiers.test_singleton]sh JJL 1 %%a+35z999 1a%%a+35z999rcd}tj|tj}tj|dt |Dcic] }|t c}k(sJycc}wNrrrrr"rr]r#r_r%s rr(z TestDominanceFrontiers.test_pathdsP  MM!"**, 7%%a+%(/KQ35/KKKK/KA(cd}tj|tj}tj|dt |Dcic] }|t c}k(sJycc}wra)rr+rr]r#r_r%s rr,z!TestDominanceFrontiers.test_cycleisP  NN12::< 8%%a+%(/KQ35/KKKK/Krccd}|dkDsJtj|tj}tj||dzt |dz|Dcic] }|t c}k(sJycc}wr.rbr%s rr0z'TestDominanceFrontiers.test_unreachablensh 1u u MM!"**, 7%%aa0uQRSVUVGW4X!QX4XXXX4XsA6cgd}tj|}tj|ddhdhdhdhtdk(sJy)r2r3rr/r)rr/r7r8rNrrr]r_r=s rr?z(TestDominanceFrontiers.test_irreducible1tsU A JJu %%a+ssssu 0    rcgd}tj|}tj|ddhddhdhddhdhtdk(sJy)rArBr9r/rr7rLNrgr=s rrHz(TestDominanceFrontiers.test_irreducible2s^ Y JJu %%a+s1vs1vsu 0    rc2gd}tj|}tj|dtdhdhdhdhtdk(sJtj|j dd}|tdhdhdhdhtdk(sJy) NrJrr/rrLFrMr9rrr]r_rPrFs rrQz&TestDominanceFrontiers.test_domrel_pngsH JJu %%a+ussssu 0    '' u (=qASUsssssuMMMMrc fgd}tj|}tj|dttdhdhddhdhdhtdk(sJtj|j dd}ttdhdhddhdhdhtd}||k(sJy) NrSrrEr8rTFrMrrj)rr>rrGexpecteds rrUz)TestDominanceFrontiers.test_boost_examplesY JJu %%a+uuss1vssu 0   '' u (=qAuuss1vssu  !!!rc tj}|jgdtj|d}|t dhdhdht dhdhdhdhd k(sJy)N) )b0b1rob2rqb3)rsro)rob5)rtb6)rtb8)rub7)rvrw)rwrs)rsb4rnrsrwro) rxrtrurwrnrorqrsrvrradd_edges_fromr]r_rgdfs rtest_discard_issuez)TestDominanceFrontiers.test_discard_issuesx JJL    # #At ,%&&&%&&&&    rctj}|jgdtj|d}|t t t dk(sJy)N))ab)rc)rrr)rrrryr{s r test_loopz TestDominanceFrontiers.test_loopsI JJL =>  # #As +35su359999rctj}gd}|j|tj|dy)N))entry_1rorprr)rsexit)entry_2rsr)rrrzr])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)rrrrrrrrry)rr|r>r}answerr&s rtest_loops_largerz(TestDominanceFrontiers.test_loops_largers JJL     # #Aw /U##(##E   0Ar!u:VAY/ // 0rN)rVrWrXrrr(r,r0r?rHrQrUr~rrrrYrrr[r[SsHF:L L Y   N ": >: -40rr[)r networkxrrr[rYrrrs& JJJJZK0K0r