mirror of
https://github.com/go-gitea/gitea
synced 2024-12-25 01:54:26 +00:00
1e9b330525
* Update CodeMirror to version 5.49.0 * Update CodeMirror versions in librejs and VERSIONS
196 lines
5.9 KiB
JavaScript
196 lines
5.9 KiB
JavaScript
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
|
// Distributed under an MIT license: https://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("ebnf", function (config) {
|
|
var commentType = {slash: 0, parenthesis: 1};
|
|
var stateType = {comment: 0, _string: 1, characterClass: 2};
|
|
var bracesMode = null;
|
|
|
|
if (config.bracesMode)
|
|
bracesMode = CodeMirror.getMode(config, config.bracesMode);
|
|
|
|
return {
|
|
startState: function () {
|
|
return {
|
|
stringType: null,
|
|
commentType: null,
|
|
braced: 0,
|
|
lhs: true,
|
|
localState: null,
|
|
stack: [],
|
|
inDefinition: false
|
|
};
|
|
},
|
|
token: function (stream, state) {
|
|
if (!stream) return;
|
|
|
|
//check for state changes
|
|
if (state.stack.length === 0) {
|
|
//strings
|
|
if ((stream.peek() == '"') || (stream.peek() == "'")) {
|
|
state.stringType = stream.peek();
|
|
stream.next(); // Skip quote
|
|
state.stack.unshift(stateType._string);
|
|
} else if (stream.match(/^\/\*/)) { //comments starting with /*
|
|
state.stack.unshift(stateType.comment);
|
|
state.commentType = commentType.slash;
|
|
} else if (stream.match(/^\(\*/)) { //comments starting with (*
|
|
state.stack.unshift(stateType.comment);
|
|
state.commentType = commentType.parenthesis;
|
|
}
|
|
}
|
|
|
|
//return state
|
|
//stack has
|
|
switch (state.stack[0]) {
|
|
case stateType._string:
|
|
while (state.stack[0] === stateType._string && !stream.eol()) {
|
|
if (stream.peek() === state.stringType) {
|
|
stream.next(); // Skip quote
|
|
state.stack.shift(); // Clear flag
|
|
} else if (stream.peek() === "\\") {
|
|
stream.next();
|
|
stream.next();
|
|
} else {
|
|
stream.match(/^.[^\\\"\']*/);
|
|
}
|
|
}
|
|
return state.lhs ? "property string" : "string"; // Token style
|
|
|
|
case stateType.comment:
|
|
while (state.stack[0] === stateType.comment && !stream.eol()) {
|
|
if (state.commentType === commentType.slash && stream.match(/\*\//)) {
|
|
state.stack.shift(); // Clear flag
|
|
state.commentType = null;
|
|
} else if (state.commentType === commentType.parenthesis && stream.match(/\*\)/)) {
|
|
state.stack.shift(); // Clear flag
|
|
state.commentType = null;
|
|
} else {
|
|
stream.match(/^.[^\*]*/);
|
|
}
|
|
}
|
|
return "comment";
|
|
|
|
case stateType.characterClass:
|
|
while (state.stack[0] === stateType.characterClass && !stream.eol()) {
|
|
if (!(stream.match(/^[^\]\\]+/) || stream.match(/^\\./))) {
|
|
state.stack.shift();
|
|
}
|
|
}
|
|
return "operator";
|
|
}
|
|
|
|
var peek = stream.peek();
|
|
|
|
if (bracesMode !== null && (state.braced || peek === "{")) {
|
|
if (state.localState === null)
|
|
state.localState = CodeMirror.startState(bracesMode);
|
|
|
|
var token = bracesMode.token(stream, state.localState),
|
|
text = stream.current();
|
|
|
|
if (!token) {
|
|
for (var i = 0; i < text.length; i++) {
|
|
if (text[i] === "{") {
|
|
if (state.braced === 0) {
|
|
token = "matchingbracket";
|
|
}
|
|
state.braced++;
|
|
} else if (text[i] === "}") {
|
|
state.braced--;
|
|
if (state.braced === 0) {
|
|
token = "matchingbracket";
|
|
}
|
|
}
|
|
}
|
|
}
|
|
return token;
|
|
}
|
|
|
|
//no stack
|
|
switch (peek) {
|
|
case "[":
|
|
stream.next();
|
|
state.stack.unshift(stateType.characterClass);
|
|
return "bracket";
|
|
case ":":
|
|
case "|":
|
|
case ";":
|
|
stream.next();
|
|
return "operator";
|
|
case "%":
|
|
if (stream.match("%%")) {
|
|
return "header";
|
|
} else if (stream.match(/[%][A-Za-z]+/)) {
|
|
return "keyword";
|
|
} else if (stream.match(/[%][}]/)) {
|
|
return "matchingbracket";
|
|
}
|
|
break;
|
|
case "/":
|
|
if (stream.match(/[\/][A-Za-z]+/)) {
|
|
return "keyword";
|
|
}
|
|
case "\\":
|
|
if (stream.match(/[\][a-z]+/)) {
|
|
return "string-2";
|
|
}
|
|
case ".":
|
|
if (stream.match(".")) {
|
|
return "atom";
|
|
}
|
|
case "*":
|
|
case "-":
|
|
case "+":
|
|
case "^":
|
|
if (stream.match(peek)) {
|
|
return "atom";
|
|
}
|
|
case "$":
|
|
if (stream.match("$$")) {
|
|
return "builtin";
|
|
} else if (stream.match(/[$][0-9]+/)) {
|
|
return "variable-3";
|
|
}
|
|
case "<":
|
|
if (stream.match(/<<[a-zA-Z_]+>>/)) {
|
|
return "builtin";
|
|
}
|
|
}
|
|
|
|
if (stream.match(/^\/\//)) {
|
|
stream.skipToEnd();
|
|
return "comment";
|
|
} else if (stream.match(/return/)) {
|
|
return "operator";
|
|
} else if (stream.match(/^[a-zA-Z_][a-zA-Z0-9_]*/)) {
|
|
if (stream.match(/(?=[\(.])/)) {
|
|
return "variable";
|
|
} else if (stream.match(/(?=[\s\n]*[:=])/)) {
|
|
return "def";
|
|
}
|
|
return "variable-2";
|
|
} else if (["[", "]", "(", ")"].indexOf(stream.peek()) != -1) {
|
|
stream.next();
|
|
return "bracket";
|
|
} else if (!stream.eatSpace()) {
|
|
stream.next();
|
|
}
|
|
return null;
|
|
}
|
|
};
|
|
});
|
|
|
|
CodeMirror.defineMIME("text/x-ebnf", "ebnf");
|
|
});
|