2018-08-09 14:43:39 +00:00
|
|
|
mod generated;
|
|
|
|
|
2018-07-30 18:58:49 +00:00
|
|
|
use std::sync::Arc;
|
2018-08-13 11:24:22 +00:00
|
|
|
|
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-16 09:51:40 +00:00
|
|
|
SyntaxNode, SyntaxNodeRef, SyntaxRoot, 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-14 08:20:09 +00:00
|
|
|
pub trait AstNode<R: TreeRoot> {
|
|
|
|
fn cast(syntax: SyntaxNode<R>) -> Option<Self>
|
|
|
|
where Self: Sized;
|
2018-08-09 14:43:39 +00:00
|
|
|
fn syntax(&self) -> &SyntaxNode<R>;
|
2018-08-16 09:51:40 +00:00
|
|
|
fn syntax_ref<'a>(&'a self) -> SyntaxNodeRef<'a> where R: 'a {
|
|
|
|
self.syntax().as_ref()
|
|
|
|
}
|
2018-08-09 13:03:21 +00:00
|
|
|
}
|
|
|
|
|
2018-08-11 09:28:59 +00:00
|
|
|
pub trait NameOwner<R: TreeRoot>: AstNode<R> {
|
|
|
|
fn name(&self) -> Option<Name<R>> {
|
|
|
|
self.syntax()
|
|
|
|
.children()
|
|
|
|
.filter_map(Name::cast)
|
|
|
|
.next()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-16 09:51:40 +00:00
|
|
|
pub trait AttrsOwner<R: TreeRoot>: AstNode<R> {
|
|
|
|
fn attrs<'a>(&'a self) -> Box<Iterator<Item=Attr<R>> + 'a> where R: 'a {
|
|
|
|
let it = self.syntax().children()
|
|
|
|
.filter_map(Attr::cast);
|
|
|
|
Box::new(it)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-07-30 18:58:49 +00:00
|
|
|
impl File<Arc<SyntaxRoot>> {
|
|
|
|
pub fn parse(text: &str) -> Self {
|
2018-08-09 14:43:39 +00:00
|
|
|
File::cast(::parse(text)).unwrap()
|
2018-07-30 18:58:49 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-09 13:03:21 +00:00
|
|
|
impl<R: TreeRoot> File<R> {
|
2018-08-09 18:27:44 +00:00
|
|
|
pub fn errors(&self) -> Vec<SyntaxError> {
|
|
|
|
self.syntax().root.errors.clone()
|
|
|
|
}
|
2018-08-09 13:03:21 +00:00
|
|
|
}
|
|
|
|
|
2018-08-13 15:36:16 +00:00
|
|
|
impl<R: TreeRoot> FnDef<R> {
|
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-16 10:11:20 +00:00
|
|
|
impl<R: TreeRoot> Attr<R> {
|
|
|
|
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
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn as_call(&self) -> Option<(SmolStr, TokenTree<R>)> {
|
|
|
|
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
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<R: TreeRoot> Name<R> {
|
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
|
|
|
|
|
|
|
impl<R: TreeRoot> NameRef<R> {
|
|
|
|
pub fn text(&self) -> SmolStr {
|
|
|
|
let ident = self.syntax().first_child()
|
|
|
|
.unwrap();
|
|
|
|
ident.leaf_text().unwrap()
|
|
|
|
}
|
|
|
|
}
|
2018-08-14 09:38:20 +00:00
|
|
|
|
|
|
|
impl <R: TreeRoot> ImplItem<R> {
|
|
|
|
pub fn target_type(&self) -> Option<TypeRef<R>> {
|
|
|
|
match self.target() {
|
|
|
|
(Some(t), None) | (_, Some(t)) => Some(t),
|
|
|
|
_ => None,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn target_trait(&self) -> Option<TypeRef<R>> {
|
|
|
|
match self.target() {
|
|
|
|
(Some(t), Some(_)) => Some(t),
|
|
|
|
_ => None,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn target(&self) -> (Option<TypeRef<R>>, Option<TypeRef<R>>) {
|
|
|
|
let mut types = self.syntax().children().filter_map(TypeRef::cast);
|
|
|
|
let first = types.next();
|
|
|
|
let second = types.next();
|
|
|
|
(first, second)
|
|
|
|
}
|
|
|
|
}
|