Dump.php

Go to the documentation of this file.

<?php

namespace Rsi;

class Dump extends Thing{

  public $styleFile = __DIR__ . '/dump.css'; //!< Stylsheet filename.
  public $styleNamespace = 'dump';
  public $scriptFile = __DIR__ . '/dump.js'; //!< Javascript filename.
  public $scriptNamespace = 'dump';
  public $extraBefore = 10; //!< Extra lines to show before focus in source code dump.
  public $extraAfter = 5; //!< Extra lines to show after focus line in source code dump.
  public $sourceFormat = [
    'php' => [
      '/\\$\\w+/' => '<i>$0</i>', //var
      '/(?<!\\$)(?<!::)(?<!-&gt;)\\b(' .
        'abstract|and|array|as|break|callable|case|catch|class|clone|const|continue|declare|default|die|do|echo|else(if)?|empty|end(declare|for|foreach|' .
        'if|switch|while)|eval|exit|extends|final|finally|for(each)?|function|global|goto|if|implements|include(_once)?|in(stance|stead)of|interface|isset|list|' .
        'namespace|new|or|print|private|protected|public|require(_once)?|return|' .
        'static|switch|throw|trait|try|unset|use|var|while|xor|yield|' .
        '__\\w+__' .
      ')\\b/' => '<u>$0</u>', //reserved
      '/(&lt;\\?php|\\?\\&gt;)/' => '<u><b>$0</b></u>', //PHP tags
      '/(?<!\\w)\\d+(\\.\\d+)?/' => '<b>$0</b>', //number
      '/(\'|").*?(?<!\\\\)\\1/' => '<p>$0</p>', //string
      '/(^\\s*(\\/\\/|\\/\\*|\\*).*|\\/\\/[^\'"]*)$/' => '<em>$0</em>' //comment
    ],
    'sql' => [
      '/\\b(' .
        'add( constraint)?|alter( column| table)?|all|and|any|as|asc|backup database|between|case|check|column|constraint|create (database|index|view|table|procedure|(unique )?index|view)|database|default|delete|desc|distinct|drop (column|constraint|database|default|index|table|view)|' .
        'exec|exists|(foreign |primary )?key|from|((full|left|right) )?(outer )?join|group by|having|in|index|inner join|insert into|is (not )?null|like|limit|not|or|order by|' .
        'procedure|rownum|select( (distinct|into|top))?|set|(truncate )?table|top|union( all)?|unique|update|values|view|where' .
      ')\\b/i' => '<u>$0</u>', //reserved
      '/(?<!\\w)\\d+(\\.\\d+)?/' => '<b>$0</b>', //number
      '/(\'|").*?(?<!\\\\)\\1/' => '<p>$0</p>', //string
    ]
  ];
  public $memoryLimit = null; //!< Maximum memory usage (empty = 20% of script memory limit).
  public $maxDepth = 16; //!< Maximum recursion depth.
  public $maxLength = 128; //!< Maximum single line length (chop+expand if longer).
  public $timeWindow = 315360000; //!< Window (seconds) for integer to time conversion (default = 10 years).
  public $timeFormat = 'Y-m-d H:i:s';
  public $validFilename = '/^([A-Z]:[\\/\\\\]|\\/|\\\\\\\\)[^\\*\\?\\:\\|\\<\\>\\&\\r\\n]*\\.\\w+$/'; //!< Regex to determine if a string might be a filename (empty = do not check).
  public $groupProperties = true; //!< Group properties by (parent) class.
  public $sortProperties = true; //!< Sort properties by name (ignoring leading underscores).
  public $remoteDocs = 'https://php.net/manual/en/'; //!< Remote location for PHP documentation.
  public $localDocs = null; //!< Local location for PHP documentation (https://www.php.net/download-docs.php, "Many HTML files").
  public $paramConstsFile = __DIR__ . '/../../data/consts.php'; //!< File with const data for parameters.

  protected $_index = 0;
  protected $_propertyDocs = [];
  protected $_paramConsts = null;

