• Main Page
  • Related Pages
  • Namespaces
  • Data Structures
  • Files
  • File List
  • Globals

syntax_highlight/php/HFile/HFile_ocaml.php

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_ocaml extends HFile{
00006    function HFile_ocaml(){
00007      $this->HFile();    
00008 /*************************************/
00009 // Beautifier Highlighting Configuration File 
00010 // 
00011 /*************************************/
00012 // Flags
00013 
00014 $this->nocase                   = "0";
00015 $this->notrim                   = "0";
00016 $this->perl                     = "0";
00017 
00018 // Colours
00019 
00020 $this->colours          = array("blue", "purple", "gray");
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                         "/L10" => "", 
00046                         "Block" => "", 
00047                         "Comment" => "", 
00048                         "On" => "", 
00049                         "=" => "", 
00050                         "(*" => "", 
00051                         "Off" => "", 
00052                         "*)" => "", 
00053                         "File" => "", 
00054                         "Extensions" => "", 
00055                         "ML" => "", 
00056                         "MLI" => "", 
00057                         "and" => "1", 
00058                         "as" => "1", 
00059                         "asr" => "1", 
00060                         "begin" => "1", 
00061                         "class" => "1", 
00062                         "closed" => "1", 
00063                         "constraint" => "1", 
00064                         "do" => "1", 
00065                         "done" => "1", 
00066                         "downto" => "1", 
00067                         "else" => "1", 
00068                         "end" => "1", 
00069                         "exception" => "1", 
00070                         "external" => "1", 
00071                         "failwith" => "1", 
00072                         "false" => "1", 
00073                         "flush" => "1", 
00074                         "for" => "1", 
00075                         "fun" => "1", 
00076                         "function" => "1", 
00077                         "functor" => "1", 
00078                         "if" => "1", 
00079                         "in" => "1", 
00080                         "include" => "1", 
00081                         "inherit" => "1", 
00082                         "incr" => "1", 
00083                         "land" => "1", 
00084                         "let" => "1", 
00085                         "lor" => "1", 
00086                         "lsl" => "1", 
00087                         "lsr" => "1", 
00088                         "lxor" => "1", 
00089                         "match" => "1", 
00090                         "method" => "1", 
00091                         "mod" => "1", 
00092                         "module" => "1", 
00093                         "mutable" => "1", 
00094                         "new" => "1", 
00095                         "not" => "1", 
00096                         "of" => "1", 
00097                         "open" => "1", 
00098                         "option" => "1", 
00099                         "or" => "1", 
00100                         "parser" => "1", 
00101                         "private" => "1", 
00102                         "ref" => "1", 
00103                         "rec" => "1", 
00104                         "raise" => "1", 
00105                         "regexp" => "1", 
00106                         "sig" => "1", 
00107                         "struct" => "1", 
00108                         "stdout" => "1", 
00109                         "stdin" => "1", 
00110                         "stderr" => "1", 
00111                         "then" => "1", 
00112                         "to" => "1", 
00113                         "true" => "1", 
00114                         "try" => "1", 
00115                         "type" => "1", 
00116                         "val" => "1", 
00117                         "virtual" => "1", 
00118                         "when" => "1", 
00119                         "while" => "1", 
00120                         "with" => "1", 
00121                         "Hashtbl" => "2", 
00122                         "Array" => "2", 
00123                         "Data" => "2", 
00124                         "Util" => "2", 
00125                         "Printf" => "2", 
00126                         "Str" => "2", 
00127                         "array" => "3", 
00128                         "bool" => "3", 
00129                         "dummy" => "3", 
00130                         "float" => "3", 
00131                         "int" => "3", 
00132                         "list" => "3", 
00133                         "string" => "3", 
00134                         "unit" => "3");
00135 
00136 // Special extensions
00137 
00138 // Each category can specify a PHP function that returns an altered
00139 // version of the keyword.
00140         
00141         
00142 
00143 $this->linkscripts      = array(
00144                         "" => "donothing", 
00145                         "1" => "donothing", 
00146                         "2" => "donothing", 
00147                         "3" => "donothing");
00148 }
00149 
00150 
00151 function donothing($keywordin)
00152 {
00153         return $keywordin;
00154 }
00155 
00156 }?>

Generated on Fri Dec 13 2013 09:06:39 for ILIAS Release_3_4_x_branch .rev 46804 by  doxygen 1.7.1