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

[13] Fix | Delete

function words(str) {

[14] Fix | Delete

var obj = {}, words = str.split(" ");

[15] Fix | Delete

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

[16] Fix | Delete

return obj;

[17] Fix | Delete

}

[18] Fix | Delete

[19] Fix | Delete

var keywords = words("if elsif else stop require");

[20] Fix | Delete

var atoms = words("true false not");

[21] Fix | Delete

var indentUnit = config.indentUnit;

[22] Fix | Delete

[23] Fix | Delete

function tokenBase(stream, state) {

[24] Fix | Delete

[25] Fix | Delete

var ch = stream.next();

[26] Fix | Delete

if (ch == "/" && stream.eat("*")) {

[27] Fix | Delete

state.tokenize = tokenCComment;

[28] Fix | Delete

return tokenCComment(stream, state);

[29] Fix | Delete

}

[30] Fix | Delete

[31] Fix | Delete

if (ch === '#') {

[32] Fix | Delete

stream.skipToEnd();

[33] Fix | Delete

return "comment";

[34] Fix | Delete

}

[35] Fix | Delete

[36] Fix | Delete

if (ch == "\"") {

[37] Fix | Delete

state.tokenize = tokenString(ch);

[38] Fix | Delete

return state.tokenize(stream, state);

[39] Fix | Delete

}

[40] Fix | Delete

[41] Fix | Delete

if (ch == "(") {

[42] Fix | Delete

state._indent.push("(");

[43] Fix | Delete

// add virtual angel wings so that editor behaves...

[44] Fix | Delete

// ...more sane incase of broken brackets

[45] Fix | Delete

state._indent.push("{");

[46] Fix | Delete

return null;

[47] Fix | Delete

}

[48] Fix | Delete

[49] Fix | Delete

if (ch === "{") {

[50] Fix | Delete

state._indent.push("{");

[51] Fix | Delete

return null;

[52] Fix | Delete

}

[53] Fix | Delete

[54] Fix | Delete

if (ch == ")") {

[55] Fix | Delete

state._indent.pop();

[56] Fix | Delete

state._indent.pop();

[57] Fix | Delete

}

[58] Fix | Delete

[59] Fix | Delete

if (ch === "}") {

[60] Fix | Delete

state._indent.pop();

[61] Fix | Delete

return null;

[62] Fix | Delete

}

[63] Fix | Delete

[64] Fix | Delete

if (ch == ",")

[65] Fix | Delete

return null;

[66] Fix | Delete

[67] Fix | Delete

if (ch == ";")

[68] Fix | Delete

return null;

[69] Fix | Delete

[70] Fix | Delete

[71] Fix | Delete

if (/[{}\(\),;]/.test(ch))

[72] Fix | Delete

return null;

[73] Fix | Delete

[74] Fix | Delete

// 1*DIGIT "K" / "M" / "G"

[75] Fix | Delete

if (/\d/.test(ch)) {

[76] Fix | Delete

stream.eatWhile(/[\d]/);

[77] Fix | Delete

stream.eat(/[KkMmGg]/);

[78] Fix | Delete

return "number";

[79] Fix | Delete

}

[80] Fix | Delete

[81] Fix | Delete

// ":" (ALPHA / "_") *(ALPHA / DIGIT / "_")

[82] Fix | Delete

if (ch == ":") {

[83] Fix | Delete

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

[84] Fix | Delete

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

[85] Fix | Delete

[86] Fix | Delete

return "operator";

[87] Fix | Delete

}

[88] Fix | Delete

[89] Fix | Delete

stream.eatWhile(/\w/);

[90] Fix | Delete

var cur = stream.current();

[91] Fix | Delete

[92] Fix | Delete

// "text:" *(SP / HTAB) (hash-comment / CRLF)

[93] Fix | Delete

// *(multiline-literal / multiline-dotstart)

[94] Fix | Delete

// "." CRLF

[95] Fix | Delete

if ((cur == "text") && stream.eat(":"))

[96] Fix | Delete

{

[97] Fix | Delete

state.tokenize = tokenMultiLineString;

[98] Fix | Delete

return "string";

[99] Fix | Delete

}

[100] Fix | Delete

[101] Fix | Delete

if (keywords.propertyIsEnumerable(cur))

[102] Fix | Delete

return "keyword";

[103] Fix | Delete

[104] Fix | Delete

if (atoms.propertyIsEnumerable(cur))

[105] Fix | Delete

return "atom";

[106] Fix | Delete

[107] Fix | Delete

return null;

[108] Fix | Delete

}

