Skip to content

Commit d0d0507

Browse files
committed
internal: replace TreeSink with a data structure
The general theme of this is to make parser a better independent library. The specific thing we do here is replacing callback based TreeSink with a data structure. That is, rather than calling user-provided tree construction methods, the parser now spits out a very bare-bones tree, effectively a log of a DFS traversal. This makes the parser usable without any *specifc* tree sink, and allows us to, eg, move tests into this crate. Now, it's also true that this is a distinction without a difference, as the old and the new interface are equivalent in expressiveness. Still, this new thing seems somewhat simpler. But yeah, I admit I don't have a suuper strong motivation here, just a hunch that this is better.
1 parent 2f63558 commit d0d0507

File tree

10 files changed

+172
-110
lines changed

10 files changed

+172
-110
lines changed

crates/mbe/src/syntax_bridge.rs

Lines changed: 13 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
//! Conversions between [`SyntaxNode`] and [`tt::TokenTree`].
22
3-
use parser::{ParseError, TreeSink};
43
use rustc_hash::{FxHashMap, FxHashSet};
54
use syntax::{
65
ast::{self, make::tokens::doc_comment},
@@ -56,8 +55,18 @@ pub fn token_tree_to_syntax_node(
5655
_ => TokenBuffer::from_subtree(tt),
5756
};
5857
let parser_tokens = to_parser_tokens(&buffer);
58+
let tree_traversal = parser::parse(&parser_tokens, entry_point);
5959
let mut tree_sink = TtTreeSink::new(buffer.begin());
60-
parser::parse(&parser_tokens, &mut tree_sink, entry_point);
60+
for event in tree_traversal.iter() {
61+
match event {
62+
parser::TraversalStep::Token { kind, n_raw_tokens } => {
63+
tree_sink.token(kind, n_raw_tokens)
64+
}
65+
parser::TraversalStep::EnterNode { kind } => tree_sink.start_node(kind),
66+
parser::TraversalStep::LeaveNode => tree_sink.finish_node(),
67+
parser::TraversalStep::Error { msg } => tree_sink.error(msg.to_string()),
68+
}
69+
}
6170
if tree_sink.roots.len() != 1 {
6271
return Err(ExpandError::ConversionError);
6372
}
@@ -643,7 +652,7 @@ fn delim_to_str(d: tt::DelimiterKind, closing: bool) -> &'static str {
643652
&texts[idx..texts.len() - (1 - idx)]
644653
}
645654

