diff options
author | Aleksey Kladov <[email protected]> | 2018-10-08 13:44:00 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2018-10-08 13:44:00 +0100 |
commit | 86a7ac2d31e97c42a9da8d8fd539b5a0de0fa795 (patch) | |
tree | 17d16374b28e3221cfb793340b32aabe2f4fd1dd | |
parent | 3c12d38a32f5c87e87d9dbced774453216086bab (diff) |
Simplify event processing
-rw-r--r-- | crates/ra_editor/src/scope/fn_scope.rs | 9 | ||||
-rw-r--r-- | crates/ra_syntax/src/lib.rs | 3 | ||||
-rw-r--r-- | crates/ra_syntax/src/parser_impl/event.rs | 148 | ||||
-rw-r--r-- | crates/ra_syntax/src/parser_impl/mod.rs | 25 | ||||
-rw-r--r-- | crates/ra_syntax/src/reparsing.rs | 3 | ||||
-rw-r--r-- | crates/ra_syntax/src/yellow/builder.rs | 32 |
6 files changed, 122 insertions, 98 deletions
diff --git a/crates/ra_editor/src/scope/fn_scope.rs b/crates/ra_editor/src/scope/fn_scope.rs index a99bd1822..65d85279f 100644 --- a/crates/ra_editor/src/scope/fn_scope.rs +++ b/crates/ra_editor/src/scope/fn_scope.rs | |||
@@ -245,11 +245,13 @@ pub fn resolve_local_name<'a>(name_ref: ast::NameRef, scopes: &'a FnScopes) -> O | |||
245 | use std::collections::HashSet; | 245 | use std::collections::HashSet; |
246 | 246 | ||
247 | let mut shadowed = HashSet::new(); | 247 | let mut shadowed = HashSet::new(); |
248 | scopes.scope_chain(name_ref.syntax()) | 248 | let ret = scopes.scope_chain(name_ref.syntax()) |
249 | .flat_map(|scope| scopes.entries(scope).iter()) | 249 | .flat_map(|scope| scopes.entries(scope).iter()) |
250 | .filter(|entry| shadowed.insert(entry.name())) | 250 | .filter(|entry| shadowed.insert(entry.name())) |
251 | .filter(|entry| entry.name() == name_ref.text()) | 251 | .filter(|entry| entry.name() == name_ref.text()) |
252 | .nth(0) | 252 | .nth(0); |
253 | eprintln!("ret = {:?}", ret); | ||
254 | ret | ||
253 | } | 255 | } |
254 | 256 | ||
255 | #[cfg(test)] | 257 | #[cfg(test)] |
@@ -357,7 +359,6 @@ mod tests { | |||
357 | let scopes = FnScopes::new(fn_def); | 359 | let scopes = FnScopes::new(fn_def); |
358 | 360 | ||
359 | let local_name = resolve_local_name(name_ref, &scopes).unwrap().ast().name().unwrap(); | 361 | let local_name = resolve_local_name(name_ref, &scopes).unwrap().ast().name().unwrap(); |
360 | |||
361 | let expected_name = find_node_at_offset::<ast::Name>(file.syntax(), expected_offset.into()).unwrap(); | 362 | let expected_name = find_node_at_offset::<ast::Name>(file.syntax(), expected_offset.into()).unwrap(); |
362 | assert_eq!(local_name.syntax().range(), expected_name.syntax().range()); | 363 | assert_eq!(local_name.syntax().range(), expected_name.syntax().range()); |
363 | } | 364 | } |
@@ -394,4 +395,4 @@ mod tests { | |||
394 | }", | 395 | }", |
395 | 46); | 396 | 46); |
396 | } | 397 | } |
397 | } \ No newline at end of file | 398 | } |
diff --git a/crates/ra_syntax/src/lib.rs b/crates/ra_syntax/src/lib.rs index 738664afd..703469629 100644 --- a/crates/ra_syntax/src/lib.rs +++ b/crates/ra_syntax/src/lib.rs | |||
@@ -74,7 +74,8 @@ impl File { | |||
74 | } | 74 | } |
75 | pub fn parse(text: &str) -> File { | 75 | pub fn parse(text: &str) -> File { |
76 | let tokens = tokenize(&text); | 76 | let tokens = tokenize(&text); |
77 | let (green, errors) = parser_impl::parse_with::<yellow::GreenBuilder>( | 77 | let (green, errors) = parser_impl::parse_with( |
78 | yellow::GreenBuilder::new(), | ||
78 | text, &tokens, grammar::root, | 79 | text, &tokens, grammar::root, |
79 | ); | 80 | ); |
80 | File::new(green, errors) | 81 | File::new(green, errors) |
diff --git a/crates/ra_syntax/src/parser_impl/event.rs b/crates/ra_syntax/src/parser_impl/event.rs index 9fd56b996..48f37c57c 100644 --- a/crates/ra_syntax/src/parser_impl/event.rs +++ b/crates/ra_syntax/src/parser_impl/event.rs | |||
@@ -9,6 +9,7 @@ | |||
9 | //! this stream to a real tree. | 9 | //! this stream to a real tree. |
10 | use std::mem; | 10 | use std::mem; |
11 | use { | 11 | use { |
12 | TextUnit, TextRange, SmolStr, | ||
12 | lexer::Token, | 13 | lexer::Token, |
13 | parser_impl::Sink, | 14 | parser_impl::Sink, |
14 | SyntaxKind::{self, TOMBSTONE}, | 15 | SyntaxKind::{self, TOMBSTONE}, |
@@ -78,77 +79,104 @@ pub(crate) enum Event { | |||
78 | }, | 79 | }, |
79 | } | 80 | } |
80 | 81 | ||
82 | pub(super) struct EventProcessor<'a, S: Sink> { | ||
83 | sink: S, | ||
84 | text_pos: TextUnit, | ||
85 | text: &'a str, | ||
86 | token_pos: usize, | ||
87 | tokens: &'a [Token], | ||
88 | events: &'a mut [Event], | ||
89 | } | ||
81 | 90 | ||
82 | pub(super) fn process<'a, S: Sink<'a>>(builder: &mut S, tokens: &[Token], mut events: Vec<Event>) { | 91 | impl<'a, S: Sink> EventProcessor<'a, S> { |
83 | fn tombstone() -> Event { | 92 | pub(super) fn new(sink: S, text: &'a str, tokens: &'a[Token], events: &'a mut [Event]) -> EventProcessor<'a, S> { |
84 | Event::Start { kind: TOMBSTONE, forward_parent: None } | 93 | EventProcessor { |
94 | sink, | ||
95 | text_pos: 0.into(), | ||
96 | text, | ||
97 | token_pos: 0, | ||
98 | tokens, | ||
99 | events | ||
100 | } | ||
85 | } | 101 | } |
86 | let eat_ws = |idx: &mut usize, builder: &mut S| { | 102 | |
87 | while let Some(token) = tokens.get(*idx) { | 103 | pub(super) fn process(mut self) -> S { |
88 | if !token.kind.is_trivia() { | 104 | fn tombstone() -> Event { |
89 | break; | 105 | Event::Start { kind: TOMBSTONE, forward_parent: None } |
90 | } | ||
91 | builder.leaf(token.kind, token.len); | ||
92 | *idx += 1 | ||
93 | } | 106 | } |
94 | }; | 107 | let mut depth = 0; |
108 | let mut forward_parents = Vec::new(); | ||
95 | 109 | ||
96 | let events: &mut [Event] = &mut events; | 110 | for i in 0..self.events.len() { |
97 | let mut depth = 0; | 111 | match mem::replace(&mut self.events[i], tombstone()) { |
98 | let mut forward_parents = Vec::new(); | 112 | Event::Start { |
99 | let mut next_tok_idx = 0; | 113 | kind: TOMBSTONE, .. |
100 | for i in 0..events.len() { | 114 | } => (), |
101 | match mem::replace(&mut events[i], tombstone()) { | ||
102 | Event::Start { | ||
103 | kind: TOMBSTONE, .. | ||
104 | } => (), | ||
105 | 115 | ||
106 | Event::Start { kind, forward_parent } => { | 116 | Event::Start { kind, forward_parent } => { |
107 | forward_parents.push(kind); | 117 | forward_parents.push(kind); |
108 | let mut idx = i; | 118 | let mut idx = i; |
109 | let mut fp = forward_parent; | 119 | let mut fp = forward_parent; |
110 | while let Some(fwd) = fp { | 120 | while let Some(fwd) = fp { |
111 | idx += fwd as usize; | 121 | idx += fwd as usize; |
112 | fp = match mem::replace(&mut events[idx], tombstone()) { | 122 | fp = match mem::replace(&mut self.events[idx], tombstone()) { |
113 | Event::Start { | 123 | Event::Start { |
114 | kind, | 124 | kind, |
115 | forward_parent, | 125 | forward_parent, |
116 | } => { | 126 | } => { |
117 | forward_parents.push(kind); | 127 | forward_parents.push(kind); |
118 | forward_parent | 128 | forward_parent |
119 | }, | 129 | }, |
120 | _ => unreachable!(), | 130 | _ => unreachable!(), |
121 | }; | 131 | }; |
132 | } | ||
133 | for kind in forward_parents.drain(..).rev() { | ||
134 | if depth > 0 { | ||
135 | self.eat_ws(); | ||
136 | } | ||
137 | depth += 1; | ||
138 | self.sink.start_internal(kind); | ||
139 | } | ||
122 | } | 140 | } |
123 | for kind in forward_parents.drain(..).rev() { | 141 | Event::Finish => { |
124 | if depth > 0 { | 142 | depth -= 1; |
125 | eat_ws(&mut next_tok_idx, builder); | 143 | if depth == 0 { |
144 | self.eat_ws(); | ||
126 | } | 145 | } |
127 | depth += 1; | 146 | |
128 | builder.start_internal(kind); | 147 | self.sink.finish_internal(); |
129 | } | 148 | } |
130 | } | 149 | Event::Token { |
131 | Event::Finish => { | 150 | kind, |
132 | depth -= 1; | 151 | mut n_raw_tokens, |
133 | if depth == 0 { | 152 | } => { |
134 | eat_ws(&mut next_tok_idx, builder); | 153 | self.eat_ws(); |
154 | let mut len = 0.into(); | ||
155 | for _ in 0..n_raw_tokens { | ||
156 | len += self.tokens[self.token_pos].len; | ||
157 | } | ||
158 | self.leaf(kind, len, n_raw_tokens as usize); | ||
135 | } | 159 | } |
136 | 160 | Event::Error { msg } => self.sink.error(msg, self.text_pos), | |
137 | builder.finish_internal(); | ||
138 | } | 161 | } |
139 | Event::Token { | 162 | } |
140 | kind, | 163 | self.sink |
141 | mut n_raw_tokens, | 164 | } |
142 | } => { | 165 | |
143 | eat_ws(&mut next_tok_idx, builder); | 166 | fn eat_ws(&mut self) { |
144 | let mut len = 0.into(); | 167 | while let Some(&token) = self.tokens.get(self.token_pos) { |
145 | for _ in 0..n_raw_tokens { | 168 | if !token.kind.is_trivia() { |
146 | len += tokens[next_tok_idx].len; | 169 | break; |
147 | next_tok_idx += 1; | ||
148 | } | ||
149 | builder.leaf(kind, len); | ||
150 | } | 170 | } |
151 | Event::Error { msg } => builder.error(msg), | 171 | self.leaf(token.kind, token.len, 1); |
152 | } | 172 | } |
153 | } | 173 | } |
174 | |||
175 | fn leaf(&mut self, kind: SyntaxKind, len: TextUnit, n_tokens: usize) { | ||
176 | let range = TextRange::offset_len(self.text_pos, len); | ||
177 | let text: SmolStr = self.text[range].into(); | ||
178 | self.text_pos += len; | ||
179 | self.token_pos += n_tokens; | ||
180 | self.sink.leaf(kind, text); | ||
181 | } | ||
154 | } | 182 | } |
diff --git a/crates/ra_syntax/src/parser_impl/mod.rs b/crates/ra_syntax/src/parser_impl/mod.rs index b343b404f..8d74cef0e 100644 --- a/crates/ra_syntax/src/parser_impl/mod.rs +++ b/crates/ra_syntax/src/parser_impl/mod.rs | |||
@@ -4,45 +4,44 @@ mod input; | |||
4 | use std::cell::Cell; | 4 | use std::cell::Cell; |
5 | 5 | ||
6 | use { | 6 | use { |
7 | TextUnit, SmolStr, | ||
7 | lexer::Token, | 8 | lexer::Token, |
8 | parser_api::Parser, | 9 | parser_api::Parser, |
9 | parser_impl::{ | 10 | parser_impl::{ |
10 | event::{process, Event}, | 11 | event::{EventProcessor, Event}, |
11 | input::{InputPosition, ParserInput}, | 12 | input::{InputPosition, ParserInput}, |
12 | }, | 13 | }, |
13 | TextUnit, | ||
14 | }; | 14 | }; |
15 | 15 | ||
16 | use SyntaxKind::{self, EOF, TOMBSTONE}; | 16 | use SyntaxKind::{self, EOF, TOMBSTONE}; |
17 | 17 | ||
18 | pub(crate) trait Sink<'a> { | 18 | pub(crate) trait Sink { |
19 | type Tree; | 19 | type Tree; |
20 | 20 | ||
21 | fn new(text: &'a str) -> Self; | 21 | fn leaf(&mut self, kind: SyntaxKind, text: SmolStr); |
22 | |||
23 | fn leaf(&mut self, kind: SyntaxKind, len: TextUnit); | ||
24 | fn start_internal(&mut self, kind: SyntaxKind); | 22 | fn start_internal(&mut self, kind: SyntaxKind); |
25 | fn finish_internal(&mut self); | 23 | fn finish_internal(&mut self); |
26 | fn error(&mut self, err: String); | 24 | fn error(&mut self, message: String, offset: TextUnit); |
27 | fn finish(self) -> Self::Tree; | 25 | fn finish(self) -> Self::Tree; |
28 | } | 26 | } |
29 | 27 | ||
30 | /// Parse a sequence of tokens into the representative node tree | 28 | /// Parse a sequence of tokens into the representative node tree |
31 | pub(crate) fn parse_with<'a, S: Sink<'a>>( | 29 | pub(crate) fn parse_with<S: Sink>( |
32 | text: &'a str, | 30 | sink: S, |
31 | text: &str, | ||
33 | tokens: &[Token], | 32 | tokens: &[Token], |
34 | parser: fn(&mut Parser), | 33 | parser: fn(&mut Parser), |
35 | ) -> S::Tree { | 34 | ) -> S::Tree { |
36 | let events = { | 35 | let mut events = { |
37 | let input = input::ParserInput::new(text, tokens); | 36 | let input = input::ParserInput::new(text, tokens); |
38 | let parser_impl = ParserImpl::new(&input); | 37 | let parser_impl = ParserImpl::new(&input); |
39 | let mut parser_api = Parser(parser_impl); | 38 | let mut parser_api = Parser(parser_impl); |
40 | parser(&mut parser_api); | 39 | parser(&mut parser_api); |
41 | parser_api.0.into_events() | 40 | parser_api.0.into_events() |
42 | }; | 41 | }; |
43 | let mut sink = S::new(text); | 42 | EventProcessor::new(sink, text, tokens, &mut events) |
44 | process(&mut sink, tokens, events); | 43 | .process() |
45 | sink.finish() | 44 | .finish() |
46 | } | 45 | } |
47 | 46 | ||
48 | /// Implementation details of `Parser`, extracted | 47 | /// Implementation details of `Parser`, extracted |
diff --git a/crates/ra_syntax/src/reparsing.rs b/crates/ra_syntax/src/reparsing.rs index dcafd2c40..d8b6a6a10 100644 --- a/crates/ra_syntax/src/reparsing.rs +++ b/crates/ra_syntax/src/reparsing.rs | |||
@@ -84,7 +84,8 @@ fn reparse_block<'node>( | |||
84 | return None; | 84 | return None; |
85 | } | 85 | } |
86 | let (green, new_errors) = | 86 | let (green, new_errors) = |
87 | parser_impl::parse_with::<yellow::GreenBuilder>( | 87 | parser_impl::parse_with( |
88 | yellow::GreenBuilder::new(), | ||
88 | &text, &tokens, reparser, | 89 | &text, &tokens, reparser, |
89 | ); | 90 | ); |
90 | Some((node, green, new_errors)) | 91 | Some((node, green, new_errors)) |
diff --git a/crates/ra_syntax/src/yellow/builder.rs b/crates/ra_syntax/src/yellow/builder.rs index 35dbaec05..c307b2bd0 100644 --- a/crates/ra_syntax/src/yellow/builder.rs +++ b/crates/ra_syntax/src/yellow/builder.rs | |||
@@ -1,33 +1,29 @@ | |||
1 | use rowan::GreenNodeBuilder; | 1 | use rowan::GreenNodeBuilder; |
2 | use { | 2 | use { |
3 | TextUnit, SmolStr, | ||
3 | parser_impl::Sink, | 4 | parser_impl::Sink, |
4 | yellow::{GreenNode, SyntaxError, RaTypes}, | 5 | yellow::{GreenNode, SyntaxError, RaTypes}, |
5 | SyntaxKind, TextRange, TextUnit, | 6 | SyntaxKind, |
6 | }; | 7 | }; |
7 | 8 | ||
8 | pub(crate) struct GreenBuilder<'a> { | 9 | pub(crate) struct GreenBuilder { |
9 | text: &'a str, | ||
10 | pos: TextUnit, | ||
11 | errors: Vec<SyntaxError>, | 10 | errors: Vec<SyntaxError>, |
12 | inner: GreenNodeBuilder<RaTypes>, | 11 | inner: GreenNodeBuilder<RaTypes>, |
13 | } | 12 | } |
14 | 13 | ||
15 | impl<'a> Sink<'a> for GreenBuilder<'a> { | 14 | impl GreenBuilder { |
16 | type Tree = (GreenNode, Vec<SyntaxError>); | 15 | pub(crate) fn new() -> GreenBuilder { |
17 | |||
18 | fn new(text: &'a str) -> Self { | ||
19 | GreenBuilder { | 16 | GreenBuilder { |
20 | text, | ||
21 | pos: 0.into(), | ||
22 | errors: Vec::new(), | 17 | errors: Vec::new(), |
23 | inner: GreenNodeBuilder::new(), | 18 | inner: GreenNodeBuilder::new(), |
24 | } | 19 | } |
25 | } | 20 | } |
21 | } | ||
22 | |||
23 | impl Sink for GreenBuilder { | ||
24 | type Tree = (GreenNode, Vec<SyntaxError>); | ||
26 | 25 | ||
27 | fn leaf(&mut self, kind: SyntaxKind, len: TextUnit) { | 26 | fn leaf(&mut self, kind: SyntaxKind, text: SmolStr) { |
28 | let range = TextRange::offset_len(self.pos, len); | ||
29 | self.pos += len; | ||
30 | let text = self.text[range].into(); | ||
31 | self.inner.leaf(kind, text); | 27 | self.inner.leaf(kind, text); |
32 | } | 28 | } |
33 | 29 | ||
@@ -39,11 +35,9 @@ impl<'a> Sink<'a> for GreenBuilder<'a> { | |||
39 | self.inner.finish_internal(); | 35 | self.inner.finish_internal(); |
40 | } | 36 | } |
41 | 37 | ||
42 | fn error(&mut self, message: String) { | 38 | fn error(&mut self, message: String, offset: TextUnit) { |
43 | self.errors.push(SyntaxError { | 39 | let error = SyntaxError { msg: message, offset }; |
44 | msg: message, | 40 | self.errors.push(error) |
45 | offset: self.pos, | ||
46 | }) | ||
47 | } | 41 | } |
48 | 42 | ||
49 | fn finish(self) -> (GreenNode, Vec<SyntaxError>) { | 43 | fn finish(self) -> (GreenNode, Vec<SyntaxError>) { |