protected function writeGoto($n, array $map)
{
$this->writer->writeLine((string) $n . ' => array(');
$this->writer->indent();
foreach ($map as $sym => $dest) {
$this->writer->writeLine(sprintf('// on %s go to state %d', $sym, $dest));
$this->writer->writeLine(sprintf("'%s' => %d,", $sym, $dest));
$this->writer->writeLine();
}
$this->writer->outdent();
$this->writer->writeLine('),');
}
protected function writeHeader(StringWriter $writer, $stateNumber = null)
{
$writer->writeLine(sprintf('digraph %s {', $stateNumber ? 'State' . $stateNumber : 'Automaton'));
$writer->indent();
$writer->writeLine('rankdir="LR";');
}
