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_smil extends HFile{
00006    function HFile_smil(){
00007      $this->HFile();    
00008 /*************************************/
00009 // Beautifier Highlighting Configuration File 
00010 // SMIL
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                         "<anchor" => "1", 
00048                         "<anchor>" => "1", 
00049                         "</anchor>" => "1", 
00050                         "<animation>" => "1", 
00051                         "</animation>" => "1", 
00052                         "<audio" => "1", 
00053                         "<audio>" => "1", 
00054                         "</audio>" => "1", 
00055                         "<body>" => "1", 
00056                         "</body>" => "1", 
00057                         "<head>" => "1", 
00058                         "</head>" => "1", 
00059                         "<img>" => "1", 
00060                         "<layout" => "1", 
00061                         "<layout>" => "1", 
00062                         "</layout>" => "1", 
00063                         "<meta" => "1", 
00064                         "<par>" => "1", 
00065                         "</par>" => "1", 
00066                         "<ref>" => "1", 
00067                         "</ref>" => "1", 
00068                         "<region" => "1", 
00069                         "<root-layout" => "1", 
00070                         "<seq>" => "1", 
00071                         "</seq>" => "1", 
00072                         "<smil>" => "1", 
00073                         "</smil>" => "1", 
00074                         "<switch>" => "1", 
00075                         "</switch>" => "1", 
00076                         "<text" => "1", 
00077                         "<text>" => "1", 
00078                         "</text>" => "1", 
00079                         "<textstream>" => "1", 
00080                         "</textstream>" => "1", 
00081                         "<video" => "1", 
00082                         "<video>" => "1", 
00083                         "</video>" => "1", 
00084                         "//" => "1", 
00085                         "/>" => "1", 
00086                         "abstract=" => "2", 
00087                         "alt=" => "2", 
00088                         "anchor=" => "2", 
00089                         "author=" => "2", 
00090                         "background-color=" => "2", 
00091                         "base=" => "2", 
00092                         "begin=" => "2", 
00093                         "clip-begin=" => "2", 
00094                         "clip-end=" => "2", 
00095                         "clock-val=" => "2", 
00096                         "content=" => "2", 
00097                         "coords=" => "2", 
00098                         "copyright=" => "2", 
00099                         "dur=" => "2", 
00100                         "end=" => "2", 
00101                         "endsync=" => "2", 
00102                         "fill=" => "2", 
00103                         "height=" => "2", 
00104                         "href=" => "2", 
00105                         "id=" => "2", 
00106                         "longdesc=" => "2", 
00107                         "name=" => "2", 
00108                         "pics-label=" => "2", 
00109                         "PICS-label=" => "2", 
00110                         "region=" => "2", 
00111                         "repeat=" => "2", 
00112                         "show=" => "2", 
00113                         "skip-content=" => "2", 
00114                         "src=" => "2", 
00115                         "system-bitrate=" => "2", 
00116                         "system-captions=" => "2", 
00117                         "system-language=" => "2", 
00118                         "system-overdub-or-caption=" => "2", 
00119                         "system-required=" => "2", 
00120                         "system-screen-size=" => "2", 
00121                         "system-screen-depth=" => "2", 
00122                         "title=" => "2", 
00123                         "type=" => "2", 
00124                         "width=" => "2", 
00125                         "=" => "2");
00126 
00127 // Special extensions
00128 
00129 // Each category can specify a PHP function that returns an altered
00130 // version of the keyword.
00131         
00132         
00133 
00134 $this->linkscripts      = array(
00135                         "1" => "donothing", 
00136                         "2" => "donothing");
00137 }
00138 
00139 
00140 function donothing($keywordin)
00141 {
00142         return $keywordin;
00143 }
00144 
00145 }?>
syntax_highlight/php/HFile/HFile_smil.php
