1 CodeMirror.defineMode("rust", function() {
2 var indentUnit = 4, altIndentUnit = 2;
4 "if": "if-style", "while": "if-style", "else": "else-style",
5 "do": "else-style", "ret": "else-style", "fail": "else-style",
6 "break": "atom", "cont": "atom", "const": "let", "resource": "fn",
7 "let": "let", "fn": "fn", "for": "for", "alt": "alt", "iface": "iface",
8 "impl": "impl", "type": "type", "enum": "enum", "mod": "mod",
9 "as": "op", "true": "atom", "false": "atom", "assert": "op", "check": "op",
10 "claim": "op", "native": "ignore", "unsafe": "ignore", "import": "else-style",
11 "export": "else-style", "copy": "op", "log": "op", "log_err": "op",
12 "use": "op", "bind": "op", "self": "atom"
14 var typeKeywords = function() {
15 var keywords = {"fn": "fn", "block": "fn", "obj": "obj"};
16 var atoms = "bool uint int i8 i16 i32 i64 u8 u16 u32 u64 float f32 f64 str char".split(" ");
17 for (var i = 0, e = atoms.length; i < e; ++i) keywords[atoms[i]] = "atom";
20 var operatorChar = /[+\-*&%=<>!?|\.@]/;
24 // Used as scratch variable to communicate multiple values without
25 // consing up tons of objects.
27 function r(tc, style) {
32 function tokenBase(stream, state) {
33 var ch = stream.next();
35 state.tokenize = tokenString;
36 return state.tokenize(stream, state);
40 if (stream.eat("\\")) {
41 if (stream.skipTo("'")) { stream.next(); return "string"; }
42 else { return "error"; }
45 return stream.eat("'") ? "string" : "error";
49 if (stream.eat("/")) { stream.skipToEnd(); return "comment"; }
50 if (stream.eat("*")) {
51 state.tokenize = tokenComment(1);
52 return state.tokenize(stream, state);
56 if (stream.eat("[")) { tcat = "open-attr"; return null; }
57 stream.eatWhile(/\w/);
58 return r("macro", "meta");
60 if (ch == ":" && stream.match(":<")) {
63 if (ch.match(/\d/) || (ch == "." && stream.eat(/\d/))) {
65 if (!stream.match(/^x[\da-f]+/i) && !stream.match(/^b[01]+/)) {
66 stream.eatWhile(/\d/);
67 if (stream.eat(".")) { flp = true; stream.eatWhile(/\d/); }
68 if (stream.match(/^e[+\-]?\d+/i)) { flp = true; }
70 if (flp) stream.match(/^f(?:32|64)/);
71 else stream.match(/^[ui](?:8|16|32|64)/);
72 return r("atom", "number");
74 if (ch.match(/[()\[\]{}:;,]/)) return r(ch, null);
75 if (ch == "-" && stream.eat(">")) return r("->", null);
76 if (ch.match(operatorChar)) {
77 stream.eatWhile(operatorChar);
80 stream.eatWhile(/\w/);
81 content = stream.current();
82 if (stream.match(/^::\w/)) {
84 return r("prefix", "variable-2");
86 if (state.keywords.propertyIsEnumerable(content))
87 return r(state.keywords[content], content.match(/true|false/) ? "atom" : "keyword");
88 return r("name", "variable");
91 function tokenString(stream, state) {
92 var ch, escaped = false;
93 while (ch = stream.next()) {
94 if (ch == '"' && !escaped) {
95 state.tokenize = tokenBase;
96 return r("atom", "string");
98 escaped = !escaped && ch == "\\";
100 // Hack to not confuse the parser when a string is split in
102 return r("op", "string");
105 function tokenComment(depth) {
106 return function(stream, state) {
107 var lastCh = null, ch;
108 while (ch = stream.next()) {
109 if (ch == "/" && lastCh == "*") {
111 state.tokenize = tokenBase;
114 state.tokenize = tokenComment(depth - 1);
115 return state.tokenize(stream, state);
118 if (ch == "*" && lastCh == "/") {
119 state.tokenize = tokenComment(depth + 1);
120 return state.tokenize(stream, state);
130 var cx = {state: null, stream: null, marked: null, cc: null};
132 for (var i = arguments.length - 1; i >= 0; i--) cx.cc.push(arguments[i]);
135 pass.apply(null, arguments);
139 function pushlex(type, info) {
140 var result = function() {
141 var state = cx.state;
142 state.lexical = {indented: state.indented, column: cx.stream.column(),
143 type: type, prev: state.lexical, info: info};
149 var state = cx.state;
150 if (state.lexical.prev) {
151 if (state.lexical.type == ")")
152 state.indented = state.lexical.indented;
153 state.lexical = state.lexical.prev;
156 function typecx() { cx.state.keywords = typeKeywords; }
157 function valcx() { cx.state.keywords = valKeywords; }
158 poplex.lex = typecx.lex = valcx.lex = true;
160 function commasep(comb, end) {
161 function more(type) {
162 if (type == ",") return cont(comb, more);
163 if (type == end) return cont();
166 return function(type) {
167 if (type == end) return cont();
168 return pass(comb, more);
172 function stat_of(comb, tag) {
173 return cont(pushlex("stat", tag), comb, poplex, block);
175 function block(type) {
176 if (type == "}") return cont();
177 if (type == "let") return stat_of(letdef1, "let");
178 if (type == "fn") return stat_of(fndef);
179 if (type == "type") return cont(pushlex("stat"), tydef, endstatement, poplex, block);
180 if (type == "enum") return stat_of(enumdef);
181 if (type == "mod") return stat_of(mod);
182 if (type == "iface") return stat_of(iface);
183 if (type == "impl") return stat_of(impl);
184 if (type == "open-attr") return cont(pushlex("]"), commasep(expression, "]"), poplex);
185 if (type == "ignore" || type.match(/[\]\);,]/)) return cont(block);
186 return pass(pushlex("stat"), expression, poplex, endstatement, block);
188 function endstatement(type) {
189 if (type == ";") return cont();
192 function expression(type) {
193 if (type == "atom" || type == "name") return cont(maybeop);
194 if (type == "{") return cont(pushlex("}"), exprbrace, poplex);
195 if (type.match(/[\[\(]/)) return matchBrackets(type, expression);
196 if (type.match(/[\]\)\};,]/)) return pass();
197 if (type == "if-style") return cont(expression, expression);
198 if (type == "else-style" || type == "op") return cont(expression);
199 if (type == "for") return cont(pattern, maybetype, inop, expression, expression);
200 if (type == "alt") return cont(expression, altbody);
201 if (type == "fn") return cont(fndef);
202 if (type == "macro") return cont(macro);
205 function maybeop(type) {
206 if (content == ".") return cont(maybeprop);
207 if (content == "::<"){return cont(typarams, maybeop);}
208 if (type == "op" || content == ":") return cont(expression);
209 if (type == "(" || type == "[") return matchBrackets(type, expression);
212 function maybeprop() {
213 if (content.match(/^\w+$/)) {cx.marked = "variable"; return cont(maybeop);}
214 return pass(expression);
216 function exprbrace(type) {
218 if (content == "|") return cont(blockvars, poplex, pushlex("}", "block"), block);
219 if (content == "||") return cont(poplex, pushlex("}", "block"), block);
221 if (content == "mutable" || (content.match(/^\w+$/) && cx.stream.peek() == ":"
222 && !cx.stream.match("::", false)))
223 return pass(record_of(expression));
226 function record_of(comb) {
228 if (content == "mutable" || content == "with") {cx.marked = "keyword"; return cont(ro);}
229 if (content.match(/^\w*$/)) {cx.marked = "variable"; return cont(ro);}
230 if (type == ":") return cont(comb, ro);
231 if (type == "}") return cont();
236 function blockvars(type) {
237 if (type == "name") {cx.marked = "def"; return cont(blockvars);}
238 if (type == "op" && content == "|") return cont();
239 return cont(blockvars);
242 function letdef1(type) {
243 if (type.match(/[\]\)\};]/)) return cont();
244 if (content == "=") return cont(expression, letdef2);
245 if (type == ",") return cont(letdef1);
246 return pass(pattern, maybetype, letdef1);
248 function letdef2(type) {
249 if (type.match(/[\]\)\};,]/)) return pass(letdef1);
250 else return pass(expression, letdef2);
252 function maybetype(type) {
253 if (type == ":") return cont(typecx, rtype, valcx);
256 function inop(type) {
257 if (type == "name" && content == "in") {cx.marked = "keyword"; return cont();}
260 function fndef(type) {
261 if (content == "@" || content == "~") {cx.marked = "keyword"; return cont(fndef);}
262 if (type == "name") {cx.marked = "def"; return cont(fndef);}
263 if (content == "<") return cont(typarams, fndef);
264 if (type == "{") return pass(expression);
265 if (type == "(") return cont(pushlex(")"), commasep(argdef, ")"), poplex, fndef);
266 if (type == "->") return cont(typecx, rtype, valcx, fndef);
267 if (type == ";") return cont();
270 function tydef(type) {
271 if (type == "name") {cx.marked = "def"; return cont(tydef);}
272 if (content == "<") return cont(typarams, tydef);
273 if (content == "=") return cont(typecx, rtype, valcx);
276 function enumdef(type) {
277 if (type == "name") {cx.marked = "def"; return cont(enumdef);}
278 if (content == "<") return cont(typarams, enumdef);
279 if (content == "=") return cont(typecx, rtype, valcx, endstatement);
280 if (type == "{") return cont(pushlex("}"), typecx, enumblock, valcx, poplex);
281 return cont(enumdef);
283 function enumblock(type) {
284 if (type == "}") return cont();
285 if (type == "(") return cont(pushlex(")"), commasep(rtype, ")"), poplex, enumblock);
286 if (content.match(/^\w+$/)) cx.marked = "def";
287 return cont(enumblock);
290 if (type == "name") {cx.marked = "def"; return cont(mod);}
291 if (type == "{") return cont(pushlex("}"), block, poplex);
294 function iface(type) {
295 if (type == "name") {cx.marked = "def"; return cont(iface);}
296 if (content == "<") return cont(typarams, iface);
297 if (type == "{") return cont(pushlex("}"), block, poplex);
300 function impl(type) {
301 if (content == "<") return cont(typarams, impl);
302 if (content == "of" || content == "for") {cx.marked = "keyword"; return cont(rtype, impl);}
303 if (type == "name") {cx.marked = "def"; return cont(impl);}
304 if (type == "{") return cont(pushlex("}"), block, poplex);
307 function typarams() {
308 if (content == ">") return cont();
309 if (content == ",") return cont(typarams);
310 if (content == ":") return cont(rtype, typarams);
311 return pass(rtype, typarams);
313 function argdef(type) {
314 if (type == "name") {cx.marked = "def"; return cont(argdef);}
315 if (type == ":") return cont(typecx, rtype, valcx);
318 function rtype(type) {
319 if (type == "name") {cx.marked = "variable-3"; return cont(rtypemaybeparam); }
320 if (content == "mutable") {cx.marked = "keyword"; return cont(rtype);}
321 if (type == "atom") return cont(rtypemaybeparam);
322 if (type == "op" || type == "obj") return cont(rtype);
323 if (type == "fn") return cont(fntype);
324 if (type == "{") return cont(pushlex("{"), record_of(rtype), poplex);
325 return matchBrackets(type, rtype);
327 function rtypemaybeparam() {
328 if (content == "<") return cont(typarams);
331 function fntype(type) {
332 if (type == "(") return cont(pushlex("("), commasep(rtype, ")"), poplex, fntype);
333 if (type == "->") return cont(rtype);
336 function pattern(type) {
337 if (type == "name") {cx.marked = "def"; return cont(patternmaybeop);}
338 if (type == "atom") return cont(patternmaybeop);
339 if (type == "op") return cont(pattern);
340 if (type.match(/[\]\)\};,]/)) return pass();
341 return matchBrackets(type, pattern);
343 function patternmaybeop(type) {
344 if (type == "op" && content == ".") return cont();
345 if (content == "to") {cx.marked = "keyword"; return cont(pattern);}
348 function altbody(type) {
349 if (type == "{") return cont(pushlex("}", "alt"), altblock1, poplex);
352 function altblock1(type) {
353 if (type == "}") return cont();
354 if (type == "|") return cont(altblock1);
355 if (content == "when") {cx.marked = "keyword"; return cont(expression, altblock2);}
356 if (type.match(/[\]\);,]/)) return cont(altblock1);
357 return pass(pattern, altblock2);
359 function altblock2(type) {
360 if (type == "{") return cont(pushlex("}", "alt"), block, poplex, altblock1);
361 else return pass(altblock1);
364 function macro(type) {
365 if (type.match(/[\[\(\{]/)) return matchBrackets(type, expression);
368 function matchBrackets(type, comb) {
369 if (type == "[") return cont(pushlex("]"), commasep(comb, "]"), poplex);
370 if (type == "(") return cont(pushlex(")"), commasep(comb, ")"), poplex);
371 if (type == "{") return cont(pushlex("}"), commasep(comb, "}"), poplex);
375 function parse(state, stream, style) {
377 // Communicate our context to the combinators.
378 // (Less wasteful than consing up a hundred closures on every call.)
379 cx.state = state; cx.stream = stream; cx.marked = null, cx.cc = cc;
382 var combinator = cc.length ? cc.pop() : block;
383 if (combinator(tcat)) {
384 while(cc.length && cc[cc.length - 1].lex)
386 return cx.marked || style;
392 startState: function() {
396 lexical: {indented: -indentUnit, column: 0, type: "top", align: false},
397 keywords: valKeywords,
402 token: function(stream, state) {
404 if (!state.lexical.hasOwnProperty("align"))
405 state.lexical.align = false;
406 state.indented = stream.indentation();
408 if (stream.eatSpace()) return null;
409 tcat = content = null;
410 var style = state.tokenize(stream, state);
411 if (style == "comment") return style;
412 if (!state.lexical.hasOwnProperty("align"))
413 state.lexical.align = true;
414 if (tcat == "prefix") return style;
415 if (!content) content = stream.current();
416 return parse(state, stream, style);
419 indent: function(state, textAfter) {
420 if (state.tokenize != tokenBase) return 0;
421 var firstChar = textAfter && textAfter.charAt(0), lexical = state.lexical,
422 type = lexical.type, closing = firstChar == type;
423 if (type == "stat") return lexical.indented + indentUnit;
424 if (lexical.align) return lexical.column + (closing ? 0 : 1);
425 return lexical.indented + (closing ? 0 : (lexical.info == "alt" ? altIndentUnit : indentUnit));
429 blockCommentStart: "/*",
430 blockCommentEnd: "*/",
436 CodeMirror.defineMIME("text/x-rustsrc", "rust");