Edit File by line

// CodeMirror, copyright (c) by Marijn Haverbeke and others

[0] Fix | Delete

// Distributed under an MIT license: http://codemirror.net/LICENSE

[1] Fix | Delete

[2] Fix | Delete

(function(mod) {

[3] Fix | Delete

if (typeof exports == "object" && typeof module == "object") // CommonJS

[4] Fix | Delete

mod(require("../../lib/codemirror"));

[5] Fix | Delete

else if (typeof define == "function" && define.amd) // AMD

[6] Fix | Delete

define(["../../lib/codemirror"], mod);

[7] Fix | Delete

else // Plain browser env

[8] Fix | Delete

mod(CodeMirror);

[9] Fix | Delete

})(function(CodeMirror) {

[10] Fix | Delete

"use strict";

[11] Fix | Delete

[12] Fix | Delete

CodeMirror.defineMode("ebnf", function (config) {

[13] Fix | Delete

var commentType = {slash: 0, parenthesis: 1};

[14] Fix | Delete

var stateType = {comment: 0, _string: 1, characterClass: 2};

[15] Fix | Delete

var bracesMode = null;

[16] Fix | Delete

[17] Fix | Delete

if (config.bracesMode)

[18] Fix | Delete

bracesMode = CodeMirror.getMode(config, config.bracesMode);

[19] Fix | Delete

[20] Fix | Delete

return {

[21] Fix | Delete

startState: function () {

[22] Fix | Delete

return {

[23] Fix | Delete

stringType: null,

[24] Fix | Delete

commentType: null,

[25] Fix | Delete

braced: 0,

[26] Fix | Delete

lhs: true,

[27] Fix | Delete

localState: null,

[28] Fix | Delete

stack: [],

[29] Fix | Delete

inDefinition: false

[30] Fix | Delete

};

[31] Fix | Delete

[32] Fix | Delete

token: function (stream, state) {

[33] Fix | Delete

if (!stream) return;

[34] Fix | Delete

[35] Fix | Delete

//check for state changes

[36] Fix | Delete

if (state.stack.length === 0) {

[37] Fix | Delete

//strings

[38] Fix | Delete

if ((stream.peek() == '"') || (stream.peek() == "'")) {

[39] Fix | Delete

state.stringType = stream.peek();

[40] Fix | Delete

stream.next(); // Skip quote

[41] Fix | Delete

state.stack.unshift(stateType._string);

[42] Fix | Delete

} else if (stream.match(/^\/\*/)) { //comments starting with /*

[43] Fix | Delete

state.stack.unshift(stateType.comment);

[44] Fix | Delete

state.commentType = commentType.slash;

[45] Fix | Delete

} else if (stream.match(/^\(\*/)) { //comments starting with (*

[46] Fix | Delete

state.stack.unshift(stateType.comment);

[47] Fix | Delete

state.commentType = commentType.parenthesis;

[48] Fix | Delete

}

[49] Fix | Delete

}

[50] Fix | Delete

[51] Fix | Delete

//return state

[52] Fix | Delete

//stack has

[53] Fix | Delete

switch (state.stack[0]) {

[54] Fix | Delete

case stateType._string:

[55] Fix | Delete

while (state.stack[0] === stateType._string && !stream.eol()) {

[56] Fix | Delete

if (stream.peek() === state.stringType) {

[57] Fix | Delete

stream.next(); // Skip quote

[58] Fix | Delete

state.stack.shift(); // Clear flag

[59] Fix | Delete

} else if (stream.peek() === "\\") {

[60] Fix | Delete

stream.next();

[61] Fix | Delete

stream.next();

[62] Fix | Delete

} else {

[63] Fix | Delete

stream.match(/^.[^\\\"\']*/);

[64] Fix | Delete

}

[65] Fix | Delete

}

[66] Fix | Delete

return state.lhs ? "property string" : "string"; // Token style

[67] Fix | Delete

[68] Fix | Delete

case stateType.comment:

[69] Fix | Delete

while (state.stack[0] === stateType.comment && !stream.eol()) {

[70] Fix | Delete

if (state.commentType === commentType.slash && stream.match(/\*\//)) {

[71] Fix | Delete

state.stack.shift(); // Clear flag

[72] Fix | Delete

state.commentType = null;

[73] Fix | Delete

} else if (state.commentType === commentType.parenthesis && stream.match(/\*\)/)) {

[74] Fix | Delete

state.stack.shift(); // Clear flag

[75] Fix | Delete

state.commentType = null;

[76] Fix | Delete

} else {

[77] Fix | Delete

stream.match(/^.[^\*]*/);

[78] Fix | Delete

}

[79] Fix | Delete

}

[80] Fix | Delete

return "comment";

[81] Fix | Delete

[82] Fix | Delete

case stateType.characterClass:

[83] Fix | Delete

while (state.stack[0] === stateType.characterClass && !stream.eol()) {

[84] Fix | Delete

if (!(stream.match(/^[^\]\\]+/) || stream.match(/^\\./))) {

[85] Fix | Delete

state.stack.shift();

[86] Fix | Delete

}

[87] Fix | Delete

}

[88] Fix | Delete

return "operator";

[89] Fix | Delete

}

[90] Fix | Delete

[91] Fix | Delete

var peek = stream.peek();

[92] Fix | Delete

[93] Fix | Delete

if (bracesMode !== null && (state.braced || peek === "{")) {

[94] Fix | Delete

if (state.localState === null)

[95] Fix | Delete

state.localState = CodeMirror.startState(bracesMode);

[96] Fix | Delete

[97] Fix | Delete

var token = bracesMode.token(stream, state.localState),

[98] Fix | Delete

text = stream.current();

[99] Fix | Delete

[100] Fix | Delete

if (!token) {

[101] Fix | Delete

for (var i = 0; i < text.length; i++) {

[102] Fix | Delete

if (text[i] === "{") {

[103] Fix | Delete

if (state.braced === 0) {

[104] Fix | Delete

token = "matchingbracket";

[105] Fix | Delete

}

[106] Fix | Delete

state.braced++;

[107] Fix | Delete

} else if (text[i] === "}") {

[108] Fix | Delete

state.braced--;

[109] Fix | Delete

if (state.braced === 0) {

[110] Fix | Delete

token = "matchingbracket";

[111] Fix | Delete

}

[112] Fix | Delete

}

[113] Fix | Delete

}

[114] Fix | Delete

}

[115] Fix | Delete

return token;

[116] Fix | Delete

}

[117] Fix | Delete

[118] Fix | Delete

//no stack

[119] Fix | Delete

switch (peek) {

[120] Fix | Delete

case "[":

[121] Fix | Delete

stream.next();

[122] Fix | Delete

state.stack.unshift(stateType.characterClass);

[123] Fix | Delete

return "bracket";

[124] Fix | Delete

case ":":

[125] Fix | Delete

case "|":

[126] Fix | Delete

case ";":

[127] Fix | Delete

stream.next();

[128] Fix | Delete

return "operator";

[129] Fix | Delete

case "%":

[130] Fix | Delete

if (stream.match("%%")) {

[131] Fix | Delete

return "header";

[132] Fix | Delete

} else if (stream.match(/[%][A-Za-z]+/)) {

[133] Fix | Delete

return "keyword";

[134] Fix | Delete

} else if (stream.match(/[%][}]/)) {

[135] Fix | Delete

return "matchingbracket";

[136] Fix | Delete

}

[137] Fix | Delete

break;

[138] Fix | Delete

case "/":

[139] Fix | Delete

if (stream.match(/[\/][A-Za-z]+/)) {

[140] Fix | Delete

return "keyword";

[141] Fix | Delete

}

[142] Fix | Delete

case "\\":

[143] Fix | Delete

if (stream.match(/[\][a-z]+/)) {

[144] Fix | Delete

return "string-2";

[145] Fix | Delete

}

[146] Fix | Delete

case ".":

[147] Fix | Delete

if (stream.match(".")) {

[148] Fix | Delete

return "atom";

[149] Fix | Delete

}

[150] Fix | Delete

case "*":

[151] Fix | Delete

case "-":

[152] Fix | Delete

case "+":

[153] Fix | Delete

case "^":

[154] Fix | Delete

if (stream.match(peek)) {

[155] Fix | Delete

return "atom";

[156] Fix | Delete

}

[157] Fix | Delete

case "$":

[158] Fix | Delete

if (stream.match("$$")) {

[159] Fix | Delete

return "builtin";

[160] Fix | Delete

} else if (stream.match(/[$][0-9]+/)) {

[161] Fix | Delete

return "variable-3";

[162] Fix | Delete

}

[163] Fix | Delete

case "<":

[164] Fix | Delete

if (stream.match(/<<[a-zA-Z_]+>>/)) {

[165] Fix | Delete

return "builtin";

[166] Fix | Delete

}

[167] Fix | Delete

}

[168] Fix | Delete

[169] Fix | Delete

if (stream.match(/^\/\//)) {

[170] Fix | Delete

stream.skipToEnd();

[171] Fix | Delete

return "comment";

[172] Fix | Delete

} else if (stream.match(/return/)) {

[173] Fix | Delete

return "operator";

[174] Fix | Delete

} else if (stream.match(/^[a-zA-Z_][a-zA-Z0-9_]*/)) {

[175] Fix | Delete

if (stream.match(/(?=[\(.])/)) {

[176] Fix | Delete

return "variable";

[177] Fix | Delete

} else if (stream.match(/(?=[\s\n]*[:=])/)) {

[178] Fix | Delete

return "def";

[179] Fix | Delete

}

[180] Fix | Delete

return "variable-2";

[181] Fix | Delete

} else if (["[", "]", "(", ")"].indexOf(stream.peek()) != -1) {

[182] Fix | Delete

stream.next();

[183] Fix | Delete

return "bracket";

[184] Fix | Delete

} else if (!stream.eatSpace()) {

[185] Fix | Delete

stream.next();

[186] Fix | Delete

}

[187] Fix | Delete

return null;

[188] Fix | Delete

}

[189] Fix | Delete

};

[190] Fix | Delete

});

[191] Fix | Delete

[192] Fix | Delete

CodeMirror.defineMIME("text/x-ebnf", "ebnf");

[193] Fix | Delete

});

[194] Fix | Delete

[195] Fix | Delete