646-
impl<'a> TreeSink for TtTreeSink<'a> {
655+
impl<'a> TtTreeSink<'a> {
647656
fn token(&mut self, kind: SyntaxKind, mut n_tokens: u8) {
648657
if kind == LIFETIME_IDENT {
649658
n_tokens = 2;
@@ -741,7 +750,7 @@ impl<'a> TreeSink for TtTreeSink<'a> {
741750
*self.roots.last_mut().unwrap() -= 1;
742751
}
743752

744-
fn error(&mut self, error: ParseError) {
753+
fn error(&mut self, error: String) {
745754
self.inner.error(error, self.text_pos)
746755
}
747756
}

crates/mbe/src/tt_iter.rs

Lines changed: 21 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,8 @@
33
44
use crate::{to_parser_tokens::to_parser_tokens, ExpandError, ExpandResult, ParserEntryPoint};
55

6-
use parser::TreeSink;
76
use syntax::SyntaxKind;
8-
use tt::buffer::{Cursor, TokenBuffer};
7+
use tt::buffer::TokenBuffer;
98

109
macro_rules! err {
1110
() => {
@@ -94,34 +93,28 @@ impl<'a> TtIter<'a> {
9493
&mut self,
9594
entry_point: ParserEntryPoint,
9695
) -> ExpandResult<Option<tt::TokenTree>> {
97-
struct OffsetTokenSink<'a> {
98-
cursor: Cursor<'a>,
99-
error: bool,
100-
}
101-
102-
impl<'a> TreeSink for OffsetTokenSink<'a> {
103-
fn token(&mut self, kind: SyntaxKind, mut n_tokens: u8) {
104-
if kind == SyntaxKind::LIFETIME_IDENT {
105-
n_tokens = 2;
106-
}
107-
for _ in 0..n_tokens {
108-
self.cursor = self.cursor.bump_subtree();
96+
let buffer = TokenBuffer::from_tokens(self.inner.as_slice());
97+
let parser_tokens = to_parser_tokens(&buffer);
98+
let tree_traversal = parser::parse(&parser_tokens, entry_point);
99+
100+
let mut cursor = buffer.begin();
101+
let mut error = false;
102+
for step in tree_traversal.iter() {
103+
match step {
104+
parser::TraversalStep::Token { kind, mut n_raw_tokens } => {
105+
if kind == SyntaxKind::LIFETIME_IDENT {
106+
n_raw_tokens = 2;
107+
}
108+
for _ in 0..n_raw_tokens {
109+
cursor = cursor.bump_subtree();
110+
}
109111
}
110-
}
111-
fn start_node(&mut self, _kind: SyntaxKind) {}
112-
fn finish_node(&mut self) {}
113-
fn error(&mut self, _error: parser::ParseError) {
114-
self.error = true;
112+
parser::TraversalStep::EnterNode { .. } | parser::TraversalStep::LeaveNode => (),
113+
parser::TraversalStep::Error { .. } => error = true,
115114
}
116115
}
117116

118-
let buffer = TokenBuffer::from_tokens(self.inner.as_slice());
119-
let parser_tokens = to_parser_tokens(&buffer);
120-
let mut sink = OffsetTokenSink { cursor: buffer.begin(), error: false };
121-
122-
parser::parse(&parser_tokens, &mut sink, entry_point);
123-
124-
let mut err = if !sink.cursor.is_root() || sink.error {
117+
let mut err = if !cursor.is_root() || error {
125118
Some(err!("expected {:?}", entry_point))
126119
} else {
127120
None
@@ -130,8 +123,8 @@ impl<'a> TtIter<'a> {
130123
let mut curr = buffer.begin();
131124
let mut res = vec![];
132125

133-
if sink.cursor.is_root() {
134-
while curr != sink.cursor {
126+
if cursor.is_root() {
127+
while curr != cursor {
135128
if let Some(token) = curr.token_tree() {
136129
res.push(token);
137130
}

crates/parser/src/event.rs

Lines changed: 10 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -10,9 +10,8 @@
1010
use std::mem;
1111

1212
use crate::{
13-
ParseError,
13+
tree_traversal::TreeTraversal,
1414
SyntaxKind::{self, *},
15-
TreeSink,
1615
};
1716

1817
/// `Parser` produces a flat list of `Event`s.
@@ -77,7 +76,7 @@ pub(crate) enum Event {
7776
},
7877

7978
Error {
80-
msg: ParseError,
79+
msg: String,
8180
},
8281
}
8382

@@ -88,7 +87,8 @@ impl Event {
8887
}
8988

9089
/// Generate the syntax tree with the control of events.
91-
pub(super) fn process(sink: &mut dyn TreeSink, mut events: Vec<Event>) {
90+
pub(super) fn process(mut events: Vec<Event>) -> TreeTraversal {
91+
let mut res = TreeTraversal::default();
9292
let mut forward_parents = Vec::new();
9393

9494
for i in 0..events.len() {
@@ -117,15 +117,17 @@ pub(super) fn process(sink: &mut dyn TreeSink, mut events: Vec<Event>) {
117117

118118
for kind in forward_parents.drain(..).rev() {
119119
if kind != TOMBSTONE {
120-
sink.start_node(kind);
120+
res.enter_node(kind);
121121
}
122122
}
123123
}
124-
Event::Finish => sink.finish_node(),
124+
Event::Finish => res.leave_node(),
125125
Event::Token { kind, n_raw_tokens } => {
126-
sink.token(kind, n_raw_tokens);
126+
res.token(kind, n_raw_tokens);
127127
}
128-
Event::Error { msg } => sink.error(msg),
128+
Event::Error { msg } => res.error(msg),
129129
}
130130
}
131+
132+
res
131133
}

crates/parser/src/lib.rs

Lines changed: 13 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -25,31 +25,19 @@ mod event;
2525
mod parser;
2626
mod grammar;
2727
mod tokens;
28+
mod tree_traversal;
2829

2930
#[cfg(test)]
3031
mod tests;
3132

3233
pub(crate) use token_set::TokenSet;
3334

34-
pub use crate::{lexed_str::LexedStr, syntax_kind::SyntaxKind, tokens::Tokens};
35-
36-
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
37-
pub struct ParseError(pub Box<String>);
38-
39-
/// `TreeSink` abstracts details of a particular syntax tree implementation.
40-
pub trait TreeSink {
41-
/// Adds new token to the current branch.
42-
fn token(&mut self, kind: SyntaxKind, n_tokens: u8);
43-
44-
/// Start new branch and make it current.
45-
fn start_node(&mut self, kind: SyntaxKind);
46-
47-
/// Finish current branch and restore previous
48-
/// branch as current.
49-
fn finish_node(&mut self);
50-
51-
fn error(&mut self, error: ParseError);
52-
}
35+
pub use crate::{
36+
lexed_str::LexedStr,
37+
syntax_kind::SyntaxKind,
38+
tokens::Tokens,
39+
tree_traversal::{TraversalStep, TreeTraversal},
40+
};
5341

5442
/// rust-analyzer parser allows you to choose one of the possible entry points.
5543
///
@@ -74,11 +62,11 @@ pub enum ParserEntryPoint {
7462
}
7563

7664
/// Parse given tokens into the given sink as a rust file.
77-
pub fn parse_source_file(tokens: &Tokens, tree_sink: &mut dyn TreeSink) {
78-
parse(tokens, tree_sink, ParserEntryPoint::SourceFile);
65+
pub fn parse_source_file(tokens: &Tokens) -> TreeTraversal {
66+
parse(tokens, ParserEntryPoint::SourceFile)
7967
}
8068

81-
pub fn parse(tokens: &Tokens, tree_sink: &mut dyn TreeSink, entry_point: ParserEntryPoint) {
69+
pub fn parse(tokens: &Tokens, entry_point: ParserEntryPoint) -> TreeTraversal {
8270
let entry_point: fn(&'_ mut parser::Parser) = match entry_point {
8371
ParserEntryPoint::SourceFile => grammar::entry_points::source_file,
8472
ParserEntryPoint::Path => grammar::entry_points::path,
@@ -99,7 +87,7 @@ pub fn parse(tokens: &Tokens, tree_sink: &mut dyn TreeSink, entry_point: ParserE
9987
let mut p = parser::Parser::new(tokens);
10088
entry_point(&mut p);
10189
let events = p.finish();
102-
event::process(tree_sink, events);
90+
event::process(events)
10391
}
10492

10593
/// A parsing function for a specific braced-block.
@@ -119,11 +107,11 @@ impl Reparser {
119107
///
120108
/// Tokens must start with `{`, end with `}` and form a valid brace
121109
/// sequence.
122-
pub fn parse(self, tokens: &Tokens, tree_sink: &mut dyn TreeSink) {
110+
pub fn parse(self, tokens: &Tokens) -> TreeTraversal {
123111
let Reparser(r) = self;
124112
let mut p = parser::Parser::new(tokens);
125113
r(&mut p);
126114
let events = p.finish();
127-
event::process(tree_sink, events);
115+
event::process(events)
128116
}
129117
}

crates/parser/src/parser.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@ use limit::Limit;
88
use crate::{
99
event::Event,
1010
tokens::Tokens,
11-
ParseError,
1211
SyntaxKind::{self, EOF, ERROR, TOMBSTONE},
1312
TokenSet, T,
1413
};
@@ -196,7 +195,7 @@ impl<'t> Parser<'t> {
196195
/// structured errors with spans and notes, like rustc
197196
/// does.
198197
pub(crate) fn error<T: Into<String>>(&mut self, message: T) {
199-
let msg = ParseError(Box::new(message.into()));
198+
let msg = message.into();
200199
self.push_event(Event::Error { msg });
201200
}
202201

crates/parser/src/tree_traversal.rs

Lines changed: 67 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,67 @@
1+
//! TODO
2+
use crate::SyntaxKind;
3+
4+
/// Output of the parser.
5+
#[derive(Default)]
6+
pub struct TreeTraversal {
7+
/// 32-bit encoding of events. If LSB is zero, then that's an index into the
8+
/// error vector. Otherwise, it's one of the thee other variants, with data encoded as
9+
///
10+
/// |16 bit kind|8 bit n_raw_tokens|4 bit tag|4 bit leftover|
11+
///
12+
event: Vec<u32>,
13+
error: Vec<String>,
14+
}
15+
16+
pub enum TraversalStep<'a> {
17+
Token { kind: SyntaxKind, n_raw_tokens: u8 },
18+
EnterNode { kind: SyntaxKind },
19+
LeaveNode,
20+
Error { msg: &'a str },
21+
}
22+
23+
impl TreeTraversal {
24+
pub fn iter(&self) -> impl Iterator<Item = TraversalStep<'_>> {
25+
self.event.iter().map(|&event| {
26+
if event & 0b1 == 0 {
27+
return TraversalStep::Error { msg: self.error[(event as usize) >> 1].as_str() };
28+
}
29+
let tag = ((event & 0x0000_00F0) >> 4) as u8;
30+
match tag {
31+
0 => {
32+
let kind: SyntaxKind = (((event & 0xFFFF_0000) >> 16) as u16).into();
33+
let n_raw_tokens = ((event & 0x0000_FF00) >> 8) as u8;
34+
TraversalStep::Token { kind, n_raw_tokens }
35+
}
36+
1 => {
37+
let kind: SyntaxKind = (((event & 0xFFFF_0000) >> 16) as u16).into();
38+
TraversalStep::EnterNode { kind }
39+
}
40+
2 => TraversalStep::LeaveNode,
41+
_ => unreachable!(),
42+
}
43+
})
44+
}
45+
46+
pub(crate) fn token(&mut self, kind: SyntaxKind, n_tokens: u8) {
47+
let e = ((kind as u16 as u32) << 16) | ((n_tokens as u32) << 8) | (0 << 4) | 1;
48+
self.event.push(e)
49+
}
50+
51+
pub(crate) fn enter_node(&mut self, kind: SyntaxKind) {
52+
let e = ((kind as u16 as u32) << 16) | (1 << 4) | 1;
53+
self.event.push(e)
54+
}
55+
56+
pub(crate) fn leave_node(&mut self) {
57+
let e = 2 << 4 | 1;
58+
self.event.push(e)
59+
}
60+
61+
pub(crate) fn error(&mut self, error: String) {
62+
let idx = self.error.len();
63+
self.error.push(error);
64+
let e = (idx as u32) << 1;
65+
self.event.push(e);
66+
}
67+
}

crates/syntax/src/parsing.rs

Lines changed: 10 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -4,24 +4,18 @@
44
mod text_tree_sink;
55
mod reparsing;
66

7-
use parser::SyntaxKind;
8-
use text_tree_sink::TextTreeSink;
9-
10-
use crate::{syntax_node::GreenNode, AstNode, SyntaxError, SyntaxNode};
7+
use crate::{
8+
parsing::text_tree_sink::build_tree, syntax_node::GreenNode, AstNode, SyntaxError, SyntaxNode,
9+
};
1110

1211
pub(crate) use crate::parsing::reparsing::incremental_reparse;
1312

1413
pub(crate) fn parse_text(text: &str) -> (GreenNode, Vec<SyntaxError>) {
1514
let lexed = parser::LexedStr::new(text);
1615
let parser_tokens = lexed.to_tokens();
17-
18-
let mut tree_sink = TextTreeSink::new(lexed);
19-
20-
parser::parse_source_file(&parser_tokens, &mut tree_sink);
21-
22-
let (tree, parser_errors) = tree_sink.finish();
23-
24-
(tree, parser_errors)
16+
let tree_traversal = parser::parse_source_file(&parser_tokens);
17+
let (node, errors, _eof) = build_tree(lexed, tree_traversal, false);
18+
(node, errors)
2519
}
2620

2721
/// Returns `text` parsed as a `T` provided there are no parse errors.
@@ -34,20 +28,12 @@ pub(crate) fn parse_text_as<T: AstNode>(
3428
return Err(());
3529
}
3630
let parser_tokens = lexed.to_tokens();
31+
let tree_traversal = parser::parse(&parser_tokens, entry_point);
32+
let (node, errors, eof) = build_tree(lexed, tree_traversal, true);
3733

38-
let mut tree_sink = TextTreeSink::new(lexed);
39-
40-
// TextTreeSink assumes that there's at least some root node to which it can attach errors and
41-
// tokens. We arbitrarily give it a SourceFile.
42-
use parser::TreeSink;
43-
tree_sink.start_node(SyntaxKind::SOURCE_FILE);
44-
parser::parse(&parser_tokens, &mut tree_sink, entry_point);
45-
tree_sink.finish_node();
46-
47-
let (tree, parser_errors, eof) = tree_sink.finish_eof();
48-
if !parser_errors.is_empty() || !eof {
34+
if !errors.is_empty() || !eof {
4935
return Err(());
5036
}
5137

52-
SyntaxNode::new_root(tree).first_child().and_then(T::cast).ok_or(())
38+
SyntaxNode::new_root(node).first_child().and_then(T::cast).ok_or(())
5339
}

0 commit comments

Comments
 (0)