2 $BEAUT_PATH = realpath(
".") .
"/Services/COPage/syntax_highlight/php";
6 require_once(
"$BEAUT_PATH/Beautifier/HFile.php");
24 $this->colours =
array(
"blue",
"purple",
"gray",
"brown",
"gray",
"purple",
"brown");
25 $this->quotecolour =
"blue";
26 $this->blockcommentcolour =
"green";
27 $this->linecommentcolour =
"green";
31 $this->indent =
array();
32 $this->unindent =
array();
36 $this->stringchars =
array();
37 $this->delimiters =
array(
"~",
"!",
"@",
"$",
"%",
"^",
"&",
"*",
"(",
")",
"-",
"+",
"=",
"|",
"\\",
"{",
"}",
"[",
"]",
":",
";",
"\"",
"'",
"<",
">",
" ",
",",
" ",
".",
"?");
42 $this->linecommenton =
array(
"");
43 $this->blockcommenton =
array(
"<!--");
44 $this->blockcommentoff =
array(
"-->");
48 $this->keywords =
array(
51 "<maligngroup/>" =>
"1",
52 "<malignmark/>" =>
"1",
61 "<mmultiscripts>" =>
"1",
62 "</mmultiscripts>" =>
"1",
74 "<mprescripts/>" =>
"1",
102 "<munderover>" =>
"1",
103 "</munderover>" =>
"1",
107 "<annotation-xml" =>
"2",
108 "</annotation-xml>" =>
"2",
109 "<annotation" =>
"2",
110 "</annotation>" =>
"2",
123 "<condition>" =>
"2",
124 "</condition>" =>
"2",
125 "<conjugate/>" =>
"2",
137 "<determinant>" =>
"2",
138 "</determinant>" =>
"2",
144 "<factorial/>" =>
"2",
154 "<intersect/>" =>
"2",
157 "</interval>" =>
"2",
172 "</lowlimit>" =>
"2",
176 "<matrixrow>" =>
"2",
177 "</matrixrow>" =>
"2",
192 "<notprsubset/>" =>
"2",
193 "<notsubset/>" =>
"2",
195 "<partialdiff/>" =>
"2",
199 "<prsubset/>" =>
"2",
200 "<quotient/>" =>
"2",
211 "<semantics>" =>
"2",
212 "</semantics>" =>
"2",
225 "<transpose>" =>
"2",
226 "</transpose>" =>
"2",
239 "accentunder=" =>
"4",
240 "actiontype=" =>
"4",
242 "alignmentscope=" =>
"4",
245 "background=" =>
"4",
252 "columnalign=" =>
"4",
253 "columnlines=" =>
"4",
254 "columnspacing=" =>
"4",
255 "defintionURL=" =>
"4",
257 "displaystyle=" =>
"4",
259 "equalcolumns=" =>
"4",
261 "fontfamily=" =>
"4",
264 "fontweight=" =>
"4",
266 "framespacing=" =>
"4",
267 "groupalign=" =>
"4",
271 "linethickness=" =>
"4",
277 "occurrence=" =>
"4",
284 "rowspacing=" =>
"4",
288 "separators=" =>
"4",
290 "subscriptshift=" =>
"4",
291 "superscriptshift=" =>
"4",
295 "&GoodBreak;" =>
"7",
296 "&IndentingNewLine;" =>
"7",
297 "​" =>
"7",
300 " " =>
"7",
301 "​" =>
"7",
311 "ⅇ" =>
"6",
312 "ⅈ" =>
"6",
313 "&NotANumber;" =>
"6",
314 "⁡" =>
"7",
315 "⁣" =>
"7",
316 "⁢" =>
"7",
317 " " =>
"7",
318 "​" =>
"7",
319 "​" =>
"7",
320 "​" =>
"7",
321 " " =>
"7",
324 "  " =>
"7",
325 " " =>
"7",
379 "϶" =>
"8",
380 "‵" =>
"8",
382 "⋍" =>
"8",
383 "∖" =>
"8",
427 "⨂" =>
"8",
430 "▽" =>
"8",
431 "△" =>
"8",
436 "⧫" =>
"8",
437 "▪" =>
"8",
438 "▴" =>
"8",
439 "▾" =>
"8",
440 "◂" =>
"8",
441 "▸" =>
"8",
496 "·" =>
"8",
497 "·" =>
"8",
501 "✓" =>
"8",
507 "↺" =>
"8",
508 "↻" =>
"8",
509 "⊛" =>
"8",
510 "⊚" =>
"8",
511 "⊝" =>
"8",
512 "⊙" =>
"8",
520 "⊖" =>
"8",
521 "⊕" =>
"8",
522 "⊗" =>
"8",
528 "∲" =>
"8",
529 "”" =>
"8",
530 "’" =>
"8",
542 "∁" =>
"8",
545 "≡" =>
"8",
548 "∮" =>
"8",
551 "∐" =>
"8",
554 "∳" =>
"8",
580 "⋞" =>
"8",
581 "⋟" =>
"8",
583 "⋏" =>
"8",
585 "↶" =>
"8",
586 "↷" =>
"8",
618 "´" =>
"8",
619 "˙" =>
"8",
620 "˝" =>
"8",
621 "`" =>
"8",
622 "&DiacriticalLeftArrow;" =>
"8",
623 "&DiacriticalLeftRightArrow;" =>
"8",
624 "&DiacriticalLeftRightVector;" =>
"8",
625 "&DiacriticalLeftVector;" =>
"8",
626 "&DiacriticalRightArrow;" =>
"8",
627 "&DiacriticalRightVector;" =>
"8",
628 "˜" =>
"8",
632 "♦" =>
"8",
643 "⋇" =>
"8",
657 "⊡" =>
"8",
658 "⌆" =>
"8",
659 "∯" =>
"8",
660 "¨" =>
"8",
661 "⇓" =>
"8",
662 "⇐" =>
"8",
663 "⇔" =>
"8",
664 "⟸" =>
"8",
665 "⟺" =>
"8",
666 "⟹" =>
"8",
667 "⇒" =>
"8",
668 "⊨" =>
"8",
669 "⇑" =>
"8",
670 "⇕" =>
"8",
671 "∥" =>
"8",
672 "↓" =>
"8",
673 "⇓" =>
"8",
674 "↓" =>
"8",
675 "⇵" =>
"8",
676 "⇊" =>
"8",
677 "⇃" =>
"8",
678 "⇂" =>
"8",
679 "↽" =>
"8",
680 "⇁" =>
"8",
728 "⪖" =>
"8",
729 "⪕" =>
"8",
731 "≂" =>
"8",
733 "⇌" =>
"8",
748 "≒" =>
"8",
821 "≥" =>
"8",
822 "⋛" =>
"8",
823 "≧" =>
"8",
824 "≷" =>
"8",
825 "⩾" =>
"8",
826 "≳" =>
"8",
839 "⪆" =>
"8",
842 "⋛" =>
"8",
843 "⪌" =>
"8",
846 "≩︀" =>
"8",
878 "♥" =>
"8",
887 "↩" =>
"8",
888 "↪" =>
"8",
894 "≎" =>
"8",
895 "≏" =>
"8",
920 "⋂" =>
"8",
992 "⟨" =>
"8",
993 "←" =>
"8",
994 "⇐" =>
"8",
995 "←" =>
"8",
996 "⇆" =>
"8",
997 "↢" =>
"8",
998 "⌈" =>
"8",
999 "⇃" =>
"8",
1000 "⌊" =>
"8",
1001 "↽" =>
"8",
1002 "↼" =>
"8",
1003 "⇇" =>
"8",
1004 "↔" =>
"8",
1005 "⇔" =>
"8",
1006 "↔" =>
"8",
1007 "⇆" =>
"8",
1008 "⇋" =>
"8",
1009 "↭" =>
"8",
1011 "⋋" =>
"8",
1012 "⊲" =>
"8",
1013 "⊴" =>
"8",
1014 "↿" =>
"8",
1015 "↼" =>
"8",
1020 "⩽" =>
"8",
1025 "⪃" =>
"8",
1028 "⪅" =>
"8",
1030 "⋚" =>
"8",
1031 "⪋" =>
"8",
1032 "⋚" =>
"8",
1033 "≦" =>
"8",
1034 "≶" =>
"8",
1037 "⩽" =>
"8",
1038 "≲" =>
"8",
1053 "⌞" =>
"8",
1054 "⇚" =>
"8",
1058 "⎰" =>
"8",
1060 "⪉" =>
"8",
1069 "⟵" =>
"8",
1070 "⟸" =>
"8",
1071 "⟵" =>
"8",
1072 "⟷" =>
"8",
1073 "⟺" =>
"8",
1074 "⟷" =>
"8",
1075 "⟼" =>
"8",
1076 "⟶" =>
"8",
1077 "⟹" =>
"8",
1078 "⟶" =>
"8",
1079 "↫" =>
"8",
1080 "↬" =>
"8",
1087 "↙" =>
"8",
1088 "↘" =>
"8",
1095 "⌟" =>
"8",
1122 "⥊" =>
"8",
1124 "≨︀" =>
"8",
1137 "∡" =>
"8",
1150 "∓" =>
"8",
1161 "⊸" =>
"8",
1174 "⩭̸" =>
"8",
1185 "≫" =>
"8",
1186 "≪" =>
"8",
1195 "⩾̸" =>
"8",
1215 "⇍" =>
"8",
1216 "↚" =>
"8",
1217 "⇎" =>
"8",
1218 "↮" =>
"8",
1221 "⩽̸" =>
"8",
1235 "≢" =>
"8",
1236 "∦" =>
"8",
1237 "∉" =>
"8",
1238 "≠" =>
"8",
1239 "∄" =>
"8",
1240 "≯" =>
"8",
1241 "≱" =>
"8",
1242 "≧̸" =>
"8",
1243 "≫̸" =>
"8",
1244 "≹" =>
"8",
1245 "⩾̸" =>
"8",
1246 "≵" =>
"8",
1248 "⋵̸" =>
"8",
1253 "⋪" =>
"8",
1254 "⋬" =>
"8",
1256 "≰" =>
"8",
1257 "&NotLessFullEqual;" =>
"8",
1258 "≸" =>
"8",
1259 "≪̸" =>
"8",
1260 "⩽̸" =>
"8",
1261 "≴" =>
"8",
1266 "⊀" =>
"8",
1267 "⪯̸" =>
"8",
1268 "⋠" =>
"8",
1269 "∌" =>
"8",
1270 "⋫" =>
"8",
1271 "⋭" =>
"8",
1272 "⋢" =>
"8",
1273 "⋣" =>
"8",
1274 "⊂⃒" =>
"8",
1275 "⊁" =>
"8",
1276 "⪰̸" =>
"8",
1277 "⋡" =>
"8",
1278 "⊃⃒" =>
"8",
1279 "≁" =>
"8",
1280 "≄" =>
"8",
1281 "≇" =>
"8",
1282 "≉" =>
"8",
1283 "∤" =>
"8",
1285 "∦" =>
"8",
1298 "⇏" =>
"8",
1299 "↛" =>
"8",
1307 "∤" =>
"8",
1308 "∦" =>
"8",
1320 "⊈" =>
"8",
1321 "⫅̸" =>
"8",
1328 "⊉" =>
"8",
1329 "⫆̸" =>
"8",
1332 "⋪" =>
"8",
1333 "⋬" =>
"8",
1334 "⋫" =>
"8",
1335 "⋭" =>
"8",
1387 "“" =>
"8",
1388 "‘" =>
"8",
1409 "⨶" =>
"8",
1411 "&OverLine;" =>
"8",
1414 "∥" =>
"8",
1418 "∂" =>
"8",
1432 "⋔" =>
"8",
1437 "⨣" =>
"8",
1443 "±" =>
"8",
1448 "⨕" =>
"8",
1458 "⪷" =>
"8",
1459 "≼" =>
"8",
1460 "≺" =>
"8",
1461 "⪯" =>
"8",
1462 "≼" =>
"8",
1463 "≾" =>
"8",
1465 "⪹" =>
"8",
1466 "⪵" =>
"8",
1467 "⋨" =>
"8",
1474 "⌮" =>
"8",
1475 "⌒" =>
"8",
1476 "⌓" =>
"8",
1478 "∷" =>
"8",
1479 "∝" =>
"8",
1502 "⦳" =>
"8",
1546 "∋" =>
"8",
1547 "⇋" =>
"8",
1548 "⥯" =>
"8",
1559 "⟩" =>
"8",
1560 "→" =>
"8",
1561 "⇒" =>
"8",
1562 "→" =>
"8",
1563 "⇄" =>
"8",
1564 "↣" =>
"8",
1565 "⌉" =>
"8",
1566 "⇂" =>
"8",
1567 "⌋" =>
"8",
1568 "⇁" =>
"8",
1569 "⇀" =>
"8",
1570 "⇄" =>
"8",
1571 "⇌" =>
"8",
1572 "⇉" =>
"8",
1573 "↝" =>
"8",
1574 "⊢" =>
"8",
1575 "↦" =>
"8",
1576 "⋌" =>
"8",
1577 "⊳" =>
"8",
1578 "⊵" =>
"8",
1579 "↾" =>
"8",
1580 "⇀" =>
"8",
1582 "≓" =>
"8",
1586 "⎱" =>
"8",
1597 "⨒" =>
"8",
1599 "⇛" =>
"8",
1612 "⧎" =>
"8",
1624 "⨓" =>
"8",
1636 "∖" =>
"8",
1643 "←" =>
"8",
1644 "∣" =>
"8",
1645 "∥" =>
"8",
1646 "→" =>
"8",
1663 "∘" =>
"8",
1664 "&smallfrown;" =>
"8",
1665 "∖" =>
"8",
1666 "&smallsmile;" =>
"8",
1668 "⧤" =>
"8",
1679 "♠" =>
"8",
1688 "⊏" =>
"8",
1689 "⊑" =>
"8",
1692 "⊐" =>
"8",
1693 "⊒" =>
"8",
1696 "⊓" =>
"8",
1697 "⊏" =>
"8",
1698 "⊑" =>
"8",
1699 "⊐" =>
"8",
1700 "⊒" =>
"8",
1701 "⊔" =>
"8",
1704 "&squarfbl;" =>
"8",
1705 "&squarfbr;" =>
"8",
1709 "&squarftl;" =>
"8",
1710 "&squarftr;" =>
"8",
1721 "ϵ" =>
"8",
1722 "ϕ" =>
"8",
1737 "⊆" =>
"8",
1738 "⫅" =>
"8",
1739 "⊆" =>
"8",
1740 "⊊" =>
"8",
1741 "⫋" =>
"8",
1746 "⪸" =>
"8",
1747 "≽" =>
"8",
1748 "≻" =>
"8",
1749 "⪰" =>
"8",
1750 "≽" =>
"8",
1751 "≿" =>
"8",
1753 "⪺" =>
"8",
1754 "⪶" =>
"8",
1755 "⋩" =>
"8",
1757 "∋" =>
"8",
1771 "⊃" =>
"8",
1772 "⊇" =>
"8",
1782 "⊇" =>
"8",
1783 "⫆" =>
"8",
1784 "⊋" =>
"8",
1785 "⫌" =>
"8",
1802 "∴" =>
"8",
1803 "∴" =>
"8",
1807 "≈" =>
"8",
1808 "∼" =>
"8",
1814 "≃" =>
"8",
1815 "≅" =>
"8",
1816 "≈" =>
"8",
1819 "⨱" =>
"8",
1831 "▵" =>
"8",
1832 "▿" =>
"8",
1833 "◃" =>
"8",
1834 "⊴" =>
"8",
1835 "≜" =>
"8",
1836 "▹" =>
"8",
1837 "⊵" =>
"8",
1840 "⨺" =>
"8",
1841 "⃛" =>
"8",
1845 "⏢" =>
"8",
1849 "↞" =>
"8",
1850 "↠" =>
"8",
1854 "⥉" =>
"8",
1865 "⌜" =>
"8",
1869 "&UnderLine;" =>
"8",
1871 "⊎" =>
"8",
1876 "⇅" =>
"8",
1877 "↕" =>
"8",
1878 "⇕" =>
"8",
1879 "↕" =>
"8",
1880 "⥮" =>
"8",
1881 "↿" =>
"8",
1882 "↾" =>
"8",
1884 "↖" =>
"8",
1885 "↗" =>
"8",
1891 "⇈" =>
"8",
1893 "⌝" =>
"8",
1904 "ϵ" =>
"8",
1905 "ϰ" =>
"8",
1906 "∅" =>
"8",
1909 "∝" =>
"8",
1913 "ς" =>
"8",
1914 "⊊︀" =>
"8",
1915 "⫋︀" =>
"8",
1916 "⊋︀" =>
"8",
1917 "⫌︀" =>
"8",
1918 "ϑ" =>
"8",
1919 "⊲" =>
"8",
1920 "⊳" =>
"8",
1938 "∣" =>
"8",
1939 "≀" =>
"8",
2017 $this->linkscripts =
array(
2024 "8" =>
"donothing");
Create styles array
The data for the language used.