annotate .cms/lib/codemirror/mode/python/python.js @ 0:78edf6b517a0 draft

24.10
author Coffee CMS <info@coffee-cms.ru>
date Fri, 11 Oct 2024 22:40:23 +0000
parents
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 function wordRegexp(words) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 return new RegExp("^((" + words.join(")|(") + "))\\b");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 var wordOperators = wordRegexp(["and", "or", "not", "is"]);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 var commonKeywords = ["as", "assert", "break", "class", "continue",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 "def", "del", "elif", "else", "except", "finally",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 "for", "from", "global", "if", "import",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 "lambda", "pass", "raise", "return",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 "try", "while", "with", "yield", "in", "False", "True"];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 var commonBuiltins = ["abs", "all", "any", "bin", "bool", "bytearray", "callable", "chr",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 "classmethod", "compile", "complex", "delattr", "dict", "dir", "divmod",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 "enumerate", "eval", "filter", "float", "format", "frozenset",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 "getattr", "globals", "hasattr", "hash", "help", "hex", "id",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 "input", "int", "isinstance", "issubclass", "iter", "len",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 "list", "locals", "map", "max", "memoryview", "min", "next",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 "object", "oct", "open", "ord", "pow", "property", "range",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 "repr", "reversed", "round", "set", "setattr", "slice",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 "sorted", "staticmethod", "str", "sum", "super", "tuple",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 "type", "vars", "zip", "__import__", "NotImplemented",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 "Ellipsis", "__debug__"];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 CodeMirror.registerHelper("hintWords", "python", commonKeywords.concat(commonBuiltins).concat(["exec", "print"]));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 function top(state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 return state.scopes[state.scopes.length - 1];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 CodeMirror.defineMode("python", function(conf, parserConf) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 var ERRORCLASS = "error";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 var delimiters = parserConf.delimiters || parserConf.singleDelimiters || /^[\(\)\[\]\{\}@,:`=;\.\\]/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 // (Backwards-compatibility with old, cumbersome config system)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 var operators = [parserConf.singleOperators, parserConf.doubleOperators, parserConf.doubleDelimiters, parserConf.tripleDelimiters,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 parserConf.operators || /^([-+*/%\/&|^]=?|[<>=]+|\/\/=?|\*\*=?|!=|[~!@]|\.\.\.)/]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 for (var i = 0; i < operators.length; i++) if (!operators[i]) operators.splice(i--, 1)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 var hangingIndent = parserConf.hangingIndent || conf.indentUnit;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 var myKeywords = commonKeywords, myBuiltins = commonBuiltins;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 if (parserConf.extra_keywords != undefined)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 myKeywords = myKeywords.concat(parserConf.extra_keywords);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 if (parserConf.extra_builtins != undefined)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 myBuiltins = myBuiltins.concat(parserConf.extra_builtins);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 var py3 = !(parserConf.version && Number(parserConf.version) < 3)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 if (py3) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 // since http://legacy.python.org/dev/peps/pep-0465/ @ is also an operator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 var identifiers = parserConf.identifiers|| /^[_A-Za-z\u00A1-\uFFFF][_A-Za-z0-9\u00A1-\uFFFF]*/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 myKeywords = myKeywords.concat(["nonlocal", "None", "aiter", "anext", "async", "await", "breakpoint", "match", "case"]);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 myBuiltins = myBuiltins.concat(["ascii", "bytes", "exec", "print"]);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 var stringPrefixes = new RegExp("^(([rbuf]|(br)|(rb)|(fr)|(rf))?('{3}|\"{3}|['\"]))", "i");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 var identifiers = parserConf.identifiers|| /^[_A-Za-z][_A-Za-z0-9]*/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 myKeywords = myKeywords.concat(["exec", "print"]);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 myBuiltins = myBuiltins.concat(["apply", "basestring", "buffer", "cmp", "coerce", "execfile",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 "file", "intern", "long", "raw_input", "reduce", "reload",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 "unichr", "unicode", "xrange", "None"]);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 var stringPrefixes = new RegExp("^(([rubf]|(ur)|(br))?('{3}|\"{3}|['\"]))", "i");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 var keywords = wordRegexp(myKeywords);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 var builtins = wordRegexp(myBuiltins);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 // tokenizers
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 function tokenBase(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 var sol = stream.sol() && state.lastToken != "\\"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 if (sol) state.indent = stream.indentation()
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 // Handle scope changes
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 if (sol && top(state).type == "py") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 var scopeOffset = top(state).offset;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 if (stream.eatSpace()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 var lineOffset = stream.indentation();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 if (lineOffset > scopeOffset)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 pushPyScope(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 else if (lineOffset < scopeOffset && dedent(stream, state) && stream.peek() != "#")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 state.errorToken = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 var style = tokenBaseInner(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 if (scopeOffset > 0 && dedent(stream, state))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 style += " " + ERRORCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 return tokenBaseInner(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 function tokenBaseInner(stream, state, inFormat) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 if (stream.eatSpace()) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 // Handle Comments
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 if (!inFormat && stream.match(/^#.*/)) return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 // Handle Number Literals
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 if (stream.match(/^[0-9\.]/, false)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 var floatLiteral = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 // Floats
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 if (stream.match(/^[\d_]*\.\d+(e[\+\-]?\d+)?/i)) { floatLiteral = true; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 if (stream.match(/^[\d_]+\.\d*/)) { floatLiteral = true; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 if (stream.match(/^\.\d+/)) { floatLiteral = true; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 if (floatLiteral) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 // Float literals may be "imaginary"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 stream.eat(/J/i);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 return "number";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 // Integers
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 var intLiteral = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 // Hex
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 if (stream.match(/^0x[0-9a-f_]+/i)) intLiteral = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 // Binary
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 if (stream.match(/^0b[01_]+/i)) intLiteral = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 // Octal
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 if (stream.match(/^0o[0-7_]+/i)) intLiteral = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 // Decimal
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 if (stream.match(/^[1-9][\d_]*(e[\+\-]?[\d_]+)?/)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 // Decimal literals may be "imaginary"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 stream.eat(/J/i);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 // TODO - Can you have imaginary longs?
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 intLiteral = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 // Zero by itself with no other piece of number.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 if (stream.match(/^0(?![\dx])/i)) intLiteral = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 if (intLiteral) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 // Integer literals may be "long"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 stream.eat(/L/i);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 return "number";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 // Handle Strings
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 if (stream.match(stringPrefixes)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 var isFmtString = stream.current().toLowerCase().indexOf('f') !== -1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 if (!isFmtString) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 state.tokenize = tokenStringFactory(stream.current(), state.tokenize);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 return state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 state.tokenize = formatStringFactory(stream.current(), state.tokenize);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 return state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 for (var i = 0; i < operators.length; i++)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 if (stream.match(operators[i])) return "operator"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 if (stream.match(delimiters)) return "punctuation";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160 if (state.lastToken == "." && stream.match(identifiers))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161 return "property";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 if (stream.match(keywords) || stream.match(wordOperators))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 return "keyword";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 if (stream.match(builtins))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 return "builtin";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 if (stream.match(/^(self|cls)\b/))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 return "variable-2";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172 if (stream.match(identifiers)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 if (state.lastToken == "def" || state.lastToken == "class")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174 return "def";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175 return "variable";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 // Handle non-detected items
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179 stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180 return inFormat ? null :ERRORCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183 function formatStringFactory(delimiter, tokenOuter) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184 while ("rubf".indexOf(delimiter.charAt(0).toLowerCase()) >= 0)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
185 delimiter = delimiter.substr(1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
186
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
187 var singleline = delimiter.length == 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
188 var OUTCLASS = "string";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
189
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
190 function tokenNestedExpr(depth) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
191 return function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
192 var inner = tokenBaseInner(stream, state, true)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
193 if (inner == "punctuation") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
194 if (stream.current() == "{") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
195 state.tokenize = tokenNestedExpr(depth + 1)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
196 } else if (stream.current() == "}") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
197 if (depth > 1) state.tokenize = tokenNestedExpr(depth - 1)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
198 else state.tokenize = tokenString
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
199 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
200 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
201 return inner
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
202 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
203 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
204
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
205 function tokenString(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
206 while (!stream.eol()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
207 stream.eatWhile(/[^'"\{\}\\]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
208 if (stream.eat("\\")) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
209 stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
210 if (singleline && stream.eol())
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
211 return OUTCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
212 } else if (stream.match(delimiter)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
213 state.tokenize = tokenOuter;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
214 return OUTCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
215 } else if (stream.match('{{')) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
216 // ignore {{ in f-str
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
217 return OUTCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
218 } else if (stream.match('{', false)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
219 // switch to nested mode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
220 state.tokenize = tokenNestedExpr(0)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
221 if (stream.current()) return OUTCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
222 else return state.tokenize(stream, state)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
223 } else if (stream.match('}}')) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
224 return OUTCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
225 } else if (stream.match('}')) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
226 // single } in f-string is an error
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
227 return ERRORCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
228 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
229 stream.eat(/['"]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
230 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
231 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
232 if (singleline) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
233 if (parserConf.singleLineStringErrors)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
234 return ERRORCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
235 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
236 state.tokenize = tokenOuter;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
237 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
238 return OUTCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
239 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
240 tokenString.isString = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
241 return tokenString;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
242 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
243
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
244 function tokenStringFactory(delimiter, tokenOuter) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
245 while ("rubf".indexOf(delimiter.charAt(0).toLowerCase()) >= 0)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
246 delimiter = delimiter.substr(1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
247
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
248 var singleline = delimiter.length == 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
249 var OUTCLASS = "string";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
250
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
251 function tokenString(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
252 while (!stream.eol()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
253 stream.eatWhile(/[^'"\\]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
254 if (stream.eat("\\")) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
255 stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
256 if (singleline && stream.eol())
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
257 return OUTCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
258 } else if (stream.match(delimiter)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
259 state.tokenize = tokenOuter;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
260 return OUTCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
261 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
262 stream.eat(/['"]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
263 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
264 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
265 if (singleline) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
266 if (parserConf.singleLineStringErrors)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
267 return ERRORCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
268 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
269 state.tokenize = tokenOuter;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
270 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
271 return OUTCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
272 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
273 tokenString.isString = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
274 return tokenString;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
275 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
276
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
277 function pushPyScope(state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
278 while (top(state).type != "py") state.scopes.pop()
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
279 state.scopes.push({offset: top(state).offset + conf.indentUnit,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
280 type: "py",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
281 align: null})
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
282 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
283
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
284 function pushBracketScope(stream, state, type) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
285 var align = stream.match(/^[\s\[\{\(]*(?:#|$)/, false) ? null : stream.column() + 1
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
286 state.scopes.push({offset: state.indent + hangingIndent,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
287 type: type,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
288 align: align})
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
289 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
290
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
291 function dedent(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
292 var indented = stream.indentation();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
293 while (state.scopes.length > 1 && top(state).offset > indented) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
294 if (top(state).type != "py") return true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
295 state.scopes.pop();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
296 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
297 return top(state).offset != indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
298 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
299
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
300 function tokenLexer(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
301 if (stream.sol()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
302 state.beginningOfLine = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
303 state.dedent = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
304 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
305
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
306 var style = state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
307 var current = stream.current();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
308
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
309 // Handle decorators
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
310 if (state.beginningOfLine && current == "@")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
311 return stream.match(identifiers, false) ? "meta" : py3 ? "operator" : ERRORCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
312
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
313 if (/\S/.test(current)) state.beginningOfLine = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
314
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
315 if ((style == "variable" || style == "builtin")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
316 && state.lastToken == "meta")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
317 style = "meta";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
318
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
319 // Handle scope changes.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
320 if (current == "pass" || current == "return")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
321 state.dedent = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
322
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
323 if (current == "lambda") state.lambda = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
324 if (current == ":" && !state.lambda && top(state).type == "py" && stream.match(/^\s*(?:#|$)/, false))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
325 pushPyScope(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
326
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
327 if (current.length == 1 && !/string|comment/.test(style)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
328 var delimiter_index = "[({".indexOf(current);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
329 if (delimiter_index != -1)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
330 pushBracketScope(stream, state, "])}".slice(delimiter_index, delimiter_index+1));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
331
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
332 delimiter_index = "])}".indexOf(current);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
333 if (delimiter_index != -1) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
334 if (top(state).type == current) state.indent = state.scopes.pop().offset - hangingIndent
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
335 else return ERRORCLASS;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
336 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
337 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
338 if (state.dedent && stream.eol() && top(state).type == "py" && state.scopes.length > 1)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
339 state.scopes.pop();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
340
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
341 return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
342 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
343
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
344 var external = {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
345 startState: function(basecolumn) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
346 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
347 tokenize: tokenBase,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
348 scopes: [{offset: basecolumn || 0, type: "py", align: null}],
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
349 indent: basecolumn || 0,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
350 lastToken: null,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
351 lambda: false,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
352 dedent: 0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
353 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
354 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
355
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
356 token: function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
357 var addErr = state.errorToken;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
358 if (addErr) state.errorToken = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
359 var style = tokenLexer(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
360
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
361 if (style && style != "comment")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
362 state.lastToken = (style == "keyword" || style == "punctuation") ? stream.current() : style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
363 if (style == "punctuation") style = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
364
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
365 if (stream.eol() && state.lambda)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
366 state.lambda = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
367 return addErr ? style + " " + ERRORCLASS : style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
368 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
369
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
370 indent: function(state, textAfter) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
371 if (state.tokenize != tokenBase)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
372 return state.tokenize.isString ? CodeMirror.Pass : 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
373
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
374 var scope = top(state)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
375 var closing = scope.type == textAfter.charAt(0) ||
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
376 scope.type == "py" && !state.dedent && /^(else:|elif |except |finally:)/.test(textAfter)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
377 if (scope.align != null)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
378 return scope.align - (closing ? 1 : 0)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
379 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
380 return scope.offset - (closing ? hangingIndent : 0)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
381 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
382
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
383 electricInput: /^\s*([\}\]\)]|else:|elif |except |finally:)$/,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
384 closeBrackets: {triples: "'\""},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
385 lineComment: "#",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
386 fold: "indent"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
387 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
388 return external;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
389 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
390
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
391 CodeMirror.defineMIME("text/x-python", "python");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
392
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
393 var words = function(str) { return str.split(" "); };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
394
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
395 CodeMirror.defineMIME("text/x-cython", {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
396 name: "python",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
397 extra_keywords: words("by cdef cimport cpdef ctypedef enum except "+
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
398 "extern gil include nogil property public "+
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
399 "readonly struct union DEF IF ELIF ELSE")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
400 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
401
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
402 });