-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathgrammar-js-recursion.html
71 lines (63 loc) · 2.34 KB
/
grammar-js-recursion.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
<!doctype html>
<html>
<head>
<meta charset="utf-8">
<link rel="stylesheet" href="codemirror/codemirror.css">
<link rel="stylesheet" href="codemirror/addon/lint/lint.css">
<link rel="stylesheet" href="codemirror/addon/hint/show-hint.css">
<link rel="stylesheet" href="codemirror/addon/fold/foldgutter.css" />
<style type="text/css">
body {
position: relative;
}
.CodeMirror {
margin: 0;
position: relative;
width: 100%;
height: 100%;
min-width:500px;
min-height:500px;
}
</style>
<script src="codemirror/codemirror.js"></script>
<script src="codemirror/addon/comment/comment.js"></script>
<script src="codemirror/addon/lint/lint.js"></script>
<script src="codemirror/addon/hint/show-hint.js"></script>
<script src="codemirror/addon/fold/foldcode.js"></script>
<script src="codemirror/addon/fold/foldgutter.js"></script>
<!--<script src="codemirror/addon/fold/brace-fold.js"></script>
<script src="codemirror/addon/fold/comment-fold.js"></script>-->
<script src="../build/codemirror_grammar.js"></script>
<script src="grammars/javascript-recursion.js"></script>
<script src="demo.js"></script>
<title>CodeMirror: Dynamic JavaScript Recursive Grammar Demo</title>
</head>
<body>
<h3>CodeMirror (v.<span id="editor-version">0</span>) Grammar (v.<span id="grammar-version">0</span>): Dynamic JavaScript Recursive Grammar</h3>
<textarea id="code" name="code">/* highlight nested code correctly with recursive grammar */
var obj = {
foo: [
1, 2, 3,
{
/* while comments can be validly interleaved anywhere */
"foo3": {
foo4: {
"foo5": {},
foo5: 123,
foo6: {}
},
foo5: 123
}
}
]
};</textarea>
<p></p>
<script>
// <![CDATA[
codemirror_grammar_demo(document.getElementById("code"), [
{language : "javascript", grammar : js_grammar}
]);
// ]]>
</script>
</body>
</html>