o i'9@sddlmZddlZddlZddlZddlmZddlmZddl m Z m Z ddl m Z mZddlmZdd lmZd d lmZd d ZddZddZGdddeZGdddZd3ddZe e de e dGddde ZeGdddeZd d!Zd"d#Ze e de e dGd$d%d%e Z e e de e d&e e dGd'd(d(e Z!e e de e dGd)d*d*e Z"Gd+d,d,eZ#Gd-d.d.eZ$Gd/d0d0eZ%e e de e d&e e dGd1d2d2e Z&dS)4) annotationsN) dataclass)Protocol)TestCaseskipIf)TypeMachineBuilderpep614)MethodicalMachine) TypeMachine)isTwistedInstalledcCs$ztdWdStyYdSw)z2 Is the graphviz Python module installed? ZgraphvizFTN) __import__ ImportErrorrrbC:\Users\psant\Downloads\PAF backend\school\venv\Lib\site-packages\automat/_test/test_visualize.pyisGraphvizModuleInstalleds   rc CsBt\}}t|ztjd|dd Wt|St|w)z+ Are the graphviz tools installed? dotT)stdinshellN)ospipeclose subprocesscall)rwrrrisGraphvizInstalleds  rcs,tGfdddt}|}|S)zG Create a sample L{MethodicalMachine} with some sample states. cs`eZdZjddddZddZddZd d Z e eee gd S) z#sampleMachine..SampleObjectT)initialcSdS)z initial stateNrselfrrrbegin0z)sampleMachine..SampleObject.begincSr)z end stateNrr rrrend4r#z'sampleMachine..SampleObject.endcSr)z sample inputNrr rrrgo8r#z&sampleMachine..SampleObject.gocSr)z sample outputNrr rrrout<r#z'sampleMachine..SampleObject.outN) __name__ __module__ __qualname__stater"r$inputr%outputr&uponrmmrr SampleObject/s     r0N)r objectr%)r0sorr.r sampleMachine)s r3c@seZdZdddZdS)SamplereturnNonecCdSNrr rrrr%Hr#z Sample.goNr5r6)r'r(r)r%rrrrr4Gsr4c@s eZdZdS)CoreN)r'r(r)rrrrr:Is r:r5TypeMachine[Sample, Core]cCsttt}|d}ddd }|d |}|d }|tj|d |tj|d t|tj|ddd}| S)zA Create a sample L{TypeMachine} with some sample states. r"protor4corer:r5intcSr)Nr)r<r=rrrbuilditSz"sampleTypeMachine..builditdatar$Nsampler6cSr7r8r)rCr=rrrr&[rAzsampleTypeMachine..out)r<r4r=r:r5r>)rCr4r=r:r5r6) rr4r:r*r-r%toreturnsrbuild)Zbuilderr"r@rBr$r&rrrsampleTypeMachineLs      rGz!Graphviz module is not installed.zTwisted is not installed.c@s0eZdZdZddZddZddZdd Zd S) ElementMakerTestszL L{elementMaker} generates HTML representing the specified element. cCsddlm}||_dS)Nr ) elementMaker) _visualizerI)r!rIrrrsetUphs  zElementMakerTests.setUpc C"d}|||jddddddS)zK L{elementMaker} orders HTML attributes lexicographically. z
div213bacN assertEqualrIr!expectedrrrtest_sortsAttrsmsz!ElementMakerTests.test_sortsAttrsc CrL)z L{elementMaker} quotes HTML attributes according to DOT's quoting rule. See U{http://www.graphviz.org/doc/info/lang.html}, footnote 1. z-
rMz a " quoter za stringrQNrUrWrrrtest_quotesAttrstsz"ElementMakerTests.test_quotesAttrscCsd}|||ddS)zN L{elementMaker} should render an element with no attributes. z
rMNrUrWrrr test_noAttrsszElementMakerTests.test_noAttrsN)r'r(r)__doc__rKrYrZr[rrrrrHas  rHc@s*eZdZUdZded<ded<ded<dS) HTMLElementz2Holds an HTML element, as created by elementMaker.strnamezlist[HTMLElement]childrenzdict[str, str] attributesN)r'r(r)r\__annotations__rrrrr]s  r]cs.|r|gSt|r gSfdd|jDS)zk Recursively collect all elements in an L{HTMLElement} tree that match the optional predicate. cs g|] }t|D]}|q qSr) findElements).0childresult predicaterr sz findElements..N)isLeafr`)elementrhrrgrrcs rccCs t|t S)z2 This HTML element is actually leaf node. N) isinstancer]rkrrrrjs rjc@s8eZdZdZddZddZddZdd Zd d Zd S) TableMakerTestsz Tests that ensure L{tableMaker} generates HTML tables usable as labels in DOT graphs. For more information, read the "HTML-Like Labels" section of U{http://www.graphviz.org/doc/info/shapes.html}. cOst|||dS)N)r_r`ra)r])r!r_r`rarrrfakeElementMakersz TableMakerTests.fakeElementMakercCs.ddlm}d|_d|_tj||jd|_dS)Nr ) tableMaker input labelzthe port)Z_E)rJrp inputLabelport functoolspartialro)r!rprrrrKs zTableMakerTests.setUpcsfdd}gdgfD];}jj|jd}t|jd|jd}t||}t|d|djdt|t jgq dS) z The table returned by L{tableMaker} always contains the input symbol label in its first row, and that row contains one cell with a port attribute set to the provided port. cst| o |jdjkS)Nrs)rjragetrsrmr rrhasPortsz3TableMakerTests.test_inputLabelRow..hasPortzan output labelrsrr tdN) rprrrsZ assertGreaterlenr`rcrVr_rj)r!rwZ outputLabelstable inputLabelRowZportCandidatesrr rtest_inputLabelRows   z"TableMakerTests.test_inputLabelRowcCs>|jdd|jd}|t|jd|j\}|d|jdS)z L{tableMaker} does not add a colspan attribute to the input label's cell or a second row if there no output labels. rqrrxr colspanN)rprsrVrzr`Z assertNotInra)r!r{r|rrrtest_noOutputLabelssz#TableMakerTests.test_noOutputLabelscCsh|j|jd|jd}|t|jd|j\}}dd}|tt||d|t|tddgd S) z L{tableMaker} adds a colspan attribute to the input label's cell equal to the number of output labels and a second row that contains the output labels. )output label 1output label 2rxr cSs$t| o|jdko|jddkS)Nryr~rN)rjr_rarvrmrrrhasCorrectColspans z@TableMakerTests.test_withOutputLabels..hasCorrectColspanr rrN)rprrrsrVrzr`rcrj)r!r{ZinputRowZ outputRowrrrrtest_withOutputLabelss  z%TableMakerTests.test_withOutputLabelsN) r'r(r)r\rorKr}rrrrrrrns rnz!Graphviz tools are not installed.c@seZdZdZdddZdS)IntegrationTestsz[ Tests which make sure Graphviz can understand the output produced by Automat. r5r6cCsNt}d|d}tjdtjtjd}||\}}||j ddS)z8 C{graphviz} emits valid graphviz data. zutf-8r)rstdoutrN) r3 asDigraphjoinencoderPopenPIPE communicaterV returncode)r!digraphtextpr&errrrrtest_validGraphvizs z#IntegrationTests.test_validGraphvizNr9)r'r(r)r\rrrrrrsrc@ eZdZdZddZddZdS) SpotCheckszj Tests to make sure that the output contains salient features of the machine being generated. cCsDdt}|d||d||d||d|dS)z The output of L{graphviz.Digraph} should contain the names of the states, inputs, outputs in the state machine. rr"r$r%r&N)rr3rassertInr!Zgvoutrrrtest_containsMachineFeaturess    z'SpotChecks.test_containsMachineFeaturescCsPdt}|d||d||d||d||d|dS)z The output of L{graphviz.Digraph} should contain the names of the states, inputs, outputs in the state machine. rr"r$r%z data:builditr&N)rrGrrrrrr test_containsTypeMachineFeaturess     z+SpotChecks.test_containsTypeMachineFeaturesN)r'r(r)r\rrrrrrr s rc@r)RecordsDigraphActionsz/ Records calls made to L{FakeDigraph}. cCs |dSr8)resetr rrr__init__/s zRecordsDigraphActions.__init__cCsg|_g|_dSr8) renderCalls saveCallsr rrrr2s zRecordsDigraphActions.resetN)r'r(r)r\rrrrrrr* rc@s(eZdZdZddZddZddZdS) FakeDigraphzZ A fake L{graphviz.Digraph}. Instantiate it with a L{RecordsDigraphActions}. cC ||_dSr8) _recorder)r!Zrecorderrrrr= zFakeDigraph.__init__cK|jj|dSr8)rrappendr!kwargsrrrrender@zFakeDigraph.rendercKrr8)rrrrrrrsaveCrzFakeDigraph.saveN)r'r(r)r\rrrrrrrr7s  rc@r)FakeMethodicalMachinezL A fake L{MethodicalMachine}. Instantiate it with a L{FakeDigraph} cCrr8Z_digraph)r!rrrrrLrzFakeMethodicalMachine.__init__cCs|jSr8rr rrrrOszFakeMethodicalMachine.asDigraphN)r'r(r)r\rrrrrrrGrrc@s`eZdZddZddZddZ ddd Zd d Zd d ZddZ ddZ ddZ ddZ dS)VisualizeToolTestscCs2t|_t|j|_d|_dg|_g|_d|_dS)Nz tool-testZignoredz fake.fqpn)rdigraphRecorderr fakeDigraph fakeProgname fakeSysPathcollectedOutputfakeFQPNr rrrrKWs   zVisualizeToolTests.setUpcGs|jd|dS)N )rrr)r!argsrrr collectPrints`sz VisualizeToolTests.collectPrintsccs|t|jfVdSr8)rr)r!ZfqpnrrrfakeFindMachinescsz#VisualizeToolTests.fakeFindMachinesNcCs>ddlm}||p |j|p|jg|p|j|p|j|p|jdS)Nr )tool)Z _prognameZ_argvZ_syspathZ _findMachinesZ_print)rJrrrrrr)r!ZprognameargvZsyspathZ findMachinesprintrrrrrfs  zVisualizeToolTests.toolcCs&|j|jgd||jdddS)z L{tool} adds '' to sys.path to ensure L{automat._discover.findMachines} searches the current directory. rrrN)rrrVrr rrrtest_checksCurrentDirectoryssz.VisualizeToolTests.test_checksCurrentDirectorycCs@|j|jdgd||j|j|jdgd||jdS)z6 Passing -q/--quiet hides all output. z--quietrz-qN)rr assertFalserr rrrtest_quietHidesOutput|s z(VisualizeToolTests.test_quietHidesOutputcCsdD]C}|jg|_|j|j|dgd|tdd|jD|t|jj d|jj \}|d |j|d||jj qd S) ze Passing an empty string for --image-directory/-i disables rendering images. )--image-directoryz-irrcs|]}d|vVqdSimageNrrdlinerrr z6VisualizeToolTests.test_onlySaveDot..r {}.dotfilenameN) rrrrrranyrVrzrformatrr!argrrrrtest_onlySaveDots  z#VisualizeToolTests.test_onlySaveDotcCsdD]J}|jg|_|j|j|dgd|tdd|jD|t|jj d|jj \}|d |j|d| |d ||jj qd S) zc Passing an empty string for --dot-directory/-d disables saving dot files. )--dot-directoryz-drrcsrrNrrrrrrrz8VisualizeToolTests.test_saveOnlyImage..r rrcleanupN) rrrrrrrrVrzrr assertTruerrrrrtest_saveOnlyImages  z%VisualizeToolTests.test_saveOnlyImagecCsd}d}|j|jd|d|gd|tdd|jD|tdd|jD|t|jjd |jj\}||d |||d |t|jj d |jj \}||d |d S) z Passing different directories to --image-directory and --dot-directory writes images and dot files to those directories. rrrrrcsrrrrrrrrrzQVisualizeToolTests.test_saveDotAndImagesInDifferentDirectories..csrrrrrrrrrr directoryrN) rrrrrrVrzrrr)r!ZimageDirectoryZ dotDirectory renderCallZsaveCallrrr+test_saveDotAndImagesInDifferentDirectoriess&   z>VisualizeToolTests.test_saveDotAndImagesInDifferentDirectoriescCsd}|j|jd|d|gd|tdd|jD|t|jjd|jj\}||d|| |d | t|jj d S) z Passing the same directory to --image-directory and --dot-directory writes images and dot files to that one directory. Z imagesAndDotrrrcsr)z image and dotNrrrrrrrzJVisualizeToolTests.test_saveDotAndImagesInSameDirectory..r rrN) rrrrrrVrzrrrr)r!rrrrr$test_saveDotAndImagesInSameDirectorys  z7VisualizeToolTests.test_saveDotAndImagesInSameDirectory)NNNNN) r'r(r)rKrrrrrrrrrrrrrrSs      r)r5r;)' __future__rrtrr dataclassesrtypingrZunittestrrZautomatrrZ _methodicalr Z_typedr Z test_discoverr rrr3r4r:rGrHr1r]rcrjrnrrrrrrrrrrsR           $   L