[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("oz", function (conf) {
  15  
  16    function wordRegexp(words) {
  17      return new RegExp("^((" + words.join(")|(") + "))\\b");
  18    }
  19  
  20    var singleOperators = /[\^@!\|<>#~\.\*\-\+\\/,=]/;
  21    var doubleOperators = /(<-)|(:=)|(=<)|(>=)|(<=)|(<:)|(>:)|(=:)|(\\=)|(\\=:)|(!!)|(==)|(::)/;
  22    var tripleOperators = /(:::)|(\.\.\.)|(=<:)|(>=:)/;
  23  
  24    var middle = ["in", "then", "else", "of", "elseof", "elsecase", "elseif", "catch",
  25      "finally", "with", "require", "prepare", "import", "export", "define", "do"];
  26    var end = ["end"];
  27  
  28    var atoms = wordRegexp(["true", "false", "nil", "unit"]);
  29    var commonKeywords = wordRegexp(["andthen", "at", "attr", "declare", "feat", "from", "lex",
  30      "mod", "div", "mode", "orelse", "parser", "prod", "prop", "scanner", "self", "syn", "token"]);
  31    var openingKeywords = wordRegexp(["local", "proc", "fun", "case", "class", "if", "cond", "or", "dis",
  32      "choice", "not", "thread", "try", "raise", "lock", "for", "suchthat", "meth", "functor"]);
  33    var middleKeywords = wordRegexp(middle);
  34    var endKeywords = wordRegexp(end);
  35  
  36    // Tokenizers
  37    function tokenBase(stream, state) {
  38      if (stream.eatSpace()) {
  39        return null;
  40      }
  41  
  42      // Brackets
  43      if(stream.match(/[{}]/)) {
  44        return "bracket";
  45      }
  46  
  47      // Special [] keyword
  48      if (stream.match('[]')) {
  49          return "keyword"
  50      }
  51  
  52      // Operators
  53      if (stream.match(tripleOperators) || stream.match(doubleOperators)) {
  54        return "operator";
  55      }
  56  
  57      // Atoms
  58      if(stream.match(atoms)) {
  59        return 'atom';
  60      }
  61  
  62      // Opening keywords
  63      var matched = stream.match(openingKeywords);
  64      if (matched) {
  65        if (!state.doInCurrentLine)
  66          state.currentIndent++;
  67        else
  68          state.doInCurrentLine = false;
  69  
  70        // Special matching for signatures
  71        if(matched[0] == "proc" || matched[0] == "fun")
  72          state.tokenize = tokenFunProc;
  73        else if(matched[0] == "class")
  74          state.tokenize = tokenClass;
  75        else if(matched[0] == "meth")
  76          state.tokenize = tokenMeth;
  77  
  78        return 'keyword';
  79      }
  80  
  81      // Middle and other keywords
  82      if (stream.match(middleKeywords) || stream.match(commonKeywords)) {
  83        return "keyword"
  84      }
  85  
  86      // End keywords
  87      if (stream.match(endKeywords)) {
  88        state.currentIndent--;
  89        return 'keyword';
  90      }
  91  
  92      // Eat the next char for next comparisons
  93      var ch = stream.next();
  94  
  95      // Strings
  96      if (ch == '"' || ch == "'") {
  97        state.tokenize = tokenString(ch);
  98        return state.tokenize(stream, state);
  99      }
 100  
 101      // Numbers
 102      if (/[~\d]/.test(ch)) {
 103        if (ch == "~") {
 104          if(! /^[0-9]/.test(stream.peek()))
 105            return null;
 106          else if (( stream.next() == "0" && stream.match(/^[xX][0-9a-fA-F]+/)) || stream.match(/^[0-9]*(\.[0-9]+)?([eE][~+]?[0-9]+)?/))
 107            return "number";
 108        }
 109  
 110        if ((ch == "0" && stream.match(/^[xX][0-9a-fA-F]+/)) || stream.match(/^[0-9]*(\.[0-9]+)?([eE][~+]?[0-9]+)?/))
 111          return "number";
 112  
 113        return null;
 114      }
 115  
 116      // Comments
 117      if (ch == "%") {
 118        stream.skipToEnd();
 119        return 'comment';
 120      }
 121      else if (ch == "/") {
 122        if (stream.eat("*")) {
 123          state.tokenize = tokenComment;
 124          return tokenComment(stream, state);
 125        }
 126      }
 127  
 128      // Single operators
 129      if(singleOperators.test(ch)) {
 130        return "operator";
 131      }
 132  
 133      // If nothing match, we skip the entire alphanumeric block
 134      stream.eatWhile(/\w/);
 135  
 136      return "variable";
 137    }
 138  
 139    function tokenClass(stream, state) {
 140      if (stream.eatSpace()) {
 141        return null;
 142      }
 143      stream.match(/([A-Z][A-Za-z0-9_]*)|(`.+`)/);
 144      state.tokenize = tokenBase;
 145      return "variable-3"
 146    }
 147  
 148    function tokenMeth(stream, state) {
 149      if (stream.eatSpace()) {
 150        return null;
 151      }
 152      stream.match(/([a-zA-Z][A-Za-z0-9_]*)|(`.+`)/);
 153      state.tokenize = tokenBase;
 154      return "def"
 155    }
 156  
 157    function tokenFunProc(stream, state) {
 158      if (stream.eatSpace()) {
 159        return null;
 160      }
 161  
 162      if(!state.hasPassedFirstStage && stream.eat("{")) {
 163        state.hasPassedFirstStage = true;
 164        return "bracket";
 165      }
 166      else if(state.hasPassedFirstStage) {
 167        stream.match(/([A-Z][A-Za-z0-9_]*)|(`.+`)|\$/);
 168        state.hasPassedFirstStage = false;
 169        state.tokenize = tokenBase;
 170        return "def"
 171      }
 172      else {
 173        state.tokenize = tokenBase;
 174        return null;
 175      }
 176    }
 177  
 178    function tokenComment(stream, state) {
 179      var maybeEnd = false, ch;
 180      while (ch = stream.next()) {
 181        if (ch == "/" && maybeEnd) {
 182          state.tokenize = tokenBase;
 183          break;
 184        }
 185        maybeEnd = (ch == "*");
 186      }
 187      return "comment";
 188    }
 189  
 190    function tokenString(quote) {
 191      return function (stream, state) {
 192        var escaped = false, next, end = false;
 193        while ((next = stream.next()) != null) {
 194          if (next == quote && !escaped) {
 195            end = true;
 196            break;
 197          }
 198          escaped = !escaped && next == "\\";
 199        }
 200        if (end || !escaped)
 201          state.tokenize = tokenBase;
 202        return "string";
 203      };
 204    }
 205  
 206    function buildElectricInputRegEx() {
 207      // Reindentation should occur on [] or on a match of any of
 208      // the block closing keywords, at the end of a line.
 209      var allClosings = middle.concat(end);
 210      return new RegExp("[\\[\\]]|(" + allClosings.join("|") + ")$");
 211    }
 212  
 213    return {
 214  
 215      startState: function () {
 216        return {
 217          tokenize: tokenBase,
 218          currentIndent: 0,
 219          doInCurrentLine: false,
 220          hasPassedFirstStage: false
 221        };
 222      },
 223  
 224      token: function (stream, state) {
 225        if (stream.sol())
 226          state.doInCurrentLine = 0;
 227  
 228        return state.tokenize(stream, state);
 229      },
 230  
 231      indent: function (state, textAfter) {
 232        var trueText = textAfter.replace(/^\s+|\s+$/g, '');
 233  
 234        if (trueText.match(endKeywords) || trueText.match(middleKeywords) || trueText.match(/(\[])/))
 235          return conf.indentUnit * (state.currentIndent - 1);
 236  
 237        if (state.currentIndent < 0)
 238          return 0;
 239  
 240        return state.currentIndent * conf.indentUnit;
 241      },
 242      fold: "indent",
 243      electricInput: buildElectricInputRegEx(),
 244      lineComment: "%",
 245      blockCommentStart: "/*",
 246      blockCommentEnd: "*/"
 247    };
 248  });
 249  
 250  CodeMirror.defineMIME("text/x-oz", "oz");
 251  
 252  });