  public function __construct($config = null){
    $this->configure($config);
    if(!$this->memoryLimit) $this->memoryLimit = \Rsi::memoryLimit() / 5;
  }
  /**
   * Head for dumps (style and script tags).
   * @return string
   */
  public function head(){
    return
      "<style>\n" . file_get_contents($this->styleFile) . "\n</style>\n" .
      "<script>\n" . file_get_contents($this->scriptFile) . "\n</script>\n";
  }
  /**
   * Dump source code.
   * @param string|array $filename  Filename or array with lines.
   * @param int $line_no  Line to focus (empty = complete file, no focus).
   * @param int $line_to  Show source from $line_no to $line_to (no focus).
   * @param string $type  Formatting type (empty = use filename extension).
   * @param string $header  Header (defaults to filename; may contain HTML / no escaping).
   * @return string  Returns false if the file is not readable.
   */
  public function source($filename,$line_no = null,$line_to = null,$type = null,$header = null){
    if(is_array($filename)){
      $lines = array_values($filename);
      $filename = null;
    }
    elseif(!is_readable($filename)) return false;
    else $lines = file($filename);
    $focus = $min = -1;
    $max = $count = count($lines);
    if($line_to){
      $min = $line_no - 1;
      $max = $line_to - 1;
    }
    elseif($line_no){
      $focus = $line_no - 1;
      $min = $focus - $this->extraBefore;
      $max = $focus + $this->extraAfter;
    }
    $max = min($count - 1,$max);
    $table = '';
    for($i = max(0,$min); $i <= $max; $i++){
      $line = htmlspecialchars(rtrim($lines[$i]),ENT_NOQUOTES);
      foreach(($this->sourceFormat[$type ?: File::ext($filename)] ?? []) as $search => $replace) $line = preg_replace($search,$replace,$line);
      $table .= "\t\t<tr" . ($i == $focus ? " class='{$this->styleNamespace}-active'" : '') . "><th>" . ($i + 1) . "</th><td>$line</td></tr>\n";
    }
    return
      "<table class='{$this->styleNamespace}-source'>\n" . ($filename || $header ?
        "\t<thead><tr>" . ($header ? "<th colspan='2'>$header</th>" : "<th><input class='{$this->styleNamespace}-copy' value='" . htmlspecialchars($filename,ENT_QUOTES) . "' onclick='{$this->scriptNamespace}.copy(this)'></th><th>" . htmlspecialchars($filename) . "<span>" . date($this->timeFormat,filemtime($filename)) . ", $count lines</span></th>") . "</tr></thead>\n" : '' ) .
        "\t<tbody>\n$table\t</tbody>\n" .
      "</table>\n";
  }

  protected function valueAsTime($value){
    return ($value > time() - $this->timeWindow) && ($value < time() + $this->timeWindow) ? htmlspecialchars(date($this->timeFormat,$value)) : null;
  }

  protected function escapeDoc($doc){
    $doc = htmlspecialchars($doc);
    $doc = preg_replace('/\\n\\s*\\*  /',"\n",$doc);
    $doc = preg_replace('/\\n\\s*\\*\\s*\\n/',"\n\n",$doc);
    $doc = preg_replace('/(^\\s*\\/\\*\\*\\s*|\\s*\\*\\/\\s*$)/','',$doc);
    $doc = preg_replace('/\\n@(.*?  |param \\S+ \\$\\w+(  )?|return \\S+(  )?)/',"\n<code>@\$1</code>",$doc);
    $doc = str_replace("\n  ",' ',$doc);
    return $doc;
  }

