2018-08-09 17:43:39 +03:00
|
|
|
mod generated;
|
|
|
|
|
2018-09-08 01:16:07 +03:00
|
|
|
use std::marker::PhantomData;
|
2018-11-08 15:42:00 +01:00
|
|
|
use std::string::String as RustString;
|
2018-09-08 01:16:07 +03:00
|
|
|
|
2018-08-16 12:51:40 +03:00
|
|
|
use itertools::Itertools;
|
2018-08-13 14:24:22 +03:00
|
|
|
|
2018-10-15 17:44:23 -04:00
|
|
|
pub use self::generated::*;
|
2018-10-15 19:55:32 +03:00
|
|
|
use crate::{
|
2018-09-08 01:16:07 +03:00
|
|
|
yellow::{RefRoot, SyntaxNodeChildren},
|
2018-10-15 17:44:23 -04:00
|
|
|
SmolStr,
|
|
|
|
SyntaxKind::*,
|
|
|
|
SyntaxNodeRef,
|
2018-08-09 16:03:21 +03:00
|
|
|
};
|
2018-07-30 21:58:49 +03:00
|
|
|
|
2018-11-06 22:06:58 +03:00
|
|
|
/// The main trait to go from untyped `SyntaxNode` to a typed ast. The
|
|
|
|
/// conversion itself has zero runtime cost: ast and syntax nodes have exactly
|
|
|
|
/// the same representation: a pointer to the tree root and a pointer to the
|
|
|
|
/// node itself.
|
2018-08-22 17:01:51 +03:00
|
|
|
pub trait AstNode<'a>: Clone + Copy + 'a {
|
2018-08-17 22:00:13 +03:00
|
|
|
fn cast(syntax: SyntaxNodeRef<'a>) -> Option<Self>
|
2018-10-15 17:44:23 -04:00
|
|
|
where
|
|
|
|
Self: Sized;
|
2018-08-17 22:00:13 +03:00
|
|
|
fn syntax(self) -> SyntaxNodeRef<'a>;
|
2018-08-09 16:03:21 +03:00
|
|
|
}
|
|
|
|
|
2018-08-17 22:00:13 +03:00
|
|
|
pub trait NameOwner<'a>: AstNode<'a> {
|
|
|
|
fn name(self) -> Option<Name<'a>> {
|
2018-08-22 17:01:51 +03:00
|
|
|
child_opt(self)
|
2018-08-11 12:28:59 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-03 13:47:28 +03:00
|
|
|
pub trait VisibilityOwner<'a>: AstNode<'a> {
|
|
|
|
fn visibility(self) -> Option<Visibility<'a>> {
|
|
|
|
child_opt(self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-30 21:32:12 +03:00
|
|
|
pub trait LoopBodyOwner<'a>: AstNode<'a> {
|
|
|
|
fn loop_body(self) -> Option<Block<'a>> {
|
|
|
|
child_opt(self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-09-03 02:01:43 +03:00
|
|
|
pub trait ArgListOwner<'a>: AstNode<'a> {
|
|
|
|
fn arg_list(self) -> Option<ArgList<'a>> {
|
|
|
|
child_opt(self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-09-03 15:10:06 +03:00
|
|
|
pub trait FnDefOwner<'a>: AstNode<'a> {
|
2018-09-08 01:35:20 +03:00
|
|
|
fn functions(self) -> AstChildren<'a, FnDef<'a>> {
|
|
|
|
children(self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-01 21:52:07 +03:00
|
|
|
// ModuleItem
|
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
|
|
|
pub enum ItemOrMacro<'a> {
|
|
|
|
Item(ModuleItem<'a>),
|
|
|
|
Macro(MacroCall<'a>),
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> AstNode<'a> for ItemOrMacro<'a> {
|
|
|
|
fn cast(syntax: SyntaxNodeRef<'a>) -> Option<Self> {
|
|
|
|
let res = if let Some(item) = ModuleItem::cast(syntax) {
|
|
|
|
ItemOrMacro::Item(item)
|
|
|
|
} else if let Some(macro_call) = MacroCall::cast(syntax) {
|
|
|
|
ItemOrMacro::Macro(macro_call)
|
|
|
|
} else {
|
|
|
|
return None;
|
|
|
|
};
|
|
|
|
Some(res)
|
|
|
|
}
|
|
|
|
fn syntax(self) -> SyntaxNodeRef<'a> {
|
|
|
|
match self {
|
|
|
|
ItemOrMacro::Item(it) => it.syntax(),
|
|
|
|
ItemOrMacro::Macro(it) => it.syntax(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-09-08 01:35:20 +03:00
|
|
|
pub trait ModuleItemOwner<'a>: AstNode<'a> {
|
|
|
|
fn items(self) -> AstChildren<'a, ModuleItem<'a>> {
|
2018-09-08 01:16:07 +03:00
|
|
|
children(self)
|
2018-09-03 15:10:06 +03:00
|
|
|
}
|
2019-01-01 21:52:07 +03:00
|
|
|
|
|
|
|
fn items_with_macros(self) -> AstChildren<'a, ItemOrMacro<'a>> {
|
|
|
|
children(self)
|
|
|
|
}
|
2018-09-03 15:10:06 +03:00
|
|
|
}
|
|
|
|
|
2018-08-22 16:46:42 +03:00
|
|
|
pub trait TypeParamsOwner<'a>: AstNode<'a> {
|
|
|
|
fn type_param_list(self) -> Option<TypeParamList<'a>> {
|
2018-08-22 17:01:51 +03:00
|
|
|
child_opt(self)
|
2018-08-22 16:46:42 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
fn where_clause(self) -> Option<WhereClause<'a>> {
|
2018-08-22 17:01:51 +03:00
|
|
|
child_opt(self)
|
2018-08-22 16:46:42 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-17 22:00:13 +03:00
|
|
|
pub trait AttrsOwner<'a>: AstNode<'a> {
|
2018-09-08 01:35:20 +03:00
|
|
|
fn attrs(self) -> AstChildren<'a, Attr<'a>> {
|
2018-09-08 01:16:07 +03:00
|
|
|
children(self)
|
2018-08-16 12:51:40 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-10-30 16:57:33 -04:00
|
|
|
pub trait DocCommentsOwner<'a>: AstNode<'a> {
|
2018-10-31 23:41:43 +03:00
|
|
|
fn doc_comments(self) -> AstChildren<'a, Comment<'a>> {
|
|
|
|
children(self)
|
|
|
|
}
|
2018-10-30 16:57:33 -04:00
|
|
|
|
|
|
|
/// Returns the textual content of a doc comment block as a single string.
|
|
|
|
/// That is, strips leading `///` and joins lines
|
2018-11-08 15:42:00 +01:00
|
|
|
fn doc_comment_text(self) -> RustString {
|
2018-10-30 16:57:33 -04:00
|
|
|
self.doc_comments()
|
2019-01-04 21:29:00 +08:00
|
|
|
.filter(|comment| comment.is_doc_comment())
|
2018-10-30 16:57:33 -04:00
|
|
|
.map(|comment| {
|
|
|
|
let prefix = comment.prefix();
|
2018-10-31 23:41:43 +03:00
|
|
|
let trimmed = comment
|
|
|
|
.text()
|
|
|
|
.as_str()
|
2018-10-30 16:57:33 -04:00
|
|
|
.trim()
|
|
|
|
.trim_start_matches(prefix)
|
|
|
|
.trim_start();
|
|
|
|
trimmed.to_owned()
|
2018-10-31 23:41:43 +03:00
|
|
|
})
|
|
|
|
.join("\n")
|
2018-10-30 16:57:33 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-17 22:00:13 +03:00
|
|
|
impl<'a> FnDef<'a> {
|
2018-08-09 16:03:21 +03:00
|
|
|
pub fn has_atom_attr(&self, atom: &str) -> bool {
|
2018-10-15 17:44:23 -04:00
|
|
|
self.attrs().filter_map(|x| x.as_atom()).any(|x| x == atom)
|
2018-08-16 12:51:40 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-17 22:00:13 +03:00
|
|
|
impl<'a> Attr<'a> {
|
2018-08-16 13:11:20 +03: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 17:07:12 +03:00
|
|
|
Some(attr.leaf_text().unwrap().clone())
|
2018-08-16 13:11:20 +03:00
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-17 22:00:13 +03:00
|
|
|
pub fn as_call(&self) -> Option<(SmolStr, TokenTree<'a>)> {
|
2018-08-16 13:11:20 +03: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 17:07:12 +03:00
|
|
|
Some((attr.leaf_text().unwrap().clone(), args))
|
2018-08-16 13:11:20 +03:00
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
2018-08-09 16:03:21 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-28 23:59:57 +03:00
|
|
|
impl<'a> Lifetime<'a> {
|
|
|
|
pub fn text(&self) -> SmolStr {
|
2018-10-02 17:07:12 +03:00
|
|
|
self.syntax().leaf_text().unwrap().clone()
|
2018-08-28 23:59:57 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-11-04 15:06:38 +01:00
|
|
|
impl<'a> Char<'a> {
|
|
|
|
pub fn text(&self) -> &SmolStr {
|
2018-11-11 20:27:00 +01:00
|
|
|
&self.syntax().leaf_text().unwrap()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> Byte<'a> {
|
|
|
|
pub fn text(&self) -> &SmolStr {
|
2018-11-11 20:41:43 +01:00
|
|
|
&self.syntax().leaf_text().unwrap()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> ByteString<'a> {
|
|
|
|
pub fn text(&self) -> &SmolStr {
|
2018-11-04 15:06:38 +01:00
|
|
|
&self.syntax().leaf_text().unwrap()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-11-08 15:42:00 +01:00
|
|
|
impl<'a> String<'a> {
|
|
|
|
pub fn text(&self) -> &SmolStr {
|
|
|
|
&self.syntax().leaf_text().unwrap()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-10-11 16:25:35 +02:00
|
|
|
impl<'a> Comment<'a> {
|
2018-10-12 19:20:58 +02:00
|
|
|
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
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-04 21:29:00 +08:00
|
|
|
pub fn is_doc_comment(&self) -> bool {
|
|
|
|
self.flavor().is_doc_comment()
|
|
|
|
}
|
|
|
|
|
2018-10-11 16:25:35 +02:00
|
|
|
pub fn prefix(&self) -> &'static str {
|
|
|
|
self.flavor().prefix()
|
|
|
|
}
|
2018-10-12 19:20:58 +02: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 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,
|
2018-10-15 17:44:23 -04:00
|
|
|
Multiline,
|
2018-10-11 16:25:35 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
impl CommentFlavor {
|
|
|
|
pub fn prefix(&self) -> &'static str {
|
|
|
|
use self::CommentFlavor::*;
|
|
|
|
match *self {
|
|
|
|
Line => "//",
|
|
|
|
Doc => "///",
|
|
|
|
ModuleDoc => "//!",
|
2018-10-15 17:44:23 -04:00
|
|
|
Multiline => "/*",
|
2018-10-11 16:25:35 +02:00
|
|
|
}
|
|
|
|
}
|
2019-01-04 21:29:00 +08:00
|
|
|
|
|
|
|
pub fn is_doc_comment(&self) -> bool {
|
|
|
|
match self {
|
|
|
|
CommentFlavor::Doc | CommentFlavor::ModuleDoc => true,
|
|
|
|
_ => false,
|
|
|
|
}
|
|
|
|
}
|
2018-10-11 16:25:35 +02:00
|
|
|
}
|
|
|
|
|
2018-10-12 19:20:58 +02: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 22:00:13 +03:00
|
|
|
impl<'a> Name<'a> {
|
2018-08-13 14:24:22 +03:00
|
|
|
pub fn text(&self) -> SmolStr {
|
2018-10-15 17:44:23 -04:00
|
|
|
let ident = self.syntax().first_child().unwrap();
|
2018-10-02 17:07:12 +03:00
|
|
|
ident.leaf_text().unwrap().clone()
|
2018-07-30 21:58:49 +03:00
|
|
|
}
|
|
|
|
}
|
2018-08-13 16:35:17 +03:00
|
|
|
|
2018-08-17 22:00:13 +03:00
|
|
|
impl<'a> NameRef<'a> {
|
2018-08-13 16:35:17 +03:00
|
|
|
pub fn text(&self) -> SmolStr {
|
2018-10-15 17:44:23 -04:00
|
|
|
let ident = self.syntax().first_child().unwrap();
|
2018-10-02 17:07:12 +03:00
|
|
|
ident.leaf_text().unwrap().clone()
|
2018-08-13 16:35:17 +03:00
|
|
|
}
|
|
|
|
}
|
2018-08-14 12:38:20 +03:00
|
|
|
|
2018-12-26 21:24:49 +01:00
|
|
|
impl<'a> ImplBlock<'a> {
|
2018-08-22 17:01:51 +03:00
|
|
|
pub fn target_type(self) -> Option<TypeRef<'a>> {
|
2018-08-14 12:38:20 +03:00
|
|
|
match self.target() {
|
|
|
|
(Some(t), None) | (_, Some(t)) => Some(t),
|
|
|
|
_ => None,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-22 17:01:51 +03:00
|
|
|
pub fn target_trait(self) -> Option<TypeRef<'a>> {
|
2018-08-14 12:38:20 +03:00
|
|
|
match self.target() {
|
|
|
|
(Some(t), Some(_)) => Some(t),
|
|
|
|
_ => None,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-22 17:01:51 +03:00
|
|
|
fn target(self) -> (Option<TypeRef<'a>>, Option<TypeRef<'a>>) {
|
|
|
|
let mut types = children(self);
|
2018-08-14 12:38:20 +03:00
|
|
|
let first = types.next();
|
|
|
|
let second = types.next();
|
|
|
|
(first, second)
|
|
|
|
}
|
|
|
|
}
|
2018-08-17 15:37:17 +03:00
|
|
|
|
2018-08-17 22:00:13 +03:00
|
|
|
impl<'a> Module<'a> {
|
2018-08-22 17:01:51 +03:00
|
|
|
pub fn has_semi(self) -> bool {
|
2018-08-17 22:00:13 +03:00
|
|
|
match self.syntax().last_child() {
|
2018-08-17 15:37:17 +03:00
|
|
|
None => false,
|
|
|
|
Some(node) => node.kind() == SEMI,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2018-08-22 17:01:51 +03:00
|
|
|
|
2018-08-28 11:12:42 +03: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 12:22:09 +03: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 01:35:20 +03:00
|
|
|
fn blocks(self) -> AstChildren<'a, Block<'a>> {
|
2018-08-27 12:22:09 +03:00
|
|
|
children(self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-12-21 22:29:59 +00:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
2018-10-24 18:37:25 +03:00
|
|
|
pub enum PathSegmentKind<'a> {
|
|
|
|
Name(NameRef<'a>),
|
|
|
|
SelfKw,
|
|
|
|
SuperKw,
|
|
|
|
CrateKw,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> PathSegment<'a> {
|
|
|
|
pub fn parent_path(self) -> Path<'a> {
|
2018-10-31 23:41:43 +03:00
|
|
|
self.syntax()
|
|
|
|
.parent()
|
|
|
|
.and_then(Path::cast)
|
2018-10-24 18:37:25 +03:00
|
|
|
.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)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-05 13:45:18 +03:00
|
|
|
impl<'a> Path<'a> {
|
|
|
|
pub fn parent_path(self) -> Option<Path<'a>> {
|
|
|
|
self.syntax().parent().and_then(Path::cast)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-11-20 19:24:58 +03:00
|
|
|
impl<'a> UseTree<'a> {
|
|
|
|
pub fn has_star(self) -> bool {
|
|
|
|
self.syntax().children().any(|it| it.kind() == STAR)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-11-07 21:38:41 +03:00
|
|
|
impl<'a> UseTreeList<'a> {
|
|
|
|
pub fn parent_use_tree(self) -> UseTree<'a> {
|
|
|
|
self.syntax()
|
|
|
|
.parent()
|
|
|
|
.and_then(UseTree::cast)
|
|
|
|
.expect("UseTreeLists are always nested in UseTrees")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-22 17:01:51 +03:00
|
|
|
fn child_opt<'a, P: AstNode<'a>, C: AstNode<'a>>(parent: P) -> Option<C> {
|
|
|
|
children(parent).next()
|
|
|
|
}
|
|
|
|
|
2018-09-08 01:35:20 +03:00
|
|
|
fn children<'a, P: AstNode<'a>, C: AstNode<'a>>(parent: P) -> AstChildren<'a, C> {
|
|
|
|
AstChildren::new(parent.syntax())
|
2018-09-08 01:16:07 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
2018-09-08 01:35:20 +03:00
|
|
|
pub struct AstChildren<'a, N> {
|
2018-09-08 01:16:07 +03:00
|
|
|
inner: SyntaxNodeChildren<RefRoot<'a>>,
|
|
|
|
ph: PhantomData<N>,
|
|
|
|
}
|
|
|
|
|
2018-09-08 01:35:20 +03:00
|
|
|
impl<'a, N> AstChildren<'a, N> {
|
2018-09-08 01:16:07 +03:00
|
|
|
fn new(parent: SyntaxNodeRef<'a>) -> Self {
|
2018-09-08 01:35:20 +03:00
|
|
|
AstChildren {
|
2018-09-08 01:16:07 +03:00
|
|
|
inner: parent.children(),
|
|
|
|
ph: PhantomData,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-09-08 01:35:20 +03:00
|
|
|
impl<'a, N: AstNode<'a>> Iterator for AstChildren<'a, N> {
|
2018-09-08 01:16:07 +03:00
|
|
|
type Item = N;
|
|
|
|
fn next(&mut self) -> Option<N> {
|
|
|
|
loop {
|
2018-10-16 11:51:58 -04:00
|
|
|
if let Some(n) = N::cast(self.inner.next()?) {
|
|
|
|
return Some(n);
|
2018-09-08 01:16:07 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2018-08-22 17:01:51 +03:00
|
|
|
}
|
2018-12-25 13:01:47 +01:00
|
|
|
|
|
|
|
#[derive(Debug, Clone, PartialEq, Eq)]
|
|
|
|
pub enum StructFlavor<'a> {
|
|
|
|
Tuple(PosFieldList<'a>),
|
|
|
|
Named(NamedFieldDefList<'a>),
|
|
|
|
Unit,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> StructFlavor<'a> {
|
|
|
|
fn from_node<N: AstNode<'a>>(node: N) -> StructFlavor<'a> {
|
|
|
|
if let Some(nfdl) = child_opt::<_, NamedFieldDefList>(node) {
|
|
|
|
StructFlavor::Named(nfdl)
|
|
|
|
} else if let Some(pfl) = child_opt::<_, PosFieldList>(node) {
|
|
|
|
StructFlavor::Tuple(pfl)
|
|
|
|
} else {
|
|
|
|
StructFlavor::Unit
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> StructDef<'a> {
|
|
|
|
pub fn flavor(self) -> StructFlavor<'a> {
|
|
|
|
StructFlavor::from_node(self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> EnumVariant<'a> {
|
|
|
|
pub fn flavor(self) -> StructFlavor<'a> {
|
|
|
|
StructFlavor::from_node(self)
|
|
|
|
}
|
|
|
|
}
|
2018-12-25 17:17:39 +01:00
|
|
|
|
|
|
|
impl<'a> PointerType<'a> {
|
|
|
|
pub fn is_mut(&self) -> bool {
|
|
|
|
self.syntax().children().any(|n| n.kind() == MUT_KW)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> ReferenceType<'a> {
|
|
|
|
pub fn is_mut(&self) -> bool {
|
|
|
|
self.syntax().children().any(|n| n.kind() == MUT_KW)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> RefExpr<'a> {
|
|
|
|
pub fn is_mut(&self) -> bool {
|
|
|
|
self.syntax().children().any(|n| n.kind() == MUT_KW)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Copy, Clone, Debug, PartialEq, Eq, Hash)]
|
|
|
|
pub enum PrefixOp {
|
|
|
|
/// The `*` operator for dereferencing
|
|
|
|
Deref,
|
|
|
|
/// The `!` operator for logical inversion
|
|
|
|
Not,
|
|
|
|
/// The `-` operator for negation
|
|
|
|
Neg,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> PrefixExpr<'a> {
|
|
|
|
pub fn op(&self) -> Option<PrefixOp> {
|
|
|
|
match self.syntax().first_child()?.kind() {
|
|
|
|
STAR => Some(PrefixOp::Deref),
|
|
|
|
EXCL => Some(PrefixOp::Not),
|
|
|
|
MINUS => Some(PrefixOp::Neg),
|
|
|
|
_ => None,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2019-01-04 21:51:45 +08:00
|
|
|
|
2018-12-29 21:32:07 +01:00
|
|
|
#[derive(Copy, Clone, Debug, PartialEq, Eq, Hash)]
|
2019-01-05 21:28:30 +01:00
|
|
|
pub enum BinOp {
|
|
|
|
/// The `||` operator for boolean OR
|
|
|
|
BooleanOr,
|
|
|
|
/// The `&&` operator for boolean AND
|
|
|
|
BooleanAnd,
|
|
|
|
/// The `==` operator for equality testing
|
|
|
|
EqualityTest,
|
|
|
|
/// The `<=` operator for lesser-equal testing
|
|
|
|
LesserEqualTest,
|
|
|
|
/// The `>=` operator for greater-equal testing
|
|
|
|
GreaterEqualTest,
|
|
|
|
/// The `<` operator for comparison
|
|
|
|
LesserTest,
|
|
|
|
/// The `>` operator for comparison
|
|
|
|
GreaterTest,
|
2019-01-07 19:03:25 +01:00
|
|
|
/// The `+` operator for addition
|
|
|
|
Addition,
|
|
|
|
/// The `*` operator for multiplication
|
|
|
|
Multiplication,
|
|
|
|
/// The `-` operator for subtraction
|
|
|
|
Subtraction,
|
|
|
|
/// The `/` operator for division
|
|
|
|
Division,
|
|
|
|
/// The `%` operator for remainder after division
|
|
|
|
Remainder,
|
|
|
|
/// The `<<` operator for left shift
|
|
|
|
LeftShift,
|
|
|
|
/// The `>>` operator for right shift
|
|
|
|
RightShift,
|
|
|
|
/// The `^` operator for bitwise XOR
|
|
|
|
BitwiseXor,
|
|
|
|
/// The `|` operator for bitwise OR
|
|
|
|
BitwiseOr,
|
|
|
|
/// The `&` operator for bitwise AND
|
|
|
|
BitwiseAnd,
|
|
|
|
/// The `..` operator for right-open ranges
|
|
|
|
RangeRightOpen,
|
|
|
|
/// The `..=` operator for right-closed ranges
|
|
|
|
RangeRightClosed,
|
|
|
|
/// The `=` operator for assignment
|
|
|
|
Assignment,
|
|
|
|
/// The `+=` operator for assignment after additon
|
|
|
|
AddAssign,
|
|
|
|
/// The `/=` operator for assignment after division
|
|
|
|
DivAssign,
|
|
|
|
/// The `*=` operator for assignment after multiplication
|
|
|
|
MulAssign,
|
|
|
|
/// The `%=` operator for assignment after remainders
|
|
|
|
RemAssign,
|
|
|
|
/// The `>>=` operator for assignment after shifting right
|
|
|
|
ShrAssign,
|
|
|
|
/// The `<<=` operator for assignment after shifting left
|
|
|
|
ShlAssign,
|
|
|
|
/// The `-=` operator for assignment after subtraction
|
|
|
|
SubAssign,
|
|
|
|
/// The `|=` operator for assignment after bitwise OR
|
|
|
|
BitOrAssign,
|
|
|
|
/// The `&=` operator for assignment after bitwise AND
|
|
|
|
BitAndAssign,
|
|
|
|
/// The `^=` operator for assignment after bitwise XOR
|
2019-01-07 20:11:31 +01:00
|
|
|
BitXorAssign,
|
2019-01-05 21:28:30 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> BinExpr<'a> {
|
|
|
|
pub fn op(&self) -> Option<BinOp> {
|
|
|
|
self.syntax()
|
|
|
|
.children()
|
2019-01-06 21:39:36 +01:00
|
|
|
.filter_map(|c| match c.kind() {
|
|
|
|
PIPEPIPE => Some(BinOp::BooleanOr),
|
|
|
|
AMPAMP => Some(BinOp::BooleanAnd),
|
|
|
|
EQEQ => Some(BinOp::EqualityTest),
|
|
|
|
LTEQ => Some(BinOp::LesserEqualTest),
|
|
|
|
GTEQ => Some(BinOp::GreaterEqualTest),
|
|
|
|
L_ANGLE => Some(BinOp::LesserTest),
|
|
|
|
R_ANGLE => Some(BinOp::GreaterTest),
|
2019-01-07 19:03:25 +01:00
|
|
|
PLUS => Some(BinOp::Addition),
|
|
|
|
STAR => Some(BinOp::Multiplication),
|
|
|
|
MINUS => Some(BinOp::Subtraction),
|
|
|
|
SLASH => Some(BinOp::Division),
|
|
|
|
PERCENT => Some(BinOp::Remainder),
|
|
|
|
SHL => Some(BinOp::LeftShift),
|
|
|
|
SHR => Some(BinOp::RightShift),
|
|
|
|
CARET => Some(BinOp::BitwiseXor),
|
|
|
|
PIPE => Some(BinOp::BitwiseOr),
|
|
|
|
AMP => Some(BinOp::BitwiseAnd),
|
|
|
|
DOTDOT => Some(BinOp::RangeRightOpen),
|
|
|
|
DOTDOTEQ => Some(BinOp::RangeRightClosed),
|
|
|
|
EQ => Some(BinOp::Assignment),
|
|
|
|
PLUSEQ => Some(BinOp::AddAssign),
|
|
|
|
SLASHEQ => Some(BinOp::DivAssign),
|
|
|
|
STAREQ => Some(BinOp::MulAssign),
|
|
|
|
PERCENTEQ => Some(BinOp::RemAssign),
|
|
|
|
SHREQ => Some(BinOp::ShrAssign),
|
|
|
|
SHLEQ => Some(BinOp::ShlAssign),
|
|
|
|
MINUSEQ => Some(BinOp::SubAssign),
|
|
|
|
PIPEEQ => Some(BinOp::BitOrAssign),
|
|
|
|
AMPEQ => Some(BinOp::BitAndAssign),
|
2019-01-07 20:11:31 +01:00
|
|
|
CARETEQ => Some(BinOp::BitXorAssign),
|
2019-01-06 21:39:36 +01:00
|
|
|
_ => None,
|
2019-01-05 21:28:30 +01:00
|
|
|
})
|
|
|
|
.next()
|
|
|
|
}
|
2019-01-06 21:39:36 +01:00
|
|
|
|
|
|
|
pub fn lhs(self) -> Option<Expr<'a>> {
|
|
|
|
children(self).nth(0)
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn rhs(self) -> Option<Expr<'a>> {
|
|
|
|
children(self).nth(1)
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn sub_exprs(self) -> (Option<Expr<'a>>, Option<Expr<'a>>) {
|
|
|
|
let mut children = children(self);
|
|
|
|
let first = children.next();
|
|
|
|
let second = children.next();
|
|
|
|
(first, second)
|
|
|
|
}
|
2019-01-05 21:28:30 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Copy, Clone, Debug, PartialEq, Eq, Hash)]
|
2018-12-29 21:32:07 +01:00
|
|
|
pub enum SelfParamFlavor {
|
|
|
|
/// self
|
|
|
|
Owned,
|
|
|
|
/// &self
|
|
|
|
Ref,
|
|
|
|
/// &mut self
|
|
|
|
MutRef,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> SelfParam<'a> {
|
|
|
|
pub fn flavor(&self) -> SelfParamFlavor {
|
|
|
|
let borrowed = self.syntax().children().any(|n| n.kind() == AMP);
|
|
|
|
if borrowed {
|
|
|
|
// check for a `mut` coming after the & -- `mut &self` != `&mut self`
|
|
|
|
if self
|
|
|
|
.syntax()
|
|
|
|
.children()
|
|
|
|
.skip_while(|n| n.kind() != AMP)
|
|
|
|
.any(|n| n.kind() == MUT_KW)
|
|
|
|
{
|
|
|
|
SelfParamFlavor::MutRef
|
|
|
|
} else {
|
|
|
|
SelfParamFlavor::Ref
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
SelfParamFlavor::Owned
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-04 21:51:45 +08:00
|
|
|
#[test]
|
|
|
|
fn test_doc_comment_of_items() {
|
|
|
|
let file = SourceFileNode::parse(
|
|
|
|
r#"
|
|
|
|
//! doc
|
|
|
|
// non-doc
|
|
|
|
mod foo {}
|
|
|
|
"#,
|
|
|
|
);
|
|
|
|
let module = file.syntax().descendants().find_map(Module::cast).unwrap();
|
|
|
|
assert_eq!("doc", module.doc_comment_text());
|
|
|
|
}
|