annotate .cms/lib/codemirror/demo/tern.html @ 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 <!doctype html>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 <title>CodeMirror: Tern Demo</title>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 <meta charset="utf-8"/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 <link rel=stylesheet href="../doc/docs.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 <link rel="stylesheet" href="../lib/codemirror.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <link rel="stylesheet" href="../addon/dialog/dialog.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <link rel="stylesheet" href="../addon/hint/show-hint.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <link rel="stylesheet" href="../addon/tern/tern.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <script src="../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <script src="../mode/javascript/javascript.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 <script src="../addon/dialog/dialog.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <script src="../addon/hint/show-hint.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <script src="../addon/tern/tern.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 <script src="https://unpkg.com/acorn/dist/acorn.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <script src="https://unpkg.com/acorn-loose/dist/acorn-loose.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <script src="https://unpkg.com/acorn-walk/dist/walk.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <script src="//ternjs.net/doc/demo/polyfill.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <script src="https://unpkg.com/tern/lib/signal.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 <script src="https://unpkg.com/tern/lib/tern.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <script src="https://unpkg.com/tern/lib/def.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 <script src="https://unpkg.com/tern/lib/comment.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 <script src="https://unpkg.com/tern/lib/infer.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 <script src="https://unpkg.com/tern/plugin/doc_comment.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 <style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 .CodeMirror {border: 1px solid #ddd;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 </style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id=logo src="../doc/logo.png"></a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 <li><a href="../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 <li><a href="../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 <li><a class=active href="#">Tern</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 <h2>Tern Demo</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 <form><textarea id="code" name="code">// Use ctrl-space to complete something
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 // Put the cursor in or after an expression, press ctrl-o to
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 // find its type
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 var foo = ["array", "of", "strings"];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 var bar = foo.slice(0, 2).join("").split("a")[0];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 // Works for locally defined types too.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 function CTor() { this.size = 10; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 CTor.prototype.hallo = "hallo";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 var baz = new CTor;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 baz.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 // You can press ctrl-q when the cursor is on a variable name to
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 // rename it. Try it with CTor...
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 // When the cursor is in an argument list, the arguments are
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 // shown below the editor.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 [1].reduce( );
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 // And a little more advanced code...
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 (function(exports) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 exports.randomElt = function(arr) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 return arr[Math.floor(arr.length * Math.random())];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 exports.strList = "foo".split("");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 exports.intList = exports.strList.map(function(s) { return s.charCodeAt(0); });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 })(window.myMod = {});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 var randomStr = myMod.randomElt(myMod.strList);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 var randomInt = myMod.randomElt(myMod.intList);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 </textarea></form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 <p>Demonstrates integration of <a href="http://ternjs.net/">Tern</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 and CodeMirror. The following keys are bound:</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 <dl>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 <dt>Ctrl-Space</dt><dd>Autocomplete</dd>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 <dt>Ctrl-O</dt><dd>Find docs for the expression at the cursor</dd>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 <dt>Ctrl-I</dt><dd>Find type at cursor</dd>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 <dt>Alt-.</dt><dd>Jump to definition (Alt-, to jump back)</dd>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 <dt>Ctrl-Q</dt><dd>Rename variable</dd>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 <dt>Ctrl-.</dt><dd>Select all occurrences of a variable</dd>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 </dl>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 <p>Documentation is sparse for now. See the top of
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 the <a href="../addon/tern/tern.js">script</a> for a rough API
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 overview.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 function getURL(url, c) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 var xhr = new XMLHttpRequest();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 xhr.open("get", url, true);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 xhr.send();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 xhr.onreadystatechange = function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 if (xhr.readyState != 4) return;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 if (xhr.status < 400) return c(null, xhr.responseText);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 var e = new Error(xhr.responseText || "No response");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 e.status = xhr.status;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 c(e);
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
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 var server;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 getURL("https://unpkg.com/tern/defs/ecmascript.json", function(err, code) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 if (err) throw new Error("Request for ecmascript.json: " + err);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 server = new CodeMirror.TernServer({defs: [JSON.parse(code)]});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 editor.setOption("extraKeys", {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 "Ctrl-Space": function(cm) { server.complete(cm); },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 "Ctrl-I": function(cm) { server.showType(cm); },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 "Ctrl-O": function(cm) { server.showDocs(cm); },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 "Alt-.": function(cm) { server.jumpToDef(cm); },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 "Alt-,": function(cm) { server.jumpBack(cm); },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 "Ctrl-Q": function(cm) { server.rename(cm); },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 "Ctrl-.": function(cm) { server.selectName(cm); }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 })
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 editor.on("cursorActivity", function(cm) { server.updateArgHints(cm); });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 mode: "javascript"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 </article>