  protected function propertyDoc($filename,$property){
    if(!$filename) return false;
    if(!array_key_exists($key = $filename . '#' . $property,$this->_propertyDocs)){
      $docs = false;
      if(!array_key_exists($filename,$this->_propertyDocs)){
        $this->_propertyDocs[$filename] = [];
        if(is_readable($filename)) foreach(token_get_all(file_get_contents($filename)) as $token) if(is_array($token)) switch($token[0]){
          case T_FUNCTION: break 2;
          case T_WHITESPACE: break;
          default: $this->_propertyDocs[$filename][] = $token;
        }
        $this->_propertyDocs[$filename][] = [null];
        $this->_propertyDocs[$filename][] = [null];
      }
      foreach(($tokens = $this->_propertyDocs[$filename]) as $index => $token) if(($token[0] == T_VARIABLE) && ($token[1] == '$' . $property)){
        if((($tokens[++$index][0] == T_COMMENT) || ($tokens[++$index][0] == T_COMMENT)) && (substr($tokens[$index][1],0,4) == '//!<')){
          $docs = trim(substr($tokens[$index][1],4));
          while(($tokens[++$index][0] == T_COMMENT) && (substr($tokens[$index][1],0,2) == '//')) $docs .= ' ' . trim(substr($tokens[$index][1],2));
        }
        break;
      }
      $this->_propertyDocs[$key] = $docs;
    }
    return $this->_propertyDocs[$key];
  }

  protected function reflectVisibility($reflect){
    $visibility = [];
    if($reflect->isPrivate()) $visibility[] = 'private';
    if($reflect->isProtected()) $visibility[] = 'protected';
    if($reflect->isPublic()) $visibility[] = 'public';
    if($reflect->isStatic()) $visibility[] = 'static';
    return $visibility;
  }

  protected function varConstTable($constants){
    $table =
      "<div class='{$this->styleNamespace}-const'><table class='{$this->styleNamespace}-var'>\n" .
        "\t<thead><tr>" .
          "<th onclick='{$this->scriptNamespace}.sort({$this->_index}," . json_encode(array_keys(Record::sort($names = array_keys($constants)))) . ")'>Name</th>" .
          "<th onclick='{$this->scriptNamespace}.sort({$this->_index}," . json_encode(array_values($names = array_flip($names))) . ")'>Type</th>" .
          "<th onclick='{$this->scriptNamespace}.sort({$this->_index}," . json_encode(array_values(array_merge(Record::sort($constants),$names))) . ")'>Value</th>" .
        "</tr></thead>\n\t<tbody id='dump-sort-{$this->_index}'>\n";
    foreach($constants as $name => $value){
      $i = strpos($row = $this->varRow($name,null,$value),'<tr');
      $table .= substr($row,0,$i) . "<tr id='dump-sort-{$this->_index}-{$names[$name]}'" . substr($row,$i + 3);
    }
    return $table . "\t</tbody>\n</table></div>\n";
  }

