GPQAPP

1
// CodeMirror, copyright (c) by Marijn Haverbeke and others
2
// Distributed under an MIT license: https://codemirror.net/LICENSE
3

4
(function(mod) {
5
  if (typeof exports == "object" && typeof module == "object") // CommonJS
6
    mod(require("../../lib/codemirror"));
7
  else if (typeof define == "function" && define.amd) // AMD
8
    define(["../../lib/codemirror"], mod);
9
  else // Plain browser env
10
    mod(CodeMirror);
11
})(function(CodeMirror) {
12
  "use strict";
13

14
  CodeMirror.defineMode("ebnf", function (config) {
15
    var commentType = {slash: 0, parenthesis: 1};
16
    var stateType = {comment: 0, _string: 1, characterClass: 2};
17
    var bracesMode = null;
18

19
    if (config.bracesMode)
20
      bracesMode = CodeMirror.getMode(config, config.bracesMode);
21

22
    return {
23
      startState: function () {
24
        return {
25
          stringType: null,
26
          commentType: null,
27
          braced: 0,
28
          lhs: true,
29
          localState: null,
30
          stack: [],
31
          inDefinition: false
32
        };
33
      },
34
      token: function (stream, state) {
35
        if (!stream) return;
36

37
        //check for state changes
38
        if (state.stack.length === 0) {
39
          //strings
40
          if ((stream.peek() == '"') || (stream.peek() == "'")) {
41
            state.stringType = stream.peek();
42
            stream.next(); // Skip quote
43
            state.stack.unshift(stateType._string);
44
          } else if (stream.match('/*')) { //comments starting with /*
45
            state.stack.unshift(stateType.comment);
46
            state.commentType = commentType.slash;
47
          } else if (stream.match('(*')) { //comments starting with (*
48
            state.stack.unshift(stateType.comment);
49
            state.commentType = commentType.parenthesis;
50
          }
51
        }
52

53
        //return state
54
        //stack has
55
        switch (state.stack[0]) {
56
        case stateType._string:
57
          while (state.stack[0] === stateType._string && !stream.eol()) {
58
            if (stream.peek() === state.stringType) {
59
              stream.next(); // Skip quote
60
              state.stack.shift(); // Clear flag
61
            } else if (stream.peek() === "\\") {
62
              stream.next();
63
              stream.next();
64
            } else {
65
              stream.match(/^.[^\\\"\']*/);
66
            }
67
          }
68
          return state.lhs ? "property string" : "string"; // Token style
69

70
        case stateType.comment:
71
          while (state.stack[0] === stateType.comment && !stream.eol()) {
72
            if (state.commentType === commentType.slash && stream.match('*/')) {
73
              state.stack.shift(); // Clear flag
74
              state.commentType = null;
75
            } else if (state.commentType === commentType.parenthesis && stream.match('*)')) {
76
              state.stack.shift(); // Clear flag
77
              state.commentType = null;
78
            } else {
79
              stream.match(/^.[^\*]*/);
80
            }
81
          }
82
          return "comment";
83

84
        case stateType.characterClass:
85
          while (state.stack[0] === stateType.characterClass && !stream.eol()) {
86
            if (!(stream.match(/^[^\]\\]+/) || stream.match('.'))) {
87
              state.stack.shift();
88
            }
89
          }
90
          return "operator";
91
        }
92

93
        var peek = stream.peek();
94

95
        if (bracesMode !== null && (state.braced || peek === "{")) {
96
          if (state.localState === null)
97
            state.localState = CodeMirror.startState(bracesMode);
98

99
          var token = bracesMode.token(stream, state.localState),
100
          text = stream.current();
101

102
          if (!token) {
103
            for (var i = 0; i < text.length; i++) {
104
              if (text[i] === "{") {
105
                if (state.braced === 0) {
106
                  token = "matchingbracket";
107
                }
108
                state.braced++;
109
              } else if (text[i] === "}") {
110
                state.braced--;
111
                if (state.braced === 0) {
112
                  token = "matchingbracket";
113
                }
114
              }
115
            }
116
          }
117
          return token;
118
        }
119

120
        //no stack
121
        switch (peek) {
122
        case "[":
123
          stream.next();
124
          state.stack.unshift(stateType.characterClass);
125
          return "bracket";
126
        case ":":
127
        case "|":
128
        case ";":
129
          stream.next();
130
          return "operator";
131
        case "%":
132
          if (stream.match("%%")) {
133
            return "header";
134
          } else if (stream.match(/[%][A-Za-z]+/)) {
135
            return "keyword";
136
          } else if (stream.match(/[%][}]/)) {
137
            return "matchingbracket";
138
          }
139
          break;
140
        case "/":
141
          if (stream.match(/[\/][A-Za-z]+/)) {
142
          return "keyword";
143
        }
144
        case "\\":
145
          if (stream.match(/[\][a-z]+/)) {
146
            return "string-2";
147
          }
148
        case ".":
149
          if (stream.match(".")) {
150
            return "atom";
151
          }
152
        case "*":
153
        case "-":
154
        case "+":
155
        case "^":
156
          if (stream.match(peek)) {
157
            return "atom";
158
          }
159
        case "$":
160
          if (stream.match("$$")) {
161
            return "builtin";
162
          } else if (stream.match(/[$][0-9]+/)) {
163
            return "variable-3";
164
          }
165
        case "<":
166
          if (stream.match(/<<[a-zA-Z_]+>>/)) {
167
            return "builtin";
168
          }
169
        }
170

171
        if (stream.match('//')) {
172
          stream.skipToEnd();
173
          return "comment";
174
        } else if (stream.match('return')) {
175
          return "operator";
176
        } else if (stream.match(/^[a-zA-Z_][a-zA-Z0-9_]*/)) {
177
          if (stream.match(/(?=[\(.])/)) {
178
            return "variable";
179
          } else if (stream.match(/(?=[\s\n]*[:=])/)) {
180
            return "def";
181
          }
182
          return "variable-2";
183
        } else if (["[", "]", "(", ")"].indexOf(stream.peek()) != -1) {
184
          stream.next();
185
          return "bracket";
186
        } else if (!stream.eatSpace()) {
187
          stream.next();
188
        }
189
        return null;
190
      }
191
    };
192
  });
193

194
  CodeMirror.defineMIME("text/x-ebnf", "ebnf");
195
});
196