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

[3] Fix | Delete

* Author: Constantin Jucovschi (c.jucovschi@jacobs-university.de)

[4] Fix | Delete

* Licence: MIT

[5] Fix | Delete

[6] Fix | Delete

[7] Fix | Delete

(function(mod) {

[8] Fix | Delete

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

[9] Fix | Delete

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

[10] Fix | Delete

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

[11] Fix | Delete

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

[12] Fix | Delete

else // Plain browser env

[13] Fix | Delete

mod(CodeMirror);

[14] Fix | Delete

})(function(CodeMirror) {

[15] Fix | Delete

"use strict";

[16] Fix | Delete

[17] Fix | Delete

CodeMirror.defineMode("stex", function() {

[18] Fix | Delete

"use strict";

[19] Fix | Delete

[20] Fix | Delete

function pushCommand(state, command) {

[21] Fix | Delete

state.cmdState.push(command);

[22] Fix | Delete

}

[23] Fix | Delete

[24] Fix | Delete

function peekCommand(state) {

[25] Fix | Delete

if (state.cmdState.length > 0) {

[26] Fix | Delete

return state.cmdState[state.cmdState.length - 1];

[27] Fix | Delete

} else {

[28] Fix | Delete

return null;

[29] Fix | Delete

}

[30] Fix | Delete

}

[31] Fix | Delete

[32] Fix | Delete

function popCommand(state) {

[33] Fix | Delete

var plug = state.cmdState.pop();

[34] Fix | Delete

if (plug) {

[35] Fix | Delete

plug.closeBracket();

[36] Fix | Delete

}

[37] Fix | Delete

}

[38] Fix | Delete

[39] Fix | Delete

// returns the non-default plugin closest to the end of the list

[40] Fix | Delete

function getMostPowerful(state) {

[41] Fix | Delete

var context = state.cmdState;

[42] Fix | Delete

for (var i = context.length - 1; i >= 0; i--) {

[43] Fix | Delete

var plug = context[i];

[44] Fix | Delete

if (plug.name == "DEFAULT") {

[45] Fix | Delete

continue;

[46] Fix | Delete

}

[47] Fix | Delete

return plug;

[48] Fix | Delete

}

[49] Fix | Delete

return { styleIdentifier: function() { return null; } };

[50] Fix | Delete

}

[51] Fix | Delete

[52] Fix | Delete

function addPluginPattern(pluginName, cmdStyle, styles) {

[53] Fix | Delete

return function () {

[54] Fix | Delete

this.name = pluginName;

[55] Fix | Delete

this.bracketNo = 0;

[56] Fix | Delete

this.style = cmdStyle;

[57] Fix | Delete

this.styles = styles;

[58] Fix | Delete

this.argument = null; // \begin and \end have arguments that follow. These are stored in the plugin

[59] Fix | Delete

[60] Fix | Delete

this.styleIdentifier = function() {

[61] Fix | Delete

return this.styles[this.bracketNo - 1] || null;

[62] Fix | Delete

};

[63] Fix | Delete

this.openBracket = function() {

[64] Fix | Delete

this.bracketNo++;

[65] Fix | Delete

return "bracket";

[66] Fix | Delete

};

[67] Fix | Delete

this.closeBracket = function() {};

[68] Fix | Delete

};

[69] Fix | Delete

}

[70] Fix | Delete

[71] Fix | Delete

var plugins = {};

[72] Fix | Delete

[73] Fix | Delete

plugins["importmodule"] = addPluginPattern("importmodule", "tag", ["string", "builtin"]);

[74] Fix | Delete

plugins["documentclass"] = addPluginPattern("documentclass", "tag", ["", "atom"]);

[75] Fix | Delete

plugins["usepackage"] = addPluginPattern("usepackage", "tag", ["atom"]);

[76] Fix | Delete

plugins["begin"] = addPluginPattern("begin", "tag", ["atom"]);

[77] Fix | Delete

plugins["end"] = addPluginPattern("end", "tag", ["atom"]);

[78] Fix | Delete

[79] Fix | Delete

plugins["DEFAULT"] = function () {

[80] Fix | Delete

this.name = "DEFAULT";

[81] Fix | Delete

this.style = "tag";

[82] Fix | Delete

[83] Fix | Delete

this.styleIdentifier = this.openBracket = this.closeBracket = function() {};

[84] Fix | Delete

};

[85] Fix | Delete

[86] Fix | Delete

function setState(state, f) {

[87] Fix | Delete

state.f = f;

[88] Fix | Delete

}

[89] Fix | Delete

[90] Fix | Delete

// called when in a normal (no environment) context

[91] Fix | Delete

function normal(source, state) {

[92] Fix | Delete

var plug;

[93] Fix | Delete

// Do we look like '\command' ? If so, attempt to apply the plugin 'command'

[94] Fix | Delete

if (source.match(/^\\[a-zA-Z@]+/)) {

[95] Fix | Delete

var cmdName = source.current().slice(1);

[96] Fix | Delete

plug = plugins[cmdName] || plugins["DEFAULT"];

[97] Fix | Delete

plug = new plug();

[98] Fix | Delete

pushCommand(state, plug);

[99] Fix | Delete

setState(state, beginParams);

[100] Fix | Delete

return plug.style;

[101] Fix | Delete

}

[102] Fix | Delete

[103] Fix | Delete

// escape characters

[104] Fix | Delete

if (source.match(/^\\[$&%#{}_]/)) {

[105] Fix | Delete

return "tag";

[106] Fix | Delete

}

[107] Fix | Delete

[108] Fix | Delete

// white space control characters

[109] Fix | Delete

if (source.match(/^\\[,;!\/\\]/)) {

[110] Fix | Delete

return "tag";

[111] Fix | Delete

}

[112] Fix | Delete

[113] Fix | Delete

// find if we're starting various math modes

[114] Fix | Delete

if (source.match("\\[")) {

[115] Fix | Delete

setState(state, function(source, state){ return inMathMode(source, state, "\\]"); });

[116] Fix | Delete

return "keyword";

[117] Fix | Delete

}

[118] Fix | Delete

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

[119] Fix | Delete

setState(state, function(source, state){ return inMathMode(source, state, "$$"); });

[120] Fix | Delete

return "keyword";

[121] Fix | Delete

}

[122] Fix | Delete

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

[123] Fix | Delete

setState(state, function(source, state){ return inMathMode(source, state, "$"); });

[124] Fix | Delete

return "keyword";

[125] Fix | Delete

}

[126] Fix | Delete

[127] Fix | Delete

var ch = source.next();

[128] Fix | Delete

if (ch == "%") {

[129] Fix | Delete

source.skipToEnd();

[130] Fix | Delete

return "comment";

[131] Fix | Delete

} else if (ch == '}' || ch == ']') {

[132] Fix | Delete

plug = peekCommand(state);

[133] Fix | Delete

if (plug) {

[134] Fix | Delete

plug.closeBracket(ch);

[135] Fix | Delete

setState(state, beginParams);

[136] Fix | Delete

} else {

[137] Fix | Delete

return "error";

[138] Fix | Delete

}

[139] Fix | Delete

return "bracket";

[140] Fix | Delete

} else if (ch == '{' || ch == '[') {

[141] Fix | Delete

plug = plugins["DEFAULT"];

[142] Fix | Delete

plug = new plug();

[143] Fix | Delete

pushCommand(state, plug);

[144] Fix | Delete

return "bracket";

[145] Fix | Delete

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

[146] Fix | Delete

source.eatWhile(/[\w.%]/);

[147] Fix | Delete

return "atom";

[148] Fix | Delete

} else {

[149] Fix | Delete

source.eatWhile(/[\w\-_]/);

[150] Fix | Delete

plug = getMostPowerful(state);

[151] Fix | Delete

if (plug.name == 'begin') {

[152] Fix | Delete

plug.argument = source.current();

[153] Fix | Delete

}

[154] Fix | Delete

return plug.styleIdentifier();

[155] Fix | Delete

}

[156] Fix | Delete

}

[157] Fix | Delete

[158] Fix | Delete

function inMathMode(source, state, endModeSeq) {

[159] Fix | Delete

if (source.eatSpace()) {

[160] Fix | Delete

return null;

[161] Fix | Delete

}

[162] Fix | Delete

if (source.match(endModeSeq)) {

[163] Fix | Delete

setState(state, normal);

[164] Fix | Delete

return "keyword";

[165] Fix | Delete

}

[166] Fix | Delete

if (source.match(/^\\[a-zA-Z@]+/)) {

[167] Fix | Delete

return "tag";

[168] Fix | Delete

}

[169] Fix | Delete

if (source.match(/^[a-zA-Z]+/)) {

[170] Fix | Delete

return "variable-2";

[171] Fix | Delete

}

[172] Fix | Delete

// escape characters

[173] Fix | Delete

if (source.match(/^\\[$&%#{}_]/)) {

[174] Fix | Delete

return "tag";

[175] Fix | Delete

}

[176] Fix | Delete

// white space control characters

[177] Fix | Delete

if (source.match(/^\\[,;!\/]/)) {

[178] Fix | Delete

return "tag";

[179] Fix | Delete

}

[180] Fix | Delete

// special math-mode characters

[181] Fix | Delete

if (source.match(/^[\^_&]/)) {

[182] Fix | Delete

return "tag";

[183] Fix | Delete

}

[184] Fix | Delete

// non-special characters

[185] Fix | Delete

if (source.match(/^[+\-<>|=,\/@!*:;'"`~#?]/)) {

[186] Fix | Delete

return null;

[187] Fix | Delete

}

[188] Fix | Delete

if (source.match(/^(\d+\.\d*|\d*\.\d+|\d+)/)) {

[189] Fix | Delete

return "number";

[190] Fix | Delete

}

[191] Fix | Delete

var ch = source.next();

[192] Fix | Delete

if (ch == "{" || ch == "}" || ch == "[" || ch == "]" || ch == "(" || ch == ")") {

[193] Fix | Delete

return "bracket";

[194] Fix | Delete

}

[195] Fix | Delete

[196] Fix | Delete

if (ch == "%") {

[197] Fix | Delete

source.skipToEnd();

[198] Fix | Delete

return "comment";

[199] Fix | Delete

}

[200] Fix | Delete

return "error";

[201] Fix | Delete

}

[202] Fix | Delete

[203] Fix | Delete

function beginParams(source, state) {

[204] Fix | Delete

var ch = source.peek(), lastPlug;

[205] Fix | Delete

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

[206] Fix | Delete

lastPlug = peekCommand(state);

[207] Fix | Delete

lastPlug.openBracket(ch);

[208] Fix | Delete

source.eat(ch);

[209] Fix | Delete

setState(state, normal);

[210] Fix | Delete

return "bracket";

[211] Fix | Delete

}

[212] Fix | Delete

if (/[ \t\r]/.test(ch)) {

[213] Fix | Delete

source.eat(ch);

[214] Fix | Delete

return null;

[215] Fix | Delete

}

[216] Fix | Delete

setState(state, normal);

[217] Fix | Delete

popCommand(state);

[218] Fix | Delete

[219] Fix | Delete

return normal(source, state);

[220] Fix | Delete

}

[221] Fix | Delete

[222] Fix | Delete

return {

[223] Fix | Delete

startState: function() {

[224] Fix | Delete

return {

[225] Fix | Delete

cmdState: [],

[226] Fix | Delete

f: normal

[227] Fix | Delete

};

[228] Fix | Delete

[229] Fix | Delete

copyState: function(s) {

[230] Fix | Delete

return {

[231] Fix | Delete

cmdState: s.cmdState.slice(),

[232] Fix | Delete

f: s.f

[233] Fix | Delete

};

[234] Fix | Delete

[235] Fix | Delete

token: function(stream, state) {

[236] Fix | Delete

return state.f(stream, state);

[237] Fix | Delete

[238] Fix | Delete

blankLine: function(state) {

[239] Fix | Delete

state.f = normal;

[240] Fix | Delete

state.cmdState.length = 0;

[241] Fix | Delete

[242] Fix | Delete

lineComment: "%"

[243] Fix | Delete

};

[244] Fix | Delete

});

[245] Fix | Delete

[246] Fix | Delete

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

[247] Fix | Delete

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

[248] Fix | Delete

[249] Fix | Delete

});

[250] Fix | Delete

[251] Fix | Delete