annotate .cms/lib/codemirror/mode/fcl/fcl.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("fcl", function(config) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 var indentUnit = config.indentUnit;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 var keywords = {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 "term": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 "method": true, "accu": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 "rule": true, "then": true, "is": true, "and": true, "or": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 "if": true, "default": true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 var start_blocks = {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 "var_input": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 "var_output": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 "fuzzify": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 "defuzzify": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 "function_block": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 "ruleblock": true
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 var end_blocks = {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 "end_ruleblock": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 "end_defuzzify": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 "end_function_block": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 "end_fuzzify": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 "end_var": true
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 var atoms = {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 "true": true, "false": true, "nan": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 "real": true, "min": true, "max": true, "cog": true, "cogs": true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 var isOperatorChar = /[+\-*&^%:=<>!|\/]/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 function tokenBase(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 var ch = stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 if (/[\d\.]/.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 if (ch == ".") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 stream.match(/^[0-9]+([eE][\-+]?[0-9]+)?/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 } else if (ch == "0") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 stream.match(/^[xX][0-9a-fA-F]+/) || stream.match(/^0[0-7]+/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 stream.match(/^[0-9]*\.?[0-9]*([eE][\-+]?[0-9]+)?/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 return "number";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 if (ch == "/" || ch == "(") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 if (stream.eat("*")) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 state.tokenize = tokenComment;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 return tokenComment(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 if (stream.eat("/")) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 return "comment";
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 if (isOperatorChar.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 stream.eatWhile(isOperatorChar);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 return "operator";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 stream.eatWhile(/[\w\$_\xa1-\uffff]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 var cur = stream.current().toLowerCase();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 if (keywords.propertyIsEnumerable(cur) ||
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 start_blocks.propertyIsEnumerable(cur) ||
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 end_blocks.propertyIsEnumerable(cur)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 return "keyword";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 if (atoms.propertyIsEnumerable(cur)) return "atom";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 return "variable";
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 function tokenComment(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 var maybeEnd = false, ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 while (ch = stream.next()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 if ((ch == "/" || ch == ")") && maybeEnd) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 state.tokenize = tokenBase;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 maybeEnd = (ch == "*");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 return "comment";
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 Context(indented, column, type, align, prev) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 this.indented = indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 this.column = column;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 this.type = type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 this.align = align;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 this.prev = prev;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 function pushContext(state, col, type) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 return state.context = new Context(state.indented, col, type, null, state.context);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 function popContext(state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 if (!state.context.prev) return;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 var t = state.context.type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 if (t == "end_block")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 state.indented = state.context.indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 return state.context = state.context.prev;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 // Interface
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 startState: function(basecolumn) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 tokenize: null,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 context: new Context((basecolumn || 0) - indentUnit, 0, "top", false),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 indented: 0,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 startOfLine: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 token: function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 var ctx = state.context;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 if (stream.sol()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 if (ctx.align == null) ctx.align = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 state.indented = stream.indentation();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 state.startOfLine = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 if (stream.eatSpace()) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 var style = (state.tokenize || tokenBase)(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 if (style == "comment") return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 if (ctx.align == null) ctx.align = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 var cur = stream.current().toLowerCase();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 if (start_blocks.propertyIsEnumerable(cur)) pushContext(state, stream.column(), "end_block");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 else if (end_blocks.propertyIsEnumerable(cur)) popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 state.startOfLine = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 return style;
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 indent: function(state, textAfter) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 if (state.tokenize != tokenBase && state.tokenize != null) return 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 var ctx = state.context;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 var closing = end_blocks.propertyIsEnumerable(textAfter);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160 if (ctx.align) return ctx.column + (closing ? 0 : 1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161 else return ctx.indented + (closing ? 0 : indentUnit);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 electricChars: "ryk",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 fold: "brace",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 blockCommentStart: "(*",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 blockCommentEnd: "*)",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168 lineComment: "//"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172 CodeMirror.defineMIME("text/x-fcl", "fcl");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 });