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

[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

var keywords = words("and array begin case const div do downto else end file for forward integer " +

[19] Fix | Delete

"boolean char function goto if in label mod nil not of or packed procedure " +

[20] Fix | Delete

"program record repeat set string then to type until var while with");

[21] Fix | Delete

var atoms = {"null": true};

[22] Fix | Delete

[23] Fix | Delete

var isOperatorChar = /[+\-*&%=<>!?|\/]/;

[24] Fix | Delete

[25] Fix | Delete

function tokenBase(stream, state) {

[26] Fix | Delete

var ch = stream.next();

[27] Fix | Delete

if (ch == "#" && state.startOfLine) {

[28] Fix | Delete

stream.skipToEnd();

[29] Fix | Delete

return "meta";

[30] Fix | Delete

}

[31] Fix | Delete

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

[32] Fix | Delete

state.tokenize = tokenString(ch);

[33] Fix | Delete

return state.tokenize(stream, state);

[34] Fix | Delete

}

[35] Fix | Delete

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

[36] Fix | Delete

state.tokenize = tokenComment;

[37] Fix | Delete

return tokenComment(stream, state);

[38] Fix | Delete

}

[39] Fix | Delete

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

[40] Fix | Delete

return null;

[41] Fix | Delete

}

[42] Fix | Delete

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

[43] Fix | Delete

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

[44] Fix | Delete

return "number";

[45] Fix | Delete

}

[46] Fix | Delete

if (ch == "/") {

[47] Fix | Delete

if (stream.eat("/")) {

[48] Fix | Delete

stream.skipToEnd();

[49] Fix | Delete

return "comment";

[50] Fix | Delete

}

[51] Fix | Delete

}

[52] Fix | Delete

if (isOperatorChar.test(ch)) {

[53] Fix | Delete

stream.eatWhile(isOperatorChar);

[54] Fix | Delete

return "operator";

[55] Fix | Delete

}

[56] Fix | Delete

stream.eatWhile(/[\w\$_]/);

[57] Fix | Delete

var cur = stream.current();

[58] Fix | Delete

if (keywords.propertyIsEnumerable(cur)) return "keyword";

[59] Fix | Delete

if (atoms.propertyIsEnumerable(cur)) return "atom";

[60] Fix | Delete

return "variable";

[61] Fix | Delete

}

[62] Fix | Delete

[63] Fix | Delete

function tokenString(quote) {

[64] Fix | Delete

return function(stream, state) {

[65] Fix | Delete

var escaped = false, next, end = false;

[66] Fix | Delete

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

[67] Fix | Delete

if (next == quote && !escaped) {end = true; break;}

[68] Fix | Delete

escaped = !escaped && next == "\\";

[69] Fix | Delete

}

[70] Fix | Delete

if (end || !escaped) state.tokenize = null;

[71] Fix | Delete

return "string";

[72] Fix | Delete

};

[73] Fix | Delete

}

[74] Fix | Delete

[75] Fix | Delete

function tokenComment(stream, state) {

[76] Fix | Delete

var maybeEnd = false, ch;

[77] Fix | Delete

while (ch = stream.next()) {

[78] Fix | Delete

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

[79] Fix | Delete

state.tokenize = null;

[80] Fix | Delete

break;

[81] Fix | Delete

}

[82] Fix | Delete

maybeEnd = (ch == "*");

[83] Fix | Delete

}

[84] Fix | Delete

return "comment";

[85] Fix | Delete

}

[86] Fix | Delete

[87] Fix | Delete

// Interface

[88] Fix | Delete

[89] Fix | Delete

return {

[90] Fix | Delete

startState: function() {

[91] Fix | Delete

return {tokenize: null};

[92] Fix | Delete

[93] Fix | Delete

[94] Fix | Delete

token: function(stream, state) {

[95] Fix | Delete

if (stream.eatSpace()) return null;

[96] Fix | Delete

var style = (state.tokenize || tokenBase)(stream, state);

[97] Fix | Delete

if (style == "comment" || style == "meta") return style;

[98] Fix | Delete

return style;

[99] Fix | Delete

[100] Fix | Delete

[101] Fix | Delete

electricChars: "{}"

[102] Fix | Delete

};

[103] Fix | Delete

});

[104] Fix | Delete

[105] Fix | Delete

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

[106] Fix | Delete

[107] Fix | Delete

});

[108] Fix | Delete

[109] Fix | Delete