annotate .cms/lib/codemirror/addon/fold/brace-fold.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 function bracketFolding(pairs) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 return function(cm, start) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 var line = start.line, lineText = cm.getLine(line);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 function findOpening(pair) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 var tokenType;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 for (var at = start.ch, pass = 0;;) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 var found = at <= 0 ? -1 : lineText.lastIndexOf(pair[0], at - 1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 if (found == -1) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 if (pass == 1) break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 pass = 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 at = lineText.length;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 continue;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 if (pass == 1 && found < start.ch) break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 tokenType = cm.getTokenTypeAt(CodeMirror.Pos(line, found + 1));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 if (!/^(comment|string)/.test(tokenType)) return {ch: found + 1, tokenType: tokenType, pair: pair};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 at = found - 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 function findRange(found) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 var count = 1, lastLine = cm.lastLine(), end, startCh = found.ch, endCh
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 outer: for (var i = line; i <= lastLine; ++i) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 var text = cm.getLine(i), pos = i == line ? startCh : 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 for (;;) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 var nextOpen = text.indexOf(found.pair[0], pos), nextClose = text.indexOf(found.pair[1], pos);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 if (nextOpen < 0) nextOpen = text.length;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 if (nextClose < 0) nextClose = text.length;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 pos = Math.min(nextOpen, nextClose);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 if (pos == text.length) break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 if (cm.getTokenTypeAt(CodeMirror.Pos(i, pos + 1)) == found.tokenType) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 if (pos == nextOpen) ++count;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 else if (!--count) { end = i; endCh = pos; break outer; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 ++pos;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 if (end == null || line == end) return null
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 return {from: CodeMirror.Pos(line, startCh),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 to: CodeMirror.Pos(end, endCh)};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 var found = []
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 for (var i = 0; i < pairs.length; i++) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 var open = findOpening(pairs[i])
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 if (open) found.push(open)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 found.sort(function(a, b) { return a.ch - b.ch })
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 for (var i = 0; i < found.length; i++) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 var range = findRange(found[i])
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 if (range) return range
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 return null
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 CodeMirror.registerHelper("fold", "brace", bracketFolding([["{", "}"], ["[", "]"]]));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 CodeMirror.registerHelper("fold", "brace-paren", bracketFolding([["{", "}"], ["[", "]"], ["(", ")"]]));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 CodeMirror.registerHelper("fold", "import", function(cm, start) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 function hasImport(line) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 if (line < cm.firstLine() || line > cm.lastLine()) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 var start = cm.getTokenAt(CodeMirror.Pos(line, 1));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 if (!/\S/.test(start.string)) start = cm.getTokenAt(CodeMirror.Pos(line, start.end + 1));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 if (start.type != "keyword" || start.string != "import") return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 // Now find closing semicolon, return its position
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 for (var i = line, e = Math.min(cm.lastLine(), line + 10); i <= e; ++i) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 var text = cm.getLine(i), semi = text.indexOf(";");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 if (semi != -1) return {startCh: start.end, end: CodeMirror.Pos(i, semi)};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 var startLine = start.line, has = hasImport(startLine), prev;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 if (!has || hasImport(startLine - 1) || ((prev = hasImport(startLine - 2)) && prev.end.line == startLine - 1))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 for (var end = has.end;;) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 var next = hasImport(end.line + 1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 if (next == null) break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 end = next.end;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 return {from: cm.clipPos(CodeMirror.Pos(startLine, has.startCh + 1)), to: end};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 CodeMirror.registerHelper("fold", "include", function(cm, start) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 function hasInclude(line) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 if (line < cm.firstLine() || line > cm.lastLine()) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 var start = cm.getTokenAt(CodeMirror.Pos(line, 1));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 if (!/\S/.test(start.string)) start = cm.getTokenAt(CodeMirror.Pos(line, start.end + 1));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 if (start.type == "meta" && start.string.slice(0, 8) == "#include") return start.start + 8;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 var startLine = start.line, has = hasInclude(startLine);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 if (has == null || hasInclude(startLine - 1) != null) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 for (var end = startLine;;) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 var next = hasInclude(end + 1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 if (next == null) break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 ++end;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 return {from: CodeMirror.Pos(startLine, has + 1),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 to: cm.clipPos(CodeMirror.Pos(end))};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 });