|
0
|
1 // CodeMirror, copyright (c) by Marijn Haverbeke and others
|
|
|
2 // Distributed under an MIT license: https://codemirror.net/5/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(_config, parserConfig) {
|
|
|
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["label" ] = addPluginPattern("label" , "tag", ["atom"]);
|
|
|
82 plugins["ref" ] = addPluginPattern("ref" , "tag", ["atom"]);
|
|
|
83 plugins["eqref" ] = addPluginPattern("eqref" , "tag", ["atom"]);
|
|
|
84 plugins["cite" ] = addPluginPattern("cite" , "tag", ["atom"]);
|
|
|
85 plugins["bibitem" ] = addPluginPattern("bibitem" , "tag", ["atom"]);
|
|
|
86 plugins["Bibitem" ] = addPluginPattern("Bibitem" , "tag", ["atom"]);
|
|
|
87 plugins["RBibitem" ] = addPluginPattern("RBibitem" , "tag", ["atom"]);
|
|
|
88
|
|
|
89 plugins["DEFAULT"] = function () {
|
|
|
90 this.name = "DEFAULT";
|
|
|
91 this.style = "tag";
|
|
|
92
|
|
|
93 this.styleIdentifier = this.openBracket = this.closeBracket = function() {};
|
|
|
94 };
|
|
|
95
|
|
|
96 function setState(state, f) {
|
|
|
97 state.f = f;
|
|
|
98 }
|
|
|
99
|
|
|
100 // called when in a normal (no environment) context
|
|
|
101 function normal(source, state) {
|
|
|
102 var plug;
|
|
|
103 // Do we look like '\command' ? If so, attempt to apply the plugin 'command'
|
|
|
104 if (source.match(/^\\[a-zA-Z@]+/)) {
|
|
|
105 var cmdName = source.current().slice(1);
|
|
|
106 plug = plugins.hasOwnProperty(cmdName) ? plugins[cmdName] : plugins["DEFAULT"];
|
|
|
107 plug = new plug();
|
|
|
108 pushCommand(state, plug);
|
|
|
109 setState(state, beginParams);
|
|
|
110 return plug.style;
|
|
|
111 }
|
|
|
112
|
|
|
113 // escape characters
|
|
|
114 if (source.match(/^\\[$&%#{}_]/)) {
|
|
|
115 return "tag";
|
|
|
116 }
|
|
|
117
|
|
|
118 // white space control characters
|
|
|
119 if (source.match(/^\\[,;!\/\\]/)) {
|
|
|
120 return "tag";
|
|
|
121 }
|
|
|
122
|
|
|
123 // find if we're starting various math modes
|
|
|
124 if (source.match("\\[")) {
|
|
|
125 setState(state, function(source, state){ return inMathMode(source, state, "\\]"); });
|
|
|
126 return "keyword";
|
|
|
127 }
|
|
|
128 if (source.match("\\(")) {
|
|
|
129 setState(state, function(source, state){ return inMathMode(source, state, "\\)"); });
|
|
|
130 return "keyword";
|
|
|
131 }
|
|
|
132 if (source.match("$$")) {
|
|
|
133 setState(state, function(source, state){ return inMathMode(source, state, "$$"); });
|
|
|
134 return "keyword";
|
|
|
135 }
|
|
|
136 if (source.match("$")) {
|
|
|
137 setState(state, function(source, state){ return inMathMode(source, state, "$"); });
|
|
|
138 return "keyword";
|
|
|
139 }
|
|
|
140
|
|
|
141 var ch = source.next();
|
|
|
142 if (ch == "%") {
|
|
|
143 source.skipToEnd();
|
|
|
144 return "comment";
|
|
|
145 } else if (ch == '}' || ch == ']') {
|
|
|
146 plug = peekCommand(state);
|
|
|
147 if (plug) {
|
|
|
148 plug.closeBracket(ch);
|
|
|
149 setState(state, beginParams);
|
|
|
150 } else {
|
|
|
151 return "error";
|
|
|
152 }
|
|
|
153 return "bracket";
|
|
|
154 } else if (ch == '{' || ch == '[') {
|
|
|
155 plug = plugins["DEFAULT"];
|
|
|
156 plug = new plug();
|
|
|
157 pushCommand(state, plug);
|
|
|
158 return "bracket";
|
|
|
159 } else if (/\d/.test(ch)) {
|
|
|
160 source.eatWhile(/[\w.%]/);
|
|
|
161 return "atom";
|
|
|
162 } else {
|
|
|
163 source.eatWhile(/[\w\-_]/);
|
|
|
164 plug = getMostPowerful(state);
|
|
|
165 if (plug.name == 'begin') {
|
|
|
166 plug.argument = source.current();
|
|
|
167 }
|
|
|
168 return plug.styleIdentifier();
|
|
|
169 }
|
|
|
170 }
|
|
|
171
|
|
|
172 function inMathMode(source, state, endModeSeq) {
|
|
|
173 if (source.eatSpace()) {
|
|
|
174 return null;
|
|
|
175 }
|
|
|
176 if (endModeSeq && source.match(endModeSeq)) {
|
|
|
177 setState(state, normal);
|
|
|
178 return "keyword";
|
|
|
179 }
|
|
|
180 if (source.match(/^\\[a-zA-Z@]+/)) {
|
|
|
181 return "tag";
|
|
|
182 }
|
|
|
183 if (source.match(/^[a-zA-Z]+/)) {
|
|
|
184 return "variable-2";
|
|
|
185 }
|
|
|
186 // escape characters
|
|
|
187 if (source.match(/^\\[$&%#{}_]/)) {
|
|
|
188 return "tag";
|
|
|
189 }
|
|
|
190 // white space control characters
|
|
|
191 if (source.match(/^\\[,;!\/]/)) {
|
|
|
192 return "tag";
|
|
|
193 }
|
|
|
194 // special math-mode characters
|
|
|
195 if (source.match(/^[\^_&]/)) {
|
|
|
196 return "tag";
|
|
|
197 }
|
|
|
198 // non-special characters
|
|
|
199 if (source.match(/^[+\-<>|=,\/@!*:;'"`~#?]/)) {
|
|
|
200 return null;
|
|
|
201 }
|
|
|
202 if (source.match(/^(\d+\.\d*|\d*\.\d+|\d+)/)) {
|
|
|
203 return "number";
|
|
|
204 }
|
|
|
205 var ch = source.next();
|
|
|
206 if (ch == "{" || ch == "}" || ch == "[" || ch == "]" || ch == "(" || ch == ")") {
|
|
|
207 return "bracket";
|
|
|
208 }
|
|
|
209
|
|
|
210 if (ch == "%") {
|
|
|
211 source.skipToEnd();
|
|
|
212 return "comment";
|
|
|
213 }
|
|
|
214 return "error";
|
|
|
215 }
|
|
|
216
|
|
|
217 function beginParams(source, state) {
|
|
|
218 var ch = source.peek(), lastPlug;
|
|
|
219 if (ch == '{' || ch == '[') {
|
|
|
220 lastPlug = peekCommand(state);
|
|
|
221 lastPlug.openBracket(ch);
|
|
|
222 source.eat(ch);
|
|
|
223 setState(state, normal);
|
|
|
224 return "bracket";
|
|
|
225 }
|
|
|
226 if (/[ \t\r]/.test(ch)) {
|
|
|
227 source.eat(ch);
|
|
|
228 return null;
|
|
|
229 }
|
|
|
230 setState(state, normal);
|
|
|
231 popCommand(state);
|
|
|
232
|
|
|
233 return normal(source, state);
|
|
|
234 }
|
|
|
235
|
|
|
236 return {
|
|
|
237 startState: function() {
|
|
|
238 var f = parserConfig.inMathMode ? function(source, state){ return inMathMode(source, state); } : normal;
|
|
|
239 return {
|
|
|
240 cmdState: [],
|
|
|
241 f: f
|
|
|
242 };
|
|
|
243 },
|
|
|
244 copyState: function(s) {
|
|
|
245 return {
|
|
|
246 cmdState: s.cmdState.slice(),
|
|
|
247 f: s.f
|
|
|
248 };
|
|
|
249 },
|
|
|
250 token: function(stream, state) {
|
|
|
251 return state.f(stream, state);
|
|
|
252 },
|
|
|
253 blankLine: function(state) {
|
|
|
254 state.f = normal;
|
|
|
255 state.cmdState.length = 0;
|
|
|
256 },
|
|
|
257 lineComment: "%"
|
|
|
258 };
|
|
|
259 });
|
|
|
260
|
|
|
261 CodeMirror.defineMIME("text/x-stex", "stex");
|
|
|
262 CodeMirror.defineMIME("text/x-latex", "stex");
|
|
|
263
|
|
|
264 });
|
