File modules/editor/codemirror/mode/sieve/sieve.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("sieve", function(config) {
    15   function words(str) {
    16     var obj = {}, words = str.split(" ");
    17     for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
    18     return obj;
    19   }
    20 
    21   var keywords = words("if elsif else stop require");
    22   var atoms = words("true false not");
    23   var indentUnit = config.indentUnit;
    24 
    25   function tokenBase(stream, state) {
    26 
    27     var ch = stream.next();
    28     if (ch == "/" && stream.eat("*")) {
    29       state.tokenize = tokenCComment;
    30       return tokenCComment(stream, state);
    31     }
    32 
    33     if (ch === '#') {
    34       stream.skipToEnd();
    35       return "comment";
    36     }
    37 
    38     if (ch == "\"") {
    39       state.tokenize = tokenString(ch);
    40       return state.tokenize(stream, state);
    41     }
    42 
    43     if (ch == "(") {
    44       state._indent.push("(");
    45       // add virtual angel wings so that editor behaves...
    46       // ...more sane incase of broken brackets
    47       state._indent.push("{");
    48       return null;
    49     }
    50 
    51     if (ch === "{") {
    52       state._indent.push("{");
    53       return null;
    54     }
    55 
    56     if (ch == ")")  {
    57       state._indent.pop();
    58       state._indent.pop();
    59     }
    60 
    61     if (ch === "}") {
    62       state._indent.pop();
    63       return null;
    64     }
    65 
    66     if (ch == ",")
    67       return null;
    68 
    69     if (ch == ";")
    70       return null;
    71 
    72 
    73     if (/[{}\(\),;]/.test(ch))
    74       return null;
    75 
    76     // 1*DIGIT "K" / "M" / "G"
    77     if (/\d/.test(ch)) {
    78       stream.eatWhile(/[\d]/);
    79       stream.eat(/[KkMmGg]/);
    80       return "number";
    81     }
    82 
    83     // ":" (ALPHA / "_") *(ALPHA / DIGIT / "_")
    84     if (ch == ":") {
    85       stream.eatWhile(/[a-zA-Z_]/);
    86       stream.eatWhile(/[a-zA-Z0-9_]/);
    87 
    88       return "operator";
    89     }
    90 
    91     stream.eatWhile(/\w/);
    92     var cur = stream.current();
    93 
    94     // "text:" *(SP / HTAB) (hash-comment / CRLF)
    95     // *(multiline-literal / multiline-dotstart)
    96     // "." CRLF
    97     if ((cur == "text") && stream.eat(":"))
    98     {
    99       state.tokenize = tokenMultiLineString;
   100       return "string";
   101     }
   102 
   103     if (keywords.propertyIsEnumerable(cur))
   104       return "keyword";
   105 
   106     if (atoms.propertyIsEnumerable(cur))
   107       return "atom";
   108 
   109     return null;
   110   }
   111 
   112   function tokenMultiLineString(stream, state)
   113   {
   114     state._multiLineString = true;
   115     // the first line is special it may contain a comment
   116     if (!stream.sol()) {
   117       stream.eatSpace();
   118 
   119       if (stream.peek() == "#") {
   120         stream.skipToEnd();
   121         return "comment";
   122       }
   123 
   124       stream.skipToEnd();
   125       return "string";
   126     }
   127 
   128     if ((stream.next() == ".")  && (stream.eol()))
   129     {
   130       state._multiLineString = false;
   131       state.tokenize = tokenBase;
   132     }
   133 
   134     return "string";
   135   }
   136 
   137   function tokenCComment(stream, state) {
   138     var maybeEnd = false, ch;
   139     while ((ch = stream.next()) != null) {
   140       if (maybeEnd && ch == "/") {
   141         state.tokenize = tokenBase;
   142         break;
   143       }
   144       maybeEnd = (ch == "*");
   145     }
   146     return "comment";
   147   }
   148 
   149   function tokenString(quote) {
   150     return function(stream, state) {
   151       var escaped = false, ch;
   152       while ((ch = stream.next()) != null) {
   153         if (ch == quote && !escaped)
   154           break;
   155         escaped = !escaped && ch == "\\";
   156       }
   157       if (!escaped) state.tokenize = tokenBase;
   158       return "string";
   159     };
   160   }
   161 
   162   return {
   163     startState: function(base) {
   164       return {tokenize: tokenBase,
   165               baseIndent: base || 0,
   166               _indent: []};
   167     },
   168 
   169     token: function(stream, state) {
   170       if (stream.eatSpace())
   171         return null;
   172 
   173       return (state.tokenize || tokenBase)(stream, state);
   174     },
   175 
   176     indent: function(state, _textAfter) {
   177       var length = state._indent.length;
   178       if (_textAfter && (_textAfter[0] == "}"))
   179         length--;
   180 
   181       if (length <0)
   182         length = 0;
   183 
   184       return length * indentUnit;
   185     },
   186 
   187     electricChars: "}"
   188   };
   189 });
   190 
   191 CodeMirror.defineMIME("application/sieve", "sieve");
   192 
   193 });



Download modules/editor/codemirror/mode/sieve/sieve.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.