annotate .cms/lib/codemirror/mode/webidl/webidl.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 builtinArray = [
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 "Clamp",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 "Constructor",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 "EnforceRange",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 "Exposed",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 "ImplicitThis",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 "Global", "PrimaryGlobal",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 "LegacyArrayClass",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 "LegacyUnenumerableNamedProperties",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 "LenientThis",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 "NamedConstructor",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 "NewObject",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 "NoInterfaceObject",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 "OverrideBuiltins",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 "PutForwards",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 "Replaceable",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 "SameObject",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 "TreatNonObjectAsNull",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 "TreatNullAs",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 "EmptyString",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 "Unforgeable",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 "Unscopeable"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 ];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 var builtins = wordRegexp(builtinArray);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 var typeArray = [
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 "unsigned", "short", "long", // UnsignedIntegerType
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 "unrestricted", "float", "double", // UnrestrictedFloatType
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 "boolean", "byte", "octet", // Rest of PrimitiveType
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 "Promise", // PromiseType
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 "ArrayBuffer", "DataView", "Int8Array", "Int16Array", "Int32Array",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 "Uint8Array", "Uint16Array", "Uint32Array", "Uint8ClampedArray",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 "Float32Array", "Float64Array", // BufferRelatedType
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 "ByteString", "DOMString", "USVString", "sequence", "object", "RegExp",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 "Error", "DOMException", "FrozenArray", // Rest of NonAnyType
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 "any", // Rest of SingleType
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 "void" // Rest of ReturnType
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 ];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 var types = wordRegexp(typeArray);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 var keywordArray = [
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 "attribute", "callback", "const", "deleter", "dictionary", "enum", "getter",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 "implements", "inherit", "interface", "iterable", "legacycaller", "maplike",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 "partial", "required", "serializer", "setlike", "setter", "static",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 "stringifier", "typedef", // ArgumentNameKeyword except
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 // "unrestricted"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 "optional", "readonly", "or"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 ];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 var keywords = wordRegexp(keywordArray);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 var atomArray = [
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 "true", "false", // BooleanLiteral
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 "Infinity", "NaN", // FloatLiteral
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 "null" // Rest of ConstValue
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 ];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 var atoms = wordRegexp(atomArray);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 CodeMirror.registerHelper("hintWords", "webidl",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 builtinArray.concat(typeArray).concat(keywordArray).concat(atomArray));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 var startDefArray = ["callback", "dictionary", "enum", "interface"];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 var startDefs = wordRegexp(startDefArray);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 var endDefArray = ["typedef"];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 var endDefs = wordRegexp(endDefArray);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 var singleOperators = /^[:<=>?]/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 var integers = /^-?([1-9][0-9]*|0[Xx][0-9A-Fa-f]+|0[0-7]*)/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 var floats = /^-?(([0-9]+\.[0-9]*|[0-9]*\.[0-9]+)([Ee][+-]?[0-9]+)?|[0-9]+[Ee][+-]?[0-9]+)/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 var identifiers = /^_?[A-Za-z][0-9A-Z_a-z-]*/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 var identifiersEnd = /^_?[A-Za-z][0-9A-Z_a-z-]*(?=\s*;)/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 var strings = /^"[^"]*"/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 var multilineComments = /^\/\*.*?\*\//;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 var multilineCommentsStart = /^\/\*.*/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 var multilineCommentsEnd = /^.*?\*\//;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 function readToken(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 // whitespace
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 if (stream.eatSpace()) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 // comment
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 if (state.inComment) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 if (stream.match(multilineCommentsEnd)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 state.inComment = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 if (stream.match("//")) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 if (stream.match(multilineComments)) return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 if (stream.match(multilineCommentsStart)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 state.inComment = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 // integer and float
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 if (stream.match(/^-?[0-9\.]/, false)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 if (stream.match(integers) || stream.match(floats)) return "number";
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 // string
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 if (stream.match(strings)) return "string";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 // identifier
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 if (state.startDef && stream.match(identifiers)) return "def";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 if (state.endDef && stream.match(identifiersEnd)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 state.endDef = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 return "def";
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 if (stream.match(keywords)) return "keyword";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 if (stream.match(types)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 var lastToken = state.lastToken;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 var nextToken = (stream.match(/^\s*(.+?)\b/, false) || [])[1];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 if (lastToken === ":" || lastToken === "implements" ||
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 nextToken === "implements" || nextToken === "=") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 // Used as identifier
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 return "builtin";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 // Used as type
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 return "variable-3";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 }
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 if (stream.match(builtins)) return "builtin";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 if (stream.match(atoms)) return "atom";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 if (stream.match(identifiers)) return "variable";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 // other
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 if (stream.match(singleOperators)) return "operator";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 // unrecognized
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 return null;
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 CodeMirror.defineMode("webidl", function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 startState: function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 // Is in multiline comment
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 inComment: false,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 // Last non-whitespace, matched token
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168 lastToken: "",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 // Next token is a definition
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 startDef: false,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171 // Last token of the statement is a definition
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172 endDef: false
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175 token: function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176 var style = readToken(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 if (style) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179 var cur = stream.current();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180 state.lastToken = cur;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181 if (style === "keyword") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182 state.startDef = startDefs.test(cur);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183 state.endDef = state.endDef || endDefs.test(cur);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
185 state.startDef = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
186 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
187 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
188
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
189 return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
190 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
191 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
192 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
193
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
194 CodeMirror.defineMIME("text/x-webidl", "webidl");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
195 });