annotate .cms/lib/codemirror/addon/tern/worker.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 // declare global: tern, server
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 var server;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 this.onmessage = function(e) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 var data = e.data;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 switch (data.type) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 case "init": return startServer(data.defs, data.plugins, data.scripts);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 case "add": return server.addFile(data.name, data.text);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 case "del": return server.delFile(data.name);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 case "req": return server.request(data.body, function(err, reqData) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 postMessage({id: data.id, body: reqData, err: err && String(err)});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 case "getFile":
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 var c = pending[data.id];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 delete pending[data.id];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 return c(data.err, data.text);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 default: throw new Error("Unknown message type: " + data.type);
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
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 var nextId = 0, pending = {};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 function getFile(file, c) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 postMessage({type: "getFile", name: file, id: ++nextId});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 pending[nextId] = c;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 function startServer(defs, plugins, scripts) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 if (scripts) importScripts.apply(null, scripts);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 server = new tern.Server({
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 getFile: getFile,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 async: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 defs: defs,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 plugins: plugins
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
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 this.console = {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 log: function(v) { postMessage({type: "debug", message: v}); }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 };