mirror of
https://github.com/renbaoshuo/S2OJ.git
synced 2024-11-23 16:18:42 +00:00
161 lines
4.7 KiB
JavaScript
161 lines
4.7 KiB
JavaScript
|
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
||
|
// Distributed under an MIT license: http://codemirror.net/LICENSE
|
||
|
|
||
|
(function(mod) {
|
||
|
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
||
|
mod(require("../../lib/codemirror"));
|
||
|
else if (typeof define == "function" && define.amd) // AMD
|
||
|
define(["../../lib/codemirror"], mod);
|
||
|
else // Plain browser env
|
||
|
mod(CodeMirror);
|
||
|
})(function(CodeMirror) {
|
||
|
"use strict";
|
||
|
|
||
|
CodeMirror.defineMode("turtle", function(config) {
|
||
|
var indentUnit = config.indentUnit;
|
||
|
var curPunc;
|
||
|
|
||
|
function wordRegexp(words) {
|
||
|
return new RegExp("^(?:" + words.join("|") + ")$", "i");
|
||
|
}
|
||
|
var ops = wordRegexp([]);
|
||
|
var keywords = wordRegexp(["@prefix", "@base", "a"]);
|
||
|
var operatorChars = /[*+\-<>=&|]/;
|
||
|
|
||
|
function tokenBase(stream, state) {
|
||
|
var ch = stream.next();
|
||
|
curPunc = null;
|
||
|
if (ch == "<" && !stream.match(/^[\s\u00a0=]/, false)) {
|
||
|
stream.match(/^[^\s\u00a0>]*>?/);
|
||
|
return "atom";
|
||
|
}
|
||
|
else if (ch == "\"" || ch == "'") {
|
||
|
state.tokenize = tokenLiteral(ch);
|
||
|
return state.tokenize(stream, state);
|
||
|
}
|
||
|
else if (/[{}\(\),\.;\[\]]/.test(ch)) {
|
||
|
curPunc = ch;
|
||
|
return null;
|
||
|
}
|
||
|
else if (ch == "#") {
|
||
|
stream.skipToEnd();
|
||
|
return "comment";
|
||
|
}
|
||
|
else if (operatorChars.test(ch)) {
|
||
|
stream.eatWhile(operatorChars);
|
||
|
return null;
|
||
|
}
|
||
|
else if (ch == ":") {
|
||
|
return "operator";
|
||
|
} else {
|
||
|
stream.eatWhile(/[_\w\d]/);
|
||
|
if(stream.peek() == ":") {
|
||
|
return "variable-3";
|
||
|
} else {
|
||
|
var word = stream.current();
|
||
|
|
||
|
if(keywords.test(word)) {
|
||
|
return "meta";
|
||
|
}
|
||
|
|
||
|
if(ch >= "A" && ch <= "Z") {
|
||
|
return "comment";
|
||
|
} else {
|
||
|
return "keyword";
|
||
|
}
|
||
|
}
|
||
|
var word = stream.current();
|
||
|
if (ops.test(word))
|
||
|
return null;
|
||
|
else if (keywords.test(word))
|
||
|
return "meta";
|
||
|
else
|
||
|
return "variable";
|
||
|
}
|
||
|
}
|
||
|
|
||
|
function tokenLiteral(quote) {
|
||
|
return function(stream, state) {
|
||
|
var escaped = false, ch;
|
||
|
while ((ch = stream.next()) != null) {
|
||
|
if (ch == quote && !escaped) {
|
||
|
state.tokenize = tokenBase;
|
||
|
break;
|
||
|
}
|
||
|
escaped = !escaped && ch == "\\";
|
||
|
}
|
||
|
return "string";
|
||
|
};
|
||
|
}
|
||
|
|
||
|
function pushContext(state, type, col) {
|
||
|
state.context = {prev: state.context, indent: state.indent, col: col, type: type};
|
||
|
}
|
||
|
function popContext(state) {
|
||
|
state.indent = state.context.indent;
|
||
|
state.context = state.context.prev;
|
||
|
}
|
||
|
|
||
|
return {
|
||
|
startState: function() {
|
||
|
return {tokenize: tokenBase,
|
||
|
context: null,
|
||
|
indent: 0,
|
||
|
col: 0};
|
||
|
},
|
||
|
|
||
|
token: function(stream, state) {
|
||
|
if (stream.sol()) {
|
||
|
if (state.context && state.context.align == null) state.context.align = false;
|
||
|
state.indent = stream.indentation();
|
||
|
}
|
||
|
if (stream.eatSpace()) return null;
|
||
|
var style = state.tokenize(stream, state);
|
||
|
|
||
|
if (style != "comment" && state.context && state.context.align == null && state.context.type != "pattern") {
|
||
|
state.context.align = true;
|
||
|
}
|
||
|
|
||
|
if (curPunc == "(") pushContext(state, ")", stream.column());
|
||
|
else if (curPunc == "[") pushContext(state, "]", stream.column());
|
||
|
else if (curPunc == "{") pushContext(state, "}", stream.column());
|
||
|
else if (/[\]\}\)]/.test(curPunc)) {
|
||
|
while (state.context && state.context.type == "pattern") popContext(state);
|
||
|
if (state.context && curPunc == state.context.type) popContext(state);
|
||
|
}
|
||
|
else if (curPunc == "." && state.context && state.context.type == "pattern") popContext(state);
|
||
|
else if (/atom|string|variable/.test(style) && state.context) {
|
||
|
if (/[\}\]]/.test(state.context.type))
|
||
|
pushContext(state, "pattern", stream.column());
|
||
|
else if (state.context.type == "pattern" && !state.context.align) {
|
||
|
state.context.align = true;
|
||
|
state.context.col = stream.column();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
return style;
|
||
|
},
|
||
|
|
||
|
indent: function(state, textAfter) {
|
||
|
var firstChar = textAfter && textAfter.charAt(0);
|
||
|
var context = state.context;
|
||
|
if (/[\]\}]/.test(firstChar))
|
||
|
while (context && context.type == "pattern") context = context.prev;
|
||
|
|
||
|
var closing = context && firstChar == context.type;
|
||
|
if (!context)
|
||
|
return 0;
|
||
|
else if (context.type == "pattern")
|
||
|
return context.col;
|
||
|
else if (context.align)
|
||
|
return context.col + (closing ? 0 : 1);
|
||
|
else
|
||
|
return context.indent + (closing ? 0 : indentUnit);
|
||
|
}
|
||
|
};
|
||
|
});
|
||
|
|
||
|
CodeMirror.defineMIME("text/turtle", "turtle");
|
||
|
|
||
|
});
|