annotate .cms/lib/codemirror/mode/dart/index.html @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
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: Dart 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 <link rel="stylesheet" href="../../lib/codemirror.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 <script src="../../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <script src="../clike/clike.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src="dart.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <style>.CodeMirror {border: 1px solid #dee;}</style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <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
13
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 <li><a class=active href="#">Dart</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 <h2>Dart mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 <textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 import 'dart:math' show Random;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 void main() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 print(Die(n: 12).roll());
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 // Define a class.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 class Die {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 // Define a class variable.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 static final Random shaker = Random();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 // Define instance variables.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 final int sides;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 int? lastRoll;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 // Define a constructor.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 Die({int n = 6}) : sides = n {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 if (4 > n || n > 20) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 // Support for errors and exceptions.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 throw ArgumentError(/* */);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 }
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 // Define a method using shorthand syntax.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 @override
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 String toString() => '$lastRoll';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 // Define an instance method.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 int roll() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 return lastRoll = shaker.nextInt(sides) + 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 </textarea>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 </form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 mode: "application/dart"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 </article>