-
Notifications
You must be signed in to change notification settings - Fork 5
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
0 parents
commit 6a6dd3d
Showing
579 changed files
with
37,857 additions
and
0 deletions.
There are no files selected for viewing
Empty file.
Empty file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
window.ALL_CRATES = ["tree_sitter_uvl","uvls"]; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
<!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="Documentation for Rustdoc"><title>Help</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-46f98efaafac5295.ttf.woff2,FiraSans-Regular-018c141bf0843ffd.woff2,FiraSans-Medium-8f9a781e4970d388.woff2,SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2,SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/${f}">`).join(""))</script><link rel="stylesheet" href="./static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="./static.files/rustdoc-dd39b87e5fcfba68.css"><meta name="rustdoc-vars" data-root-path="./" data-static-root-path="./static.files/" data-current-crate="uvls" data-themes="" data-resource-suffix="" data-rustdoc-version="1.80.1 (3f5fd8dd4 2024-08-06)" data-channel="1.80.1" data-search-js="search-d52510db62a78183.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="./static.files/storage-118b08c4c78b968e.js"></script><script defer src="./static.files/main-20a3ad099b048cf2.js"></script><noscript><link rel="stylesheet" href="./static.files/noscript-df360f571f6edeae.css"></noscript><link rel="alternate icon" type="image/png" href="./static.files/favicon-32x32-422f7d1d52889060.png"><link rel="icon" type="image/svg+xml" href="./static.files/favicon-2c020d218678b618.svg"></head><body class="rustdoc mod sys"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt=""></a></nav><nav class="sidebar"><div class="sidebar-crate"><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt="logo"></a><h2><a href="./index.html">Rustdoc</a><span class="version">1.80.1</span></h2></div><div class="version">(3f5fd8dd4 2024-08-06)</div><h2 class="location">Help</h2><div class="sidebar-elems"></div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="main-heading"><h1>Rustdoc help</h1><span class="out-of-band"><a id="back" href="javascript:void(0)" onclick="history.back();">Back</a></span></div><noscript><section><p>You need to enable JavaScript to use keyboard commands or search.</p><p>For more information, browse the <a href="https://doc.rust-lang.org/rustdoc/">rustdoc handbook</a>.</p></section></noscript></section></div></main></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
<meta http-equiv="refresh" content="0; url=./uvls" /> |
Large diffs are not rendered by default.
Oops, something went wrong.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
<!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="Settings of Rustdoc"><title>Settings</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-46f98efaafac5295.ttf.woff2,FiraSans-Regular-018c141bf0843ffd.woff2,FiraSans-Medium-8f9a781e4970d388.woff2,SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2,SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="./static.files/${f}">`).join(""))</script><link rel="stylesheet" href="./static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="./static.files/rustdoc-dd39b87e5fcfba68.css"><meta name="rustdoc-vars" data-root-path="./" data-static-root-path="./static.files/" data-current-crate="uvls" data-themes="" data-resource-suffix="" data-rustdoc-version="1.80.1 (3f5fd8dd4 2024-08-06)" data-channel="1.80.1" data-search-js="search-d52510db62a78183.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="./static.files/storage-118b08c4c78b968e.js"></script><script defer src="./static.files/main-20a3ad099b048cf2.js"></script><noscript><link rel="stylesheet" href="./static.files/noscript-df360f571f6edeae.css"></noscript><link rel="alternate icon" type="image/png" href="./static.files/favicon-32x32-422f7d1d52889060.png"><link rel="icon" type="image/svg+xml" href="./static.files/favicon-2c020d218678b618.svg"></head><body class="rustdoc mod sys"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt=""></a></nav><nav class="sidebar"><div class="sidebar-crate"><a class="logo-container" href="./index.html"><img class="rust-logo" src="./static.files/rust-logo-151179464ae7ed46.svg" alt="logo"></a><h2><a href="./index.html">Rustdoc</a><span class="version">1.80.1</span></h2></div><div class="version">(3f5fd8dd4 2024-08-06)</div><h2 class="location">Settings</h2><div class="sidebar-elems"></div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="main-heading"><h1>Rustdoc settings</h1><span class="out-of-band"><a id="back" href="javascript:void(0)" onclick="history.back();">Back</a></span></div><noscript><section>You need to enable JavaScript be able to update your settings.</section></noscript><script defer src="./static.files/settings-4313503d2e1961c2.js"></script></section></div></main></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
var srcIndex = new Map(JSON.parse('[\ | ||
["tree_sitter_uvl",["",[],["lib.rs"]]],\ | ||
["uvls",["",[["core",[["ast",[],["collapse.rs","def.rs","graph.rs","transform.rs","visitor.rs"]]],["ast.rs","cache.rs","check.rs","config.rs","document.rs","mod.rs","module.rs","parse.rs","pipeline.rs","query.rs","resolve.rs","semantic.rs","util.rs"]],["ide",[],["actions.rs","color.rs","completion.rs","inlays.rs","location.rs","mod.rs"]],["smt",[],["parse.rs","smt_lib.rs"]],["webview",[],["frontend.rs"]]],["main.rs","smt.rs","webview.rs"]]]\ | ||
]')); | ||
createSrcSidebar(); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,131 @@ | ||
<!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="Source of the Rust file `tree-sitter-uvl/bindings/rust/lib.rs`."><title>lib.rs - source</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-46f98efaafac5295.ttf.woff2,FiraSans-Regular-018c141bf0843ffd.woff2,FiraSans-Medium-8f9a781e4970d388.woff2,SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2,SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/${f}">`).join(""))</script><link rel="stylesheet" href="../../static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="../../static.files/rustdoc-dd39b87e5fcfba68.css"><meta name="rustdoc-vars" data-root-path="../../" data-static-root-path="../../static.files/" data-current-crate="tree_sitter_uvl" data-themes="" data-resource-suffix="" data-rustdoc-version="1.80.1 (3f5fd8dd4 2024-08-06)" data-channel="1.80.1" data-search-js="search-d52510db62a78183.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="../../static.files/storage-118b08c4c78b968e.js"></script><script defer src="../../static.files/src-script-e66d777a5a92e9b2.js"></script><script defer src="../../src-files.js"></script><script defer src="../../static.files/main-20a3ad099b048cf2.js"></script><noscript><link rel="stylesheet" href="../../static.files/noscript-df360f571f6edeae.css"></noscript><link rel="alternate icon" type="image/png" href="../../static.files/favicon-32x32-422f7d1d52889060.png"><link rel="icon" type="image/svg+xml" href="../../static.files/favicon-2c020d218678b618.svg"></head><body class="rustdoc src"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="sidebar"><div class="src-sidebar-title"><h2>Files</h2></div></nav><div class="sidebar-resizer"></div><main><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="example-wrap"><div data-nosnippet><pre class="src-line-numbers"><a href="#1" id="1">1</a> | ||
<a href="#2" id="2">2</a> | ||
<a href="#3" id="3">3</a> | ||
<a href="#4" id="4">4</a> | ||
<a href="#5" id="5">5</a> | ||
<a href="#6" id="6">6</a> | ||
<a href="#7" id="7">7</a> | ||
<a href="#8" id="8">8</a> | ||
<a href="#9" id="9">9</a> | ||
<a href="#10" id="10">10</a> | ||
<a href="#11" id="11">11</a> | ||
<a href="#12" id="12">12</a> | ||
<a href="#13" id="13">13</a> | ||
<a href="#14" id="14">14</a> | ||
<a href="#15" id="15">15</a> | ||
<a href="#16" id="16">16</a> | ||
<a href="#17" id="17">17</a> | ||
<a href="#18" id="18">18</a> | ||
<a href="#19" id="19">19</a> | ||
<a href="#20" id="20">20</a> | ||
<a href="#21" id="21">21</a> | ||
<a href="#22" id="22">22</a> | ||
<a href="#23" id="23">23</a> | ||
<a href="#24" id="24">24</a> | ||
<a href="#25" id="25">25</a> | ||
<a href="#26" id="26">26</a> | ||
<a href="#27" id="27">27</a> | ||
<a href="#28" id="28">28</a> | ||
<a href="#29" id="29">29</a> | ||
<a href="#30" id="30">30</a> | ||
<a href="#31" id="31">31</a> | ||
<a href="#32" id="32">32</a> | ||
<a href="#33" id="33">33</a> | ||
<a href="#34" id="34">34</a> | ||
<a href="#35" id="35">35</a> | ||
<a href="#36" id="36">36</a> | ||
<a href="#37" id="37">37</a> | ||
<a href="#38" id="38">38</a> | ||
<a href="#39" id="39">39</a> | ||
<a href="#40" id="40">40</a> | ||
<a href="#41" id="41">41</a> | ||
<a href="#42" id="42">42</a> | ||
<a href="#43" id="43">43</a> | ||
<a href="#44" id="44">44</a> | ||
<a href="#45" id="45">45</a> | ||
<a href="#46" id="46">46</a> | ||
<a href="#47" id="47">47</a> | ||
<a href="#48" id="48">48</a> | ||
<a href="#49" id="49">49</a> | ||
<a href="#50" id="50">50</a> | ||
<a href="#51" id="51">51</a> | ||
<a href="#52" id="52">52</a> | ||
<a href="#53" id="53">53</a> | ||
<a href="#54" id="54">54</a> | ||
<a href="#55" id="55">55</a> | ||
<a href="#56" id="56">56</a> | ||
<a href="#57" id="57">57</a> | ||
<a href="#58" id="58">58</a> | ||
<a href="#59" id="59">59</a> | ||
<a href="#60" id="60">60</a> | ||
<a href="#61" id="61">61</a> | ||
<a href="#62" id="62">62</a> | ||
<a href="#63" id="63">63</a> | ||
<a href="#64" id="64">64</a> | ||
<a href="#65" id="65">65</a> | ||
</pre></div><pre class="rust"><code><span class="doccomment">//! This crate provides uvl language support for the [tree-sitter][] parsing library. | ||
//! | ||
//! Typically, you will use the [language][language func] function to add this language to a | ||
//! tree-sitter [Parser][], and then use the parser to parse some code: | ||
//! | ||
//! ``` | ||
//! let code = ""; | ||
//! let mut parser = tree_sitter::Parser::new(); | ||
//! parser.set_language(tree_sitter_uvl::language()).expect("Error loading uvl grammar"); | ||
//! let tree = parser.parse(code, None).unwrap(); | ||
//! ``` | ||
//! | ||
//! [Language]: https://docs.rs/tree-sitter/*/tree_sitter/struct.Language.html | ||
//! [language func]: fn.language.html | ||
//! [Parser]: https://docs.rs/tree-sitter/*/tree_sitter/struct.Parser.html | ||
//! [tree-sitter]: https://tree-sitter.github.io/ | ||
|
||
</span><span class="kw">use </span>tree_sitter::Language; | ||
|
||
<span class="kw">extern </span><span class="string">"C" </span>{ | ||
<span class="kw">fn </span>tree_sitter_uvl() -> Language; | ||
} | ||
|
||
<span class="doccomment">/// Get the tree-sitter [Language][] for this grammar. | ||
/// | ||
/// [Language]: https://docs.rs/tree-sitter/*/tree_sitter/struct.Language.html | ||
</span><span class="kw">pub fn </span>language() -> Language { | ||
<span class="kw">unsafe </span>{ tree_sitter_uvl() } | ||
} | ||
|
||
<span class="doccomment">/// The content of the [`node-types.json`][] file for this grammar. | ||
/// | ||
/// [`node-types.json`]: https://tree-sitter.github.io/tree-sitter/using-parsers#static-node-types | ||
</span><span class="kw">pub const </span>NODE_TYPES: <span class="kw-2">&</span><span class="lifetime">'static </span>str = <span class="macro">include_str!</span>(<span class="string">"../../src/node-types.json"</span>); | ||
|
||
<span class="comment">// Uncomment these to include any queries that this grammar contains | ||
|
||
// pub const HIGHLIGHTS_QUERY: &'static str = include_str!("../../queries/highlights.scm"); | ||
// pub const INJECTIONS_QUERY: &'static str = include_str!("../../queries/injections.scm"); | ||
// pub const LOCALS_QUERY: &'static str = include_str!("../../queries/locals.scm"); | ||
// pub const TAGS_QUERY: &'static str = include_str!("../../queries/tags.scm"); | ||
|
||
</span><span class="attr">#[cfg(test)] | ||
</span><span class="kw">mod </span>tests { | ||
<span class="attr">#[test] | ||
</span><span class="kw">fn </span>test_can_load_grammar() { | ||
<span class="kw">let </span><span class="kw-2">mut </span>parser = tree_sitter::Parser::new(); | ||
parser | ||
.set_language(<span class="kw">super</span>::language()) | ||
.expect(<span class="string">"Error loading uvl language"</span>); | ||
<span class="kw">let </span>tree = parser.parse(<span class="string">"10+10"</span>, <span class="prelude-val">None</span>).unwrap(); | ||
<span class="kw">let </span><span class="kw-2">mut </span>cursor = tree.walk(); | ||
cursor.goto_first_child(); | ||
cursor.goto_first_child(); | ||
cursor.goto_first_child(); | ||
cursor.goto_first_child(); | ||
<span class="kw">loop </span>{ | ||
<span class="macro">println!</span>(<span class="string">"{}"</span>, cursor.node().kind()); | ||
<span class="macro">println!</span>(<span class="string">"{:?}"</span>, cursor.field_name()); | ||
<span class="kw">if </span>!cursor.goto_next_sibling() { | ||
<span class="kw">break</span>; | ||
} | ||
} | ||
} | ||
} | ||
</code></pre></div></section></main></body></html> |
Oops, something went wrong.