Current File : //home/strato/chroot/opt/RZphp81/includes/test/FSM/tests/graphviz.phpt |
--TEST--
FSM: GraphViz
--SKIPIF--
<?php
require_once 'PEAR/Registry.php';
$registry = &new PEAR_Registry();
if (!$registry->packageExists('Image_GraphViz')) die("skip\n");
--FILE--
<?php
require_once 'FSM.php';
require_once 'FSM/GraphViz.php';
$stack = array();
$fsm = new FSM('START', $stack);
$converter = new FSM_GraphViz($fsm);
$graph = $converter->export();
echo $graph->parse();
--EXPECT--
strict digraph FSM {
START [ shape=invhouse ];
}