2018-08-09 14:43:39 +00:00
|
|
|
mod generated;
|
|
|
|
|
2018-09-07 22:16:07 +00:00
|
|
|
use std::marker::PhantomData;
|
|
|
|
|
2018-08-16 09:51:40 +00:00
|
|
|
use itertools::Itertools;
|
2018-08-13 11:24:22 +00:00
|
|
|
|
2018-10-15 21:44:23 +00:00
|
|
|
pub use self::generated::*;
|
2018-10-15 16:55:32 +00:00
|
|
|
use crate::{
|
2018-09-07 22:16:07 +00:00
|
|
|
yellow::{RefRoot, SyntaxNodeChildren},
|
2018-10-15 21:44:23 +00:00
|
|
|
SmolStr,
|
|
|
|
SyntaxKind::*,
|
|
|
|
SyntaxNodeRef,
|
2018-08-09 13:03:21 +00:00
|
|
|
};
|
2018-07-30 18:58:49 +00:00
|
|
|
|
2018-08-22 14:01:51 +00:00
|
|
|
pub trait AstNode<'a>: Clone + Copy + 'a {
|
2018-08-17 19:00:13 +00:00
|
|
|
fn cast(syntax: SyntaxNodeRef<'a>) -> Option<Self>
|
2018-10-15 21:44:23 +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-22 14:01:51 +00:00
|
|
|
child_opt(self)
|
2018-08-11 09:28:59 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-30 18:32:12 +00:00
|
|
|
pub trait LoopBodyOwner<'a>: AstNode<'a> {
|
|
|
|
fn loop_body(self) -> Option<Block<'a>> {
|
|
|
|
child_opt(self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-09-02 23:01:43 +00:00
|
|
|
pub trait ArgListOwner<'a>: AstNode<'a> {
|
|
|
|
fn arg_list(self) -> Option<ArgList<'a>> {
|
|
|
|
child_opt(self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-09-03 12:10:06 +00:00
|
|
|
pub trait FnDefOwner<'a>: AstNode<'a> {
|
2018-09-07 22:35:20 +00:00
|
|
|
fn functions(self) -> AstChildren<'a, FnDef<'a>> {
|
|
|
|
children(self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub trait ModuleItemOwner<'a>: AstNode<'a> {
|
|
|
|
fn items(self) -> AstChildren<'a, ModuleItem<'a>> {
|
2018-09-07 22:16:07 +00:00
|
|
|
children(self)
|
2018-09-03 12:10:06 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-22 13:46:42 +00:00
|
|
|
pub trait TypeParamsOwner<'a>: AstNode<'a> {
|
|
|
|
fn type_param_list(self) -> Option<TypeParamList<'a>> {
|
2018-08-22 14:01:51 +00:00
|
|
|
child_opt(self)
|
2018-08-22 13:46:42 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn where_clause(self) -> Option<WhereClause<'a>> {
|
2018-08-22 14:01:51 +00:00
|
|
|
child_opt(self)
|
2018-08-22 13:46:42 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-17 19:00:13 +00:00
|
|
|
pub trait AttrsOwner<'a>: AstNode<'a> {
|
2018-09-07 22:35:20 +00:00
|
|
|
fn attrs(self) -> AstChildren<'a, Attr<'a>> {
|
2018-09-07 22:16:07 +00:00
|
|
|
children(self)
|
2018-08-16 09:51:40 +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-10-15 21:44:23 +00:00
|
|
|
self.attrs().filter_map(|x| x.as_atom()).any(|x| x == atom)
|
2018-08-16 09:51:40 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
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 {
|
2018-10-02 14:07:12 +00:00
|
|
|
Some(attr.leaf_text().unwrap().clone())
|
2018-08-16 10:11:20 +00:00
|
|
|
} 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 {
|
2018-10-02 14:07:12 +00:00
|
|
|
Some((attr.leaf_text().unwrap().clone(), args))
|
2018-08-16 10:11:20 +00:00
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
2018-08-09 13:03:21 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-28 20:59:57 +00:00
|
|
|
impl<'a> Lifetime<'a> {
|
|
|
|
pub fn text(&self) -> SmolStr {
|
2018-10-02 14:07:12 +00:00
|
|
|
self.syntax().leaf_text().unwrap().clone()
|
2018-08-28 20:59:57 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-10-11 14:25:35 +00:00
|
|
|
impl<'a> Comment<'a> {
|
2018-10-12 17:20:58 +00:00
|
|
|
pub fn text(&self) -> &SmolStr {
|
|
|
|
self.syntax().leaf_text().unwrap()
|
2018-10-11 14:25:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn flavor(&self) -> CommentFlavor {
|
|
|
|
let text = self.text();
|
|
|
|
if text.starts_with("///") {
|
|
|
|
CommentFlavor::Doc
|
|
|
|
} else if text.starts_with("//!") {
|
|
|
|
CommentFlavor::ModuleDoc
|
|
|
|
} else if text.starts_with("//") {
|
|
|
|
CommentFlavor::Line
|
|
|
|
} else {
|
|
|
|
CommentFlavor::Multiline
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn prefix(&self) -> &'static str {
|
|
|
|
self.flavor().prefix()
|
|
|
|
}
|
2018-10-12 17:20:58 +00:00
|
|
|
|
|
|
|
pub fn count_newlines_lazy(&self) -> impl Iterator<Item = &()> {
|
|
|
|
self.text().chars().filter(|&c| c == '\n').map(|_| &())
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn has_newlines(&self) -> bool {
|
|
|
|
self.count_newlines_lazy().count() > 0
|
|
|
|
}
|
2018-10-11 14:25:35 +00:00
|
|
|
}
|
|
|
|
|
2018-10-12 17:49:08 +00:00
|
|
|
#[derive(Debug, PartialEq, Eq)]
|
2018-10-11 14:25:35 +00:00
|
|
|
pub enum CommentFlavor {
|
|
|
|
Line,
|
|
|
|
Doc,
|
|
|
|
ModuleDoc,
|
2018-10-15 21:44:23 +00:00
|
|
|
Multiline,
|
2018-10-11 14:25:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl CommentFlavor {
|
|
|
|
pub fn prefix(&self) -> &'static str {
|
|
|
|
use self::CommentFlavor::*;
|
|
|
|
match *self {
|
|
|
|
Line => "//",
|
|
|
|
Doc => "///",
|
|
|
|
ModuleDoc => "//!",
|
2018-10-15 21:44:23 +00:00
|
|
|
Multiline => "/*",
|
2018-10-11 14:25:35 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-10-12 17:20:58 +00:00
|
|
|
impl<'a> Whitespace<'a> {
|
|
|
|
pub fn text(&self) -> &SmolStr {
|
|
|
|
&self.syntax().leaf_text().unwrap()
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn count_newlines_lazy(&self) -> impl Iterator<Item = &()> {
|
|
|
|
self.text().chars().filter(|&c| c == '\n').map(|_| &())
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn has_newlines(&self) -> bool {
|
|
|
|
self.count_newlines_lazy().count() > 0
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
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 {
|
2018-10-15 21:44:23 +00:00
|
|
|
let ident = self.syntax().first_child().unwrap();
|
2018-10-02 14:07:12 +00:00
|
|
|
ident.leaf_text().unwrap().clone()
|
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 {
|
2018-10-15 21:44:23 +00:00
|
|
|
let ident = self.syntax().first_child().unwrap();
|
2018-10-02 14:07:12 +00:00
|
|
|
ident.leaf_text().unwrap().clone()
|
2018-08-13 13:35:17 +00:00
|
|
|
}
|
|
|
|
}
|
2018-08-14 09:38:20 +00:00
|
|
|
|
2018-08-17 19:00:13 +00:00
|
|
|
impl<'a> ImplItem<'a> {
|
2018-08-22 14:01:51 +00:00
|
|
|
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-22 14:01:51 +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-22 14:01:51 +00:00
|
|
|
fn target(self) -> (Option<TypeRef<'a>>, Option<TypeRef<'a>>) {
|
|
|
|
let mut types = children(self);
|
2018-08-14 09:38:20 +00:00
|
|
|
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-22 14:01:51 +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,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2018-08-22 14:01:51 +00:00
|
|
|
|
2018-08-28 08:12:42 +00: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 09:22:09 +00: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)
|
|
|
|
}
|
2018-09-07 22:35:20 +00:00
|
|
|
fn blocks(self) -> AstChildren<'a, Block<'a>> {
|
2018-08-27 09:22:09 +00:00
|
|
|
children(self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-10-24 15:37:25 +00:00
|
|
|
|
|
|
|
#[derive(Debug, Clone, Copy)]
|
|
|
|
pub enum PathSegmentKind<'a> {
|
|
|
|
Name(NameRef<'a>),
|
|
|
|
SelfKw,
|
|
|
|
SuperKw,
|
|
|
|
CrateKw,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> PathSegment<'a> {
|
|
|
|
pub fn parent_path(self) -> Path<'a> {
|
|
|
|
self.syntax().parent().and_then(Path::cast)
|
|
|
|
.expect("segments are always nested in paths")
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn kind(self) -> Option<PathSegmentKind<'a>> {
|
|
|
|
let res = if let Some(name_ref) = self.name_ref() {
|
|
|
|
PathSegmentKind::Name(name_ref)
|
|
|
|
} else {
|
|
|
|
match self.syntax().first_child()?.kind() {
|
|
|
|
SELF_KW => PathSegmentKind::SelfKw,
|
|
|
|
SUPER_KW => PathSegmentKind::SuperKw,
|
|
|
|
CRATE_KW => PathSegmentKind::CrateKw,
|
|
|
|
_ => return None,
|
|
|
|
}
|
|
|
|
};
|
|
|
|
Some(res)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-22 14:01:51 +00:00
|
|
|
fn child_opt<'a, P: AstNode<'a>, C: AstNode<'a>>(parent: P) -> Option<C> {
|
|
|
|
children(parent).next()
|
|
|
|
}
|
|
|
|
|
2018-09-07 22:35:20 +00:00
|
|
|
fn children<'a, P: AstNode<'a>, C: AstNode<'a>>(parent: P) -> AstChildren<'a, C> {
|
|
|
|
AstChildren::new(parent.syntax())
|
2018-09-07 22:16:07 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
2018-09-07 22:35:20 +00:00
|
|
|
pub struct AstChildren<'a, N> {
|
2018-09-07 22:16:07 +00:00
|
|
|
inner: SyntaxNodeChildren<RefRoot<'a>>,
|
|
|
|
ph: PhantomData<N>,
|
|
|
|
}
|
|
|
|
|
2018-09-07 22:35:20 +00:00
|
|
|
impl<'a, N> AstChildren<'a, N> {
|
2018-09-07 22:16:07 +00:00
|
|
|
fn new(parent: SyntaxNodeRef<'a>) -> Self {
|
2018-09-07 22:35:20 +00:00
|
|
|
AstChildren {
|
2018-09-07 22:16:07 +00:00
|
|
|
inner: parent.children(),
|
|
|
|
ph: PhantomData,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-09-07 22:35:20 +00:00
|
|
|
impl<'a, N: AstNode<'a>> Iterator for AstChildren<'a, N> {
|
2018-09-07 22:16:07 +00:00
|
|
|
type Item = N;
|
|
|
|
fn next(&mut self) -> Option<N> {
|
|
|
|
loop {
|
2018-10-16 15:51:58 +00:00
|
|
|
if let Some(n) = N::cast(self.inner.next()?) {
|
|
|
|
return Some(n);
|
2018-09-07 22:16:07 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2018-08-22 14:01:51 +00:00
|
|
|
}
|