protected function dumpExecution(VirtualExecution $exec)
{
$node = $exec->getNode();
$nodeId = $node === NULL ? NULL : $node->getId();
printf("%s%s [ %s ]\n", str_repeat(' ', $exec->getExecutionDepth()), $nodeId, $exec->getId());
foreach ($exec->findChildExecutions() as $child) {
$this->dumpExecution($child);
}
}
