rust-analyzer/crates/libsyntax2/src/ast/mod.rs

135 lines
3.1 KiB
Rust
Raw Normal View History

2018-08-09 14:43:39 +00:00
mod generated;
2018-08-16 09:51:40 +00:00
use itertools::Itertools;
2018-08-13 11:24:22 +00:00
use smol_str::SmolStr;
2018-08-09 13:03:21 +00:00
use {
2018-08-17 19:00:13 +00:00
SyntaxNode, SyntaxNodeRef, TreeRoot, SyntaxError,
2018-08-09 13:03:21 +00:00
SyntaxKind::*,
};
2018-08-09 14:43:39 +00:00
pub use self::generated::*;
2018-07-30 18:58:49 +00:00
2018-08-17 19:00:13 +00:00
pub trait AstNode<'a>: Clone + Copy {
fn cast(syntax: SyntaxNodeRef<'a>) -> Option<Self>
2018-08-14 08:20:09 +00:00
where Self: Sized;
2018-08-17 19:00:13 +00:00
fn syntax(self) -> SyntaxNodeRef<'a>;
2018-08-09 13:03:21 +00:00
}
2018-08-17 19:00:13 +00:00
pub trait NameOwner<'a>: AstNode<'a> {
fn name(self) -> Option<Name<'a>> {
2018-08-11 09:28:59 +00:00
self.syntax()
.children()
.filter_map(Name::cast)
.next()
}
}
2018-08-17 19:00:13 +00:00
pub trait AttrsOwner<'a>: AstNode<'a> {
fn attrs(&self) -> Box<Iterator<Item=Attr<'a>> + 'a> {
2018-08-16 09:51:40 +00:00
let it = self.syntax().children()
.filter_map(Attr::cast);
Box::new(it)
}
}
2018-08-17 19:00:13 +00:00
#[derive(Clone, Debug)]
pub struct ParsedFile {
root: SyntaxNode
2018-07-30 18:58:49 +00:00
}
2018-08-17 19:00:13 +00:00
impl ParsedFile {
pub fn parse(text: &str) -> Self {
let root = ::parse(text);
ParsedFile { root }
}
pub fn ast(&self) -> File {
File::cast(self.syntax()).unwrap()
}
pub fn syntax(&self) -> SyntaxNodeRef {
2018-08-17 19:03:55 +00:00
self.root.borrowed()
2018-08-17 19:00:13 +00:00
}
2018-08-09 18:27:44 +00:00
pub fn errors(&self) -> Vec<SyntaxError> {
2018-08-17 18:10:55 +00:00
self.syntax().root.syntax_root().errors.clone()
2018-08-09 18:27:44 +00:00
}
2018-08-17 19:00:13 +00:00
2018-08-09 13:03:21 +00:00
}
2018-08-17 19:00:13 +00:00
impl<'a> FnDef<'a> {
2018-08-09 13:03:21 +00:00
pub fn has_atom_attr(&self, atom: &str) -> bool {
2018-08-16 09:51:40 +00:00
self.attrs()
2018-08-16 10:11:20 +00:00
.filter_map(|x| x.as_atom())
2018-08-16 09:51:40 +00:00
.any(|x| x == atom)
}
}
2018-08-17 19:00:13 +00:00
impl<'a> Attr<'a> {
2018-08-16 10:11:20 +00:00
pub fn as_atom(&self) -> Option<SmolStr> {
let tt = self.value()?;
let (_bra, attr, _ket) = tt.syntax().children().collect_tuple()?;
if attr.kind() == IDENT {
Some(attr.leaf_text().unwrap())
} else {
None
}
}
2018-08-17 19:00:13 +00:00
pub fn as_call(&self) -> Option<(SmolStr, TokenTree<'a>)> {
2018-08-16 10:11:20 +00:00
let tt = self.value()?;
let (_bra, attr, args, _ket) = tt.syntax().children().collect_tuple()?;
let args = TokenTree::cast(args)?;
if attr.kind() == IDENT {
Some((attr.leaf_text().unwrap(), args))
} else {
None
}
2018-08-09 13:03:21 +00:00
}
}
2018-08-17 19:00:13 +00:00
impl<'a> Name<'a> {
2018-08-13 11:24:22 +00:00
pub fn text(&self) -> SmolStr {
let ident = self.syntax().first_child()
.unwrap();
ident.leaf_text().unwrap()
2018-07-30 18:58:49 +00:00
}
}
2018-08-13 13:35:17 +00:00
2018-08-17 19:00:13 +00:00
impl<'a> NameRef<'a> {
2018-08-13 13:35:17 +00:00
pub fn text(&self) -> SmolStr {
let ident = self.syntax().first_child()
.unwrap();
ident.leaf_text().unwrap()
}
}
2018-08-14 09:38:20 +00:00
2018-08-17 19:00:13 +00:00
impl<'a> ImplItem<'a> {
pub fn target_type(&self) -> Option<TypeRef<'a>> {
2018-08-14 09:38:20 +00:00
match self.target() {
(Some(t), None) | (_, Some(t)) => Some(t),
_ => None,
}
}
2018-08-17 19:00:13 +00:00
pub fn target_trait(&self) -> Option<TypeRef<'a>> {
2018-08-14 09:38:20 +00:00
match self.target() {
(Some(t), Some(_)) => Some(t),
_ => None,
}
}
2018-08-17 19:00:13 +00:00
fn target(&self) -> (Option<TypeRef<'a>>, Option<TypeRef<'a>>) {
2018-08-14 09:38:20 +00:00
let mut types = self.syntax().children().filter_map(TypeRef::cast);
let first = types.next();
let second = types.next();
(first, second)
}
}
2018-08-17 12:37:17 +00:00
2018-08-17 19:00:13 +00:00
impl<'a> Module<'a> {
2018-08-17 12:37:17 +00:00
pub fn has_semi(&self) -> bool {
2018-08-17 19:00:13 +00:00
match self.syntax().last_child() {
2018-08-17 12:37:17 +00:00
None => false,
Some(node) => node.kind() == SEMI,
}
}
}