} ?> </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); }