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
00010
00011
00012
00013
00014 $this->nocase = "0";
00015 $this->notrim = "0";
00016 $this->perl = "0";
00017
00018
00019
00020 $this->colours = array("blue", "purple", "gray");
00021 $this->quotecolour = "blue";
00022 $this->blockcommentcolour = "green";
00023 $this->linecommentcolour = "green";
00024
00025
00026
00027 $this->indent = array();
00028 $this->unindent = array();
00029
00030
00031
00032 $this->stringchars = array();
00033 $this->delimiters = array();
00034 $this->escchar = "";
00035
00036
00037
00038 $this->linecommenton = array("");
00039 $this->blockcommenton = array("");
00040 $this->blockcommentoff = array("");
00041
00042
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
00137
00138
00139
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 }?>