annotate .cms/lib/codemirror/mode/wast/index.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: WebAssembly mode</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 <script src="../../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src="../../addon/mode/simple.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <script src="wast.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 .CodeMirror {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 border-top: 1px solid black;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 border-bottom: 1px solid black;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 </style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <a href="https://codemirror.net/5">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt="">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 </a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <li><a class=active href="#">WebAssembly</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 <h2>WebAssembly mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 <div><textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 /* Example WebAssembly */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 (module $foo
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 (export "fac" (func $fac))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 (export "plus" (func $plus))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 (func $fac (type $t0) (param $p0 i64) (result i64)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 (if $I0 (result i64)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 (i64.lt_s
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 (local.get $p0)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 (i64.const 1))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 (then
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 (i64.const 1))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 (else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 (i64.mul
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 (local.get $p0)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 (call $fac
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 (i64.sub
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 (local.get $p0)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 (i64.const 1)))))))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 (func $plus (param $x i32) (param $y i32) (result i32)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 (i32.add
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 (local.get $x)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 (local.get $y))))</textarea></div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 lineWrapping: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 indentUnit: 4,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 mode: "wast"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 <p><strong>MIME types defined:</strong> <code>text/webassembly</code>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 </article>