6 releases (3 breaking)
0.7.0 | Nov 1, 2023 |
---|---|
0.6.2 | May 31, 2022 |
0.5.0 | May 10, 2022 |
0.4.1 | May 5, 2022 |
0.1.0 |
|
#2000 in Parser implementations
71KB
1.5K
SLoC
eventree – a Rust library for creating lossless syntax trees.
Please see the docs.
lib.rs
:
A Rust library for creating lossless syntax trees.
Let’s construct a syntax tree that can represent the following expression:
foo+10*20
This is the tree we want to build:
Root
BinaryExpr
Ident "foo"
Plus "+"
BinaryExpr
Number "10"
Star "*"
Number "20"
What kinds of nodes and tokens do we have here?
enum NodeKind {
Root,
BinaryExpr,
}
enum TokenKind {
Number,
Ident,
Plus,
Star,
}
Before we can use these enums,
we have to teach eventree how to convert between them and u16
s,
which can be stored generically in the syntax tree
no matter what enums the users of this library define.
I know that it’s a lot of boilerplate and that all those unsafe
s look really scary,
but I promise it isn’t too bad!
#[derive(Debug, PartialEq)]
#[repr(u8)]
enum NodeKind {
Root,
BinaryExpr,
}
#[derive(Debug, PartialEq)]
#[repr(u8)]
enum TokenKind {
Number,
Ident,
Plus,
Star,
}
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
enum TreeConfig {}
unsafe impl eventree::TreeConfig for TreeConfig {
type NodeKind = NodeKind;
type TokenKind = TokenKind;
fn node_kind_to_raw(node_kind: Self::NodeKind) -> u16 {
node_kind as u16
}
fn token_kind_to_raw(token_kind: Self::TokenKind) -> u16 {
token_kind as u16
}
unsafe fn node_kind_from_raw(raw: u16) -> Self::NodeKind {
std::mem::transmute(raw as u8)
}
unsafe fn token_kind_from_raw(raw: u16) -> Self::TokenKind {
std::mem::transmute(raw as u8)
}
}
Continue by creating a SyntaxBuilder
,
which lets you construct syntax trees:
let mut builder = eventree::SyntaxBuilder::<TreeConfig>::new("foo+10*20");
eventree, as the name implies (thanks Quirl!), is based around events. To explain what that means, let me bring back that syntax tree from earlier:
Root
BinaryExpr
Ident "foo"
Plus "+"
BinaryExpr
Number "10"
Star "*"
Number "20"
And now as events:
START_NODE Root
START_NODE BinaryExpr
ADD_TOKEN Ident "foo"
ADD_TOKEN Plus "+"
START_NODE BinaryExpr
ADD_TOKEN Number "10"
ADD_TOKEN Star "*"
ADD_TOKEN Number "20"
FINISH_NODE
FINISH_NODE
FINISH_NODE
What’s great about this is that we’ve transformed a tree structure into a flat sequence. Maybe it’s a bit more obvious if I show it like this:
[
START_NODE Root,
START_NODE BinaryExpr,
ADD_TOKEN Ident "foo",
ADD_TOKEN Plus "+",
START_NODE BinaryExpr,
ADD_TOKEN Number "10",
ADD_TOKEN Star "*",
ADD_TOKEN Number "20",
FINISH_NODE,
FINISH_NODE,
FINISH_NODE,
]
What eventree does is it stores a sequence of events like the one above in an efficient format, while providing convenient APIs for traversing the tree.
Before we get too ahead of ourselves, let’s construct the tree:
use eventree::{SyntaxBuilder, TextRange};
let mut builder = SyntaxBuilder::<TreeConfig>::new("foo+10*20");
builder.start_node(NodeKind::Root);
builder.start_node(NodeKind::BinaryExpr);
builder.add_token(TokenKind::Ident, TextRange::new(0.into(), 3.into()));
builder.add_token(TokenKind::Plus, TextRange::new(3.into(), 4.into()));
builder.start_node(NodeKind::BinaryExpr);
builder.add_token(TokenKind::Number, TextRange::new(4.into(), 6.into()));
builder.add_token(TokenKind::Star, TextRange::new(6.into(), 7.into()));
builder.add_token(TokenKind::Number, TextRange::new(7.into(), 9.into()));
builder.finish_node();
builder.finish_node();
builder.finish_node();
Note how rather than specifying the text of each token directly we’re instead just passing the range of each one in the original input.
The last thing we’ll go over is some examples of the APIs eventree provides.
use eventree::{SyntaxBuilder, SyntaxNode, SyntaxToken, SyntaxTree, TextRange};
let mut builder = SyntaxBuilder::<TreeConfig>::new("foo+10*20");
builder.start_node(NodeKind::Root);
// ...
builder.finish_node();
let tree = builder.finish();
// let’s get the root of the tree
let root = tree.root();
// we can get the kind, text and range of nodes
assert_eq!(root.kind(&tree), NodeKind::Root);
assert_eq!(root.text(&tree), "foo+10*20");
assert_eq!(root.range(&tree), TextRange::new(0.into(), 9.into()));
// we can get the child nodes in the root; there’s just one, the BinaryExpr
let mut child_nodes = root.child_nodes(&tree);
let binary_expr = child_nodes.next().unwrap();
assert_eq!(binary_expr.kind(&tree), NodeKind::BinaryExpr);
assert!(child_nodes.next().is_none());
// let’s look at the descendant tokens of the BinaryExpr
let mut descendant_tokens = binary_expr.descendant_tokens(&tree);
// we can also get the kind, text and range of tokens
let ident = descendant_tokens.next().unwrap();
assert_eq!(ident.kind(&tree), TokenKind::Ident);
assert_eq!(ident.text(&tree), "foo");
assert_eq!(ident.range(&tree), TextRange::new(0.into(), 3.into()));
// let’s finish off by going through all descendant tokens
// until we reach the end
assert_eq!(descendant_tokens.next().unwrap().text(&tree), "+");
assert_eq!(descendant_tokens.next().unwrap().text(&tree), "10");
assert_eq!(descendant_tokens.next().unwrap().text(&tree), "*");
assert_eq!(descendant_tokens.next().unwrap().text(&tree), "20");
assert!(descendant_tokens.next().is_none());
I hope this was helpful!
Dependencies
~66KB