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("eiffel", function() {

[13] Fix | Delete

function wordObj(words) {

[14] Fix | Delete

var o = {};

[15] Fix | Delete

for (var i = 0, e = words.length; i < e; ++i) o[words[i]] = true;

[16] Fix | Delete

return o;

[17] Fix | Delete

}

[18] Fix | Delete

var keywords = wordObj([

[19] Fix | Delete

'note',

[20] Fix | Delete

'across',

[21] Fix | Delete

'when',

[22] Fix | Delete

'variant',

[23] Fix | Delete

'until',

[24] Fix | Delete

'unique',

[25] Fix | Delete

'undefine',

[26] Fix | Delete

'then',

[27] Fix | Delete

'strip',

[28] Fix | Delete

'select',

[29] Fix | Delete

'retry',

[30] Fix | Delete

'rescue',

[31] Fix | Delete

'require',

[32] Fix | Delete

'rename',

[33] Fix | Delete

'reference',

[34] Fix | Delete

'redefine',

[35] Fix | Delete

'prefix',

[36] Fix | Delete

'once',

[37] Fix | Delete

'old',

[38] Fix | Delete

'obsolete',

[39] Fix | Delete

'loop',

[40] Fix | Delete

'local',

[41] Fix | Delete

'like',

[42] Fix | Delete

'is',

[43] Fix | Delete

'inspect',

[44] Fix | Delete

'infix',

[45] Fix | Delete

'include',

[46] Fix | Delete

'if',

[47] Fix | Delete

'frozen',

[48] Fix | Delete

'from',

[49] Fix | Delete

'external',

[50] Fix | Delete

'export',

[51] Fix | Delete

'ensure',

[52] Fix | Delete

'end',

[53] Fix | Delete

'elseif',

[54] Fix | Delete

'else',

[55] Fix | Delete

'do',

[56] Fix | Delete

'creation',

[57] Fix | Delete

'create',

[58] Fix | Delete

'check',

[59] Fix | Delete

'alias',

[60] Fix | Delete

'agent',

[61] Fix | Delete

'separate',

[62] Fix | Delete

'invariant',

[63] Fix | Delete

'inherit',

[64] Fix | Delete

'indexing',

[65] Fix | Delete

'feature',

[66] Fix | Delete

'expanded',

[67] Fix | Delete

'deferred',

[68] Fix | Delete

'class',

[69] Fix | Delete

'Void',

[70] Fix | Delete

'True',

[71] Fix | Delete

'Result',

[72] Fix | Delete

'Precursor',

[73] Fix | Delete

'False',

[74] Fix | Delete

'Current',

[75] Fix | Delete

'create',

[76] Fix | Delete

'attached',

[77] Fix | Delete

'detachable',

[78] Fix | Delete

'as',

[79] Fix | Delete

'and',

[80] Fix | Delete

'implies',

[81] Fix | Delete

'not',

[82] Fix | Delete

'or'

[83] Fix | Delete

]);

[84] Fix | Delete

var operators = wordObj([":=", "and then","and", "or","<<",">>"]);

[85] Fix | Delete

[86] Fix | Delete

function chain(newtok, stream, state) {

[87] Fix | Delete

state.tokenize.push(newtok);

[88] Fix | Delete

return newtok(stream, state);

[89] Fix | Delete

}

[90] Fix | Delete

[91] Fix | Delete

function tokenBase(stream, state) {

[92] Fix | Delete

if (stream.eatSpace()) return null;

[93] Fix | Delete

var ch = stream.next();

[94] Fix | Delete

if (ch == '"'||ch == "'") {

[95] Fix | Delete

return chain(readQuoted(ch, "string"), stream, state);

[96] Fix | Delete

} else if (ch == "-"&&stream.eat("-")) {

[97] Fix | Delete

stream.skipToEnd();

[98] Fix | Delete

return "comment";

[99] Fix | Delete

} else if (ch == ":"&&stream.eat("=")) {

[100] Fix | Delete

return "operator";

[101] Fix | Delete

} else if (/[0-9]/.test(ch)) {

[102] Fix | Delete

stream.eatWhile(/[xXbBCc0-9\.]/);

[103] Fix | Delete

stream.eat(/[\?\!]/);

[104] Fix | Delete

return "ident";

[105] Fix | Delete

} else if (/[a-zA-Z_0-9]/.test(ch)) {

[106] Fix | Delete

stream.eatWhile(/[a-zA-Z_0-9]/);

[107] Fix | Delete

stream.eat(/[\?\!]/);

[108] Fix | Delete

return "ident";

[109] Fix | Delete

} else if (/[=+\-\/*^%<>~]/.test(ch)) {

[110] Fix | Delete

stream.eatWhile(/[=+\-\/*^%<>~]/);

[111] Fix | Delete

return "operator";

[112] Fix | Delete

} else {

[113] Fix | Delete

return null;

[114] Fix | Delete

}

[115] Fix | Delete

}

[116] Fix | Delete

[117] Fix | Delete

function readQuoted(quote, style, unescaped) {

[118] Fix | Delete

return function(stream, state) {

[119] Fix | Delete

var escaped = false, ch;

[120] Fix | Delete

while ((ch = stream.next()) != null) {

[121] Fix | Delete

if (ch == quote && (unescaped || !escaped)) {

[122] Fix | Delete

state.tokenize.pop();

[123] Fix | Delete

break;

[124] Fix | Delete

}

[125] Fix | Delete

escaped = !escaped && ch == "%";

[126] Fix | Delete

}

[127] Fix | Delete

return style;

[128] Fix | Delete

};

[129] Fix | Delete

}

[130] Fix | Delete

[131] Fix | Delete

return {

[132] Fix | Delete

startState: function() {

[133] Fix | Delete

return {tokenize: [tokenBase]};

[134] Fix | Delete

[135] Fix | Delete

[136] Fix | Delete

token: function(stream, state) {

[137] Fix | Delete

var style = state.tokenize[state.tokenize.length-1](stream, state);

[138] Fix | Delete

if (style == "ident") {

[139] Fix | Delete

var word = stream.current();

[140] Fix | Delete

style = keywords.propertyIsEnumerable(stream.current()) ? "keyword"

[141] Fix | Delete

: operators.propertyIsEnumerable(stream.current()) ? "operator"

[142] Fix | Delete

: /^[A-Z][A-Z_0-9]*$/g.test(word) ? "tag"

[143] Fix | Delete

: /^0[bB][0-1]+$/g.test(word) ? "number"

[144] Fix | Delete

: /^0[cC][0-7]+$/g.test(word) ? "number"

[145] Fix | Delete

: /^0[xX][a-fA-F0-9]+$/g.test(word) ? "number"

[146] Fix | Delete

: /^([0-9]+\.[0-9]*)|([0-9]*\.[0-9]+)$/g.test(word) ? "number"

[147] Fix | Delete

: /^[0-9]+$/g.test(word) ? "number"

[148] Fix | Delete

: "variable";

[149] Fix | Delete

}

[150] Fix | Delete

return style;

[151] Fix | Delete

[152] Fix | Delete

lineComment: "--"

[153] Fix | Delete

};

[154] Fix | Delete

});

[155] Fix | Delete

[156] Fix | Delete

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

[157] Fix | Delete

[158] Fix | Delete

});

[159] Fix | Delete

[160] Fix | Delete