  protected function varTypeArray($value,&$size,&$sub,$depth,$hashes){
    $size = count($value);
    if($value){
      if($depth > $this->maxDepth) $sub = "<div class='{$this->styleNamespace}-depth'>depth too great</div>";
      else{
        $keys = null;
        $types = [];
        foreach($value as $key => $record){
          if(!is_array($record) || (($keys !== null) && (array_keys($record) !== $keys))){
            $keys = false;
            break;
          }
          else $keys = array_keys($record);
          if($keys){
            $str = $key;
            foreach($record as $k => $v){
              $type = strtolower(gettype($v));
              if(
                !is_scalar($v) ||
                (strpos($v,"\n") !== false) ||
                (mb_strlen($str .= $v) > $this->maxLength) ||
                (array_key_exists($k,$types) && ($type != ($types[$k])))
              ){
                $keys = false;
                break 2;
              }
              else $types[$k] = $type;
            }
          }
        }
        if($keys){
          $sub .= "\t<thead>\n\t\t<tr><th class='empty' rowspan='2'></th>";
          foreach($keys as $key) $sub .= "<th>" . htmlspecialchars($key) . "</th>";
          $sub .= "</tr>\n\t\t<tr>";
          foreach($keys as $key) $sub .= "<td class='{$this->styleNamespace}-type'>{$types[$key]}</td>";
          $sub .= "</tr>\n\t</thead>\n\t<tbody>\n";
          foreach($value as $key => $record){
            $sub .= "\t\t<tr><th>" . htmlspecialchars($key) . "</th>";
            foreach($record as $v) $sub .= "<td class='{$this->styleNamespace}-value'>" . $this->varValue($v) . "</td>";
            $sub .= "</tr>\n";
          }
          $sub .= "\t</tbody>\n";
        }
        else{
          $type = null;
          if((count($keys = array_keys($value)) > 1) && ($keys == array_keys($keys)) && (strlen(implode($keys)) < $this->maxLength)) foreach($value as $k => $v){
            if(!is_scalar($v) || (($type !== null) && (gettype($v) != $type))){
              $type = false;
              break;
            }
            else $type = gettype($v);
          }
          if(($type = strtolower($type)) && (mb_strlen($str = implode($value)) < $this->maxLength) && (strpos($str,"\n") === false)){
            $sub .= "\t<tr><thead><th class='empty'>";
            foreach($value as $k => $v) $sub .= "<th>" . htmlspecialchars($k) . "</th>";
            $sub .= "</thad></tr>\n\t<tr class='{$this->styleNamespace}-var-$type'><tbody><td class='{$this->styleNamespace}-type'>$type</td>";
            foreach($value as $v) $sub .= "<td class='{$this->styleNamespace}-value'>" . $this->varValue($v) . "</td>";
            $sub .= "</tr></tbody>\n";
          }
          else{
            $keys = false;
            foreach($value as $k => $v) $sub .= $this->varRow($k,null,$v,$depth + 1,$hashes);
          }
        }
        $sub = "<table" . ($keys ? " class='{$this->styleNamespace}-records'" : '') . ">\n$sub</table>\n";
      }
    }
    return null;
  }

  protected function varTypeBoolean($value,&$size,&$sub,$depth,$hashes){
    return $value ? 'true' : 'false';
  }

  protected function varTypeDouble($value,&$size,&$sub,$depth,$hashes){
    if($time = $this->valueAsTime($value)) $value .= "<span>$time</span>";
    return $value;
  }

  protected function varTypeInteger($value,&$size,&$sub,$depth,$hashes){
    if($time = $this->valueAsTime($value)) $value .= "<span>$time</span>";
    return $value;
  }

  protected function varTypeNull($value,&$size,&$sub,$depth,$hashes){
    return 'null';
  }

