private function display_table($V, $E, $root, $level = 0)
{
$r = '<table>';
foreach ($V as $id => $v) {
$row = array(highlight_string($v['code'], true));
if (isset($v['atom'])) {
$row[] = $v['atom'];
} else {
$row[] = 'No atom';
}
if (isset($v['token'])) {
$row[] = $v['token'];
} else {
$row[] = 'No token';
}
if (isset($v['file'])) {
$row[] = $v['file'];
} else {
$row[] = 'No file';
}
if (isset($v['order'])) {
$row[] = $v['order'];
} else {
$row[] = '';
}
$row = '<td>' . implode('</td><td>', $row) . '</td>';
$r .= "<tr>{$row}</tr>\n";
}
$r .= '</table>';
return $r;
}