[109] Fix | Delete

[110] Fix | Delete

function tokenMultiLineString(stream, state)

[111] Fix | Delete

{

[112] Fix | Delete

state._multiLineString = true;

[113] Fix | Delete

// the first line is special it may contain a comment

[114] Fix | Delete

if (!stream.sol()) {

[115] Fix | Delete

stream.eatSpace();

[116] Fix | Delete

[117] Fix | Delete

if (stream.peek() == "#") {

[118] Fix | Delete

stream.skipToEnd();

[119] Fix | Delete

return "comment";

[120] Fix | Delete

}

[121] Fix | Delete

[122] Fix | Delete

stream.skipToEnd();

[123] Fix | Delete

return "string";

[124] Fix | Delete

}

[125] Fix | Delete

[126] Fix | Delete

if ((stream.next() == ".") && (stream.eol()))

[127] Fix | Delete

{

[128] Fix | Delete

state._multiLineString = false;

[129] Fix | Delete

state.tokenize = tokenBase;

[130] Fix | Delete

}

[131] Fix | Delete

[132] Fix | Delete

return "string";

[133] Fix | Delete

}

[134] Fix | Delete

[135] Fix | Delete

function tokenCComment(stream, state) {

[136] Fix | Delete

var maybeEnd = false, ch;

[137] Fix | Delete

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

[138] Fix | Delete

if (maybeEnd && ch == "/") {

[139] Fix | Delete

state.tokenize = tokenBase;

[140] Fix | Delete

break;

[141] Fix | Delete

}

[142] Fix | Delete

maybeEnd = (ch == "*");

[143] Fix | Delete

}

[144] Fix | Delete

return "comment";

[145] Fix | Delete

}

[146] Fix | Delete

[147] Fix | Delete

function tokenString(quote) {

[148] Fix | Delete

return function(stream, state) {

[149] Fix | Delete

var escaped = false, ch;

[150] Fix | Delete

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

[151] Fix | Delete

if (ch == quote && !escaped)

[152] Fix | Delete

break;

[153] Fix | Delete

escaped = !escaped && ch == "\\";

[154] Fix | Delete

}

[155] Fix | Delete

if (!escaped) state.tokenize = tokenBase;

[156] Fix | Delete

return "string";

[157] Fix | Delete

};

[158] Fix | Delete

}

[159] Fix | Delete

[160] Fix | Delete

return {

[161] Fix | Delete

startState: function(base) {

[162] Fix | Delete

return {tokenize: tokenBase,

[163] Fix | Delete

baseIndent: base || 0,

[164] Fix | Delete

_indent: []};

[165] Fix | Delete

[166] Fix | Delete

[167] Fix | Delete

token: function(stream, state) {

[168] Fix | Delete

if (stream.eatSpace())

[169] Fix | Delete

return null;

[170] Fix | Delete

[171] Fix | Delete

return (state.tokenize || tokenBase)(stream, state);;

[172] Fix | Delete

[173] Fix | Delete

[174] Fix | Delete

indent: function(state, _textAfter) {

[175] Fix | Delete

var length = state._indent.length;

[176] Fix | Delete

if (_textAfter && (_textAfter[0] == "}"))

[177] Fix | Delete

length--;

[178] Fix | Delete

[179] Fix | Delete

if (length <0)

[180] Fix | Delete

length = 0;

[181] Fix | Delete

[182] Fix | Delete

return length * indentUnit;

[183] Fix | Delete

[184] Fix | Delete

[185] Fix | Delete

electricChars: "}"

[186] Fix | Delete

};

[187] Fix | Delete

});

[188] Fix | Delete

[189] Fix | Delete

CodeMirror.defineMIME("application/sieve", "sieve");

[190] Fix | Delete

[191] Fix | Delete

});

[192] Fix | Delete

[193] Fix | Delete