rust.js
436 lines
| 15.2 KiB
| application/javascript
|
JavascriptLexer
r4026 | CodeMirror.defineMode("rust", function() { | |||
var indentUnit = 4, altIndentUnit = 2; | ||||
var valKeywords = { | ||||
"if": "if-style", "while": "if-style", "else": "else-style", | ||||
"do": "else-style", "ret": "else-style", "fail": "else-style", | ||||
"break": "atom", "cont": "atom", "const": "let", "resource": "fn", | ||||
"let": "let", "fn": "fn", "for": "for", "alt": "alt", "iface": "iface", | ||||
"impl": "impl", "type": "type", "enum": "enum", "mod": "mod", | ||||
"as": "op", "true": "atom", "false": "atom", "assert": "op", "check": "op", | ||||
"claim": "op", "native": "ignore", "unsafe": "ignore", "import": "else-style", | ||||
"export": "else-style", "copy": "op", "log": "op", "log_err": "op", | ||||
"use": "op", "bind": "op", "self": "atom" | ||||
}; | ||||
var typeKeywords = function() { | ||||
var keywords = {"fn": "fn", "block": "fn", "obj": "obj"}; | ||||
var atoms = "bool uint int i8 i16 i32 i64 u8 u16 u32 u64 float f32 f64 str char".split(" "); | ||||
for (var i = 0, e = atoms.length; i < e; ++i) keywords[atoms[i]] = "atom"; | ||||
return keywords; | ||||
}(); | ||||
var operatorChar = /[+\-*&%=<>!?|\.@]/; | ||||
// Tokenizer | ||||
// Used as scratch variable to communicate multiple values without | ||||
// consing up tons of objects. | ||||
var tcat, content; | ||||
function r(tc, style) { | ||||
tcat = tc; | ||||
return style; | ||||
} | ||||
function tokenBase(stream, state) { | ||||
var ch = stream.next(); | ||||
if (ch == '"') { | ||||
state.tokenize = tokenString; | ||||
return state.tokenize(stream, state); | ||||
} | ||||
if (ch == "'") { | ||||
tcat = "atom"; | ||||
if (stream.eat("\\")) { | ||||
if (stream.skipTo("'")) { stream.next(); return "string"; } | ||||
else { return "error"; } | ||||
} else { | ||||
stream.next(); | ||||
return stream.eat("'") ? "string" : "error"; | ||||
} | ||||
} | ||||
if (ch == "/") { | ||||
if (stream.eat("/")) { stream.skipToEnd(); return "comment"; } | ||||
if (stream.eat("*")) { | ||||
state.tokenize = tokenComment(1); | ||||
return state.tokenize(stream, state); | ||||
} | ||||
} | ||||
if (ch == "#") { | ||||
if (stream.eat("[")) { tcat = "open-attr"; return null; } | ||||
stream.eatWhile(/\w/); | ||||
return r("macro", "meta"); | ||||
} | ||||
if (ch == ":" && stream.match(":<")) { | ||||
return r("op", null); | ||||
} | ||||
if (ch.match(/\d/) || (ch == "." && stream.eat(/\d/))) { | ||||
var flp = false; | ||||
if (!stream.match(/^x[\da-f]+/i) && !stream.match(/^b[01]+/)) { | ||||
stream.eatWhile(/\d/); | ||||
if (stream.eat(".")) { flp = true; stream.eatWhile(/\d/); } | ||||
if (stream.match(/^e[+\-]?\d+/i)) { flp = true; } | ||||
} | ||||
if (flp) stream.match(/^f(?:32|64)/); | ||||
else stream.match(/^[ui](?:8|16|32|64)/); | ||||
return r("atom", "number"); | ||||
} | ||||
if (ch.match(/[()\[\]{}:;,]/)) return r(ch, null); | ||||
if (ch == "-" && stream.eat(">")) return r("->", null); | ||||
if (ch.match(operatorChar)) { | ||||
stream.eatWhile(operatorChar); | ||||
return r("op", null); | ||||
} | ||||
stream.eatWhile(/\w/); | ||||
content = stream.current(); | ||||
if (stream.match(/^::\w/)) { | ||||
stream.backUp(1); | ||||
return r("prefix", "variable-2"); | ||||
} | ||||
if (state.keywords.propertyIsEnumerable(content)) | ||||
return r(state.keywords[content], content.match(/true|false/) ? "atom" : "keyword"); | ||||
return r("name", "variable"); | ||||
} | ||||
function tokenString(stream, state) { | ||||
var ch, escaped = false; | ||||
while (ch = stream.next()) { | ||||
if (ch == '"' && !escaped) { | ||||
state.tokenize = tokenBase; | ||||
return r("atom", "string"); | ||||
} | ||||
escaped = !escaped && ch == "\\"; | ||||
} | ||||
// Hack to not confuse the parser when a string is split in | ||||
// pieces. | ||||
return r("op", "string"); | ||||
} | ||||
function tokenComment(depth) { | ||||
return function(stream, state) { | ||||
var lastCh = null, ch; | ||||
while (ch = stream.next()) { | ||||
if (ch == "/" && lastCh == "*") { | ||||
if (depth == 1) { | ||||
state.tokenize = tokenBase; | ||||
break; | ||||
} else { | ||||
state.tokenize = tokenComment(depth - 1); | ||||
return state.tokenize(stream, state); | ||||
} | ||||
} | ||||
if (ch == "*" && lastCh == "/") { | ||||
state.tokenize = tokenComment(depth + 1); | ||||
return state.tokenize(stream, state); | ||||
} | ||||
lastCh = ch; | ||||
} | ||||
return "comment"; | ||||
}; | ||||
} | ||||
// Parser | ||||
var cx = {state: null, stream: null, marked: null, cc: null}; | ||||
function pass() { | ||||
for (var i = arguments.length - 1; i >= 0; i--) cx.cc.push(arguments[i]); | ||||
} | ||||
function cont() { | ||||
pass.apply(null, arguments); | ||||
return true; | ||||
} | ||||
function pushlex(type, info) { | ||||
var result = function() { | ||||
var state = cx.state; | ||||
state.lexical = {indented: state.indented, column: cx.stream.column(), | ||||
type: type, prev: state.lexical, info: info}; | ||||
}; | ||||
result.lex = true; | ||||
return result; | ||||
} | ||||
function poplex() { | ||||
var state = cx.state; | ||||
if (state.lexical.prev) { | ||||
if (state.lexical.type == ")") | ||||
state.indented = state.lexical.indented; | ||||
state.lexical = state.lexical.prev; | ||||
} | ||||
} | ||||
function typecx() { cx.state.keywords = typeKeywords; } | ||||
function valcx() { cx.state.keywords = valKeywords; } | ||||
poplex.lex = typecx.lex = valcx.lex = true; | ||||
function commasep(comb, end) { | ||||
function more(type) { | ||||
if (type == ",") return cont(comb, more); | ||||
if (type == end) return cont(); | ||||
return cont(more); | ||||
} | ||||
return function(type) { | ||||
if (type == end) return cont(); | ||||
return pass(comb, more); | ||||
}; | ||||
} | ||||
function stat_of(comb, tag) { | ||||
return cont(pushlex("stat", tag), comb, poplex, block); | ||||
} | ||||
function block(type) { | ||||
if (type == "}") return cont(); | ||||
if (type == "let") return stat_of(letdef1, "let"); | ||||
if (type == "fn") return stat_of(fndef); | ||||
if (type == "type") return cont(pushlex("stat"), tydef, endstatement, poplex, block); | ||||
if (type == "enum") return stat_of(enumdef); | ||||
if (type == "mod") return stat_of(mod); | ||||
if (type == "iface") return stat_of(iface); | ||||
if (type == "impl") return stat_of(impl); | ||||
if (type == "open-attr") return cont(pushlex("]"), commasep(expression, "]"), poplex); | ||||
if (type == "ignore" || type.match(/[\]\);,]/)) return cont(block); | ||||
return pass(pushlex("stat"), expression, poplex, endstatement, block); | ||||
} | ||||
function endstatement(type) { | ||||
if (type == ";") return cont(); | ||||
return pass(); | ||||
} | ||||
function expression(type) { | ||||
if (type == "atom" || type == "name") return cont(maybeop); | ||||
if (type == "{") return cont(pushlex("}"), exprbrace, poplex); | ||||
if (type.match(/[\[\(]/)) return matchBrackets(type, expression); | ||||
if (type.match(/[\]\)\};,]/)) return pass(); | ||||
if (type == "if-style") return cont(expression, expression); | ||||
if (type == "else-style" || type == "op") return cont(expression); | ||||
if (type == "for") return cont(pattern, maybetype, inop, expression, expression); | ||||
if (type == "alt") return cont(expression, altbody); | ||||
if (type == "fn") return cont(fndef); | ||||
if (type == "macro") return cont(macro); | ||||
return cont(); | ||||
} | ||||
function maybeop(type) { | ||||
if (content == ".") return cont(maybeprop); | ||||
if (content == "::<"){return cont(typarams, maybeop);} | ||||
if (type == "op" || content == ":") return cont(expression); | ||||
if (type == "(" || type == "[") return matchBrackets(type, expression); | ||||
return pass(); | ||||
} | ||||
function maybeprop() { | ||||
if (content.match(/^\w+$/)) {cx.marked = "variable"; return cont(maybeop);} | ||||
return pass(expression); | ||||
} | ||||
function exprbrace(type) { | ||||
if (type == "op") { | ||||
if (content == "|") return cont(blockvars, poplex, pushlex("}", "block"), block); | ||||
if (content == "||") return cont(poplex, pushlex("}", "block"), block); | ||||
} | ||||
if (content == "mutable" || (content.match(/^\w+$/) && cx.stream.peek() == ":" | ||||
&& !cx.stream.match("::", false))) | ||||
return pass(record_of(expression)); | ||||
return pass(block); | ||||
} | ||||
function record_of(comb) { | ||||
function ro(type) { | ||||
if (content == "mutable" || content == "with") {cx.marked = "keyword"; return cont(ro);} | ||||
if (content.match(/^\w*$/)) {cx.marked = "variable"; return cont(ro);} | ||||
if (type == ":") return cont(comb, ro); | ||||
if (type == "}") return cont(); | ||||
return cont(ro); | ||||
} | ||||
return ro; | ||||
} | ||||
function blockvars(type) { | ||||
if (type == "name") {cx.marked = "def"; return cont(blockvars);} | ||||
if (type == "op" && content == "|") return cont(); | ||||
return cont(blockvars); | ||||
} | ||||
function letdef1(type) { | ||||
if (type.match(/[\]\)\};]/)) return cont(); | ||||
if (content == "=") return cont(expression, letdef2); | ||||
if (type == ",") return cont(letdef1); | ||||
return pass(pattern, maybetype, letdef1); | ||||
} | ||||
function letdef2(type) { | ||||
if (type.match(/[\]\)\};,]/)) return pass(letdef1); | ||||
else return pass(expression, letdef2); | ||||
} | ||||
function maybetype(type) { | ||||
if (type == ":") return cont(typecx, rtype, valcx); | ||||
return pass(); | ||||
} | ||||
function inop(type) { | ||||
if (type == "name" && content == "in") {cx.marked = "keyword"; return cont();} | ||||
return pass(); | ||||
} | ||||
function fndef(type) { | ||||
if (content == "@" || content == "~") {cx.marked = "keyword"; return cont(fndef);} | ||||
if (type == "name") {cx.marked = "def"; return cont(fndef);} | ||||
if (content == "<") return cont(typarams, fndef); | ||||
if (type == "{") return pass(expression); | ||||
if (type == "(") return cont(pushlex(")"), commasep(argdef, ")"), poplex, fndef); | ||||
if (type == "->") return cont(typecx, rtype, valcx, fndef); | ||||
if (type == ";") return cont(); | ||||
return cont(fndef); | ||||
} | ||||
function tydef(type) { | ||||
if (type == "name") {cx.marked = "def"; return cont(tydef);} | ||||
if (content == "<") return cont(typarams, tydef); | ||||
if (content == "=") return cont(typecx, rtype, valcx); | ||||
return cont(tydef); | ||||
} | ||||
function enumdef(type) { | ||||
if (type == "name") {cx.marked = "def"; return cont(enumdef);} | ||||
if (content == "<") return cont(typarams, enumdef); | ||||
if (content == "=") return cont(typecx, rtype, valcx, endstatement); | ||||
if (type == "{") return cont(pushlex("}"), typecx, enumblock, valcx, poplex); | ||||
return cont(enumdef); | ||||
} | ||||
function enumblock(type) { | ||||
if (type == "}") return cont(); | ||||
if (type == "(") return cont(pushlex(")"), commasep(rtype, ")"), poplex, enumblock); | ||||
if (content.match(/^\w+$/)) cx.marked = "def"; | ||||
return cont(enumblock); | ||||
} | ||||
function mod(type) { | ||||
if (type == "name") {cx.marked = "def"; return cont(mod);} | ||||
if (type == "{") return cont(pushlex("}"), block, poplex); | ||||
return pass(); | ||||
} | ||||
function iface(type) { | ||||
if (type == "name") {cx.marked = "def"; return cont(iface);} | ||||
if (content == "<") return cont(typarams, iface); | ||||
if (type == "{") return cont(pushlex("}"), block, poplex); | ||||
return pass(); | ||||
} | ||||
function impl(type) { | ||||
if (content == "<") return cont(typarams, impl); | ||||
if (content == "of" || content == "for") {cx.marked = "keyword"; return cont(rtype, impl);} | ||||
if (type == "name") {cx.marked = "def"; return cont(impl);} | ||||
if (type == "{") return cont(pushlex("}"), block, poplex); | ||||
return pass(); | ||||
} | ||||
function typarams() { | ||||
if (content == ">") return cont(); | ||||
if (content == ",") return cont(typarams); | ||||
if (content == ":") return cont(rtype, typarams); | ||||
return pass(rtype, typarams); | ||||
} | ||||
function argdef(type) { | ||||
if (type == "name") {cx.marked = "def"; return cont(argdef);} | ||||
if (type == ":") return cont(typecx, rtype, valcx); | ||||
return pass(); | ||||
} | ||||
function rtype(type) { | ||||
if (type == "name") {cx.marked = "variable-3"; return cont(rtypemaybeparam); } | ||||
if (content == "mutable") {cx.marked = "keyword"; return cont(rtype);} | ||||
if (type == "atom") return cont(rtypemaybeparam); | ||||
if (type == "op" || type == "obj") return cont(rtype); | ||||
if (type == "fn") return cont(fntype); | ||||
if (type == "{") return cont(pushlex("{"), record_of(rtype), poplex); | ||||
return matchBrackets(type, rtype); | ||||
} | ||||
function rtypemaybeparam() { | ||||
if (content == "<") return cont(typarams); | ||||
return pass(); | ||||
} | ||||
function fntype(type) { | ||||
if (type == "(") return cont(pushlex("("), commasep(rtype, ")"), poplex, fntype); | ||||
if (type == "->") return cont(rtype); | ||||
return pass(); | ||||
} | ||||
function pattern(type) { | ||||
if (type == "name") {cx.marked = "def"; return cont(patternmaybeop);} | ||||
if (type == "atom") return cont(patternmaybeop); | ||||
if (type == "op") return cont(pattern); | ||||
if (type.match(/[\]\)\};,]/)) return pass(); | ||||
return matchBrackets(type, pattern); | ||||
} | ||||
function patternmaybeop(type) { | ||||
if (type == "op" && content == ".") return cont(); | ||||
if (content == "to") {cx.marked = "keyword"; return cont(pattern);} | ||||
else return pass(); | ||||
} | ||||
function altbody(type) { | ||||
if (type == "{") return cont(pushlex("}", "alt"), altblock1, poplex); | ||||
return pass(); | ||||
} | ||||
function altblock1(type) { | ||||
if (type == "}") return cont(); | ||||
if (type == "|") return cont(altblock1); | ||||
if (content == "when") {cx.marked = "keyword"; return cont(expression, altblock2);} | ||||
if (type.match(/[\]\);,]/)) return cont(altblock1); | ||||
return pass(pattern, altblock2); | ||||
} | ||||
function altblock2(type) { | ||||
if (type == "{") return cont(pushlex("}", "alt"), block, poplex, altblock1); | ||||
else return pass(altblock1); | ||||
} | ||||
function macro(type) { | ||||
if (type.match(/[\[\(\{]/)) return matchBrackets(type, expression); | ||||
return pass(); | ||||
} | ||||
function matchBrackets(type, comb) { | ||||
if (type == "[") return cont(pushlex("]"), commasep(comb, "]"), poplex); | ||||
if (type == "(") return cont(pushlex(")"), commasep(comb, ")"), poplex); | ||||
if (type == "{") return cont(pushlex("}"), commasep(comb, "}"), poplex); | ||||
return cont(); | ||||
} | ||||
function parse(state, stream, style) { | ||||
var cc = state.cc; | ||||
// Communicate our context to the combinators. | ||||
// (Less wasteful than consing up a hundred closures on every call.) | ||||
cx.state = state; cx.stream = stream; cx.marked = null, cx.cc = cc; | ||||
while (true) { | ||||
var combinator = cc.length ? cc.pop() : block; | ||||
if (combinator(tcat)) { | ||||
while(cc.length && cc[cc.length - 1].lex) | ||||
cc.pop()(); | ||||
return cx.marked || style; | ||||
} | ||||
} | ||||
} | ||||
return { | ||||
startState: function() { | ||||
return { | ||||
tokenize: tokenBase, | ||||
cc: [], | ||||
lexical: {indented: -indentUnit, column: 0, type: "top", align: false}, | ||||
keywords: valKeywords, | ||||
indented: 0 | ||||
}; | ||||
}, | ||||
token: function(stream, state) { | ||||
if (stream.sol()) { | ||||
if (!state.lexical.hasOwnProperty("align")) | ||||
state.lexical.align = false; | ||||
state.indented = stream.indentation(); | ||||
} | ||||
if (stream.eatSpace()) return null; | ||||
tcat = content = null; | ||||
var style = state.tokenize(stream, state); | ||||
if (style == "comment") return style; | ||||
if (!state.lexical.hasOwnProperty("align")) | ||||
state.lexical.align = true; | ||||
if (tcat == "prefix") return style; | ||||
if (!content) content = stream.current(); | ||||
return parse(state, stream, style); | ||||
}, | ||||
indent: function(state, textAfter) { | ||||
if (state.tokenize != tokenBase) return 0; | ||||
var firstChar = textAfter && textAfter.charAt(0), lexical = state.lexical, | ||||
type = lexical.type, closing = firstChar == type; | ||||
if (type == "stat") return lexical.indented + indentUnit; | ||||
if (lexical.align) return lexical.column + (closing ? 0 : 1); | ||||
return lexical.indented + (closing ? 0 : (lexical.info == "alt" ? altIndentUnit : indentUnit)); | ||||
}, | ||||
electricChars: "{}", | ||||
blockCommentStart: "/*", | ||||
blockCommentEnd: "*/", | ||||
|
r4120 | lineComment: "//", | ||
fold: "brace" | ||||
r4026 | }; | |||
}); | ||||
CodeMirror.defineMIME("text/x-rustsrc", "rust"); | ||||