File modules/editor/codemirror/mode/elm/elm.js

Last commit: Sun Dec 17 01:14:09 2017 +0100	Jan Dankert	Integration eines weiteren Code-Editors: Codemirror. Demnächst müssen wir hier mal aufräumen und andere Editoren rauswerfen.


     1 // CodeMirror, copyright (c) by Marijn Haverbeke and others
     2 // Distributed under an MIT license: http://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("elm", function() {
    15 
    16     function switchState(source, setState, f) {
    17       setState(f);
    18       return f(source, setState);
    19     }
    20 
    21     // These should all be Unicode extended, as per the Haskell 2010 report
    22     var smallRE = /[a-z_]/;
    23     var largeRE = /[A-Z]/;
    24     var digitRE = /[0-9]/;
    25     var hexitRE = /[0-9A-Fa-f]/;
    26     var octitRE = /[0-7]/;
    27     var idRE = /[a-z_A-Z0-9\']/;
    28     var symbolRE = /[-!#$%&*+.\/<=>?@\\^|~:\u03BB\u2192]/;
    29     var specialRE = /[(),;[\]`{}]/;
    30     var whiteCharRE = /[ \t\v\f]/; // newlines are handled in tokenizer
    31 
    32     function normal() {
    33       return function (source, setState) {
    34         if (source.eatWhile(whiteCharRE)) {
    35           return null;
    36         }
    37 
    38         var ch = source.next();
    39         if (specialRE.test(ch)) {
    40           if (ch == '{' && source.eat('-')) {
    41             var t = "comment";
    42             if (source.eat('#')) t = "meta";
    43             return switchState(source, setState, ncomment(t, 1));
    44           }
    45           return null;
    46         }
    47 
    48         if (ch == '\'') {
    49           if (source.eat('\\'))
    50             source.next();  // should handle other escapes here
    51           else
    52             source.next();
    53 
    54           if (source.eat('\''))
    55             return "string";
    56           return "error";
    57         }
    58 
    59         if (ch == '"') {
    60           return switchState(source, setState, stringLiteral);
    61         }
    62 
    63         if (largeRE.test(ch)) {
    64           source.eatWhile(idRE);
    65           if (source.eat('.'))
    66             return "qualifier";
    67           return "variable-2";
    68         }
    69 
    70         if (smallRE.test(ch)) {
    71           var isDef = source.pos === 1;
    72           source.eatWhile(idRE);
    73           return isDef ? "type" : "variable";
    74         }
    75 
    76         if (digitRE.test(ch)) {
    77           if (ch == '0') {
    78             if (source.eat(/[xX]/)) {
    79               source.eatWhile(hexitRE); // should require at least 1
    80               return "integer";
    81             }
    82             if (source.eat(/[oO]/)) {
    83               source.eatWhile(octitRE); // should require at least 1
    84               return "number";
    85             }
    86           }
    87           source.eatWhile(digitRE);
    88           var t = "number";
    89           if (source.eat('.')) {
    90             t = "number";
    91             source.eatWhile(digitRE); // should require at least 1
    92           }
    93           if (source.eat(/[eE]/)) {
    94             t = "number";
    95             source.eat(/[-+]/);
    96             source.eatWhile(digitRE); // should require at least 1
    97           }
    98           return t;
    99         }
   100 
   101         if (symbolRE.test(ch)) {
   102           if (ch == '-' && source.eat(/-/)) {
   103             source.eatWhile(/-/);
   104             if (!source.eat(symbolRE)) {
   105               source.skipToEnd();
   106               return "comment";
   107             }
   108           }
   109           source.eatWhile(symbolRE);
   110           return "builtin";
   111         }
   112 
   113         return "error";
   114       }
   115     }
   116 
   117     function ncomment(type, nest) {
   118       if (nest == 0) {
   119         return normal();
   120       }
   121       return function(source, setState) {
   122         var currNest = nest;
   123         while (!source.eol()) {
   124           var ch = source.next();
   125           if (ch == '{' && source.eat('-')) {
   126             ++currNest;
   127           } else if (ch == '-' && source.eat('}')) {
   128             --currNest;
   129             if (currNest == 0) {
   130               setState(normal());
   131               return type;
   132             }
   133           }
   134         }
   135         setState(ncomment(type, currNest));
   136         return type;
   137       }
   138     }
   139 
   140     function stringLiteral(source, setState) {
   141       while (!source.eol()) {
   142         var ch = source.next();
   143         if (ch == '"') {
   144           setState(normal());
   145           return "string";
   146         }
   147         if (ch == '\\') {
   148           if (source.eol() || source.eat(whiteCharRE)) {
   149             setState(stringGap);
   150             return "string";
   151           }
   152           if (!source.eat('&')) source.next(); // should handle other escapes here
   153         }
   154       }
   155       setState(normal());
   156       return "error";
   157     }
   158 
   159     function stringGap(source, setState) {
   160       if (source.eat('\\')) {
   161         return switchState(source, setState, stringLiteral);
   162       }
   163       source.next();
   164       setState(normal());
   165       return "error";
   166     }
   167 
   168 
   169     var wellKnownWords = (function() {
   170       var wkw = {};
   171 
   172       var keywords = [
   173         "case", "of", "as",
   174         "if", "then", "else",
   175         "let", "in",
   176         "infix", "infixl", "infixr",
   177         "type", "alias",
   178         "input", "output", "foreign", "loopback",
   179         "module", "where", "import", "exposing",
   180         "_", "..", "|", ":", "=", "\\", "\"", "->", "<-"
   181       ];
   182 
   183       for (var i = keywords.length; i--;)
   184         wkw[keywords[i]] = "keyword";
   185 
   186       return wkw;
   187     })();
   188 
   189 
   190 
   191     return {
   192       startState: function ()  { return { f: normal() }; },
   193       copyState:  function (s) { return { f: s.f }; },
   194 
   195       token: function(stream, state) {
   196         var t = state.f(stream, function(s) { state.f = s; });
   197         var w = stream.current();
   198         return (wellKnownWords.hasOwnProperty(w)) ? wellKnownWords[w] : t;
   199       }
   200     };
   201 
   202   });
   203 
   204   CodeMirror.defineMIME("text/x-elm", "elm");
   205 });



Download modules/editor/codemirror/mode/elm/elm.js


History
Sun, 17 Dec 2017 01:14:09 +0100	Jan Dankert	Integration eines weiteren Code-Editors: Codemirror. Demnächst müssen wir hier mal aufräumen und andere Editoren rauswerfen.