mirror of
https://github.com/renbaoshuo/S2OJ.git
synced 2024-12-29 19:31:52 +00:00
96d4a3ecf7
Due to historical reasons, the code is in subfolder "1". With SVN removal, we place the code back and remove the annoying "1" folder.
302 lines
8.0 KiB
JavaScript
302 lines
8.0 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("julia", function(_conf, parserConf) {
|
|
var ERRORCLASS = 'error';
|
|
|
|
function wordRegexp(words) {
|
|
return new RegExp("^((" + words.join(")|(") + "))\\b");
|
|
}
|
|
|
|
var operators = parserConf.operators || /^\.?[|&^\\%*+\-<>!=\/]=?|\?|~|:|\$|\.[<>]|<<=?|>>>?=?|\.[<>=]=|->?|\/\/|\bin\b/;
|
|
var delimiters = parserConf.delimiters || /^[;,()[\]{}]/;
|
|
var identifiers = parserConf.identifiers|| /^[_A-Za-z][_A-Za-z0-9]*!*/;
|
|
var blockOpeners = ["begin", "function", "type", "immutable", "let", "macro", "for", "while", "quote", "if", "else", "elseif", "try", "finally", "catch", "do"];
|
|
var blockClosers = ["end", "else", "elseif", "catch", "finally"];
|
|
var keywordList = ['if', 'else', 'elseif', 'while', 'for', 'begin', 'let', 'end', 'do', 'try', 'catch', 'finally', 'return', 'break', 'continue', 'global', 'local', 'const', 'export', 'import', 'importall', 'using', 'function', 'macro', 'module', 'baremodule', 'type', 'immutable', 'quote', 'typealias', 'abstract', 'bitstype', 'ccall'];
|
|
var builtinList = ['true', 'false', 'enumerate', 'open', 'close', 'nothing', 'NaN', 'Inf', 'print', 'println', 'Int', 'Int8', 'Uint8', 'Int16', 'Uint16', 'Int32', 'Uint32', 'Int64', 'Uint64', 'Int128', 'Uint128', 'Bool', 'Char', 'Float16', 'Float32', 'Float64', 'Array', 'Vector', 'Matrix', 'String', 'UTF8String', 'ASCIIString', 'error', 'warn', 'info', '@printf'];
|
|
|
|
//var stringPrefixes = new RegExp("^[br]?('|\")")
|
|
var stringPrefixes = /^(`|'|"{3}|([br]?"))/;
|
|
var keywords = wordRegexp(keywordList);
|
|
var builtins = wordRegexp(builtinList);
|
|
var openers = wordRegexp(blockOpeners);
|
|
var closers = wordRegexp(blockClosers);
|
|
var macro = /^@[_A-Za-z][_A-Za-z0-9]*/;
|
|
var symbol = /^:[_A-Za-z][_A-Za-z0-9]*/;
|
|
var indentInfo = null;
|
|
|
|
function in_array(state) {
|
|
var ch = cur_scope(state);
|
|
if(ch=="[" || ch=="{") {
|
|
return true;
|
|
}
|
|
else {
|
|
return false;
|
|
}
|
|
}
|
|
|
|
function cur_scope(state) {
|
|
if(state.scopes.length==0) {
|
|
return null;
|
|
}
|
|
return state.scopes[state.scopes.length - 1];
|
|
}
|
|
|
|
// tokenizers
|
|
function tokenBase(stream, state) {
|
|
// Handle scope changes
|
|
var leaving_expr = state.leaving_expr;
|
|
if(stream.sol()) {
|
|
leaving_expr = false;
|
|
}
|
|
state.leaving_expr = false;
|
|
if(leaving_expr) {
|
|
if(stream.match(/^'+/)) {
|
|
return 'operator';
|
|
}
|
|
|
|
}
|
|
|
|
if(stream.match(/^\.{2,3}/)) {
|
|
return 'operator';
|
|
}
|
|
|
|
if (stream.eatSpace()) {
|
|
return null;
|
|
}
|
|
|
|
var ch = stream.peek();
|
|
// Handle Comments
|
|
if (ch === '#') {
|
|
stream.skipToEnd();
|
|
return 'comment';
|
|
}
|
|
if(ch==='[') {
|
|
state.scopes.push("[");
|
|
}
|
|
|
|
if(ch==='{') {
|
|
state.scopes.push("{");
|
|
}
|
|
|
|
var scope=cur_scope(state);
|
|
|
|
if(scope==='[' && ch===']') {
|
|
state.scopes.pop();
|
|
state.leaving_expr=true;
|
|
}
|
|
|
|
if(scope==='{' && ch==='}') {
|
|
state.scopes.pop();
|
|
state.leaving_expr=true;
|
|
}
|
|
|
|
if(ch===')') {
|
|
state.leaving_expr = true;
|
|
}
|
|
|
|
var match;
|
|
if(!in_array(state) && (match=stream.match(openers, false))) {
|
|
state.scopes.push(match);
|
|
}
|
|
|
|
if(!in_array(state) && stream.match(closers, false)) {
|
|
state.scopes.pop();
|
|
}
|
|
|
|
if(in_array(state)) {
|
|
if(stream.match(/^end/)) {
|
|
return 'number';
|
|
}
|
|
|
|
}
|
|
|
|
if(stream.match(/^=>/)) {
|
|
return 'operator';
|
|
}
|
|
|
|
|
|
// Handle Number Literals
|
|
if (stream.match(/^[0-9\.]/, false)) {
|
|
var imMatcher = RegExp(/^im\b/);
|
|
var floatLiteral = false;
|
|
// Floats
|
|
if (stream.match(/^\d*\.(?!\.)\d+([ef][\+\-]?\d+)?/i)) { floatLiteral = true; }
|
|
if (stream.match(/^\d+\.(?!\.)\d*/)) { floatLiteral = true; }
|
|
if (stream.match(/^\.\d+/)) { floatLiteral = true; }
|
|
if (floatLiteral) {
|
|
// Float literals may be "imaginary"
|
|
stream.match(imMatcher);
|
|
state.leaving_expr = true;
|
|
return 'number';
|
|
}
|
|
// Integers
|
|
var intLiteral = false;
|
|
// Hex
|
|
if (stream.match(/^0x[0-9a-f]+/i)) { intLiteral = true; }
|
|
// Binary
|
|
if (stream.match(/^0b[01]+/i)) { intLiteral = true; }
|
|
// Octal
|
|
if (stream.match(/^0o[0-7]+/i)) { intLiteral = true; }
|
|
// Decimal
|
|
if (stream.match(/^[1-9]\d*(e[\+\-]?\d+)?/)) {
|
|
intLiteral = true;
|
|
}
|
|
// Zero by itself with no other piece of number.
|
|
if (stream.match(/^0(?![\dx])/i)) { intLiteral = true; }
|
|
if (intLiteral) {
|
|
// Integer literals may be "long"
|
|
stream.match(imMatcher);
|
|
state.leaving_expr = true;
|
|
return 'number';
|
|
}
|
|
}
|
|
|
|
if(stream.match(/^(::)|(<:)/)) {
|
|
return 'operator';
|
|
}
|
|
|
|
// Handle symbols
|
|
if(!leaving_expr && stream.match(symbol)) {
|
|
return 'string';
|
|
}
|
|
|
|
// Handle operators and Delimiters
|
|
if (stream.match(operators)) {
|
|
return 'operator';
|
|
}
|
|
|
|
|
|
// Handle Strings
|
|
if (stream.match(stringPrefixes)) {
|
|
state.tokenize = tokenStringFactory(stream.current());
|
|
return state.tokenize(stream, state);
|
|
}
|
|
|
|
if (stream.match(macro)) {
|
|
return 'meta';
|
|
}
|
|
|
|
|
|
if (stream.match(delimiters)) {
|
|
return null;
|
|
}
|
|
|
|
if (stream.match(keywords)) {
|
|
return 'keyword';
|
|
}
|
|
|
|
if (stream.match(builtins)) {
|
|
return 'builtin';
|
|
}
|
|
|
|
|
|
if (stream.match(identifiers)) {
|
|
state.leaving_expr=true;
|
|
return 'variable';
|
|
}
|
|
// Handle non-detected items
|
|
stream.next();
|
|
return ERRORCLASS;
|
|
}
|
|
|
|
function tokenStringFactory(delimiter) {
|
|
while ('rub'.indexOf(delimiter.charAt(0).toLowerCase()) >= 0) {
|
|
delimiter = delimiter.substr(1);
|
|
}
|
|
var singleline = delimiter.length == 1;
|
|
var OUTCLASS = 'string';
|
|
|
|
function tokenString(stream, state) {
|
|
while (!stream.eol()) {
|
|
stream.eatWhile(/[^'"\\]/);
|
|
if (stream.eat('\\')) {
|
|
stream.next();
|
|
if (singleline && stream.eol()) {
|
|
return OUTCLASS;
|
|
}
|
|
} else if (stream.match(delimiter)) {
|
|
state.tokenize = tokenBase;
|
|
return OUTCLASS;
|
|
} else {
|
|
stream.eat(/['"]/);
|
|
}
|
|
}
|
|
if (singleline) {
|
|
if (parserConf.singleLineStringErrors) {
|
|
return ERRORCLASS;
|
|
} else {
|
|
state.tokenize = tokenBase;
|
|
}
|
|
}
|
|
return OUTCLASS;
|
|
}
|
|
tokenString.isString = true;
|
|
return tokenString;
|
|
}
|
|
|
|
function tokenLexer(stream, state) {
|
|
indentInfo = null;
|
|
var style = state.tokenize(stream, state);
|
|
var current = stream.current();
|
|
|
|
// Handle '.' connected identifiers
|
|
if (current === '.') {
|
|
style = stream.match(identifiers, false) ? null : ERRORCLASS;
|
|
if (style === null && state.lastStyle === 'meta') {
|
|
// Apply 'meta' style to '.' connected identifiers when
|
|
// appropriate.
|
|
style = 'meta';
|
|
}
|
|
return style;
|
|
}
|
|
|
|
return style;
|
|
}
|
|
|
|
var external = {
|
|
startState: function() {
|
|
return {
|
|
tokenize: tokenBase,
|
|
scopes: [],
|
|
leaving_expr: false
|
|
};
|
|
},
|
|
|
|
token: function(stream, state) {
|
|
var style = tokenLexer(stream, state);
|
|
state.lastStyle = style;
|
|
return style;
|
|
},
|
|
|
|
indent: function(state, textAfter) {
|
|
var delta = 0;
|
|
if(textAfter=="end" || textAfter=="]" || textAfter=="}" || textAfter=="else" || textAfter=="elseif" || textAfter=="catch" || textAfter=="finally") {
|
|
delta = -1;
|
|
}
|
|
return (state.scopes.length + delta) * 4;
|
|
},
|
|
|
|
lineComment: "#",
|
|
fold: "indent",
|
|
electricChars: "edlsifyh]}"
|
|
};
|
|
return external;
|
|
});
|
|
|
|
|
|
CodeMirror.defineMIME("text/x-julia", "julia");
|
|
|
|
});
|