2015-04-18 15:21:34 +02:00
|
|
|
<!doctype html>
|
2019-07-28 14:57:52 +02:00
|
|
|
|
|
|
|
|
<title>CodeMirror: Rust mode</title>
|
|
|
|
|
<meta charset="utf-8"/>
|
|
|
|
|
<link rel=stylesheet href="../../doc/docs.css">
|
|
|
|
|
|
|
|
|
|
<link rel="stylesheet" href="../../lib/codemirror.css">
|
|
|
|
|
<script src="../../lib/codemirror.js"></script>
|
|
|
|
|
<script src="../../addon/mode/simple.js"></script>
|
|
|
|
|
<script src="rust.js"></script>
|
|
|
|
|
<style>.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
|
|
|
|
|
<div id=nav>
|
2020-10-02 13:05:50 +02:00
|
|
|
<a href="https://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
|
2019-07-28 14:57:52 +02:00
|
|
|
|
|
|
|
|
<ul>
|
|
|
|
|
<li><a href="../../index.html">Home</a>
|
|
|
|
|
<li><a href="../../doc/manual.html">Manual</a>
|
|
|
|
|
<li><a href="https://github.com/codemirror/codemirror">Code</a>
|
|
|
|
|
</ul>
|
|
|
|
|
<ul>
|
|
|
|
|
<li><a href="../index.html">Language modes</a>
|
|
|
|
|
<li><a class=active href="#">Rust</a>
|
|
|
|
|
</ul>
|
|
|
|
|
</div>
|
|
|
|
|
|
|
|
|
|
<article>
|
|
|
|
|
<h2>Rust mode</h2>
|
|
|
|
|
|
2015-04-18 15:21:34 +02:00
|
|
|
|
|
|
|
|
<div><textarea id="code" name="code">
|
|
|
|
|
// Demo code.
|
|
|
|
|
|
2020-10-02 13:05:50 +02:00
|
|
|
type foo<T> = i32;
|
2015-04-18 15:21:34 +02:00
|
|
|
enum bar {
|
2020-10-02 13:05:50 +02:00
|
|
|
Some(i32, foo<f32>),
|
|
|
|
|
None
|
2015-04-18 15:21:34 +02:00
|
|
|
}
|
|
|
|
|
|
2020-10-02 13:05:50 +02:00
|
|
|
fn check_crate(x: i32) {
|
2015-04-18 15:21:34 +02:00
|
|
|
let v = 10;
|
2019-07-28 14:57:52 +02:00
|
|
|
match foo {
|
|
|
|
|
1 ... 3 {
|
|
|
|
|
print_foo();
|
|
|
|
|
if x {
|
|
|
|
|
blah().to_string();
|
|
|
|
|
}
|
2015-04-18 15:21:34 +02:00
|
|
|
}
|
2019-07-28 14:57:52 +02:00
|
|
|
(x, y) { "bye" }
|
|
|
|
|
_ { "hi" }
|
2015-04-18 15:21:34 +02:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
</textarea></div>
|
|
|
|
|
|
|
|
|
|
<script>
|
|
|
|
|
var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
|
|
|
|
|
lineNumbers: true,
|
2019-07-28 14:57:52 +02:00
|
|
|
lineWrapping: true,
|
|
|
|
|
indentUnit: 4,
|
|
|
|
|
mode: "rust"
|
2015-04-18 15:21:34 +02:00
|
|
|
});
|
|
|
|
|
</script>
|
|
|
|
|
|
|
|
|
|
<p><strong>MIME types defined:</strong> <code>text/x-rustsrc</code>.</p>
|
2019-07-28 14:57:52 +02:00
|
|
|
</article>
|
