annotate .cms/lib/codemirror/mode/modelica/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: Modelica 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/edit/matchbrackets.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <link rel="stylesheet" href="../../addon/hint/show-hint.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <script src="../../addon/hint/show-hint.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <script src="modelica.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 <style>.CodeMirror {border: 2px inset #dee;}</style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <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
16
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 </ul>
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">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 <li><a class=active href="#">Modelica</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <h2>Modelica mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 <div><textarea id="modelica">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 model BouncingBall
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 parameter Real e = 0.7;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 parameter Real g = 9.81;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 Real h(start=1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 Real v;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 Boolean flying(start=true);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 Boolean impact;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 Real v_new;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 equation
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 impact = h <= 0.0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 der(v) = if flying then -g else 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 der(h) = v;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 when {h <= 0.0 and v <= 0.0, impact} then
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 v_new = if edge(impact) then -e*pre(v) else 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 flying = v_new > 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 reinit(v, v_new);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 end when;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 annotation (uses(Modelica(version="3.2")));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 end BouncingBall;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 </textarea></div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 var modelicaEditor = CodeMirror.fromTextArea(document.getElementById("modelica"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 matchBrackets: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 mode: "text/x-modelica"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 var mac = CodeMirror.keyMap.default == CodeMirror.keyMap.macDefault;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 CodeMirror.keyMap.default[(mac ? "Cmd" : "Ctrl") + "-Space"] = "autocomplete";
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>Simple mode that tries to handle Modelica as well as it can.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 <p><strong>MIME types defined:</strong> <code>text/x-modelica</code>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 (Modlica code).</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 </article>