rust/crates/ra_syntax/src/ast/mod.rs

271 lines
6.1 KiB
Rust
Raw Normal View History

2018-08-09 16:43:39 +02:00
mod generated;
2018-09-08 00:16:07 +02:00
use std::marker::PhantomData;
2018-08-16 11:51:40 +02:00
use itertools::Itertools;
2018-08-13 13:24:22 +02:00
2018-08-09 15:03:21 +02:00
use {
2018-10-02 16:07:12 +02:00
SmolStr, SyntaxNodeRef, SyntaxKind::*,
2018-09-08 00:16:07 +02:00
yellow::{RefRoot, SyntaxNodeChildren},
2018-08-09 15:03:21 +02:00
};
2018-08-09 16:43:39 +02:00
pub use self::generated::*;
2018-07-30 20:58:49 +02:00
2018-08-22 16:01:51 +02:00
pub trait AstNode<'a>: Clone + Copy + 'a {
2018-08-17 21:00:13 +02:00
fn cast(syntax: SyntaxNodeRef<'a>) -> Option<Self>
2018-08-14 10:20:09 +02:00
where Self: Sized;
2018-08-17 21:00:13 +02:00
fn syntax(self) -> SyntaxNodeRef<'a>;
2018-08-09 15:03:21 +02:00
}
2018-08-17 21:00:13 +02:00
pub trait NameOwner<'a>: AstNode<'a> {
fn name(self) -> Option<Name<'a>> {
2018-08-22 16:01:51 +02:00
child_opt(self)
2018-08-11 11:28:59 +02:00
}
}
2018-08-30 20:32:12 +02:00
pub trait LoopBodyOwner<'a>: AstNode<'a> {
fn loop_body(self) -> Option<Block<'a>> {
child_opt(self)
}
}
2018-09-03 01:01:43 +02:00
pub trait ArgListOwner<'a>: AstNode<'a> {
fn arg_list(self) -> Option<ArgList<'a>> {
child_opt(self)
}
}
2018-09-03 14:10:06 +02:00
pub trait FnDefOwner<'a>: AstNode<'a> {
2018-09-08 00:35:20 +02: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-08 00:16:07 +02:00
children(self)
2018-09-03 14:10:06 +02:00
}
}
2018-08-22 15:46:42 +02:00
pub trait TypeParamsOwner<'a>: AstNode<'a> {
fn type_param_list(self) -> Option<TypeParamList<'a>> {
2018-08-22 16:01:51 +02:00
child_opt(self)
2018-08-22 15:46:42 +02:00
}
fn where_clause(self) -> Option<WhereClause<'a>> {
2018-08-22 16:01:51 +02:00
child_opt(self)
2018-08-22 15:46:42 +02:00
}
}
2018-08-17 21:00:13 +02:00
pub trait AttrsOwner<'a>: AstNode<'a> {
2018-09-08 00:35:20 +02:00
fn attrs(self) -> AstChildren<'a, Attr<'a>> {
2018-09-08 00:16:07 +02:00
children(self)
2018-08-16 11:51:40 +02:00
}
}
2018-08-17 21:00:13 +02:00
impl<'a> FnDef<'a> {
2018-08-09 15:03:21 +02:00
pub fn has_atom_attr(&self, atom: &str) -> bool {
2018-08-16 11:51:40 +02:00
self.attrs()
2018-08-16 12:11:20 +02:00
.filter_map(|x| x.as_atom())
2018-08-16 11:51:40 +02:00
.any(|x| x == atom)
}
}
2018-08-17 21:00:13 +02:00
impl<'a> Attr<'a> {
2018-08-16 12:11:20 +02: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 16:07:12 +02:00
Some(attr.leaf_text().unwrap().clone())
2018-08-16 12:11:20 +02:00
} else {
None
}
}
2018-08-17 21:00:13 +02:00
pub fn as_call(&self) -> Option<(SmolStr, TokenTree<'a>)> {
2018-08-16 12:11:20 +02: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 16:07:12 +02:00
Some((attr.leaf_text().unwrap().clone(), args))
2018-08-16 12:11:20 +02:00
} else {
None
}
2018-08-09 15:03:21 +02:00
}
}
2018-08-28 22:59:57 +02:00
impl<'a> Lifetime<'a> {
pub fn text(&self) -> SmolStr {
2018-10-02 16:07:12 +02:00
self.syntax().leaf_text().unwrap().clone()
2018-08-28 22:59:57 +02:00
}
}
2018-10-11 16:25:35 +02:00
impl<'a> Comment<'a> {
pub fn text(&self) -> &SmolStr {
self.syntax().leaf_text().unwrap()
2018-10-11 16:25:35 +02: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()
}
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 16:25:35 +02:00
}
2018-10-12 19:49:08 +02:00
#[derive(Debug, PartialEq, Eq)]
2018-10-11 16:25:35 +02:00
pub enum CommentFlavor {
Line,
Doc,
ModuleDoc,
Multiline
}
impl CommentFlavor {
pub fn prefix(&self) -> &'static str {
use self::CommentFlavor::*;
match *self {
Line => "//",
Doc => "///",
ModuleDoc => "//!",
Multiline => "/*"
}
}
}
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 21:00:13 +02:00
impl<'a> Name<'a> {
2018-08-13 13:24:22 +02:00
pub fn text(&self) -> SmolStr {
let ident = self.syntax().first_child()
.unwrap();
2018-10-02 16:07:12 +02:00
ident.leaf_text().unwrap().clone()
2018-07-30 20:58:49 +02:00
}
}
2018-08-13 15:35:17 +02:00
2018-08-17 21:00:13 +02:00
impl<'a> NameRef<'a> {
2018-08-13 15:35:17 +02:00
pub fn text(&self) -> SmolStr {
let ident = self.syntax().first_child()
.unwrap();
2018-10-02 16:07:12 +02:00
ident.leaf_text().unwrap().clone()
2018-08-13 15:35:17 +02:00
}
}
2018-08-14 11:38:20 +02:00
2018-08-17 21:00:13 +02:00
impl<'a> ImplItem<'a> {
2018-08-22 16:01:51 +02:00
pub fn target_type(self) -> Option<TypeRef<'a>> {
2018-08-14 11:38:20 +02:00
match self.target() {
(Some(t), None) | (_, Some(t)) => Some(t),
_ => None,
}
}
2018-08-22 16:01:51 +02:00
pub fn target_trait(self) -> Option<TypeRef<'a>> {
2018-08-14 11:38:20 +02:00
match self.target() {
(Some(t), Some(_)) => Some(t),
_ => None,
}
}
2018-08-22 16:01:51 +02:00
fn target(self) -> (Option<TypeRef<'a>>, Option<TypeRef<'a>>) {
let mut types = children(self);
2018-08-14 11:38:20 +02:00
let first = types.next();
let second = types.next();
(first, second)
}
}
2018-08-17 14:37:17 +02:00
2018-08-17 21:00:13 +02:00
impl<'a> Module<'a> {
2018-08-22 16:01:51 +02:00
pub fn has_semi(self) -> bool {
2018-08-17 21:00:13 +02:00
match self.syntax().last_child() {
2018-08-17 14:37:17 +02:00
None => false,
Some(node) => node.kind() == SEMI,
}
}
}
2018-08-22 16:01:51 +02:00
2018-08-28 10:12:42 +02: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 11:22:09 +02: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-08 00:35:20 +02:00
fn blocks(self) -> AstChildren<'a, Block<'a>> {
2018-08-27 11:22:09 +02:00
children(self)
}
}
2018-08-22 16:01:51 +02:00
fn child_opt<'a, P: AstNode<'a>, C: AstNode<'a>>(parent: P) -> Option<C> {
children(parent).next()
}
2018-09-08 00:35:20 +02:00
fn children<'a, P: AstNode<'a>, C: AstNode<'a>>(parent: P) -> AstChildren<'a, C> {
AstChildren::new(parent.syntax())
2018-09-08 00:16:07 +02:00
}
#[derive(Debug)]
2018-09-08 00:35:20 +02:00
pub struct AstChildren<'a, N> {
2018-09-08 00:16:07 +02:00
inner: SyntaxNodeChildren<RefRoot<'a>>,
ph: PhantomData<N>,
}
2018-09-08 00:35:20 +02:00
impl<'a, N> AstChildren<'a, N> {
2018-09-08 00:16:07 +02:00
fn new(parent: SyntaxNodeRef<'a>) -> Self {
2018-09-08 00:35:20 +02:00
AstChildren {
2018-09-08 00:16:07 +02:00
inner: parent.children(),
ph: PhantomData,
}
}
}
2018-09-08 00:35:20 +02:00
impl<'a, N: AstNode<'a>> Iterator for AstChildren<'a, N> {
2018-09-08 00:16:07 +02:00
type Item = N;
fn next(&mut self) -> Option<N> {
loop {
match N::cast(self.inner.next()?) {
Some(n) => return Some(n),
None => (),
}
}
}
2018-08-22 16:01:51 +02:00
}