}
?>
</div>
<div class="center">
<?php
if (!isset($_GET['file']) || !is_file($_GET['file'])) {
die('File argument not given!');
}
$file = $_GET['file'];
$asm = eaccelerator_dasm_file($file);
if ($asm == null) {
die('File not found!');
}
require_once 'PHP_Highlight.php';
$h = new PHP_Highlight();
$h->loadFile($_GET['file']);
$source = $h->toArray();
/* what do we need to do ? */
if (!isset($_GET['show'])) {
$show = '';
} else {
$show = $_GET['show'];
}
print_layout();
switch ($show) {
case 'main':
print_op_array($asm['op_array']);
break;
case 'functions':
if (is_array($asm['functions'][$_GET['name']])) {
print_function($_GET['name'], $asm['functions'][$_GET['name']]);
/**
* Muestra el código fuente del archivo en formato HTML
*/
function mostrar()
{
require_once toba_dir() . "/php/3ros/PHP_Highlight.php";
$h = new PHP_Highlight(false);
$h->loadFile($this->nombre);
$formato_linea = "<span style='background-color:#D4D0C8; color: black; font-size: 10px;" . " padding-top: 2px; padding-right: 2px; margin-left: -4px; width: 20px; text-align: right;'>" . "%2d</span> ";
$h->toHtml(false, true, $formato_linea, true);
}
