File modules/editor/codemirror/mode/stex/stex.js
Last commit: Sun Dec 17 01:14:09 2017 +0100 Jan Dankert Integration eines weiteren Code-Editors: Codemirror. Demnächst müssen wir hier mal aufräumen und andere Editoren rauswerfen.
1 // CodeMirror, copyright (c) by Marijn Haverbeke and others 2 // Distributed under an MIT license: http://codemirror.net/LICENSE 3 4 /* 5 * Author: Constantin Jucovschi (c.jucovschi@jacobs-university.de) 6 * Licence: MIT 7 */ 8 9 (function(mod) { 10 if (typeof exports == "object" && typeof module == "object") // CommonJS 11 mod(require("../../lib/codemirror")); 12 else if (typeof define == "function" && define.amd) // AMD 13 define(["../../lib/codemirror"], mod); 14 else // Plain browser env 15 mod(CodeMirror); 16 })(function(CodeMirror) { 17 "use strict"; 18 19 CodeMirror.defineMode("stex", function() { 20 "use strict"; 21 22 function pushCommand(state, command) { 23 state.cmdState.push(command); 24 } 25 26 function peekCommand(state) { 27 if (state.cmdState.length > 0) { 28 return state.cmdState[state.cmdState.length - 1]; 29 } else { 30 return null; 31 } 32 } 33 34 function popCommand(state) { 35 var plug = state.cmdState.pop(); 36 if (plug) { 37 plug.closeBracket(); 38 } 39 } 40 41 // returns the non-default plugin closest to the end of the list 42 function getMostPowerful(state) { 43 var context = state.cmdState; 44 for (var i = context.length - 1; i >= 0; i--) { 45 var plug = context[i]; 46 if (plug.name == "DEFAULT") { 47 continue; 48 } 49 return plug; 50 } 51 return { styleIdentifier: function() { return null; } }; 52 } 53 54 function addPluginPattern(pluginName, cmdStyle, styles) { 55 return function () { 56 this.name = pluginName; 57 this.bracketNo = 0; 58 this.style = cmdStyle; 59 this.styles = styles; 60 this.argument = null; // \begin and \end have arguments that follow. These are stored in the plugin 61 62 this.styleIdentifier = function() { 63 return this.styles[this.bracketNo - 1] || null; 64 }; 65 this.openBracket = function() { 66 this.bracketNo++; 67 return "bracket"; 68 }; 69 this.closeBracket = function() {}; 70 }; 71 } 72 73 var plugins = {}; 74 75 plugins["importmodule"] = addPluginPattern("importmodule", "tag", ["string", "builtin"]); 76 plugins["documentclass"] = addPluginPattern("documentclass", "tag", ["", "atom"]); 77 plugins["usepackage"] = addPluginPattern("usepackage", "tag", ["atom"]); 78 plugins["begin"] = addPluginPattern("begin", "tag", ["atom"]); 79 plugins["end"] = addPluginPattern("end", "tag", ["atom"]); 80 81 plugins["DEFAULT"] = function () { 82 this.name = "DEFAULT"; 83 this.style = "tag"; 84 85 this.styleIdentifier = this.openBracket = this.closeBracket = function() {}; 86 }; 87 88 function setState(state, f) { 89 state.f = f; 90 } 91 92 // called when in a normal (no environment) context 93 function normal(source, state) { 94 var plug; 95 // Do we look like '\command' ? If so, attempt to apply the plugin 'command' 96 if (source.match(/^\\[a-zA-Z@]+/)) { 97 var cmdName = source.current().slice(1); 98 plug = plugins[cmdName] || plugins["DEFAULT"]; 99 plug = new plug(); 100 pushCommand(state, plug); 101 setState(state, beginParams); 102 return plug.style; 103 } 104 105 // escape characters 106 if (source.match(/^\\[$&%#{}_]/)) { 107 return "tag"; 108 } 109 110 // white space control characters 111 if (source.match(/^\\[,;!\/\\]/)) { 112 return "tag"; 113 } 114 115 // find if we're starting various math modes 116 if (source.match("\\[")) { 117 setState(state, function(source, state){ return inMathMode(source, state, "\\]"); }); 118 return "keyword"; 119 } 120 if (source.match("$$")) { 121 setState(state, function(source, state){ return inMathMode(source, state, "$$"); }); 122 return "keyword"; 123 } 124 if (source.match("$")) { 125 setState(state, function(source, state){ return inMathMode(source, state, "$"); }); 126 return "keyword"; 127 } 128 129 var ch = source.next(); 130 if (ch == "%") { 131 source.skipToEnd(); 132 return "comment"; 133 } else if (ch == '}' || ch == ']') { 134 plug = peekCommand(state); 135 if (plug) { 136 plug.closeBracket(ch); 137 setState(state, beginParams); 138 } else { 139 return "error"; 140 } 141 return "bracket"; 142 } else if (ch == '{' || ch == '[') { 143 plug = plugins["DEFAULT"]; 144 plug = new plug(); 145 pushCommand(state, plug); 146 return "bracket"; 147 } else if (/\d/.test(ch)) { 148 source.eatWhile(/[\w.%]/); 149 return "atom"; 150 } else { 151 source.eatWhile(/[\w\-_]/); 152 plug = getMostPowerful(state); 153 if (plug.name == 'begin') { 154 plug.argument = source.current(); 155 } 156 return plug.styleIdentifier(); 157 } 158 } 159 160 function inMathMode(source, state, endModeSeq) { 161 if (source.eatSpace()) { 162 return null; 163 } 164 if (source.match(endModeSeq)) { 165 setState(state, normal); 166 return "keyword"; 167 } 168 if (source.match(/^\\[a-zA-Z@]+/)) { 169 return "tag"; 170 } 171 if (source.match(/^[a-zA-Z]+/)) { 172 return "variable-2"; 173 } 174 // escape characters 175 if (source.match(/^\\[$&%#{}_]/)) { 176 return "tag"; 177 } 178 // white space control characters 179 if (source.match(/^\\[,;!\/]/)) { 180 return "tag"; 181 } 182 // special math-mode characters 183 if (source.match(/^[\^_&]/)) { 184 return "tag"; 185 } 186 // non-special characters 187 if (source.match(/^[+\-<>|=,\/@!*:;'"`~#?]/)) { 188 return null; 189 } 190 if (source.match(/^(\d+\.\d*|\d*\.\d+|\d+)/)) { 191 return "number"; 192 } 193 var ch = source.next(); 194 if (ch == "{" || ch == "}" || ch == "[" || ch == "]" || ch == "(" || ch == ")") { 195 return "bracket"; 196 } 197 198 if (ch == "%") { 199 source.skipToEnd(); 200 return "comment"; 201 } 202 return "error"; 203 } 204 205 function beginParams(source, state) { 206 var ch = source.peek(), lastPlug; 207 if (ch == '{' || ch == '[') { 208 lastPlug = peekCommand(state); 209 lastPlug.openBracket(ch); 210 source.eat(ch); 211 setState(state, normal); 212 return "bracket"; 213 } 214 if (/[ \t\r]/.test(ch)) { 215 source.eat(ch); 216 return null; 217 } 218 setState(state, normal); 219 popCommand(state); 220 221 return normal(source, state); 222 } 223 224 return { 225 startState: function() { 226 return { 227 cmdState: [], 228 f: normal 229 }; 230 }, 231 copyState: function(s) { 232 return { 233 cmdState: s.cmdState.slice(), 234 f: s.f 235 }; 236 }, 237 token: function(stream, state) { 238 return state.f(stream, state); 239 }, 240 blankLine: function(state) { 241 state.f = normal; 242 state.cmdState.length = 0; 243 }, 244 lineComment: "%" 245 }; 246 }); 247 248 CodeMirror.defineMIME("text/x-stex", "stex"); 249 CodeMirror.defineMIME("text/x-latex", "stex"); 250 251 });
Downloadmodules/editor/codemirror/mode/stex/stex.js
History Sun, 17 Dec 2017 01:14:09 +0100 Jan Dankert Integration eines weiteren Code-Editors: Codemirror. Demnächst müssen wir hier mal aufräumen und andere Editoren rauswerfen.