  protected function varTypeObject($value,&$size,&$sub,$depth,$hashes){
    $class = $reflect = new \ReflectionObject($value);
    if(memory_get_usage() > $this->memoryLimit) $sub .= "<div class='{$this->styleNamespace}-memory'>out of memory</div>";
    elseif(array_key_exists($hash = md5(print_r($value,true)),$hashes)) $sub .= "<a href='#dump-sub-{$hashes[$hash]}' class='{$this->styleNamespace}-recursion'>recursion</a>";
    elseif($depth > $this->maxDepth) $sub .= "<div class='{$this->styleNamespace}-depth'>depth too great</div>";
    else{
      $docs = ($doc = $reflect->getDocComment()) ? $this->escapeDoc($doc) : null;
      $hashes[$hash] = Str::random();
      $properties = [];
      $default = ['type' => null,'docs' => null,'class' => null,'depth' => 0];
      foreach($reflect->getProperties() as $property){
        $property->setAccessible(true);
        $properties[$property->name] = [
          'type' => 'property',
          'visibility' => array_merge($this->reflectVisibility($property),$property->isDefault() ? [] : ['dynamic']),
          'value' => $property->getValue($value),
          'docs' => $property->getDocComment() ?: $this->propertyDoc($reflect->getFilename(),$property->name),
          'sort' => $this->sortProperties ? strtolower(ltrim($property->name,'_')) : null
        ] + $default;
      }
      foreach($reflect->getMethods() as $method) if(preg_match('/^get[A-Z]/',$method->name) && !$method->getNumberOfParameters() && $method->isInternal()) try{
        $method->setAccessible(true);
        $properties[$method->name] = [
          'type' => 'method',
          'visibility' => $this->reflectVisibility($method),
          'value' => $method->invoke($value),
          'docs' => $method->getDocComment(),
          'sort' => $this->sortProperties ? strtolower(substr($method->name,4)) : null
        ] + $default;
      }
      catch(\Exception $e){}
      while($class = $class->getParentClass()){
        if($doc = $class->GetDocComment()) $docs .= "<h1>{$class->name}</h1>" . $this->escapeDoc($doc);
        foreach($properties as $name => &$property) if(call_user_func([$class,'has' . ucfirst($property['type'])],$name)){
          if($this->groupProperties){
            $property['class'] = $class->name;
            $property['depth']++;
          }
          if(!$property['docs']) $property['docs'] = ($property['type'] == 'property' ? $class->getProperty($name) : $class->getMethod($name))->getDocComment() ?: ($property['type'] == 'property' ? $this->propertyDoc($class->getFilename(),$name) : null);
        }
      }
      unset($property);
      if($reflect->hasMethod('__toString')) try{
         $properties['{string}'] = [
          'visibility' => ['public'],
          'value' => (string)$value,
          'sort' => '{string}'
        ] + $default;
      }
      catch(\Exception $e){}
      if($properties){
        uasort($properties,function($a,$b){
          return ($a['depth'] <=> $b['depth']) ?: ($a['sort'] <=> $b['sort']);
        });
        if($docs) $sub .= "\t<tr class='{$this->styleNamespace}-docs'><td colspan='4'><div>$docs</div></td></tr>\n";
        $class = null;
        foreach($properties as $name => $property){
          if($property['class'] != $class) $sub .= "\t<tr class='{$this->styleNamespace}-class'><td colspan='4'>" . htmlspecialchars($class = $property['class']) . "</td></tr>\n";
          $sub .= $this->varRow($name . ($property['type'] == 'method' ? '()' : ''),$property['visibility'],$property['value'],$depth + 1,$hashes,$property['docs']);
        }
        $sub = "<table>\n" . str_replace($hashes[$hash],$this->_index + 1,$sub) . "</table>\n";
      }
    }
    if($constants = $reflect->getConstants()) $sub .= $this->varConstTable($constants);
    return $reflect->name;
  }

  protected function varTypeResource($value,&$size,&$sub,$depth,$hashes){
    $info = null;
    switch($type = get_resource_type($value)){
      case 'curl': $info = curl_getinfo($value); break;
      case 'gd': $info = ['width' => imagesx($value),'height' => imagesy($value),'colors' => imagecolorstotal($value)]; break;
      case 'stream': $info = stream_get_meta_data($value); break;
    }
    if($info){
      if($this->sortProperties) ksort($info);
      foreach($info as $k => $v) $sub .= $this->varRow($k,null,$v);
      $sub = "<table>\n$sub</table>\n";
    }
    return $type;
  }

  protected function varTypeString($value,&$size,&$sub,$depth,$hashes){
    $size = strlen($value);
    $filename = null;
    if(is_array($data = json_decode($value, true))) $this->varTypeArray($data,$skip,$sub,$depth,$hashes);
    elseif($this->validFilename && preg_match($this->validFilename,$value) && is_file($value)) $filename = $value;
    if((mb_strlen($value) > $this->maxLength) || (strpos($value,"\n") !== false)){
      if(!$sub) $sub = "<pre>" . htmlspecialchars($value) . "</pre>";
      $value = mb_substr($value,0,$this->maxLength);
    }
    $value = htmlspecialchars($value);
    foreach(["\n" => '\\n',"\r" => '\\r',"\t" => '\\t'] as $s => $r) $value = str_replace($s,"<code>$r</code>",$value);
    if($filename) $value .= "<span>" . htmlspecialchars(implode(', ',[date($this->timeFormat,filemtime($filename)),Number::formatBytes(filesize($filename))])) . "</span>";
    return $value;
  }

  protected function varTypeUnknown($value,&$size,&$sub,$depth,$hashes){
    return 'unknown type';
  }

