diff options
Diffstat (limited to 'crates/ra_tt/src')
-rw-r--r-- | crates/ra_tt/src/buffer.rs | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/crates/ra_tt/src/buffer.rs b/crates/ra_tt/src/buffer.rs index 940f2b807..8bc6390f3 100644 --- a/crates/ra_tt/src/buffer.rs +++ b/crates/ra_tt/src/buffer.rs | |||
@@ -1,4 +1,4 @@ | |||
1 | use crate::{TokenTree, Subtree, Leaf}; | 1 | use crate::{TokenTree, Subtree}; |
2 | 2 | ||
3 | #[derive(Copy, Clone, Debug, Eq, PartialEq)] | 3 | #[derive(Copy, Clone, Debug, Eq, PartialEq)] |
4 | struct EntryId(usize); | 4 | struct EntryId(usize); |
@@ -9,10 +9,10 @@ struct EntryPtr(EntryId, usize); | |||
9 | /// Internal type which is used instead of `TokenTree` to represent a token tree | 9 | /// Internal type which is used instead of `TokenTree` to represent a token tree |
10 | /// within a `TokenBuffer`. | 10 | /// within a `TokenBuffer`. |
11 | #[derive(Debug)] | 11 | #[derive(Debug)] |
12 | enum Entry { | 12 | enum Entry<'t> { |
13 | // Mimicking types from proc-macro. | 13 | // Mimicking types from proc-macro. |
14 | Subtree(Subtree, EntryId), | 14 | Subtree(&'t TokenTree, EntryId), |
15 | Leaf(Leaf), | 15 | Leaf(&'t TokenTree), |
16 | // End entries contain a pointer to the entry from the containing | 16 | // End entries contain a pointer to the entry from the containing |
17 | // token tree, or None if this is the outermost level. | 17 | // token tree, or None if this is the outermost level. |
18 | End(Option<EntryPtr>), | 18 | End(Option<EntryPtr>), |
@@ -21,12 +21,12 @@ enum Entry { | |||
21 | /// A token tree buffer | 21 | /// A token tree buffer |
22 | /// The safe version of `syn` [`TokenBuffer`](https://github.com/dtolnay/syn/blob/6533607f91686545cb034d2838beea338d9d0742/src/buffer.rs#L41) | 22 | /// The safe version of `syn` [`TokenBuffer`](https://github.com/dtolnay/syn/blob/6533607f91686545cb034d2838beea338d9d0742/src/buffer.rs#L41) |
23 | #[derive(Debug)] | 23 | #[derive(Debug)] |
24 | pub struct TokenBuffer { | 24 | pub struct TokenBuffer<'t> { |
25 | buffers: Vec<Box<[Entry]>>, | 25 | buffers: Vec<Box<[Entry<'t>]>>, |
26 | } | 26 | } |
27 | 27 | ||
28 | impl TokenBuffer { | 28 | impl<'t> TokenBuffer<'t> { |
29 | pub fn new(tokens: &[TokenTree]) -> TokenBuffer { | 29 | pub fn new(tokens: &'t [TokenTree]) -> TokenBuffer<'t> { |
30 | let mut buffers = vec![]; | 30 | let mut buffers = vec![]; |
31 | 31 | ||
32 | let idx = TokenBuffer::new_inner(tokens, &mut buffers, None); | 32 | let idx = TokenBuffer::new_inner(tokens, &mut buffers, None); |
@@ -36,21 +36,21 @@ impl TokenBuffer { | |||
36 | } | 36 | } |
37 | 37 | ||
38 | fn new_inner( | 38 | fn new_inner( |
39 | tokens: &[TokenTree], | 39 | tokens: &'t [TokenTree], |
40 | buffers: &mut Vec<Box<[Entry]>>, | 40 | buffers: &mut Vec<Box<[Entry<'t>]>>, |
41 | next: Option<EntryPtr>, | 41 | next: Option<EntryPtr>, |
42 | ) -> usize { | 42 | ) -> usize { |
43 | let mut entries = vec![]; | 43 | let mut entries = vec![]; |
44 | let mut children = vec![]; | 44 | let mut children = vec![]; |
45 | 45 | ||
46 | for (idx, tt) in tokens.iter().cloned().enumerate() { | 46 | for (idx, tt) in tokens.iter().enumerate() { |
47 | match tt { | 47 | match tt { |
48 | TokenTree::Leaf(leaf) => { | 48 | TokenTree::Leaf(_) => { |
49 | entries.push(Entry::Leaf(leaf)); | 49 | entries.push(Entry::Leaf(tt)); |
50 | } | 50 | } |
51 | TokenTree::Subtree(subtree) => { | 51 | TokenTree::Subtree(subtree) => { |
52 | entries.push(Entry::End(None)); | 52 | entries.push(Entry::End(None)); |
53 | children.push((idx, subtree)); | 53 | children.push((idx, (subtree, tt))); |
54 | } | 54 | } |
55 | } | 55 | } |
56 | } | 56 | } |
@@ -59,13 +59,13 @@ impl TokenBuffer { | |||
59 | let res = buffers.len(); | 59 | let res = buffers.len(); |
60 | buffers.push(entries.into_boxed_slice()); | 60 | buffers.push(entries.into_boxed_slice()); |
61 | 61 | ||
62 | for (child_idx, subtree) in children { | 62 | for (child_idx, (subtree, tt)) in children { |
63 | let idx = TokenBuffer::new_inner( | 63 | let idx = TokenBuffer::new_inner( |
64 | &subtree.token_trees, | 64 | &subtree.token_trees, |
65 | buffers, | 65 | buffers, |
66 | Some(EntryPtr(EntryId(res), child_idx + 1)), | 66 | Some(EntryPtr(EntryId(res), child_idx + 1)), |
67 | ); | 67 | ); |
68 | buffers[res].as_mut()[child_idx] = Entry::Subtree(subtree, EntryId(idx)); | 68 | buffers[res].as_mut()[child_idx] = Entry::Subtree(tt, EntryId(idx)); |
69 | } | 69 | } |
70 | 70 | ||
71 | res | 71 | res |
@@ -86,7 +86,7 @@ impl TokenBuffer { | |||
86 | /// A safe version of `Cursor` from `syn` crate https://github.com/dtolnay/syn/blob/6533607f91686545cb034d2838beea338d9d0742/src/buffer.rs#L125 | 86 | /// A safe version of `Cursor` from `syn` crate https://github.com/dtolnay/syn/blob/6533607f91686545cb034d2838beea338d9d0742/src/buffer.rs#L125 |
87 | #[derive(Copy, Clone, Debug)] | 87 | #[derive(Copy, Clone, Debug)] |
88 | pub struct Cursor<'a> { | 88 | pub struct Cursor<'a> { |
89 | buffer: &'a TokenBuffer, | 89 | buffer: &'a TokenBuffer<'a>, |
90 | ptr: EntryPtr, | 90 | ptr: EntryPtr, |
91 | } | 91 | } |
92 | 92 | ||
@@ -113,7 +113,7 @@ impl<'a> Cursor<'a> { | |||
113 | match self.entry() { | 113 | match self.entry() { |
114 | Some(Entry::End(Some(ptr))) => { | 114 | Some(Entry::End(Some(ptr))) => { |
115 | let idx = ptr.1; | 115 | let idx = ptr.1; |
116 | if let Some(Entry::Subtree(subtree, _)) = | 116 | if let Some(Entry::Subtree(TokenTree::Subtree(subtree), _)) = |
117 | self.buffer.entry(&EntryPtr(ptr.0, idx - 1)) | 117 | self.buffer.entry(&EntryPtr(ptr.0, idx - 1)) |
118 | { | 118 | { |
119 | return Some(subtree); | 119 | return Some(subtree); |
@@ -125,7 +125,7 @@ impl<'a> Cursor<'a> { | |||
125 | } | 125 | } |
126 | } | 126 | } |
127 | 127 | ||
128 | fn entry(self) -> Option<(&'a Entry)> { | 128 | fn entry(self) -> Option<(&'a Entry<'a>)> { |
129 | self.buffer.entry(&self.ptr) | 129 | self.buffer.entry(&self.ptr) |
130 | } | 130 | } |
131 | 131 | ||
@@ -141,10 +141,10 @@ impl<'a> Cursor<'a> { | |||
141 | } | 141 | } |
142 | 142 | ||
143 | /// If the cursor is pointing at a `TokenTree`, returns it | 143 | /// If the cursor is pointing at a `TokenTree`, returns it |
144 | pub fn token_tree(self) -> Option<(TokenTree)> { | 144 | pub fn token_tree(self) -> Option<(&'a TokenTree)> { |
145 | match self.entry() { | 145 | match self.entry() { |
146 | Some(Entry::Leaf(leaf)) => Some(leaf.clone().into()), | 146 | Some(Entry::Leaf(tt)) => Some(tt), |
147 | Some(Entry::Subtree(subtree, _)) => Some(subtree.clone().into()), | 147 | Some(Entry::Subtree(tt, _)) => Some(tt), |
148 | Some(Entry::End(_)) => None, | 148 | Some(Entry::End(_)) => None, |
149 | None => None, | 149 | None => None, |
150 | } | 150 | } |