ILIAS  Release_3_10_x_branch Revision 61812
 All Data Structures Namespaces Files Functions Variables Groups Pages
HFile_ocaml.php
Go to the documentation of this file.
1 <?php
2 $BEAUT_PATH = realpath(".")."/Services/COPage/syntax_highlight/php";
3 if (!isset ($BEAUT_PATH)) return;
4 require_once("$BEAUT_PATH/Beautifier/HFile.php");
5  class HFile_ocaml extends HFile{
6  function HFile_ocaml(){
7  $this->HFile();
8 /*************************************/
9 // Beautifier Highlighting Configuration File
10 //
11 /*************************************/
12 // Flags
13 
14 $this->nocase = "0";
15 $this->notrim = "0";
16 $this->perl = "0";
17 
18 // Colours
19 
20 $this->colours = array("blue", "purple", "gray");
21 $this->quotecolour = "blue";
22 $this->blockcommentcolour = "green";
23 $this->linecommentcolour = "green";
24 
25 // Indent Strings
26 
27 $this->indent = array();
28 $this->unindent = array();
29 
30 // String characters and delimiters
31 
32 $this->stringchars = array();
33 $this->delimiters = array();
34 $this->escchar = "";
35 
36 // Comment settings
37 
38 $this->linecommenton = array("");
39 $this->blockcommenton = array("");
40 $this->blockcommentoff = array("");
41 
42 // Keywords (keyword mapping to colour number)
43 
44 $this->keywords = array(
45  "/L10" => "",
46  "Block" => "",
47  "Comment" => "",
48  "On" => "",
49  "=" => "",
50  "(*" => "",
51  "Off" => "",
52  "*)" => "",
53  "File" => "",
54  "Extensions" => "",
55  "ML" => "",
56  "MLI" => "",
57  "and" => "1",
58  "as" => "1",
59  "asr" => "1",
60  "begin" => "1",
61  "class" => "1",
62  "closed" => "1",
63  "constraint" => "1",
64  "do" => "1",
65  "done" => "1",
66  "downto" => "1",
67  "else" => "1",
68  "end" => "1",
69  "exception" => "1",
70  "external" => "1",
71  "failwith" => "1",
72  "false" => "1",
73  "flush" => "1",
74  "for" => "1",
75  "fun" => "1",
76  "function" => "1",
77  "functor" => "1",
78  "if" => "1",
79  "in" => "1",
80  "include" => "1",
81  "inherit" => "1",
82  "incr" => "1",
83  "land" => "1",
84  "let" => "1",
85  "lor" => "1",
86  "lsl" => "1",
87  "lsr" => "1",
88  "lxor" => "1",
89  "match" => "1",
90  "method" => "1",
91  "mod" => "1",
92  "module" => "1",
93  "mutable" => "1",
94  "new" => "1",
95  "not" => "1",
96  "of" => "1",
97  "open" => "1",
98  "option" => "1",
99  "or" => "1",
100  "parser" => "1",
101  "private" => "1",
102  "ref" => "1",
103  "rec" => "1",
104  "raise" => "1",
105  "regexp" => "1",
106  "sig" => "1",
107  "struct" => "1",
108  "stdout" => "1",
109  "stdin" => "1",
110  "stderr" => "1",
111  "then" => "1",
112  "to" => "1",
113  "true" => "1",
114  "try" => "1",
115  "type" => "1",
116  "val" => "1",
117  "virtual" => "1",
118  "when" => "1",
119  "while" => "1",
120  "with" => "1",
121  "Hashtbl" => "2",
122  "Array" => "2",
123  "Data" => "2",
124  "Util" => "2",
125  "Printf" => "2",
126  "Str" => "2",
127  "array" => "3",
128  "bool" => "3",
129  "dummy" => "3",
130  "float" => "3",
131  "int" => "3",
132  "list" => "3",
133  "string" => "3",
134  "unit" => "3");
135 
136 // Special extensions
137 
138 // Each category can specify a PHP function that returns an altered
139 // version of the keyword.
140 
141 
142 
143 $this->linkscripts = array(
144  "" => "donothing",
145  "1" => "donothing",
146  "2" => "donothing",
147  "3" => "donothing");
148 }
149 
150 
151 function donothing($keywordin)
152 {
153  return $keywordin;
154 }
155 
156 }?>