  protected function varValue($value,&$size = null,&$sub = null,$depth = 0,$hashes = []){
    $size = $sub = null;
    return call_user_func_array(
      [$this,method_exists($this,$method = 'varType' . ucfirst(strtolower(gettype($value)))) ? $method : 'varTypeUnknown'],
      [$value,&$size,&$sub,$depth,$hashes]
    );
  }

  protected function varRow($name,$visibility,$value,$depth = 0,$hashes = [],$docs = null){
    $from = $this->_index + 1;
    $type = strtolower(gettype($value));
    $value = $this->varValue($value,$size,$sub,$depth,$hashes);
    if($sub){
      $index = ++$this->_index;
      $value .=
        "<div class='{$this->styleNamespace}-actions'>" .
          "<button type='button' class='{$this->styleNamespace}-show' id='dump-show-$index'" . ($index >= $from ? " onclick='{$this->scriptNamespace}.showSubs($from,$index,event)'" : '') . ">+</button>" .
          "<button type='button' class='{$this->styleNamespace}-hide' id='dump-hide-$index' onclick='{$this->scriptNamespace}.hideSub($index,event)'>-</button>" .
        "</div>";
      $sub =
        "\t<tr class='{$this->styleNamespace}-sub' id='dump-sub-$index'><td colspan='" . ($visibility ? 4 : 3) . "' class='{$this->styleNamespace}-sub'>" .
          "<div class='{$this->styleNamespace}-name'>" . (substr_count($sub,'<tr') * 2 >= strlen($name) ? "<div>" . htmlspecialchars($name) . "</div>" : '') . "</div>" .
          $sub .
        "</td></tr>\n";
    }
    return
      "\t<tr class='{$this->styleNamespace}-var-$type'>" .
        "<th" . ($docs ? " title='" . htmlspecialchars($this->escapeDoc($docs),ENT_QUOTES) . "'" : '') . ">" . htmlspecialchars($name) . "</th>" .
        ($visibility ? "<td class='{$this->styleNamespace}-visibility" . implode(" {$this->styleNamespace}-visibility-",array_merge([null],$visibility)) . "'>" . implode(' ',$visibility) . "</td>" : '') .
        "<td class='{$this->styleNamespace}-type'>$type" . ($size === null ? '' : "<span>$size</span>") . "</td>" .
        "<td class='{$this->styleNamespace}-value'" . ($sub ? " onclick='{$this->scriptNamespace}.showSub($index,event)'" : '') . ">$value</td>" .
      "</tr>\n" .
      $sub;
  }
  /**
   * Dump a variable.
   * @param string $name  Name of the variable.
   * @param mixed $value
   * @param string $docs  Documentation for the variable.
   * @return string
   */
  public function var($name,$value,$docs = null){
    return "<table class='{$this->styleNamespace}-var'>\n" . $this->varRow($name,null,$value,0,[],$docs) . "</table>\n";
  }

