2018-08-09 09:43:39 -05:00
|
|
|
mod generated;
|
|
|
|
|
2018-08-16 04:51:40 -05:00
|
|
|
use itertools::Itertools;
|
2018-08-13 06:24:22 -05:00
|
|
|
use smol_str::SmolStr;
|
|
|
|
|
2018-08-09 08:03:21 -05:00
|
|
|
use {
|
2018-08-25 03:40:17 -05:00
|
|
|
SyntaxNodeRef, SyntaxKind::*,
|
2018-08-09 08:03:21 -05:00
|
|
|
};
|
2018-08-09 09:43:39 -05:00
|
|
|
pub use self::generated::*;
|
2018-07-30 13:58:49 -05:00
|
|
|
|
2018-08-22 09:01:51 -05:00
|
|
|
pub trait AstNode<'a>: Clone + Copy + 'a {
|
2018-08-17 14:00:13 -05:00
|
|
|
fn cast(syntax: SyntaxNodeRef<'a>) -> Option<Self>
|
2018-08-14 03:20:09 -05:00
|
|
|
where Self: Sized;
|
2018-08-17 14:00:13 -05:00
|
|
|
fn syntax(self) -> SyntaxNodeRef<'a>;
|
2018-08-09 08:03:21 -05:00
|
|
|
}
|
|
|
|
|
2018-08-17 14:00:13 -05:00
|
|
|
pub trait NameOwner<'a>: AstNode<'a> {
|
|
|
|
fn name(self) -> Option<Name<'a>> {
|
2018-08-22 09:01:51 -05:00
|
|
|
child_opt(self)
|
2018-08-11 04:28:59 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-22 08:46:42 -05:00
|
|
|
pub trait TypeParamsOwner<'a>: AstNode<'a> {
|
|
|
|
fn type_param_list(self) -> Option<TypeParamList<'a>> {
|
2018-08-22 09:01:51 -05:00
|
|
|
child_opt(self)
|
2018-08-22 08:46:42 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn where_clause(self) -> Option<WhereClause<'a>> {
|
2018-08-22 09:01:51 -05:00
|
|
|
child_opt(self)
|
2018-08-22 08:46:42 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-17 14:00:13 -05:00
|
|
|
pub trait AttrsOwner<'a>: AstNode<'a> {
|
2018-08-22 09:01:51 -05:00
|
|
|
fn attrs(self) -> Box<Iterator<Item=Attr<'a>> + 'a> {
|
|
|
|
Box::new(children(self))
|
2018-08-16 04:51:40 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-17 14:00:13 -05:00
|
|
|
impl<'a> FnDef<'a> {
|
2018-08-09 08:03:21 -05:00
|
|
|
pub fn has_atom_attr(&self, atom: &str) -> bool {
|
2018-08-16 04:51:40 -05:00
|
|
|
self.attrs()
|
2018-08-16 05:11:20 -05:00
|
|
|
.filter_map(|x| x.as_atom())
|
2018-08-16 04:51:40 -05:00
|
|
|
.any(|x| x == atom)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-17 14:00:13 -05:00
|
|
|
impl<'a> Attr<'a> {
|
2018-08-16 05:11:20 -05: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 14:00:13 -05:00
|
|
|
pub fn as_call(&self) -> Option<(SmolStr, TokenTree<'a>)> {
|
2018-08-16 05:11:20 -05: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 08:03:21 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-17 14:00:13 -05:00
|
|
|
impl<'a> Name<'a> {
|
2018-08-13 06:24:22 -05:00
|
|
|
pub fn text(&self) -> SmolStr {
|
|
|
|
let ident = self.syntax().first_child()
|
|
|
|
.unwrap();
|
|
|
|
ident.leaf_text().unwrap()
|
2018-07-30 13:58:49 -05:00
|
|
|
}
|
|
|
|
}
|
2018-08-13 08:35:17 -05:00
|
|
|
|
2018-08-17 14:00:13 -05:00
|
|
|
impl<'a> NameRef<'a> {
|
2018-08-13 08:35:17 -05:00
|
|
|
pub fn text(&self) -> SmolStr {
|
|
|
|
let ident = self.syntax().first_child()
|
|
|
|
.unwrap();
|
|
|
|
ident.leaf_text().unwrap()
|
|
|
|
}
|
|
|
|
}
|
2018-08-14 04:38:20 -05:00
|
|
|
|
2018-08-17 14:00:13 -05:00
|
|
|
impl<'a> ImplItem<'a> {
|
2018-08-22 09:01:51 -05:00
|
|
|
pub fn target_type(self) -> Option<TypeRef<'a>> {
|
2018-08-14 04:38:20 -05:00
|
|
|
match self.target() {
|
|
|
|
(Some(t), None) | (_, Some(t)) => Some(t),
|
|
|
|
_ => None,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-22 09:01:51 -05:00
|
|
|
pub fn target_trait(self) -> Option<TypeRef<'a>> {
|
2018-08-14 04:38:20 -05:00
|
|
|
match self.target() {
|
|
|
|
(Some(t), Some(_)) => Some(t),
|
|
|
|
_ => None,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-22 09:01:51 -05:00
|
|
|
fn target(self) -> (Option<TypeRef<'a>>, Option<TypeRef<'a>>) {
|
|
|
|
let mut types = children(self);
|
2018-08-14 04:38:20 -05:00
|
|
|
let first = types.next();
|
|
|
|
let second = types.next();
|
|
|
|
(first, second)
|
|
|
|
}
|
|
|
|
}
|
2018-08-17 07:37:17 -05:00
|
|
|
|
2018-08-17 14:00:13 -05:00
|
|
|
impl<'a> Module<'a> {
|
2018-08-22 09:01:51 -05:00
|
|
|
pub fn has_semi(self) -> bool {
|
2018-08-17 14:00:13 -05:00
|
|
|
match self.syntax().last_child() {
|
2018-08-17 07:37:17 -05:00
|
|
|
None => false,
|
|
|
|
Some(node) => node.kind() == SEMI,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2018-08-22 09:01:51 -05:00
|
|
|
|
2018-08-28 03:12:42 -05:00
|
|
|
impl<'a> LetStmt<'a> {
|
|
|
|
pub fn has_semi(self) -> bool {
|
|
|
|
match self.syntax().last_child() {
|
|
|
|
None => false,
|
|
|
|
Some(node) => node.kind() == SEMI,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-27 04:22:09 -05:00
|
|
|
impl<'a> IfExpr<'a> {
|
|
|
|
pub fn then_branch(self) -> Option<Block<'a>> {
|
|
|
|
self.blocks().nth(0)
|
|
|
|
}
|
|
|
|
pub fn else_branch(self) -> Option<Block<'a>> {
|
|
|
|
self.blocks().nth(1)
|
|
|
|
}
|
|
|
|
fn blocks(self) -> impl Iterator<Item=Block<'a>> {
|
|
|
|
children(self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-22 09:01:51 -05:00
|
|
|
fn child_opt<'a, P: AstNode<'a>, C: AstNode<'a>>(parent: P) -> Option<C> {
|
|
|
|
children(parent).next()
|
|
|
|
}
|
|
|
|
|
|
|
|
fn children<'a, P: AstNode<'a>, C: AstNode<'a>>(parent: P) -> impl Iterator<Item=C> + 'a {
|
|
|
|
parent.syntax()
|
|
|
|
.children()
|
|
|
|
.filter_map(C::cast)
|
|
|
|
}
|