tree-sitter/docs/section-7-playground.html

68 lines
2.1 KiB
HTML
Raw Normal View History

2019-04-24 16:58:30 -07:00
---
layout: default
title: Playground
permalink: playground
---
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.45.0/codemirror.min.css">
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/clusterize.js/0.18.0/clusterize.min.css">
2019-04-24 16:58:30 -07:00
<h1>Syntax Tree Playground</h1>
2019-04-24 16:58:30 -07:00
<div id="playground-container" style="visibility: hidden;">
<h4>Code</h4>
<select id="language-select">
<option value="bash">Bash</option>
<option value="c">C</option>
<option value="cpp">C++</option>
2019-12-02 14:00:26 -08:00
<option value="c_sharp">C#</option>
2019-04-24 16:58:30 -07:00
<option value="go">Go</option>
<option value="html">HTML</option>
<option value="java">Java</option>
2019-04-24 16:58:30 -07:00
<option value="javascript" selected="selected">JavaScript</option>
2020-01-17 13:30:02 -08:00
<option value="php">PHP</option>
2019-04-24 16:58:30 -07:00
<option value="python">Python</option>
<option value="ruby">Ruby</option>
<option value="rust">Rust</option>
<option value="toml">TOML</option>
<option value="typescript">TypeScript</option>
<option value="yaml">YAML</option>
2020-03-03 21:46:20 +00:00
<option value="ql">QL</option>
2019-04-24 16:58:30 -07:00
</select>
<input id="logging-checkbox" type="checkbox"></input>
<label for="logging-checkbox">Log</label>
<input id="query-checkbox" type="checkbox"></input>
<label for="query-checkbox">Query</label>
2019-04-24 16:58:30 -07:00
<textarea id="code-input">
</textarea>
<div id="query-container" style="visibility: hidden; position: absolute;">
<h4>Query</h4>
<textarea id="query-input"></textarea>
</div>
2019-04-24 16:58:30 -07:00
<h4>Tree</h4>
<span id="update-time"></span>
<div id="output-container-scroll">
<pre id="output-container" class="highlight"></pre>
</div>
2019-04-24 16:58:30 -07:00
</div>
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.45.0/codemirror.min.js"></script>
{% if jekyll.environment == "development" %}
<script>LANGUAGE_BASE_URL = "/assets/js";</script>
<script src="/assets/js/tree-sitter.js"></script>
{% else %}
<script>LANGUAGE_BASE_URL = "https://tree-sitter.github.io";</script>
<script src="https://tree-sitter.github.io/tree-sitter.js"></script>
{% endif %}
<script src="https://cdnjs.cloudflare.com/ajax/libs/clusterize.js/0.18.0/clusterize.min.js"></script>
2019-04-27 17:54:14 -07:00
<script src="{{ '/assets/js/playground.js' | relative_url }}"></script>