  protected function traceTabs($step,$reflect){
    if(array_key_exists('file',$step)) $tabs['source'] = ['caption' => 'Source','tab' => $this->source($step['file'],$step['line'])];
    $filename = $reflect ? strtolower($step['class'] ?? 'function') . '.' . str_replace('_','-',$reflect->name) : null;
    if($args = $step['args'] ?? null){
      $params = [];
      if($reflect) foreach($reflect->getParameters() as $param) $params[] = $param->name;
      $tab = null;
      foreach($args as $index => $arg){
        $consts = [];
        if(is_numeric($arg)){
          if($this->_paramConsts === null) $this->_paramConsts = $this->paramConstsFile ? require($this->paramConstsFile) : [];
          foreach(($this->_paramConsts[$filename][$params[$index] ?? null] ?? []) as $const => $value) if($arg & $value) $consts[$const] = $value;
          if($consts && (array_sum($consts) != $arg)) $consts['???'] = null;
        }
        $tab .= $this->var(array_key_exists($index,$params) ? '$' . $params[$index] : '#' . $index,$arg,implode(' + ',array_keys($consts)));
      }
      $tabs['args'] = ['caption' => 'Parameters','tab' => $tab];
    }
    if(array_key_exists('object',$step)) $tabs['object'] = ['caption' => 'Object','tab' => $this->var($step['class'] ?? null,$step['object'])];
    if($reflect){
      $docs = [($prev = null) => $reflect->isInternal() ? true : $reflect->getDocComment()];
      $protos = [];
      if($reflect instanceof \ReflectionMethod){
        $class = $reflect->getDeclaringClass();
        while($class = $class->getParentClass()){
          if($method = $class->hasMethod($reflect->name)){
            if(($docs[$class->name] = $class->getMethod($reflect->name)->getDocComment()) == $docs[$prev]) $docs[$prev] = false;
            $prev = $class->name;
          }
          $protos[] =
            "<span title='" . htmlspecialchars($class->getFileName()) . "'" . ($method ? '' : " class='{$this->styleNamespace}-parent-base'") . ">" .
              ($class->isInternal() ? "<a href='{$this->remoteDocs}class." . strtolower($class->name) . ".php' target='_blank'>" : '') .
              $class->name .
              ($class->isInternal() ? "</a>" : '') .
              (($traits = $class->getTraitNames()) ? " <span class='{$this->styleNamespace}-traits'>(traits: " . implode(', ',$traits) . ")</span>" : '') .
              (($interfaces = $class->getInterfaceNames()) ? " <span class='{$this->styleNamespace}-interfaces'>(interfaces: " . implode(', ',$interfaces) . ")</span>" : '') .
            "</span>";
        }
      }
      if($docs = array_filter($docs)){
        foreach($docs as &$doc) $doc = $doc === true
          ? "<a href='{$this->remoteDocs}$filename.php' target='_blank'>" . preg_replace('~^.*?://~','',$this->remoteDocs) . "$filename.php</a>" .
            ($this->localDocs ? " / " . preg_replace('~^.*?://~','',$this->localDocs) . "$filename.html: <iframe src='{$this->localDocs}$filename.html'></iframe>" : '')
          : $this->escapeDoc($doc);
        unset($doc);
        $tabs['docs'] = ['caption' => 'Documentation','tab' => "<div class='{$this->styleNamespace}-docs'><h1>" . Record::implode($docs,"</p>\n\t<h1>","</h1>\n\t<p>") . "</p></div>"];
      }
      if($filename = $reflect->getFilename()) $tabs['function'] = ['caption' => 'Function','tab' => $this->source($filename,$reflect->getStartLine(),$reflect->getEndLine())];
    }
    if(array_key_exists('class',$step)){
      $class = new \ReflectionClass($step['class']);
      if($constants = $class->getConstants()) $tabs['const'] = ['caption' => 'Constants','tab' => $this->varConstTable($constants)];
    }
    if($reflect && ($misc = array_filter($misc = [
      'Return type' => $reflect->getReturnType(),
      'Parents' => implode(', ',array_filter($protos)),
      'Deprecated' => $reflect->isDeprecated() ? 'yes' : null
    ]))) $tabs['misc'] = ['caption' => 'Other','tab' => "<ul class='{$this->styleNamespace}-misc'><li><b>" . Record::implode($misc,"</li>\n\t<li><b>",':</b> ') . "</li></ul>"];
    return $tabs;
  }

