2019-02-09 06:00:30 +00:00
|
|
|
<!DOCTYPE html>
|
|
|
|
<html lang="en">
|
|
|
|
<head>
|
2020-06-02 00:03:27 +00:00
|
|
|
<title>PEG Playground</title>
|
2019-02-09 06:00:30 +00:00
|
|
|
<link rel="stylesheet" href="style.css" media="all">
|
|
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<div id="main">
|
|
|
|
<div class="editor-container">
|
|
|
|
<ul class="editor-header">
|
2020-05-25 02:14:43 +00:00
|
|
|
<li><span>Grammar</span></li>
|
2022-06-04 02:23:55 +00:00
|
|
|
<li class="validation-indicator"><span id="grammar-validation" class="editor-validation">Valid</span></li>
|
2019-02-09 06:00:30 +00:00
|
|
|
</ul>
|
|
|
|
<pre id="grammar-editor" class="editor-area">{{syntax}}</pre>
|
|
|
|
<div id="grammar-info" class="editor-info"></div>
|
|
|
|
</div>
|
|
|
|
<div class="editor-container">
|
|
|
|
<ul class="editor-header">
|
2020-05-25 02:14:43 +00:00
|
|
|
<li><span>Source Code</span></li>
|
2022-06-04 02:23:55 +00:00
|
|
|
<li class="validation-indicator"><span id="code-validation" class="editor-validation">Valid</span></li>
|
2019-02-09 06:00:30 +00:00
|
|
|
</ul>
|
|
|
|
<pre id="code-editor" class="editor-area">{{source}}</pre>
|
2022-06-03 23:25:49 +00:00
|
|
|
<div id="code-info" class="editor-info"></div>
|
|
|
|
</div>
|
|
|
|
<div class="editor-container">
|
|
|
|
<ul class="editor-header">
|
2022-06-04 02:23:55 +00:00
|
|
|
<li class="option"><span><input id="packrat" type="checkbox"><label>Packrat</label></span></li>
|
|
|
|
<li class="option"><span><input id="auto-refresh" type="checkbox"><label>Auto Refresh</label><button id="parse" class="parse">Parse</button></span></li>
|
2022-06-03 23:25:49 +00:00
|
|
|
</ul>
|
2020-05-25 02:14:43 +00:00
|
|
|
<div class="editor-sub-header">AST</div>
|
2019-02-09 06:00:30 +00:00
|
|
|
<pre id="code-ast" class="editor-area"></pre>
|
2020-05-25 21:31:22 +00:00
|
|
|
<div class="editor-sub-header">Optimized AST
|
2022-06-04 02:23:55 +00:00
|
|
|
mode: <select id="opt-mode" type="checkbox"><option value="all">All</option><option value="only">Only</option></select>
|
2020-05-25 02:14:43 +00:00
|
|
|
</div>
|
2019-02-09 06:00:30 +00:00
|
|
|
<pre id="code-ast-optimized" class="editor-area"></pre>
|
2022-06-03 23:25:49 +00:00
|
|
|
<div class="editor-sub-header">Profile</div>
|
|
|
|
<div id="profile" class="editor-area"></div>
|
2019-02-09 06:00:30 +00:00
|
|
|
</div>
|
|
|
|
</div>
|
2019-02-13 03:49:52 +00:00
|
|
|
<script src="https://cdnjs.cloudflare.com/ajax/libs/ace/1.4.2/ace.js"></script>
|
|
|
|
<script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script>
|
2019-02-09 06:00:30 +00:00
|
|
|
<script src="index.js"></script>
|
|
|
|
<script src="native.js"></script>
|
|
|
|
</body>
|
|
|
|
</html>
|