GPQAPP

1
// CodeMirror, copyright (c) by Marijn Haverbeke and others
2
// Distributed under an MIT license: https://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(_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
});
265