Пример #1
0
}
?>
	</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']]);
Пример #2
0
 /**
  * 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>&nbsp;&nbsp;";
     $h->toHtml(false, true, $formato_linea, true);
 }