annotate .cms/lib/codemirror/mode/sieve/sieve.js @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 // CodeMirror, copyright (c) by Marijn Haverbeke and others
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2 // Distributed under an MIT license: https://codemirror.net/5/LICENSE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 mod(require("../../lib/codemirror"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 define(["../../lib/codemirror"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 CodeMirror.defineMode("sieve", function(config) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 function words(str) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 var obj = {}, words = str.split(" ");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 return obj;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 var keywords = words("if elsif else stop require");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 var atoms = words("true false not");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 var indentUnit = config.indentUnit;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 function tokenBase(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 var ch = stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 if (ch == "/" && stream.eat("*")) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 state.tokenize = tokenCComment;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 return tokenCComment(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 if (ch === '#') {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 if (ch == "\"") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 state.tokenize = tokenString(ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 return state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 if (ch == "(") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 state._indent.push("(");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 // add virtual angel wings so that editor behaves...
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 // ...more sane in case of broken brackets
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 state._indent.push("{");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 if (ch === "{") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 state._indent.push("{");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 if (ch == ")") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 state._indent.pop();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 state._indent.pop();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 if (ch === "}") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 state._indent.pop();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 if (ch == ",")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 if (ch == ";")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 if (/[{}\(\),;]/.test(ch))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 // 1*DIGIT "K" / "M" / "G"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 if (/\d/.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 stream.eatWhile(/[\d]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 stream.eat(/[KkMmGg]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 return "number";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 // ":" (ALPHA / "_") *(ALPHA / DIGIT / "_")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 if (ch == ":") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 stream.eatWhile(/[a-zA-Z_]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 stream.eatWhile(/[a-zA-Z0-9_]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 return "operator";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 stream.eatWhile(/\w/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 var cur = stream.current();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 // "text:" *(SP / HTAB) (hash-comment / CRLF)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 // *(multiline-literal / multiline-dotstart)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 // "." CRLF
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 if ((cur == "text") && stream.eat(":"))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 state.tokenize = tokenMultiLineString;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 return "string";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 if (keywords.propertyIsEnumerable(cur))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 return "keyword";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 if (atoms.propertyIsEnumerable(cur))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 return "atom";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 function tokenMultiLineString(stream, state)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 state._multiLineString = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 // the first line is special it may contain a comment
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 if (!stream.sol()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 stream.eatSpace();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 if (stream.peek() == "#") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 return "string";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 if ((stream.next() == ".") && (stream.eol()))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 state._multiLineString = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 state.tokenize = tokenBase;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 return "string";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 function tokenCComment(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 var maybeEnd = false, ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 while ((ch = stream.next()) != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 if (maybeEnd && ch == "/") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 state.tokenize = tokenBase;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 maybeEnd = (ch == "*");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 function tokenString(quote) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 return function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 var escaped = false, ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 while ((ch = stream.next()) != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 if (ch == quote && !escaped)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 escaped = !escaped && ch == "\\";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 if (!escaped) state.tokenize = tokenBase;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 return "string";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 startState: function(base) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 return {tokenize: tokenBase,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 baseIndent: base || 0,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 _indent: []};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 token: function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 if (stream.eatSpace())
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 return (state.tokenize || tokenBase)(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176 indent: function(state, _textAfter) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177 var length = state._indent.length;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 if (_textAfter && (_textAfter[0] == "}"))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179 length--;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181 if (length <0)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182 length = 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184 return length * indentUnit;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
185 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
186
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
187 electricChars: "}"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
188 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
189 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
190
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
191 CodeMirror.defineMIME("application/sieve", "sieve");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
192
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
193 });