[Summary view] [Print] [Text view]

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