  protected function traceShowTab($tabs,$index,$key){
    return array_key_exists($key,$tabs) ? " onclick='{$this->scriptNamespace}.showTab($index,\"$key\"," . json_encode(array_keys($tabs)) . ")'" : null;
  }
  /**
   * Dump a (back-) trace.
   * @param array $trace  Current trace when empty.
   * @return string
   */
  public function trace($trace = null){
    if($trace === null) $trace = debug_backtrace();
    $table = null;
    foreach($trace as $step){
      $index = ++$this->_index;
      $actions = $sub = $nav = $params = $reflect = null;
      if(array_key_exists('function',$step)) try{
        $reflect = array_key_exists('class',$step) ? new \ReflectionMethod($step['class'],$step['function']) : new \ReflectionFunction($step['function']);
      }
      catch(\Exception $e){
        $reflect = false;
      }
      if($reflect && ($args = $step['args'] ?? null)) foreach($reflect->getParameters() as $param) $params .=
        ($params ? ',' : '') .
        ($param->isPassedByReference() ? '&amp;' : '') .
        "<span class='{$this->styleNamespace}-name'>\$" . htmlspecialchars($param->name) . "</span>" .
        ($param->isDefaultValueAvailable() ? ' = ' . htmlspecialchars(var_export($param->getDefaultValue(),true)) : '');
      if($tabs = $this->traceTabs($step,$reflect)){
        $actions .=
          "<div class='{$this->styleNamespace}-actions'>" .
            "<button type='button' class='{$this->styleNamespace}-show' id='dump-show-$index' onclick='{$this->scriptNamespace}.showSub($index)'>+</button>" .
            "<button type='button' class='{$this->styleNamespace}-hide' id='dump-hide-$index' onclick='{$this->scriptNamespace}.hideSub($index)'>-</button>" .
          "</div>";
        foreach($tabs as $key => $tab){
          $nav .= "<button type='button' class='{$this->styleNamespace}-tab-$key" . ($nav ? '' : " {$this->styleNamespace}-active") . "' id='dump-nav-$index-$key'" . $this->traceShowTab($tabs,$index,$key) . ">" . ($tab['caption'] ?? $key) . "</button>";
          $sub .= "\t\t<div id='dump-tab-$index-$key' class='{$this->styleNamespace}-tab-$key'>{$tab['tab']}</div>\n";
        }
        $sub = "\t<tr class='{$this->styleNamespace}-sub' id='dump-sub-$index'><td colspan='3' class='{$this->styleNamespace}-tabs'>\n\t\t<nav>$nav</nav>\n$sub\t</td></tr>\n";
      }
      $table .=
        "\t<tr class='{$this->styleNamespace}-step'>\n" .
          "\t\t<td>$actions</td>\n" .
          "\t\t<td>" . (array_key_exists('file',$step) ? "<span class='{$this->styleNamespace}-file'" . $this->traceShowTab($tabs,$index,'source') . ">" . htmlspecialchars($step['file'] . "#" . $step['line']) . " <input class='{$this->styleNamespace}-copy' value='" . htmlspecialchars($step['file'],ENT_QUOTES) . "' onclick='{$this->scriptNamespace}.copy(this)'></span>" : '') . "</td>\n" .
          "\t\t<td>" .
            (array_key_exists('class',$step) ? "<span class='{$this->styleNamespace}-class'" . $this->traceShowTab($tabs,$index,'object') . ">" . htmlspecialchars($step['class'] . ($step['type'] ?? null)) . "</span>" : '') .
            (array_key_exists('function',$step)
              ? "<span class='{$this->styleNamespace}-function'" . ($this->traceShowTab($tabs,$index,'docs') ?: $this->traceShowTab($tabs,$index,'function')) . ">" . htmlspecialchars($step['function']) . "</span>" .
                "<span class='{$this->styleNamespace}-args'" . $this->traceShowTab($tabs,$index,'args') . ">($params)</span>"
              : ''
            ) .
          "</td>\n" .
        "\t</tr>\n" .
        $sub;
    }
    return "<table class='{$this->styleNamespace}-trace'>\n$table</table>\n";
  }
  /**
   * Dump and die.
   * @param mixed $value  Trace when empty.
   */
  public static function die($value = null){
    $dump = new self();
    die(
      "<!DOCTYPE html>\n<html>\n" .
        "\t<head><title>Dump</title>" . $dump->head() . "</head>\n" .
        "\t<body>" . (func_num_args() ? $dump->var('value',$value) : $dump->trace()) . "</body>\n" .
      "</html>"
    );
  }

}