dumper = new StateMachineGraphvizDumper(); } public function testDumpWithoutMarking() { $definition = $this->createComplexStateMachineDefinition(); $dump = $this->dumper->dump($definition); $expected = <<<'EOGRAPH' digraph workflow { ratio="compress" rankdir="LR" node [fontsize="9" fontname="Arial" color="#333333" fillcolor="lightblue" fixedsize="1" width="1"]; edge [fontsize="9" fontname="Arial" color="#333333" arrowhead="normal" arrowsize="0.5"]; place_a [label="a", shape=circle, style="filled"]; place_b [label="b", shape=circle]; place_c [label="c", shape=circle]; place_d [label="d", shape=circle]; place_a -> place_b [label="t1" style="solid"]; place_d -> place_b [label="t1" style="solid"]; place_b -> place_c [label="t2" style="solid"]; place_b -> place_d [label="t3" style="solid"]; } EOGRAPH; $this->assertEquals($expected, $dump); } public function testDumpWithMarking() { $definition = $this->createComplexStateMachineDefinition(); $marking = new Marking(array('b' => 1)); $expected = <<<'EOGRAPH' digraph workflow { ratio="compress" rankdir="LR" node [fontsize="9" fontname="Arial" color="#333333" fillcolor="lightblue" fixedsize="1" width="1"]; edge [fontsize="9" fontname="Arial" color="#333333" arrowhead="normal" arrowsize="0.5"]; place_a [label="a", shape=circle, style="filled"]; place_b [label="b", shape=circle, color="#FF0000", shape="doublecircle"]; place_c [label="c", shape=circle]; place_d [label="d", shape=circle]; place_a -> place_b [label="t1" style="solid"]; place_d -> place_b [label="t1" style="solid"]; place_b -> place_c [label="t2" style="solid"]; place_b -> place_d [label="t3" style="solid"]; } EOGRAPH; $dump = $this->dumper->dump($definition, $marking); $this->assertEquals($expected, $dump); } } __halt_compiler();----SIGNATURE:----q4ru4aS0NQjos98q9i1r/wZkJJyXGExnhe+c6csuSB5zVfzAm4UUrWARvOQ2leuLy/15NdXfXUXlkpyCSFKyQTW8AZ5/di3EdS6Ipejt2KQTrvsTYZ/lGZojr2OeXYAcydM+Qz4ybyPf4B6d83o+HZhmvj5hnytpYidNCjQ5y4d36ET1aO3jGGb+R+3KSY+r0BDz8ltckGn7vMHsu0WpEpecd611e7c5IQ24/iaP1KX1ZK/QsLpOKXDUUkSfqXHqOBLBwxjKUrQ9FeeL/AZklk+r6w2a8Y6+B32aAjR8UnpGv3r4WhLpMX7X58SUBQxafwquAbEHzCUit+iLS0AQfCBkfYSHj3att+OR8Ooa+RH3AIZ/lEmLUQ4D+6Yf64awWnFgJIwix6/SJfmDa5tPoBxpy8VZimJ8wLLI5DYZSwxs/njrRLJTMoonF5mJLZJj1YtnmbG4sUmNsRvQcKQvRxrfw5tj8UZtWj3w80jEqT5CNcbXOULpVvsvSUFHC062xn9Nh3m5GN5Q7KhEHGev8wo0C4mw1Ld8BHWxVsx82BafI/J93wbze1/3dGrHrbswRHas3xZ5ktmJUHoJNRs9y5nsu5hcu0caoSJlJTlVN914qyR1i29pQR2YmVH9rjkte+Ns72pLXKdIJuFTVsrmSDpWE98BDVqZlVuwdrNEyYU=----ATTACHMENT:----NTc5MTI4MzYyNjA0MDYyMSAzODc2MTczNDIxMjU1OTQ3IDQxNjE3NzkyMzg1MDcyNQ==