305         $instr = p_cached_instructions($file, false);
309         if (!empty($instr)) {
317             $instr   = $this->_convertInstructions(
318                 $instr,
329             $content = p_render('xhtml', $instr, $info);
355     function _convertInstructions($instr, $incl, &$renderer, $clevel, $o){  argument
371         for ($i = 0; $i < count($instr); $i++){
375                 if((substr($instr[$i][0], 0, 8) == 'internal')){
379                     $this->_convert_link($renderer,$instr[$i],$iNS,$iID,$o);
381                 } elseif ($instr[$i][0] == 'header'){
385                     $this->_convert_header($renderer,$instr[$i],$clevel,$o);
387                 } elseif ($instr[$i][0] == 'section_open'){
391                     $level = $instr[$i][1][0] + $clevel;
399                     $instr[$i][1][0] = $level;
406             if($o['split_too_long'] && $instr[$i][0] == 'code') {
408                 $instr[$i][1][0] = wordwrap($instr[$i][1][0],70,"\n");
416         if ($instr[0][0] == 'document_start') {
418             return array_slice($instr, 1, -1);
422             return $instr;
431     function _convert_header(&$renderer,&$instr,$clevel,$o) {  argument
435         $level = $instr[1][1] + $clevel;
444         $instr[1][1] = $level;
471             $instr[1][0] = $number . " " . $instr[1][0];
477             $text = $instr[1][0];
494     function _convert_link(&$renderer, &$instr, $iNS, $id, $o) {  argument
497         if ($instr[1][0]{0} == '.'){
500             $instr[1][0] = $iNS.':'.substr($instr[1][0], 1);
502         } else if (strpos($instr[1][0],':') === false) {
505             $instr[1][0] = $iNS.':'.$instr[1][0];
511         if(strpos($instr[1][0], $o['start_ns']) === 0) {
516                     substr_count($instr[1][0],":")
520                 if(strpos($instr[1][0],"#") !== false) {
522                     $levels = preg_split("/#/",$instr[1][0]);
525                     $instr[1][0] = $id . "#" . $levels[sizeof($levels)-1];
535                     $instr[1][0] = $id . "#" . str_replace(
538                         $instr[1][0]
543                     if(empty($instr[1][1])) {
547                         $name = preg_split("/_/",$instr[1][0]);
551                         $instr[1][1] = $name[sizeof($name)-1];