123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193 |
- // CodeMirror, copyright (c) by Marijn Haverbeke and others
- // Distributed under an MIT license: http://codemirror.net/LICENSE
-
- (function(mod) {
- if (typeof exports == "object" && typeof module == "object") // CommonJS
- mod(require("../../lib/codemirror"));
- else if (typeof define == "function" && define.amd) // AMD
- define(["../../lib/codemirror"], mod);
- else // Plain browser env
- mod(CodeMirror);
- })(function(CodeMirror) {
- "use strict";
-
- CodeMirror.defineMode("sieve", function(config) {
- function words(str) {
- var obj = {}, words = str.split(" ");
- for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
- return obj;
- }
-
- var keywords = words("if elsif else stop require");
- var atoms = words("true false not");
- var indentUnit = config.indentUnit;
-
- function tokenBase(stream, state) {
-
- var ch = stream.next();
- if (ch == "/" && stream.eat("*")) {
- state.tokenize = tokenCComment;
- return tokenCComment(stream, state);
- }
-
- if (ch === '#') {
- stream.skipToEnd();
- return "comment";
- }
-
- if (ch == "\"") {
- state.tokenize = tokenString(ch);
- return state.tokenize(stream, state);
- }
-
- if (ch == "(") {
- state._indent.push("(");
- // add virtual angel wings so that editor behaves...
- // ...more sane incase of broken brackets
- state._indent.push("{");
- return null;
- }
-
- if (ch === "{") {
- state._indent.push("{");
- return null;
- }
-
- if (ch == ")") {
- state._indent.pop();
- state._indent.pop();
- }
-
- if (ch === "}") {
- state._indent.pop();
- return null;
- }
-
- if (ch == ",")
- return null;
-
- if (ch == ";")
- return null;
-
-
- if (/[{}\(\),;]/.test(ch))
- return null;
-
- // 1*DIGIT "K" / "M" / "G"
- if (/\d/.test(ch)) {
- stream.eatWhile(/[\d]/);
- stream.eat(/[KkMmGg]/);
- return "number";
- }
-
- // ":" (ALPHA / "_") *(ALPHA / DIGIT / "_")
- if (ch == ":") {
- stream.eatWhile(/[a-zA-Z_]/);
- stream.eatWhile(/[a-zA-Z0-9_]/);
-
- return "operator";
- }
-
- stream.eatWhile(/\w/);
- var cur = stream.current();
-
- // "text:" *(SP / HTAB) (hash-comment / CRLF)
- // *(multiline-literal / multiline-dotstart)
- // "." CRLF
- if ((cur == "text") && stream.eat(":"))
- {
- state.tokenize = tokenMultiLineString;
- return "string";
- }
-
- if (keywords.propertyIsEnumerable(cur))
- return "keyword";
-
- if (atoms.propertyIsEnumerable(cur))
- return "atom";
-
- return null;
- }
-
- function tokenMultiLineString(stream, state)
- {
- state._multiLineString = true;
- // the first line is special it may contain a comment
- if (!stream.sol()) {
- stream.eatSpace();
-
- if (stream.peek() == "#") {
- stream.skipToEnd();
- return "comment";
- }
-
- stream.skipToEnd();
- return "string";
- }
-
- if ((stream.next() == ".") && (stream.eol()))
- {
- state._multiLineString = false;
- state.tokenize = tokenBase;
- }
-
- return "string";
- }
-
- function tokenCComment(stream, state) {
- var maybeEnd = false, ch;
- while ((ch = stream.next()) != null) {
- if (maybeEnd && ch == "/") {
- state.tokenize = tokenBase;
- break;
- }
- maybeEnd = (ch == "*");
- }
- return "comment";
- }
-
- function tokenString(quote) {
- return function(stream, state) {
- var escaped = false, ch;
- while ((ch = stream.next()) != null) {
- if (ch == quote && !escaped)
- break;
- escaped = !escaped && ch == "\\";
- }
- if (!escaped) state.tokenize = tokenBase;
- return "string";
- };
- }
-
- return {
- startState: function(base) {
- return {tokenize: tokenBase,
- baseIndent: base || 0,
- _indent: []};
- },
-
- token: function(stream, state) {
- if (stream.eatSpace())
- return null;
-
- return (state.tokenize || tokenBase)(stream, state);;
- },
-
- indent: function(state, _textAfter) {
- var length = state._indent.length;
- if (_textAfter && (_textAfter[0] == "}"))
- length--;
-
- if (length <0)
- length = 0;
-
- return length * indentUnit;
- },
-
- electricChars: "}"
- };
- });
-
- CodeMirror.defineMIME("application/sieve", "sieve");
-
- });
|