private function getSourceCode($lines, $errorLine)
{
$beginLine = $errorLine - self::SOURCE_LINES >= 0 ? $errorLine - self::SOURCE_LINES : 0;
$endLine = $errorLine + self::SOURCE_LINES <= count($lines) ? $errorLine + self::SOURCE_LINES : count($lines);
$source = '';
for ($i = $beginLine; $i < $endLine; ++$i) {
if ($i === $errorLine - 1) {
$line = htmlspecialchars(sprintf("%04d: %s", $i + 1, str_replace("\t", ' ', $lines[$i])));
$source .= "<div class=\"error\">" . $line . "</div>";
} else {
$source .= htmlspecialchars(sprintf("%04d: %s", $i + 1, str_replace("\t", ' ', $lines[$i])));
}
}
return $source;
}