last update: Wed, 18 Jan 2012 19:27:18 +0000
  1. <?
  3. require_once 'mysql_cfg.php';
  4. require_once('code_css.php');
  8. class languagedata
  9. {
  10. var $case_sensitive = true;
  11. var $elements_in_array = array();
  12. var $elements_in_array_by_len = array();
  13. var $elements_until_end = array();
  14. var $elements_start_to_end = array();
  15. var $elements_start_to_end_escape = array();
  17. var $elements_until_end_first = array();
  18. var $elements_start_to_end_first = array();
  19. var $elements_start_to_end_escape_first = array();
  21. var $elements_regexp = array();
  23. var $shorts;
  26. var $delimiters = array();
  28. function cs($element)
  29. {
  30. if (!$this->case_sensitive)
  31. {
  32. return strtolower($element);
  33. }
  34. else
  35. {
  36. return $element;
  37. }
  38. }
  40. // +set
  41. function add_element_in_array($element, $tag)
  42. {
  43. $element = $this->cs($element);
  44. $this->elements_in_array[$element] = $tag;
  45. $this->elements_in_array_by_len[strlen($element)][$element] = $tag;
  46. }
  48. function add_element_until_end($element, $tag)
  49. {
  50. $element = $this->cs($element);
  51. $this->elements_until_end[$element] = $tag;
  52. $this->elements_until_end_first[$element[0]][$element] = $tag;
  53. }
  55. function add_element_start_to_end($element_start, $element_end, $tag)
  56. {
  57. $element_start = $this->cs($element_start);
  58. $element_end = $this->cs($element_end);
  59. $this->elements_start_to_end[$element_start] = array('TAG' => $tag,'START' => $element_start, 'END' => $element_end);
  60. $this->elements_start_to_end_first[$element_start[0]][$element_start] = array('TAG' => $tag,'START' => $element_start, 'END' => $element_end);
  61. }
  63. function add_element_start_to_end_escape($element_start, $element_end, $escape, $tag)
  64. {
  65. $element_start = $this->cs($element_start);
  66. $element_end = $this->cs($element_end);
  67. $this->elements_start_to_end_escape[$element_start] = array('TAG' => $tag,'START' => $element_start, 'END' => $element_end, 'ESCAPE' => $escape);
  68. $this->elements_start_to_end_escape_first[$element_start[0]][$element_start] = array('TAG' => $tag,'START' => $element_start, 'END' => $element_end, 'ESCAPE' => $escape);
  69. }
  73. function add_element_regexp($element, $tag)
  74. {
  75. $this->elements_regexp[$element] = $tag;
  76. }
  77. // -set
  79. function get_element_in_array_tag($element)
  80. {
  81. $element = $this->cs($element);
  82. if (isset($this->elements_in_array[$element]))
  83. {
  84. return $this->elements_in_array[$element];
  85. }
  86. return false;
  87. }
  89. function get_element_in_array_tag_fast($element, $len)
  90. {
  91. $element = $this->cs($element);
  92. if (isset($this->elements_in_array_by_len[$len][$element]))
  93. {
  94. return $this->elements_in_array_by_len[$len][$element];
  95. }
  96. return false;
  97. }
  99. function get_element_until_end_tag($element)
  100. {
  101. $element = $this->cs($element);
  102. if (isset($this->elements_until_end[$element]))
  103. {
  104. return $this->elements_until_end[$element];
  105. }
  106. return false;
  107. }
  110. function get_element_start_to_end_tag($element)
  111. {
  112. $element = $this->cs($element);
  113. if (isset($this->elements_start_to_end[$element]))
  114. {
  115. return $this->elements_start_to_end[$element];
  116. }
  117. return false;
  118. }
  120. var $regexp_count = 0;
  121. function get_element_regexp_tag($element)
  122. {
  123. foreach ($this->elements_regexp as $regexp => $tag)
  124. {
  125. if (preg_match($regexp, $element))
  126. {
  127. return $tag;
  128. }
  129. }
  130. return false;
  131. }
  133. function is_delimiter($element)
  134. {
  135. if (isset($this->delimiters[$element]))
  136. {
  137. return true;
  138. }
  139. return false;
  140. }
  142. function debug_print()
  143. {
  144. echo "<pre>";
  145. echo "<h3>delimiters</h3>";
  146. print_r($this->delimiters);
  147. echo "<h3>elements_in_array</h3>";
  148. print_r($this->elements_in_array);
  149. echo "<h3>elements_in_array_by_len</h3>";
  150. print_r($this->elements_in_array_by_len);
  151. echo "<h3>elements_until_end</h3>";
  152. print_r($this->elements_until_end);
  153. echo "<h3>elements_start_to_end</h3>";
  154. print_r($this->elements_start_to_end);
  155. echo "<h3>elements_regexp</h3>";
  156. print_r($this->elements_regexp);
  157. echo "</pre><hr />";
  158. }
  161. function load_array($a)
  162. {
  163. //load delimiters
  164. $this->delimiters = array_flip($a['DELIMITERS']);
  165. unset($a['DELIMITERS']);
  167. if (isset($a['CASE_SENSITIVE']))
  168. {
  169. $this->case_sensitive = !(!$a['CASE_SENSITIVE']);
  170. unset($a['CASE_SENSITIVE']);
  171. }
  173. //loop through all tags...
  174. foreach ($a as $tag => $e0)
  175. {
  176. foreach ($e0 as $e)
  177. {
  178. if ($e['TYPE'] == 'IN_ARRAY')
  179. {
  180. //loop through all array elemnts...
  181. foreach ($e['ARRAY'] as $element)
  182. {
  183. $this->add_element_in_array($element, $tag);
  184. }
  185. }
  186. elseif ($e['TYPE'] == 'UNTIL_END')
  187. {
  188. $this->add_element_until_end($e['START'], $tag);
  189. }
  190. elseif ($e['TYPE'] == 'REGEXP')
  191. {
  192. $this->add_element_regexp($e['REGEXP'], $tag);
  193. }
  194. elseif ($e['TYPE'] == 'START_TO_END')
  195. {
  196. $this->add_element_start_to_end($e['START'], $e['END'], $tag);
  197. }
  198. elseif ($e['TYPE'] == 'START_TO_END_ESCAPE')
  199. {
  200. $this->add_element_start_to_end_escape($e['START'], $e['END'], $e['ESCAPE'], $tag);
  201. }
  202. else
  203. {
  204. echo "Corrupted Language-Data-Array. Error in line ". __LINE__;
  205. }
  206. }
  207. }
  208. }
  209. }
  211. class highlightstyle
  212. {
  213. var $styles = array();
  215. function get_style($tag)
  216. {
  217. if (isset($this->styles[$tag]))
  218. {
  219. return $this->styles[$tag];
  220. }
  221. return '%%';
  222. }
  224. function create_styled_text ($text, $tag)
  225. {
  226. $style = $this->get_style($tag);
  227. $text2=$text;
  228. $text2 = str_replace("<","<",$text2);
  229. $text2 = str_replace(">",">",$text2);
  230. //$text2 = str_replace(" "," ",$text2);
  231. return str_replace('%%', $text2, $style);
  232. }
  234. function create_styled_text_raw ($text, $tag)
  235. {
  236. $style = $this->get_style($tag);
  237. $text2=$text;
  238. //$text2 = str_replace("<","<",$text2);
  239. //$text2 = str_replace(">",">",$text2);
  240. //$text2 = str_replace(" "," ",$text2);
  241. return str_replace('%%', $text2, $style);
  242. }
  244. function load_array($a)
  245. {
  246. $this->styles = $a;
  247. }
  248. }
  251. class codehighlighter
  252. {
  253. var $lines;
  254. function codehighlighter($lines)
  255. {
  256. $this->lines = $lines;
  257. }
  259. function insert_highlight($line, $from, $to, $hl_start = '<span class="highlight">', $hl_end = '</span>')
  260. {
  261. //echo "<br /><br />$from - $to ".htmlspecialchars($line)." <br />\n";
  262. //return $line;
  263. $result = '';
  266. $intag = false;
  267. $hl = false;
  268. $ignore_next = false;
  269. $add_start = false;
  271. $pos = 0;
  272. $real_pos = 0;
  273. $len = strlen($line);
  274. $c = "";
  276. while ($pos < $len)
  277. {
  278. $c = $line[$pos];
  279. if ($intag)
  280. {
  281. if ($c == ">")
  282. {
  283. $intag = false;
  284. if ($hl)
  285. {
  286. $add_start = true;
  287. //$result.= $hl_start;
  288. }
  289. }
  290. }
  291. else
  292. {
  293. if ($c == "<")
  294. {
  295. $intag = true;
  296. if (($real_pos == $to))
  297. {
  298. $result.=$hl_end;
  299. $hl=false;
  300. }
  301. else if ($hl)
  302. {
  303. if (!$ignore_next)
  304. {
  305. $result.= $hl_end;
  306. }
  307. $ignore_next = false;
  308. }
  309. }
  310. else
  311. {
  312. if (($real_pos == $from))
  313. {
  314. //echo "real_pos == from<br />";
  315. $hl = true;
  316. if ($line[$pos] == "<")
  317. {
  318. //echo "line[pos]+1 == <";
  319. $ignore_next = true;
  320. //$result.="<";
  321. //$pos++;
  322. //$intag=true;
  323. }
  324. else
  325. {
  326. //echo "adding hl_start<br />";
  327. $result.=$hl_start;
  328. }
  329. }
  330. if (($real_pos == $to))
  331. {
  332. $result.=$hl_end;
  333. $hl=false;
  334. }
  335. if (!$intag)
  336. {
  337. $real_pos++;
  338. }
  339. }
  340. }
  341. $result.=$line[$pos];
  342. if ($add_start)
  343. {
  344. $result.= $hl_start;
  345. $add_start = false;
  346. }
  348. //echo "($pos, $real_pos, ". (($intag) ? "true" : "false") .") ".htmlspecialchars($result)." <br />\n";
  350. $pos++;
  351. }
  353. return $result;
  355. }
  357. function insert_highlight_old($line, $from, $to)
  358. {
  359. $soll = substr(strip_tags($line), $from, $to-$from);
  363. $result = '';
  365. $hl = false;
  366. $intag = false;
  368. $open = false;
  369. $start_after_endtag = false;
  375. //loop through chars
  376. $pos = 0;
  377. $real_pos = 0;
  378. $len = strlen($line);
  379. while ($pos < $len)
  380. {
  381. //echo "$pos || $real_pos || ". $line[$pos] . "<br />";
  383. if ((!$hl) && (!$intag) && ($real_pos == $from))
  384. {
  385. $result.= '<span class="highlight">';
  386. $hl = true;
  387. }
  391. if ($intag)
  392. {
  393. $result.=$line[$pos];
  394. if ($line[$pos] == '>')
  395. {
  396. $intag = false;
  397. if ($start_after_endtag)
  398. {
  399. $start_after_endtag = false;
  400. $result.='<span class="highlight">';
  401. }
  402. }
  404. }
  405. else //not intag
  406. {
  408. if ($line[$pos] == '<')
  409. {
  410. $intag = true;
  412. if ($line[$pos+1] == '/')
  413. {
  414. $open = false;
  415. if (($hl) && ($real_pos >= $from) && ($real_pos < $to))
  416. {
  417. $result.='</span>';
  418. $start_after_endtag = true;
  420. }
  421. }
  422. else
  423. {
  424. $open = true;
  425. }
  427. $result.=$line[$pos];
  428. }
  429. else
  430. {
  431. $result.=$line[$pos];
  432. ++$real_pos;
  433. }
  435. if (($hl) && ($real_pos == $to))
  436. {
  437. $result.= '</span>';
  438. $hl = false;
  439. }
  440. }
  444. ++$pos;
  445. }
  447. if ($hl)
  448. {
  449. $result.= '</span>';
  450. }
  451. $result = str_replace('<span class="highlight"></span>', '', $result);
  452. echo "<pre>\n\n".htmlspecialchars($line). "\n". htmlspecialchars($result) ."\n</pre>";
  454. return $result;
  455. }
  457. function fill_line_array($s)
  458. {
  459. return explode("\n",trim($s));
  460. }
  462. function parse_code($language_data, $highlight_style)
  463. {
  464. $output_lines = array();
  469. //go through all lines
  471. //temp
  472. $cur_tag = '';
  473. $cur_end = '';
  475. $line_nr = 0;
  476. foreach($this->lines as $line)
  477. {
  478. $line_nr++;
  479. $add_lines = substr_count($line, "\n");
  480. //cut off right whitespace
  481. $line = rtrim($line);
  482. //replace tabs by 4 spaces
  483. $line = str_replace("\t"," ",$line);
  487. //manage highlights with or ##
  488. $highlight_line = false;
  489. if (substr($line, 0, 2) == '##')
  490. {
  491. $highlight_line = true;
  492. $line = substr($line, 2);
  493. }
  494. $highlight_part_a = array();
  495. $highlight_part = false;
  496. $highlight_count = 0;
  497. $pos = 0;
  498. while (1)
  499. {
  500. $pos = strpos($line, "", $pos);
  501. if ($pos === false)
  502. {
  503. if ((isset($highlight_part_a[$highlight_count-1]['START'])) && (!isset($highlight_part_a[$highlight_count-1]['END'])))
  504. {
  505. $highlight_part_a[$highlight_count-1]['END'] = strlen($line);
  506. }
  507. break;
  508. }
  509. else
  510. {
  511. if ($highlight_part)
  512. {
  513. //end
  514. $highlight_part_a[$highlight_count-1]['END'] = $pos - 4 * $highlight_count + 2;
  516. }
  517. else
  518. {
  519. //start
  520. $highlight_part_a[$highlight_count]['START'] = $pos - 4 * $highlight_count;
  521. ++$highlight_count;
  522. }
  523. $highlight_part = !$highlight_part;
  524. ++$pos;
  525. }
  526. ++$pos;
  527. }
  529. if ($highlight_count)
  530. {
  531. $line = str_replace("","",$line);
  533. }
  536. $pos = 0;
  537. $output_line = '';
  538. if (!$cur_tag)
  539. {
  540. //find the first no whitespace character
  541. $pos = strlen($line) - strlen(ltrim($line));
  542. $output_line.= substr($line,0,$pos);
  543. }
  544. else
  545. {
  546. $end_pos = false;
  547. if ($cur_escape === false) {
  548. $end_pos = strpos($line, $cur_end);
  549. } else {
  550. $p = 0;
  551. $escape = $cur_escape;
  552. while ($p <= strlen($line)-strlen($end)) {
  553. if ($line[$p] == $escape) {
  554. $p+=2;
  555. continue;
  556. } elseif (substr($line, $p, strlen($end)) == $end) {
  557. $end_pos = $p;
  558. break;
  559. }
  560. $p++;
  561. }
  562. }
  563. if ($end_pos === false)
  564. {
  565. $output_line.= $highlight_style->create_styled_text($line , $cur_tag);
  566. $pos = strlen($line);
  567. //continue;
  568. }
  569. else
  570. {
  571. $pos = $end_pos+strlen($cur_end);
  572. $output_line.= $highlight_style->create_styled_text(substr($line, 0, $pos) , $cur_tag);
  573. $cur_tag = '';
  574. $cur_end = '';
  576. }
  577. }
  579. //temp strings
  580. $word = '';
  581. $endword = false;
  582. $add = '';
  584. //loop through remaining chars
  585. $len = strlen($line);
  586. while ($pos < $len)
  587. {
  590. $c = array();
  592. $c[0] = $line[$pos];
  593. for ($o = 1; ($o + $pos < $len) && ($o < 3); $o++ )
  594. {
  595. $c[$o] = $c[$o-1] . $line[$pos + $o];
  596. }
  598. /*if ((isset($c[1])) && ($c[1] == ''))
  599. {
  600. if ($highlight_part)
  601. {
  602. $highlight_part = false;
  603. //$word.= '</span>';
  604. }
  605. else
  606. {
  607. $highlight_part = true;
  608. //$word.= '<span class="highlight">';
  609. }
  610. $pos+=2;
  611. continue;
  612. }
  613. */
  617. $found = false;
  618. /* old way
  619. for ($c_pos = sizeof($c)-1; $c_pos >= 0; $c_pos--)
  620. {
  621. $cc = $c[$c_pos];
  623. if ($tag = $language_data->get_element_until_end_tag($cc))
  624. {
  625. $endword = true;
  626. $add = $highlight_style->create_styled_text(substr($line, $pos) , $tag);
  627. $pos = strlen($line);
  628. $found = true;
  629. break;
  630. }
  631. elseif ($data = $language_data->get_element_start_to_end_tag($cc))
  632. {
  634. $tag = $data['TAG'];
  635. $end = $data['END'];
  636. $end_pos = strpos($line, $end, $pos + $c_pos + 1);
  637. if ($end_pos === false)
  638. {
  639. $endword = true;
  640. $add = $highlight_style->create_styled_text(substr($line, $pos) , $tag);
  641. $pos = strlen($line);
  642. //save tag and end for next line
  643. $cur_tag = $tag;
  644. $cur_end = $end;
  645. }
  646. else
  647. {
  648. $endword = true;
  649. $add = $highlight_style->create_styled_text(substr($line, $pos, $end_pos - $pos + strlen($end)) , $tag);
  650. $pos = $end_pos + $c_pos;
  651. }
  652. $found = true;
  653. break;
  654. }
  655. }
  656. */
  657. //Altrenative : andersrum...
  658. if (isset($language_data->elements_until_end_first[$c[0]]))
  659. {
  660. $found_tag = '';
  661. $found_tag_len = 0;
  662. foreach ($language_data->elements_until_end_first[$c[0]] as $element => $tag)
  663. {
  664. $element_len = strlen($element)-1;
  665. if (isset($c[$element_len]) &&($element == $c[$element_len]))
  666. {
  667. if ($element_len >= $found_tag_len)
  668. {
  669. $found_tag = $tag;
  670. $found_tag_len = $element_len;
  671. }
  672. }
  675. }
  676. if ($found_tag != '')
  677. {
  679. $tag = $found_tag;
  680. $endword = true;
  681. $add = $highlight_style->create_styled_text(substr($line, $pos) , $tag);
  682. $pos = strlen($line);
  683. $found = true;
  684. //break;
  685. }
  686. }
  689. if (!$found)
  690. {
  691. if (isset($language_data->elements_start_to_end_first[$c[0]]))
  692. {
  693. $found_tag = '';
  694. $found_data;
  695. $found_tag_len = 0;
  696. foreach ($language_data->elements_start_to_end_first[$c[0]] as $element => $data)
  697. {
  699. $element_len = strlen($element)-1;
  700. if (isset($c[$element_len]) &&($element == $c[$element_len]))
  701. {
  702. if ($element_len >= $found_tag_len)
  703. {
  704. $found_tag = $data['TAG']; //undefined variable tag?
  705. $found_data = $data;
  706. $found_tag_len = $element_len;
  707. }
  708. }
  709. }
  710. if ($found_tag != '')
  711. {
  712. $data = $found_data;
  713. $tag = $data['TAG'];
  714. $end = $data['END'];
  715. $end_pos = strpos($line, $end, $pos + $element_len + 1);
  716. if ($end_pos === false)
  717. {
  718. $endword = true;
  719. $add = $highlight_style->create_styled_text(substr($line, $pos) , $tag);
  720. $pos = strlen($line);
  721. //save tag and end for next line
  722. $cur_tag = $tag;
  723. $cur_end = $end;
  724. $cur_escape = false;
  725. }
  726. else
  727. {
  728. $endword = true;
  729. $add = $highlight_style->create_styled_text(substr($line, $pos, $end_pos - $pos + strlen($end)) , $tag);
  730. $pos = $end_pos + $element_len;
  731. }
  732. $found = true;
  733. //break;
  734. }
  735. }
  736. }
  738. if (!$found)
  739. {
  740. if (isset($language_data->elements_start_to_end_escape_first[$c[0]]))
  741. {
  742. $found_tag = '';
  743. $found_data;
  744. $found_tag_len = 0;
  745. foreach ($language_data->elements_start_to_end_escape_first[$c[0]] as $element => $data)
  746. {
  748. $element_len = strlen($element)-1;
  749. if (isset($c[$element_len]) &&($element == $c[$element_len]))
  750. {
  751. if ($element_len >= $found_tag_len)
  752. {
  753. $found_tag = $data['TAG']; //undefined variable tag?
  754. $found_data = $data;
  755. $found_tag_len = $element_len;
  756. }
  757. }
  758. }
  759. if ($found_tag != '')
  760. {
  761. $data = $found_data;
  762. $tag = $data['TAG'];
  763. $end = $data['END'];
  764. $escape = $data['ESCAPE'];
  766. $p = $pos+1;
  767. $end_pos = false;
  768. while ($p <= strlen($line)-strlen($end)) {
  769. if ($line[$p] == $escape) {
  770. $p+=2;
  771. continue;
  772. } elseif (substr($line, $p, strlen($end)) == $end) {
  773. $end_pos = $p;
  774. break;
  775. }
  776. $p++;
  777. }
  780. //$end_pos = strpos($line, $end, $pos + $element_len + 1);
  781. if ($end_pos === false)
  782. {
  783. $endword = true;
  784. $add = $highlight_style->create_styled_text(substr($line, $pos) , $tag);
  785. $pos = strlen($line);
  786. //save tag and end for next line
  787. $cur_tag = $tag;
  788. $cur_end = $end;
  789. $cur_escape = $escape;
  790. }
  791. else
  792. {
  793. $endword = true;
  794. $add = $highlight_style->create_styled_text(substr($line, $pos, $end_pos - $pos + strlen($end)) , $tag);
  795. $pos = $end_pos + $element_len;
  796. }
  797. $found = true;
  798. //break;
  799. }
  800. }
  801. }
  804. if (!$found)
  805. {
  806. if ($tag = $language_data->get_element_in_array_tag($c[0]))
  807. {
  808. $add = $highlight_style->create_styled_text($c[0], $tag);
  809. $endword = true;
  810. }
  811. elseif ($language_data->is_delimiter($c[0]))
  812. {
  813. $add = $c[0];
  814. $endword = true;
  815. }
  816. }
  820. if (!$endword)
  821. {
  822. $word.= $c[0];
  823. }
  824. else
  825. { //endword
  826. if ($word != '')
  827. {
  828. if ($tag = $language_data->get_element_in_array_tag($word))
  829. {
  830. $output_line.= $highlight_style->create_styled_text($word, $tag);
  831. }
  832. elseif ($tag = $language_data->get_element_regexp_tag($word))
  833. {
  834. $output_line.= $highlight_style->create_styled_text($word, $tag);
  835. }
  836. else
  837. {
  838. $output_line.= $word;
  839. }
  840. }
  841. $endword = false;
  842. $word = '';
  843. }
  845. if ($add != '')
  846. {
  847. $output_line.= $add;
  848. $add = '';
  849. }
  852. //----
  853. ++$pos;
  854. }
  855. if ($word != '') //REST
  856. {
  857. if ($tag = $language_data->get_element_in_array_tag($word))
  858. {
  859. $output_line.= $highlight_style->create_styled_text($word, $tag);
  860. }
  861. elseif ($tag = $language_data->get_element_regexp_tag($word))
  862. {
  863. $output_line.= $highlight_style->create_styled_text($word, $tag);
  864. }
  865. else
  866. {
  867. $output_line.= $word;
  868. }
  869. $word = '';
  870. }
  872. if ($output_line == "")
  873. {
  874. $output_line = " ";
  875. }
  878. if ($highlight_line)
  879. {
  880. $output_line = $highlight_style->create_styled_text_raw($output_line,"HIGHLIGHT_LINE");//"<li class='highlight_line'>$output_line</li>";
  881. }
  882. else
  883. {
  884. $output_line = $highlight_style->create_styled_text_raw($output_line,"NORMAL_LINE");//"<li class='normal_line' style=''>$output_line</li>";
  885. }
  889. foreach ($highlight_part_a as $x)
  890. {
  891. $output_line = $this->insert_highlight($output_line, $x['START'], $x['END']);
  892. }
  894. if (($add_lines > 0) && (trim($line) == "!!!FIRSTLINE-SKIPTHIS!!!")) {
  895. // dirty hack, i hat me for doing it^^
  896. $output_line = '';
  897. }
  899. for ($i=0; $i < $add_lines; $i++)
  900. {
  901. $output_line.=$highlight_style->create_styled_text_raw($line_nr,"NULL_LINE");//"\n<li value='$line_nr' class='nullline'></li>";
  902. }
  907. $output_lines[] = $output_line;
  909. }
  912. $output = '';
  913. foreach ($output_lines as $output_line)
  914. {
  915. $output.="$output_line\n";
  916. }
  917. $output=$highlight_style->create_styled_text_raw($output,"BLOCK");
  918. return $output;
  919. //return $output_lines;
  920. }
  922. }
  923. /*
  924. //test
  926. $test =
  927. '
  928. 123456789abcdefghijklmn
  929. //! library CSSafety
  930. //******************************************************************************************
  931. //*
  932. //* CSSafety 14.5
  933. //* ��������
  934. //*
  935. //* Utilities to make things safer. Currently this simply includes a timer recycling
  936. //* Stack. Once you replace CreateTimer with NewTimer and DestroyTimer with ReleaseTimer
  937. //* you no longer have to care about setting timers to null nor about timer related issues
  938. //* with the handle index stack.
  939. //*
  940. //******************************************************************************************
  942. //==========================================================================================
  943. globals
  944. private timer array T
  945. private integer N = 0
  946. endglobals
  948. //==========================================================================================
  949. function NewTimer takes nothing returns timer
  950. if (N==0) then
  951. return CreateTimer()
  952. endif
  953. set N=N-1
  954. return T[N]
  955. endfunction
  957. //==========================================================================================
  958. function ReleaseTimer takes timer t returns nothing
  959. call PauseTimer(t)
  960. if (N==8191) then
  961. debug call BJDebugMsg("Warning: Timer stack is full, destroying timer!!")
  963. //stack is full, the map already has much more troubles than the chance of bug
  964. call DestroyTimer(t)
  965. else
  966. set T[N]=t
  967. set N=N+1
  968. endif
  969. endfunction
  970. //! endlibrary
  973. ';
  975. $time = microtime(1);
  976. $ld = new languagedata();
  977. $ld->load_array($language_data);
  978. //$ld->debug_print();
  979. echo "languagedata init in ".(microtime(1)-$time)." secs<br />" ;
  981. $time = microtime(1);
  982. $hs = new highlightstyle();
  983. $hs->load_array($style_data);
  984. echo "highlightstyle init in ".(microtime(1)-$time)." secs<br />" ;
  986. $lines = array(
  987. 'function f$oo$ takes nothing returns string ',
  988. ' local integer i = 0.8 //comment
  991. ',
  992. ' return "Hallo, das
  993. ',
  994. ' ist ein String',
  995. ' der �ber mehrere ',
  996. ' Zeilen geht." ',
  997. 'endfunction //comment'
  999. );
  1001. //$ch = new codehighlighter(fill_line_array($test));
  1002. $ch = new codehighlighter($lines);
  1004. $time = microtime(1);
  1005. $ch->parse_code($ld, $hs);
  1006. echo "parsing done in ".(microtime(1)-$time)." secs<br />" ;
  1007. */
  1008. class easycodehighlighter
  1009. {
  1010. var $language_id;
  1011. var $style_id;
  1013. var $language_name;
  1015. var $code;
  1016. var $output;
  1017. var $code_css;
  1019. var $language = false;
  1020. var $format_script;
  1022. function fill_line_array($s)
  1023. {
  1024. return explode("\n",$s);
  1025. }
  1026. function strip_markup($s)
  1027. {
  1028. return str_replace('##', '', str_replace('', '', $s));
  1029. }
  1032. function easycodehighlighter($input, $default_lang, $language_id = null, $style_id = null, $format_output = false)
  1033. {
  1034. $this->code = $input;
  1035. $output_lines = '';
  1037. $this->language = false;
  1038. if ($language_id != null)
  1039. {
  1040. //try to load language
  1041. $query = 'SELECT data, defaultstyle, `id`, `name` FROM languages WHERE `id` = "'.$language_id.'";';
  1042. $this->language = mysql_fetch_array(mysql_query($query));
  1043. }
  1044. if (!$this->language)
  1045. {
  1046. //load default language
  1047. $query = 'SELECT data, defaultstyle, `id`, `name` FROM languages WHERE `name` = "'.$default_lang.'";';
  1048. $this->language = mysql_fetch_array(mysql_query($query));
  1050. }
  1053. if ($this->language)
  1054. {
  1055. $this->language_id = $this->language['id'];
  1056. $this->format_script = 'format_'.$this->language['name'].'.php';
  1059. if (file_exists($this->format_script) != '')
  1060. {
  1061. if ($format_output)
  1062. {
  1063. require_once('format_'.$this->language['name'].'.php');
  1064. //$my_jass_formater = new jass_formater();
  1065. eval('$my_formater = new '.$this->language['name'].'_formater();');
  1067. $this->code = $my_formater->format($this->strip_markup($this->code),true,true);
  1068. }
  1069. }
  1070. else
  1071. {
  1072. $this->format_script = null;
  1073. }
  1075. $code_lines = null;
  1076. if (is_array($this->code))
  1077. {
  1078. $code_lines = $this->code;
  1079. }
  1080. else
  1081. {
  1082. $code_lines = $this->fill_line_array($this->code);
  1083. }
  1087. eval('$language_data = array('.$this->language['data'].');');
  1088. $ld = new languagedata();
  1089. $ld->load_array($language_data);
  1091. //$style_id = 0;
  1092. $style = null;
  1093. $cssdata = null;
  1094. if ($style_id)
  1095. {
  1096. $query = 'SELECT data, cssdata FROM styles WHERE `id` = "'.$style_id.'";';
  1097. $style = mysql_fetch_array(mysql_query($query));
  1098. if (!$style)
  1099. {
  1100. $style_id = 0;
  1101. }
  1102. $cssdata = $style['cssdata'];
  1103. $style = $style['data'];
  1104. }
  1106. if ($style_id == 0)
  1107. {
  1108. //load default value of language
  1109. $style_id = $this->language['defaultstyle'];
  1110. $query = 'SELECT data, cssdata FROM styles WHERE `id` = "'.$style_id.'";';
  1111. $style = mysql_fetch_array(mysql_query($query));
  1112. $cssdata = $style['cssdata'];
  1113. $style = $style['data'];
  1115. }
  1118. $this->code_css = code_css($cssdata);
  1121. $this->style_id = $style_id;
  1123. eval('$style_data = array('.$style.');');
  1124. $hs = new highlightstyle();
  1125. $hs->load_array($style_data);
  1128. $ch = new codehighlighter($code_lines);
  1130. $output = $ch->parse_code($ld, $hs);
  1131. }
  1132. else
  1133. { //no language definend
  1134. $this->language_id = 0;
  1135. $code_lines = fill_line_array($this->code);
  1136. $output='<textarea>';
  1137. for($i=0;$i<sizeof($code_lines);$i++)
  1138. {
  1139. $output_lines[$i] = "".$code_lines[$i]."\n";
  1140. }
  1141. $output='</textarea>';
  1142. }
  1145. $this->output = $output;
  1146. }
  1147. }
  1150. ?>

goto line:
Compare with:
text copy window edit this code post new code