annotate .cms/lib/codemirror/mode/commonlisp/commonlisp.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("commonlisp", function (config) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 var specialForm = /^(block|let*|return-from|catch|load-time-value|setq|eval-when|locally|symbol-macrolet|flet|macrolet|tagbody|function|multiple-value-call|the|go|multiple-value-prog1|throw|if|progn|unwind-protect|labels|progv|let|quote)$/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 var assumeBody = /^with|^def|^do|^prog|case$|^cond$|bind$|when$|unless$/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 var numLiteral = /^(?:[+\-]?(?:\d+|\d*\.\d+)(?:[efd][+\-]?\d+)?|[+\-]?\d+(?:\/[+\-]?\d+)?|#b[+\-]?[01]+|#o[+\-]?[0-7]+|#x[+\-]?[\da-f]+)/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 var symbol = /[^\s'`,@()\[\]";]/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 var type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 function readSym(stream) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 var ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 while (ch = stream.next()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 if (ch == "\\") stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 else if (!symbol.test(ch)) { stream.backUp(1); break; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 return stream.current();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 function base(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 if (stream.eatSpace()) {type = "ws"; return null;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 if (stream.match(numLiteral)) return "number";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 var ch = stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 if (ch == "\\") ch = stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 if (ch == '"') return (state.tokenize = inString)(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 else if (ch == "(") { type = "open"; return "bracket"; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 else if (ch == ")" || ch == "]") { type = "close"; return "bracket"; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 else if (ch == ";") { stream.skipToEnd(); type = "ws"; return "comment"; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 else if (/['`,@]/.test(ch)) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 else if (ch == "|") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 if (stream.skipTo("|")) { stream.next(); return "symbol"; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 else { stream.skipToEnd(); return "error"; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 } else if (ch == "#") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 var ch = stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 if (ch == "(") { type = "open"; return "bracket"; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 else if (/[+\-=\.']/.test(ch)) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 else if (/\d/.test(ch) && stream.match(/^\d*#/)) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 else if (ch == "|") return (state.tokenize = inComment)(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 else if (ch == ":") { readSym(stream); return "meta"; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 else if (ch == "\\") { stream.next(); readSym(stream); return "string-2" }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 else return "error";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 var name = readSym(stream);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 if (name == ".") return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 type = "symbol";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 if (name == "nil" || name == "t" || name.charAt(0) == ":") return "atom";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 if (state.lastType == "open" && (specialForm.test(name) || assumeBody.test(name))) return "keyword";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 if (name.charAt(0) == "&") return "variable-2";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 return "variable";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 function inString(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 var escaped = false, next;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 while (next = stream.next()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 if (next == '"' && !escaped) { state.tokenize = base; break; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 escaped = !escaped && next == "\\";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 return "string";
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 function inComment(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 var next, last;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 while (next = stream.next()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 if (next == "#" && last == "|") { state.tokenize = base; break; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 last = next;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 type = "ws";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 return "comment";
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 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 startState: function () {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 return {ctx: {prev: null, start: 0, indentTo: 0}, lastType: null, tokenize: base};
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 token: function (stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 if (stream.sol() && typeof state.ctx.indentTo != "number")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 state.ctx.indentTo = state.ctx.start + 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 type = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 var style = state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 if (type != "ws") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 if (state.ctx.indentTo == null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 if (type == "symbol" && assumeBody.test(stream.current()))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 state.ctx.indentTo = state.ctx.start + config.indentUnit;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 state.ctx.indentTo = "next";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 } else if (state.ctx.indentTo == "next") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 state.ctx.indentTo = stream.column();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 state.lastType = type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 if (type == "open") state.ctx = {prev: state.ctx, start: stream.column(), indentTo: null};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 else if (type == "close") state.ctx = state.ctx.prev || state.ctx;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 indent: function (state, _textAfter) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 var i = state.ctx.indentTo;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 return typeof i == "number" ? i : state.ctx.start + 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 closeBrackets: {pairs: "()[]{}\"\""},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 lineComment: ";;",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 fold: "brace-paren",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 blockCommentStart: "#|",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 blockCommentEnd: "|#"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 CodeMirror.defineMIME("text/x-common-lisp", "commonlisp");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 });