src/phorkie/Renderer/Geshi.php

   1 <?php
   2 namespace phorkie;
   3
   4 class Renderer_Geshi
   5 {
   6     /**
   7      * Converts the code to HTML
   8      *
   9      * @param File        $file File to render
  10      * @param Tool_Result $res  Tool result to integrate
  11      *
  12      * @return string HTML
  13      */
  14     public function toHtml(File $file, Tool_Result $res = null)
  15     {
  16         if (!class_exists('\\GeSHi', true)) {
  17             require_once 'geshi.php';
  18         }
  19         $geshi = new \GeSHi($file->getContent(), $this->getType($file));
  20         $geshi->enable_line_numbers(GESHI_NORMAL_LINE_NUMBERS);
  21         $geshi->set_header_type(GESHI_HEADER_DIV);
  22
  23         if ($res !== null) {
  24             $geshi->highlight_lines_extra(array_keys($res->annotations));
  25             $geshi->set_highlight_lines_extra_style('background-color: #F2DEDE');
  26         }
  27
  28         return '<div class="code">'
  29             . str_replace('&nbsp;', '&#160;', $geshi->parse_code())
  30             . '</div>';
  31     }
  32
  33     /**
  34      * Returns the type of the file, as used by Geshi
  35      *
  36      * @return string
  37      */
  38     public function getType($file)
  39     {
  40         $ext = $file->getExt();
  41         if (isset($GLOBALS['phorkie']['languages'][$ext]['geshi'])) {
  42             $ext = $GLOBALS['phorkie']['languages'][$ext]['geshi'];
  43         }
  44
  45         return $ext;
  46     }
  47
  48 }
  49
  50 ?>