annotate .cms/lib/codemirror/mode/ebnf/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 <html>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 <head>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 <title>CodeMirror: EBNF 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="ebnf.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="#">EBNF 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>EBNF Mode (bracesMode setting = "javascript")</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 /* description: Parses end executes mathematical expressions. */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 /* lexical grammar */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 %lex
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 %%
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 \s+ /* skip whitespace */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 [0-9]+("."[0-9]+)?\b return 'NUMBER';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 "*" return '*';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 "/" return '/';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 "-" return '-';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 "+" return '+';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 "^" return '^';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 "(" return '(';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 ")" return ')';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 "PI" return 'PI';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 "E" return 'E';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 &lt;&lt;EOF&gt;&gt; return 'EOF';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 /lex
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 /* operator associations and precedence */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 %left '+' '-'
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 %left '*' '/'
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 %left '^'
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 %left UMINUS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 %start expressions
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 %% /* language grammar */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 expressions
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 : e EOF
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 {print($1); return $1;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 ;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 e
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 : e '+' e
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 {$$ = $1+$3;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 | e '-' e
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 {$$ = $1-$3;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 | e '*' e
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 {$$ = $1*$3;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 | e '/' e
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 {$$ = $1/$3;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 | e '^' e
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 {$$ = Math.pow($1, $3);}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 | '-' e %prec UMINUS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 {$$ = -$2;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 | '(' e ')'
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 {$$ = $2;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 | NUMBER
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 {$$ = Number(yytext);}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 | E
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 {$$ = Math.E;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 | PI
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 {$$ = Math.PI;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 ;</textarea></form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 mode: {name: "ebnf"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 bracesMode: 'javascript'
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 <h3>The EBNF Mode</h3>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 <p> Created by <a href="https://github.com/robertleeplummerjr">Robert Plummer</a></p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 </article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 </body>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 </html>