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         /**
  17          * Yes, geshi needs to be in your include path
  18          * We use the geshi pear package.
  19          */
  20         if (!class_exists('\\geshi', true)) {
  21             require_once $GLOBALS['phorkie']['cfg']['geshi'];
  22         }
  23         $geshi = new \geshi($file->getContent(), $this->getType($file));
  24         $geshi->enable_line_numbers(GESHI_NORMAL_LINE_NUMBERS);
  25         $geshi->set_header_type(GESHI_HEADER_PRE_TABLE);
  26         $geshi->enable_classes();
  27         $geshi->set_line_style('color: #DDD;');
  28
  29         if ($res !== null) {
  30             $geshi->highlight_lines_extra(array_keys($res->annotations));
  31             $geshi->set_highlight_lines_extra_style('background-color: #F2DEDE');
  32         }
  33
  34         return '<style type="text/css">'
  35             . $geshi->get_stylesheet() . '</style>'
  36             . '<div class="code">'
  37             . str_replace('&nbsp;', '&#160;', $geshi->parse_code())
  38             . '</div>';
  39     }
  40
  41     /**
  42      * Returns the type of the file, as used by Geshi
  43      *
  44      * @return string
  45      */
  46     public function getType($file)
  47     {
  48         $ext = $file->getExt();
  49         if (isset($GLOBALS['phorkie']['languages'][$ext]['geshi'])) {
  50             $ext = $GLOBALS['phorkie']['languages'][$ext]['geshi'];
  51         }
  52
  53         return $ext;
  54     }
  55
  56 }
  57
  58 ?>