2019-04-07 13:42:53 +00:00
|
|
|
use ra_parser::{TokenSource};
|
2019-05-15 12:35:47 +00:00
|
|
|
use ra_syntax::{classify_literal, SmolStr, SyntaxKind, SyntaxKind::*, T};
|
2019-04-08 07:58:02 +00:00
|
|
|
use std::cell::{RefCell};
|
2019-04-07 13:42:53 +00:00
|
|
|
|
2019-04-12 17:50:05 +00:00
|
|
|
// A Sequece of Token,
|
|
|
|
#[derive(Debug, Clone, Eq, PartialEq)]
|
|
|
|
pub(super) enum TokenSeq<'a> {
|
|
|
|
Subtree(&'a tt::Subtree),
|
|
|
|
Seq(&'a [tt::TokenTree]),
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> From<&'a tt::Subtree> for TokenSeq<'a> {
|
|
|
|
fn from(s: &'a tt::Subtree) -> TokenSeq<'a> {
|
|
|
|
TokenSeq::Subtree(s)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> From<&'a [tt::TokenTree]> for TokenSeq<'a> {
|
|
|
|
fn from(s: &'a [tt::TokenTree]) -> TokenSeq<'a> {
|
|
|
|
TokenSeq::Seq(s)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-04-21 20:17:49 +00:00
|
|
|
#[derive(Debug)]
|
2019-04-12 17:50:05 +00:00
|
|
|
enum DelimToken<'a> {
|
|
|
|
Delim(&'a tt::Delimiter, bool),
|
|
|
|
Token(&'a tt::TokenTree),
|
|
|
|
End,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> TokenSeq<'a> {
|
|
|
|
fn get(&self, pos: usize) -> DelimToken<'a> {
|
|
|
|
match self {
|
|
|
|
TokenSeq::Subtree(subtree) => {
|
|
|
|
let len = subtree.token_trees.len() + 2;
|
|
|
|
match pos {
|
|
|
|
p if p >= len => DelimToken::End,
|
|
|
|
p if p == len - 1 => DelimToken::Delim(&subtree.delimiter, true),
|
|
|
|
0 => DelimToken::Delim(&subtree.delimiter, false),
|
|
|
|
p => DelimToken::Token(&subtree.token_trees[p - 1]),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
TokenSeq::Seq(tokens) => {
|
|
|
|
tokens.get(pos).map(DelimToken::Token).unwrap_or(DelimToken::End)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-04-08 07:58:02 +00:00
|
|
|
#[derive(Debug, Clone, Eq, PartialEq)]
|
2019-04-07 13:42:53 +00:00
|
|
|
struct TtToken {
|
|
|
|
pub kind: SyntaxKind,
|
|
|
|
pub is_joint_to_next: bool,
|
|
|
|
pub text: SmolStr,
|
|
|
|
}
|
|
|
|
|
2019-04-08 07:58:02 +00:00
|
|
|
#[derive(Debug, Clone, Eq, PartialEq)]
|
2019-04-08 12:32:21 +00:00
|
|
|
enum WalkCursor {
|
2019-04-12 17:50:05 +00:00
|
|
|
Token(usize, TtToken),
|
2019-04-08 07:58:02 +00:00
|
|
|
Eof,
|
2019-04-07 13:42:53 +00:00
|
|
|
}
|
|
|
|
|
2019-04-08 10:21:48 +00:00
|
|
|
#[derive(Debug)]
|
|
|
|
struct SubTreeWalker<'a> {
|
|
|
|
pos: usize,
|
2019-04-12 17:50:05 +00:00
|
|
|
stack: Vec<(TokenSeq<'a>, usize)>,
|
2019-04-08 12:32:21 +00:00
|
|
|
cursor: WalkCursor,
|
2019-04-12 17:50:05 +00:00
|
|
|
ts: TokenSeq<'a>,
|
2019-04-08 10:21:48 +00:00
|
|
|
}
|
|
|
|
|
2019-04-08 07:58:02 +00:00
|
|
|
impl<'a> SubTreeWalker<'a> {
|
2019-04-12 17:50:05 +00:00
|
|
|
fn new(ts: TokenSeq<'a>) -> SubTreeWalker {
|
2019-05-02 02:19:12 +00:00
|
|
|
let mut res = SubTreeWalker { pos: 0, stack: vec![], cursor: WalkCursor::Eof, ts };
|
2019-04-08 07:58:02 +00:00
|
|
|
|
|
|
|
res.reset();
|
|
|
|
res
|
|
|
|
}
|
|
|
|
|
2019-04-08 12:32:21 +00:00
|
|
|
fn is_eof(&self) -> bool {
|
|
|
|
self.cursor == WalkCursor::Eof
|
|
|
|
}
|
|
|
|
|
2019-04-08 07:58:02 +00:00
|
|
|
fn reset(&mut self) {
|
|
|
|
self.pos = 0;
|
2019-04-12 17:50:05 +00:00
|
|
|
self.stack = vec![];
|
2019-04-08 07:58:02 +00:00
|
|
|
|
2019-04-12 17:50:05 +00:00
|
|
|
self.cursor = match self.ts.get(0) {
|
|
|
|
DelimToken::Token(token) => match token {
|
|
|
|
tt::TokenTree::Subtree(subtree) => {
|
2019-04-13 10:38:31 +00:00
|
|
|
let ts = TokenSeq::from(subtree);
|
|
|
|
self.stack.push((ts, 0));
|
2019-04-12 17:50:05 +00:00
|
|
|
WalkCursor::Token(0, convert_delim(subtree.delimiter, false))
|
|
|
|
}
|
2019-05-02 02:19:12 +00:00
|
|
|
tt::TokenTree::Leaf(leaf) => WalkCursor::Token(0, convert_leaf(leaf)),
|
2019-04-12 17:50:05 +00:00
|
|
|
},
|
|
|
|
DelimToken::Delim(delim, is_end) => {
|
|
|
|
assert!(!is_end);
|
|
|
|
WalkCursor::Token(0, convert_delim(*delim, false))
|
|
|
|
}
|
|
|
|
DelimToken::End => WalkCursor::Eof,
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn current(&self) -> Option<&TtToken> {
|
2019-04-08 12:32:21 +00:00
|
|
|
match &self.cursor {
|
2019-04-12 17:50:05 +00:00
|
|
|
WalkCursor::Token(_, t) => Some(t),
|
2019-04-08 12:32:21 +00:00
|
|
|
WalkCursor::Eof => None,
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-04-12 17:50:05 +00:00
|
|
|
fn top(&self) -> &TokenSeq {
|
|
|
|
self.stack.last().map(|(t, _)| t).unwrap_or(&self.ts)
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
|
|
|
|
2019-04-12 17:50:05 +00:00
|
|
|
/// Move cursor forward by 1 step
|
2019-04-08 07:58:02 +00:00
|
|
|
fn forward(&mut self) {
|
2019-04-08 12:32:21 +00:00
|
|
|
if self.is_eof() {
|
2019-04-08 10:21:48 +00:00
|
|
|
return;
|
|
|
|
}
|
2019-04-08 07:58:02 +00:00
|
|
|
self.pos += 1;
|
|
|
|
|
2019-04-12 17:50:05 +00:00
|
|
|
if let WalkCursor::Token(u, _) = self.cursor {
|
2019-05-02 02:19:12 +00:00
|
|
|
self.cursor = self.walk_token(u)
|
2019-04-12 17:50:05 +00:00
|
|
|
}
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
|
|
|
|
2019-04-08 12:32:21 +00:00
|
|
|
/// Traversal child token
|
2019-05-02 02:19:12 +00:00
|
|
|
fn walk_token(&mut self, pos: usize) -> WalkCursor {
|
2019-04-12 17:50:05 +00:00
|
|
|
let top = self.stack.last().map(|(t, _)| t).unwrap_or(&self.ts);
|
2019-05-02 02:19:12 +00:00
|
|
|
let pos = pos + 1;
|
2019-04-08 12:32:21 +00:00
|
|
|
|
2019-04-12 17:50:05 +00:00
|
|
|
match top.get(pos) {
|
|
|
|
DelimToken::Token(token) => match token {
|
|
|
|
tt::TokenTree::Subtree(subtree) => {
|
|
|
|
let ts = TokenSeq::from(subtree);
|
|
|
|
self.stack.push((ts, pos));
|
2019-05-02 02:19:12 +00:00
|
|
|
WalkCursor::Token(0, convert_delim(subtree.delimiter, false))
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
2019-05-02 02:19:12 +00:00
|
|
|
tt::TokenTree::Leaf(leaf) => WalkCursor::Token(pos, convert_leaf(leaf)),
|
2019-04-12 17:50:05 +00:00
|
|
|
},
|
|
|
|
DelimToken::Delim(delim, is_end) => {
|
|
|
|
WalkCursor::Token(pos, convert_delim(*delim, is_end))
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
2019-04-12 17:50:05 +00:00
|
|
|
DelimToken::End => {
|
|
|
|
// it is the top level
|
|
|
|
if let Some((_, last_idx)) = self.stack.pop() {
|
2019-05-02 02:19:12 +00:00
|
|
|
self.walk_token(last_idx)
|
2019-04-12 17:50:05 +00:00
|
|
|
} else {
|
|
|
|
WalkCursor::Eof
|
|
|
|
}
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
|
|
|
}
|
2019-04-07 13:42:53 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-04-08 07:58:02 +00:00
|
|
|
pub(crate) trait Querier {
|
2019-04-25 15:12:57 +00:00
|
|
|
fn token(&self, uidx: usize) -> (SyntaxKind, SmolStr, bool);
|
2019-04-07 13:42:53 +00:00
|
|
|
}
|
|
|
|
|
2019-04-08 07:58:02 +00:00
|
|
|
// A wrapper class for ref cell
|
2019-04-08 10:21:48 +00:00
|
|
|
#[derive(Debug)]
|
2019-04-08 07:58:02 +00:00
|
|
|
pub(crate) struct WalkerOwner<'a> {
|
|
|
|
walker: RefCell<SubTreeWalker<'a>>,
|
2019-04-22 14:46:39 +00:00
|
|
|
cached: RefCell<Vec<Option<TtToken>>>,
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> WalkerOwner<'a> {
|
2019-04-12 17:50:05 +00:00
|
|
|
fn new<I: Into<TokenSeq<'a>>>(ts: I) -> Self {
|
2019-04-22 14:46:39 +00:00
|
|
|
WalkerOwner {
|
|
|
|
walker: RefCell::new(SubTreeWalker::new(ts.into())),
|
|
|
|
cached: RefCell::new(Vec::with_capacity(10)),
|
|
|
|
}
|
2019-04-08 12:32:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn get<'b>(&self, pos: usize) -> Option<TtToken> {
|
2019-04-22 14:46:39 +00:00
|
|
|
let mut cached = self.cached.borrow_mut();
|
|
|
|
if pos < cached.len() {
|
|
|
|
return cached[pos].clone();
|
|
|
|
}
|
|
|
|
|
|
|
|
while pos >= cached.len() {
|
2019-05-02 02:19:12 +00:00
|
|
|
self.set_pos(cached.len());
|
|
|
|
let walker = self.walker.borrow();
|
|
|
|
cached.push(walker.current().cloned());
|
2019-04-22 14:46:39 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
return cached[pos].clone();
|
2019-04-07 13:42:53 +00:00
|
|
|
}
|
|
|
|
|
2019-04-12 17:50:05 +00:00
|
|
|
fn set_pos(&self, pos: usize) {
|
2019-04-08 07:58:02 +00:00
|
|
|
let mut walker = self.walker.borrow_mut();
|
2019-05-02 02:19:12 +00:00
|
|
|
assert!(walker.pos <= pos);
|
|
|
|
|
2019-04-08 12:32:21 +00:00
|
|
|
while pos > walker.pos && !walker.is_eof() {
|
2019-04-08 07:58:02 +00:00
|
|
|
walker.forward();
|
|
|
|
}
|
2019-04-07 13:42:53 +00:00
|
|
|
}
|
|
|
|
|
2019-04-08 12:32:21 +00:00
|
|
|
fn collect_token_trees(&mut self, n: usize) -> Vec<&tt::TokenTree> {
|
2019-04-07 13:42:53 +00:00
|
|
|
let mut res = vec![];
|
2019-04-08 07:58:02 +00:00
|
|
|
let mut walker = self.walker.borrow_mut();
|
2019-04-12 17:50:05 +00:00
|
|
|
walker.reset();
|
2019-04-08 07:58:02 +00:00
|
|
|
|
2019-04-12 17:50:05 +00:00
|
|
|
while walker.pos < n {
|
2019-05-02 02:19:12 +00:00
|
|
|
if let WalkCursor::Token(u, _) = &walker.cursor {
|
2019-04-12 17:50:05 +00:00
|
|
|
// We only collect the topmost child
|
|
|
|
if walker.stack.len() == 0 {
|
2019-05-02 02:19:12 +00:00
|
|
|
if let DelimToken::Token(token) = walker.ts.get(*u) {
|
|
|
|
res.push(token);
|
2019-04-12 17:50:05 +00:00
|
|
|
}
|
2019-05-02 02:19:12 +00:00
|
|
|
}
|
|
|
|
// Check whether the second level is a subtree
|
|
|
|
// if so, collect its parent which is topmost child
|
|
|
|
else if walker.stack.len() == 1 {
|
2019-04-13 10:38:31 +00:00
|
|
|
if let DelimToken::Delim(_, is_end) = walker.top().get(*u) {
|
2019-04-12 17:50:05 +00:00
|
|
|
if !is_end {
|
|
|
|
let (_, last_idx) = &walker.stack[0];
|
|
|
|
if let DelimToken::Token(token) = walker.ts.get(*last_idx) {
|
|
|
|
res.push(token);
|
|
|
|
}
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
walker.forward();
|
2019-04-07 13:42:53 +00:00
|
|
|
}
|
|
|
|
|
2019-04-07 16:12:07 +00:00
|
|
|
res
|
|
|
|
}
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> Querier for WalkerOwner<'a> {
|
2019-04-25 15:12:57 +00:00
|
|
|
fn token(&self, uidx: usize) -> (SyntaxKind, SmolStr, bool) {
|
|
|
|
self.get(uidx)
|
|
|
|
.map(|tkn| (tkn.kind, tkn.text, tkn.is_joint_to_next))
|
|
|
|
.unwrap_or_else(|| (SyntaxKind::EOF, "".into(), false))
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) struct SubtreeTokenSource<'a> {
|
|
|
|
walker: WalkerOwner<'a>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> SubtreeTokenSource<'a> {
|
2019-04-12 17:50:05 +00:00
|
|
|
pub fn new<I: Into<TokenSeq<'a>>>(ts: I) -> SubtreeTokenSource<'a> {
|
|
|
|
SubtreeTokenSource { walker: WalkerOwner::new(ts) }
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
2019-04-07 16:12:07 +00:00
|
|
|
|
2019-04-08 07:58:02 +00:00
|
|
|
pub fn querier<'b>(&'a self) -> &'b WalkerOwner<'a>
|
|
|
|
where
|
|
|
|
'a: 'b,
|
|
|
|
{
|
|
|
|
&self.walker
|
2019-04-07 16:12:07 +00:00
|
|
|
}
|
|
|
|
|
2019-04-08 12:32:21 +00:00
|
|
|
pub(crate) fn bump_n(&mut self, parsed_tokens: usize) -> Vec<&tt::TokenTree> {
|
|
|
|
let res = self.walker.collect_token_trees(parsed_tokens);
|
2019-04-08 07:58:02 +00:00
|
|
|
res
|
2019-04-07 13:42:53 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> TokenSource for SubtreeTokenSource<'a> {
|
|
|
|
fn token_kind(&self, pos: usize) -> SyntaxKind {
|
2019-04-08 12:32:21 +00:00
|
|
|
if let Some(tok) = self.walker.get(pos) {
|
2019-04-07 13:42:53 +00:00
|
|
|
tok.kind
|
|
|
|
} else {
|
|
|
|
SyntaxKind::EOF
|
|
|
|
}
|
|
|
|
}
|
|
|
|
fn is_token_joint_to_next(&self, pos: usize) -> bool {
|
2019-04-13 10:38:31 +00:00
|
|
|
match self.walker.get(pos) {
|
|
|
|
Some(t) => t.is_joint_to_next,
|
|
|
|
_ => false,
|
|
|
|
}
|
2019-04-07 13:42:53 +00:00
|
|
|
}
|
|
|
|
fn is_keyword(&self, pos: usize, kw: &str) -> bool {
|
2019-04-13 10:38:31 +00:00
|
|
|
match self.walker.get(pos) {
|
|
|
|
Some(t) => t.text == *kw,
|
|
|
|
_ => false,
|
|
|
|
}
|
2019-04-07 13:42:53 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-04-12 17:50:05 +00:00
|
|
|
fn convert_delim(d: tt::Delimiter, closing: bool) -> TtToken {
|
2019-04-08 07:58:02 +00:00
|
|
|
let (kinds, texts) = match d {
|
2019-05-15 12:35:47 +00:00
|
|
|
tt::Delimiter::Parenthesis => ([T!['('], T![')']], "()"),
|
|
|
|
tt::Delimiter::Brace => ([T!['{'], T!['}']], "{}"),
|
|
|
|
tt::Delimiter::Bracket => ([T!['['], T![']']], "[]"),
|
2019-04-12 17:50:05 +00:00
|
|
|
tt::Delimiter::None => ([L_DOLLAR, R_DOLLAR], ""),
|
2019-04-08 07:58:02 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
let idx = closing as usize;
|
|
|
|
let kind = kinds[idx];
|
2019-04-12 17:50:05 +00:00
|
|
|
let text = if texts.len() > 0 { &texts[idx..texts.len() - (1 - idx)] } else { "" };
|
2019-05-02 02:19:12 +00:00
|
|
|
TtToken { kind, is_joint_to_next: false, text: SmolStr::new(text) }
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
2019-04-07 13:42:53 +00:00
|
|
|
|
2019-04-08 07:58:02 +00:00
|
|
|
fn convert_literal(l: &tt::Literal) -> TtToken {
|
2019-04-25 18:56:44 +00:00
|
|
|
let kind =
|
|
|
|
classify_literal(&l.text).map(|tkn| tkn.kind).unwrap_or_else(|| match l.text.as_ref() {
|
2019-05-15 12:35:47 +00:00
|
|
|
"true" => T![true],
|
|
|
|
"false" => T![false],
|
2019-04-25 18:56:44 +00:00
|
|
|
_ => panic!("Fail to convert given literal {:#?}", &l),
|
|
|
|
});
|
2019-04-24 15:01:32 +00:00
|
|
|
|
2019-05-02 02:19:12 +00:00
|
|
|
TtToken { kind, is_joint_to_next: false, text: l.text.clone() }
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
2019-04-07 13:42:53 +00:00
|
|
|
|
2019-04-08 07:58:02 +00:00
|
|
|
fn convert_ident(ident: &tt::Ident) -> TtToken {
|
2019-04-21 04:32:39 +00:00
|
|
|
let kind = if let Some('\'') = ident.text.chars().next() {
|
|
|
|
LIFETIME
|
|
|
|
} else {
|
|
|
|
SyntaxKind::from_keyword(ident.text.as_str()).unwrap_or(IDENT)
|
|
|
|
};
|
|
|
|
|
2019-05-02 02:19:12 +00:00
|
|
|
TtToken { kind, is_joint_to_next: false, text: ident.text.clone() }
|
2019-04-08 07:58:02 +00:00
|
|
|
}
|
2019-04-07 13:42:53 +00:00
|
|
|
|
2019-05-02 02:19:12 +00:00
|
|
|
fn convert_punct(p: &tt::Punct) -> TtToken {
|
|
|
|
let kind = match p.char {
|
2019-05-02 13:24:51 +00:00
|
|
|
// lexer may produce compound tokens for these ones
|
2019-05-15 12:35:47 +00:00
|
|
|
'.' => T![.],
|
|
|
|
':' => T![:],
|
|
|
|
'=' => T![=],
|
|
|
|
'!' => T![!],
|
|
|
|
'-' => T![-],
|
2019-05-02 02:19:12 +00:00
|
|
|
c => SyntaxKind::from_char(c).unwrap(),
|
|
|
|
};
|
|
|
|
let text = {
|
|
|
|
let mut buf = [0u8; 4];
|
|
|
|
let s: &str = p.char.encode_utf8(&mut buf);
|
|
|
|
SmolStr::new(s)
|
|
|
|
};
|
|
|
|
TtToken { kind, is_joint_to_next: p.spacing == tt::Spacing::Joint, text }
|
2019-04-07 13:42:53 +00:00
|
|
|
}
|
2019-04-12 17:50:05 +00:00
|
|
|
|
2019-05-02 02:19:12 +00:00
|
|
|
fn convert_leaf(leaf: &tt::Leaf) -> TtToken {
|
2019-04-12 17:50:05 +00:00
|
|
|
match leaf {
|
|
|
|
tt::Leaf::Literal(l) => convert_literal(l),
|
|
|
|
tt::Leaf::Ident(ident) => convert_ident(ident),
|
2019-05-02 02:19:12 +00:00
|
|
|
tt::Leaf::Punct(punct) => convert_punct(punct),
|
2019-04-12 17:50:05 +00:00
|
|
|
}
|
|
|
|
}
|