annotate .cms/lib/codemirror/mode/pegjs/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 <html>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 <head>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 <title>CodeMirror: PEG.js Mode</title>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 <meta charset="utf-8"/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 <link rel=stylesheet href="../../doc/docs.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <link rel="stylesheet" href="../../lib/codemirror.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src="../../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <script src="../javascript/javascript.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <script src="pegjs.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <style>.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 </head>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <body>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 <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
17
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 <li><a class=active href="#">PEG.js Mode</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 <h2>PEG.js Mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 <form><textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 /*
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 * Classic example grammar, which recognizes simple arithmetic expressions like
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 * "2*(3+4)". The parser generated from this grammar then computes their value.
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 start
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 = additive
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 additive
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 = left:multiplicative "+" right:additive { return left + right; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 / multiplicative
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 multiplicative
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 = left:primary "*" right:multiplicative { return left * right; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 / primary
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 primary
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 = integer
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 / "(" additive:additive ")" { return additive; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 integer "integer"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 = digits:[0-9]+ { return parseInt(digits.join(""), 10); }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 letter = [a-z]+</textarea></form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 mode: {name: "pegjs"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 lineNumbers: true
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 <h3>The PEG.js Mode</h3>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 <p> Created by Forbes Lindesay.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 </article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 </body>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 </html>