annotate .cms/lib/codemirror/mode/rust/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: Rust 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="rust.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <style>.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <li><a class=active href="#">Rust</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <h2>Rust mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 <div><textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 // Demo code.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 type foo<T> = i32;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 enum bar {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 Some(i32, foo<f32>),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 None
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 fn check_crate(x: i32) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 let v = 10;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 match foo {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 1 ... 3 {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 print_foo();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 if x {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 blah().to_string();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 (x, y) { "bye" }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 _ { "hi" }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 </textarea></div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 lineWrapping: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 indentUnit: 4,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 mode: "rust"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 <p><strong>MIME types defined:</strong> <code>text/x-rustsrc</code>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 </article>