ILIAS Release_3_7_x_branch .rev 46817: syntax_highlight/php/HFile/HFile

Go to the documentation of this file.
00001 <?php
00002 $BEAUT_PATH = realpath(".")."/syntax_highlight/php";
00003 if (!isset ($BEAUT_PATH)) return;
00004 require_once("$BEAUT_PATH/Beautifier/HFile.php");
00005   class HFile_html extends HFile{
00006    function HFile_html(){
00007      $this->HFile();    
00008 /*************************************/
00009 // Beautifier Highlighting Configuration File 
00010 // HTML
00011 /*************************************/
00012 // Flags
00013 
00014 $this->nocase                   = "1";
00015 $this->notrim                   = "0";
00016 $this->perl                     = "0";
00017 
00018 // Colours
00019 
00020 $this->colours          = array("blue", "purple");
00021 $this->quotecolour              = "blue";
00022 $this->blockcommentcolour       = "green";
00023 $this->linecommentcolour        = "green";
00024 
00025 // Indent Strings
00026 
00027 $this->indent                   = array();
00028 $this->unindent                 = array();
00029 
00030 // String characters and delimiters
00031 
00032 $this->stringchars              = array("\"", "'");
00033 $this->delimiters               = array("~", "@", "$", "%", "^", "&", "*", "(", ")", "+", "=", "|", "\\", "{", "}", "[", "]", ":", ";", "\"", "'", "<", ">", " ", ",", "        ", ".", "?");
00034 $this->escchar                  = "";
00035 
00036 // Comment settings
00037 
00038 $this->linecommenton            = array("");
00039 $this->blockcommenton           = array("<!--");
00040 $this->blockcommentoff          = array("-->");
00041 
00042 // Keywords (keyword mapping to colour number)
00043 
00044 $this->keywords                 = array(
00045                         "<A>" => "1", 
00046                         "</A>" => "1", 
00047                         "<ABBR>" => "1", 
00048                         "</ABBR>" => "1", 
00049                         "<ABOVE>" => "1", 
00050                         "<ACRONYM>" => "1", 
00051                         "</ACRONYM>" => "1", 
00052                         "<ADDRESS>" => "1", 
00053                         "</ADDRESS>" => "1", 
00054                         "<APPLET>" => "1", 
00055                         "</APPLET>" => "1", 
00056                         "<AREA>" => "1", 
00057                         "<ARRAY>" => "1", 
00058                         "<B>" => "1", 
00059                         "</B>" => "1", 
00060                         "<BASE>" => "1", 
00061                         "<BASEFONT>" => "1", 
00062                         "<BDO>" => "1", 
00063                         "</BDO>" => "1", 
00064                         "<BGSOUND>" => "1", 
00065                         "<BIG>" => "1", 
00066                         "</BIG>" => "1", 
00067                         "<BLINK>" => "1", 
00068                         "</BLINK>" => "1", 
00069                         "<BLOCKQUOTE>" => "1", 
00070                         "</BLOCKQUOTE>" => "1", 
00071                         "<BODY>" => "1",  
00072                         "</BODY>" => "1", 
00073                         "<BOX>" => "1", 
00074                         "<BR>" => "1", 
00075                         "<BUTTON>" => "1", 
00076                         "</BUTTON>" => "1", 
00077                         "<CAPTION>" => "1", 
00078                         "</CAPTION>" => "1", 
00079                         "<CENTER>" => "1", 
00080                         "</CENTER>" => "1", 
00081                         "<CITE>" => "1", 
00082                         "</CITE>" => "1", 
00083                         "<CODE>" => "1", 
00084                         "</CODE>" => "1", 
00085                         "<COL>" => "1", 
00086                         "<COLGROUP>" => "1", 
00087                         "</COLGROUP>" => "1", 
00088                         "<COMMENT>" => "1", 
00089                         "</COMMENT>" => "1", 
00090                         "<DD>" => "1", 
00091                         "</DD>" => "1", 
00092                         "<DEL>" => "1", 
00093                         "</DEL>" => "1", 
00094                         "<DFN>" => "1", 
00095                         "</DFN>" => "1", 
00096                         "<DIR>" => "1", 
00097                         "</DIR>" => "1", 
00098                         "<DIV>" => "1", 
00099                         "</DIV>" => "1", 
00100                         "<DL>" => "1", 
00101                         "</DL>" => "1", 
00102                         "<DT>" => "1", 
00103                         "</DT>" => "1", 
00104                         "<EM>" => "1", 
00105                         "</EM>" => "1", 
00106                         "<EMBED>" => "1", 
00107                         "<FIELDSET>" => "1", 
00108                         "</FIELDSET>" => "1", 
00109                         "<FIG>" => "1", 
00110                         "<FONT>" => "1", 
00111                         "</FONT>" => "1", 
00112                         "<FORM>" => "1", 
00113                         "</FORM>" => "1", 
00114                         "<FRAME>" => "1", 
00115                         "<FRAMESET>" => "1", 
00116                         "</FRAMESET>" => "1", 
00117                         "<H1>" => "1", 
00118                         "</H1>" => "1", 
00119                         "<H2>" => "1", 
00120                         "</H2>" => "1", 
00121                         "<H3>" => "1", 
00122                         "</H3>" => "1", 
00123                         "<H4>" => "1", 
00124                         "</H4>" => "1", 
00125                         "<H5>" => "1", 
00126                         "</H5>" => "1", 
00127                         "<H6>" => "1", 
00128                         "</H6>" => "1", 
00129                         "<HEAD>" => "1", 
00130                         "</HEAD>" => "1", 
00131                         "<HR>" => "1", 
00132                         "<HTML>" => "1", 
00133                         "</HTML>" => "1", 
00134                         "<I>" => "1", 
00135                         "</I>" => "1", 
00136                         "<IFRAME>" => "1", 
00137                         "</IFRAME>" => "1", 
00138                         "<ILAYER>" => "1", 
00139                         "</ILAYER>" => "1", 
00140                         "<IMG>" => "1", 
00141                         "<INPUT>" => "1", 
00142                         "<INS>" => "1", 
00143                         "</INS>" => "1", 
00144                         "<ISINDEX>" => "1", 
00145                         "<KBD>" => "1", 
00146                         "</KBD>" => "1", 
00147                         "<LABEL>" => "1", 
00148                         "</LABEL>" => "1", 
00149                         "<LAYER>" => "1", 
00150                         "<LEGEND>" => "1", 
00151                         "</LEGEND>" => "1", 
00152                         "<LI>" => "1", 
00153                         "</LI>" => "1", 
00154                         "<LINK>" => "1", 
00155                         "<LISTING>" => "1", 
00156                         "</LISTING>" => "1", 
00157                         "<MAP>" => "1", 
00158                         "</MAP>" => "1", 
00159                         "<MARQUEE>" => "1", 
00160                         "</MARQUEE>" => "1", 
00161                         "<MENU>" => "1", 
00162                         "</MENU>" => "1", 
00163                         "<META>" => "1", 
00164                         "<MULTICOL>" => "1", 
00165                         "</MULTICOL>" => "1", 
00166                         "<NEXTID>" => "1", 
00167                         "<NOFRAMES>" => "1", 
00168                         "</NOFRAMES>" => "1", 
00169                         "<NOLAYER>" => "1", 
00170                         "</NOLAYER>" => "1", 
00171                         "<NOSCRIPT>" => "1", 
00172                         "</NOSCRIPT>" => "1", 
00173                         "<NOTE>" => "1", 
00174                         "</NOTE>" => "1", 
00175                         "<OBJECT>" => "1", 
00176                         "</OBJECT>" => "1", 
00177                         "<OL>" => "1", 
00178                         "</OL>" => "1", 
00179                         "<OPTGROUP>" => "1", 
00180                         "</OPTGROUP>" => "1", 
00181                         "<OPTION>" => "1", 
00182                         "<P>" => "1",  
00183                         "</P>" => "1", 
00184                         "<PARAM>" => "1", 
00185                         "<PRE>" => "1", 
00186                         "</PRE>" => "1", 
00187                         "<Q>" => "1", 
00188                         "</Q>" => "1", 
00189                         "<QUOTE>" => "1", 
00190                         "<RANGE>" => "1", 
00191                         "<ROOT>" => "1", 
00192                         "<S>" => "1", 
00193                         "</S>" => "1", 
00194                         "<SAMP>" => "1", 
00195                         "</SAMP>" => "1", 
00196                         "<SCRIPT>" => "1", 
00197                         "</SCRIPT>" => "1", 
00198                         "<SELECT>" => "1", 
00199                         "</SELECT>" => "1", 
00200                         "<SMALL>" => "1", 
00201                         "</SMALL>" => "1", 
00202                         "<SOUND>" => "1", 
00203                         "<SPACER>" => "1", 
00204                         "<SPAN>" => "1", 
00205                         "</SPAN>" => "1", 
00206                         "<SQRT>" => "1", 
00207                         "<STRIKE>" => "1", 
00208                         "</STRIKE>" => "1", 
00209                         "<STRONG>" => "1", 
00210                         "</STRONG>" => "1", 
00211                         "<STYLE>" => "1", 
00212                         "<STYLE>" => "1", 
00213                         "</STYLE>" => "1", 
00214                         "<SUB>" => "1", 
00215                         "</SUB>" => "1", 
00216                         "<SUP>" => "1", 
00217                         "</SUP>" => "1", 
00218                         "<TABLE>" => "1", 
00219                         "</TABLE>" => "1", 
00220                         "<TBODY>" => "1", 
00221                         "</TBODY>" => "1", 
00222                         "<TD>" => "1", 
00223                         "</TD>" => "1", 
00224                         "<TEXT>" => "1", 
00225                         "<TEXTAREA>" => "1", 
00226                         "</TEXTAREA>" => "1", 
00227                         "<TFOOT>" => "1", 
00228                         "</TFOOT>" => "1", 
00229                         "<TH>" => "1", 
00230                         "</TH>" => "1", 
00231                         "<THEAD>" => "1", 
00232                         "</THEAD>" => "1", 
00233                         "<TITLE>" => "1", 
00234                         "</TITLE>" => "1", 
00235                         "<TR>" => "1", 
00236                         "</TR>" => "1", 
00237                         "<TT>" => "1", 
00238                         "</TT>" => "1", 
00239                         "<TT>" => "1", 
00240                         "<U>" => "1", 
00241                         "</U>" => "1", 
00242                         "<UL>" => "1", 
00243                         "</UL>" => "1", 
00244                         "<VAR>" => "1", 
00245                         "</VAR>" => "1", 
00246                         "<WBR>" => "1", 
00247                         "<XMP>" => "1", 
00248                         "</XMP>" => "1", 
00249                         "<ABBR>" => "2", 
00250                         "<ACCEPT-CHARSET>" => "2", 
00251                         "<ACCEPT>" => "2", 
00252                         "<ACCESSKEY>" => "2", 
00253                         "<ACTION>" => "2", 
00254                         "<ALIGN>" => "2", 
00255                         "<ALINK>" => "2", 
00256                         "<ALT>" => "2", 
00257                         "<ARCHIVE>" => "2", 
00258                         "<AXIS>" => "2", 
00259                         "<BACKGROUND>" => "2", 
00260                         "<BEHAVIOR>" => "2", 
00261                         "<BELOW>" => "2", 
00262                         "<BGCOLOR>" => "2", 
00263                         "<BORDER>" => "2", 
00264                         "<CELLPADDING>" => "2", 
00265                         "<CELLSPACING>" => "2", 
00266                         "<CHAR>" => "2", 
00267                         "<CHAROFF>" => "2", 
00268                         "<CHARSET>" => "2", 
00269                         "<CHECKED>" => "2", 
00270                         "<CITE>" => "2", 
00271                         "<CLASS>" => "2", 
00272                         "<CLASSID>" => "2", 
00273                         "<CLEAR>" => "2", 
00274                         "<CODE>" => "2", 
00275                         "<CODEBASE>" => "2", 
00276                         "<CODETYPE>" => "2", 
00277                         "<COLOR>" => "2", 
00278                         "<COLS>" => "2", 
00279                         "<COLSPAN>" => "2", 
00280                         "<COMPACT>" => "2", 
00281                         "<CONTENT>" => "2", 
00282                         "<COORDS>" => "2", 
00283                         "<DATA>" => "2", 
00284                         "<DATETIME>" => "2", 
00285                         "<DECLARE>" => "2", 
00286                         "<DEFER>" => "2", 
00287                         "<DIR>" => "2", 
00288                         "<DISABLED>" => "2", 
00289                         "<ENCTYPE>" => "2", 
00290                         "<FACE>" => "2", 
00291                         "<FOR>" => "2", 
00292                         "<FRAME>" => "2", 
00293                         "<FRAMEBORDER>" => "2", 
00294                         "<FRAMESPACING>" => "2", 
00295                         "<HEADERS>" => "2", 
00296                         "<HEIGHT>" => "2", 
00297                         "<HIDDEN>" => "2", 
00298                         "<HREF>" => "2", 
00299                         "<HREFLANG>" => "2", 
00300                         "<HSPACE>" => "2", 
00301                         "<HTTP-EQUIV>" => "2", 
00302                         "<ID>" => "2", 
00303                         "<ISMAP>" => "2", 
00304                         "<LABEL>" => "2", 
00305                         "<LANG>" => "2", 
00306                         "<LANGUAGE>" => "2", 
00307                         "<LINK>" => "2", 
00308                         "<LOOP>" => "2", 
00309                         "<LONGDESC>" => "2", 
00310                         "<MAILTO>" => "2", 
00311                         "<MARGINHEIGHT>" => "2", 
00312                         "<MARGINWIDTH>" => "2", 
00313                         "<MAXLENGTH>" => "2", 
00314                         "<MEDIA>" => "2", 
00315                         "<METHOD>" => "2", 
00316                         "<MULTIPLE>" => "2", 
00317                         "<NAME>" => "2", 
00318                         "<NOHREF>" => "2", 
00319                         "<NORESIZE>" => "2", 
00320                         "<NOSHADE>" => "2", 
00321                         "<OBJECT>" => "2", 
00322                         "<ONBLUR>" => "2", 
00323                         "<ONCHANGE>" => "2", 
00324                         "<ONFOCUS>" => "2", 
00325                         "<ONKEYDOWN>" => "2", 
00326                         "<ONKEYPRESS>" => "2", 
00327                         "<ONKEYUP>" => "2", 
00328                         "<ONLOAD>" => "2", 
00329                         "<ONRESET>" => "2", 
00330                         "<ONSELECT>" => "2", 
00331                         "<ONSUBMIT>" => "2", 
00332                         "<ONUNLOAD>" => "2", 
00333                         "<ONCLICK>" => "2", 
00334                         "<ONDBLCLICK>" => "2", 
00335                         "<ONMOUSEDOWN>" => "2", 
00336                         "<ONMOUSEMOVE>" => "2", 
00337                         "<ONMOUSEOUT>" => "2", 
00338                         "<ONMOUSEOVER>" => "2", 
00339                         "<ONMOUSEUP>" => "2", 
00340                         "<PROFILE>" => "2", 
00341                         "<PROMPT>" => "2", 
00342                         "<READONLY>" => "2", 
00343                         "<REL>" => "2", 
00344                         "<REV>" => "2", 
00345                         "<ROWS>" => "2", 
00346                         "<ROWSPAN>" => "2", 
00347                         "<RULES>" => "2", 
00348                         "<SCHEME>" => "2", 
00349                         "<SCOPE>" => "2", 
00350                         "<SCROLLING>" => "2", 
00351                         "<SELECTED>" => "2", 
00352                         "<SHAPE>" => "2", 
00353                         "<SIZE>" => "2", 
00354                         "<SPAN>" => "2", 
00355                         "<SRC>" => "2", 
00356                         "<STANDBY>" => "2", 
00357                         "<START>" => "2", 
00358                         "<STYLE>" => "2", 
00359                         "<SUMMARY>" => "2", 
00360                         "<TABINDEX>" => "2", 
00361                         "<TARGET>" => "2", 
00362                         "<TEXT>" => "2", 
00363                         "<TITLE>" => "2", 
00364                         "<TOPMARGIN>" => "2", 
00365                         "<TYPE>" => "2", 
00366                         "<URL>" => "2", 
00367                         "<USEMAP>" => "2", 
00368                         "<VALIGN>" => "2", 
00369                         "<VALUE>" => "2", 
00370                         "<VALUETYPE>" => "2", 
00371                         "<VERSION>" => "2", 
00372                         "<VLINK>" => "2", 
00373                         "<VSPACE>" => "2", 
00374                         "<WIDTH>" => "2");
00375 
00376 // Special extensions
00377 
00378 // Each category can specify a PHP function that returns an altered
00379 // version of the keyword.
00380         
00381         
00382 
00383 $this->linkscripts      = array(
00384                         "1>" => "donothing", 
00385                         "2>" => "donothing");
00386 }
00387 
00388 
00389 function donothing($keywordin)
00390 {
00391         return $keywordin;
00392 }
00393 
00394 }?>
syntax_highlight/php/HFile/HFile_html.php
