mirror of
https://github.com/rust-lang/rust-analyzer.git
synced 2025-09-29 13:25:09 +00:00
Scale back the traits
This commit is contained in:
parent
68196ccc10
commit
8f01e62bb9
3 changed files with 3061 additions and 245 deletions
|
@ -11,10 +11,7 @@ pub mod make;
|
|||
use std::marker::PhantomData;
|
||||
|
||||
use crate::{
|
||||
syntax_node::{
|
||||
NodeOrToken, SyntaxElement, SyntaxElementChildren, SyntaxNode, SyntaxNodeChildren,
|
||||
SyntaxToken,
|
||||
},
|
||||
syntax_node::{SyntaxNode, SyntaxNodeChildren, SyntaxToken},
|
||||
SmolStr, SyntaxKind,
|
||||
};
|
||||
|
||||
|
@ -33,24 +30,16 @@ pub use self::{
|
|||
/// 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.
|
||||
pub trait AstNode: AstElement {
|
||||
pub trait AstNode {
|
||||
fn can_cast(kind: SyntaxKind) -> bool
|
||||
where
|
||||
Self: Sized;
|
||||
|
||||
fn cast_or_return(syntax: SyntaxNode) -> Result<Self, SyntaxNode>
|
||||
where
|
||||
Self: Sized;
|
||||
|
||||
fn cast(syntax: SyntaxNode) -> Option<Self>
|
||||
where
|
||||
Self: Sized,
|
||||
{
|
||||
<Self as AstNode>::cast_or_return(syntax).ok()
|
||||
}
|
||||
Self: Sized;
|
||||
|
||||
fn syntax(&self) -> &SyntaxNode;
|
||||
fn into_syntax(self) -> SyntaxNode;
|
||||
}
|
||||
|
||||
#[test]
|
||||
|
@ -59,51 +48,22 @@ fn assert_ast_is_object_safe() {
|
|||
}
|
||||
|
||||
/// Like `AstNode`, but wraps tokens rather than interior nodes.
|
||||
pub trait AstToken: AstElement {
|
||||
pub trait AstToken {
|
||||
fn can_cast(token: SyntaxKind) -> bool
|
||||
where
|
||||
Self: Sized;
|
||||
|
||||
fn cast_or_return(syntax: SyntaxToken) -> Result<Self, SyntaxToken>
|
||||
where
|
||||
Self: Sized;
|
||||
|
||||
fn cast(syntax: SyntaxToken) -> Option<Self>
|
||||
where
|
||||
Self: Sized,
|
||||
{
|
||||
<Self as AstToken>::cast_or_return(syntax).ok()
|
||||
}
|
||||
Self: Sized;
|
||||
|
||||
fn syntax(&self) -> &SyntaxToken;
|
||||
fn into_syntax(self) -> SyntaxToken;
|
||||
|
||||
fn text(&self) -> &SmolStr {
|
||||
self.syntax().text()
|
||||
}
|
||||
}
|
||||
|
||||
/// Like `AstNode`, but wraps either nodes or tokens rather than interior nodes.
|
||||
pub trait AstElement: std::fmt::Display {
|
||||
fn can_cast_element(kind: SyntaxKind) -> bool
|
||||
where
|
||||
Self: Sized;
|
||||
|
||||
fn cast_or_return_element(syntax: SyntaxElement) -> Result<Self, SyntaxElement>
|
||||
where
|
||||
Self: Sized;
|
||||
|
||||
fn cast_element(syntax: SyntaxElement) -> Option<Self>
|
||||
where
|
||||
Self: Sized,
|
||||
{
|
||||
<Self as AstElement>::cast_or_return_element(syntax).ok()
|
||||
}
|
||||
|
||||
fn syntax_element(&self) -> NodeOrToken<&SyntaxNode, &SyntaxToken>;
|
||||
fn into_syntax_element(self) -> SyntaxElement;
|
||||
}
|
||||
|
||||
/// An iterator over `SyntaxNode` children of a particular AST type.
|
||||
#[derive(Debug, Clone)]
|
||||
pub struct AstChildren<N> {
|
||||
|
@ -132,64 +92,6 @@ fn children<P: AstNode + ?Sized, C: AstNode>(parent: &P) -> AstChildren<C> {
|
|||
AstChildren::new(parent.syntax())
|
||||
}
|
||||
|
||||
/// An iterator over `SyntaxToken` children of a particular AST type.
|
||||
#[derive(Debug, Clone)]
|
||||
pub struct AstChildTokens<N> {
|
||||
inner: SyntaxElementChildren,
|
||||
ph: PhantomData<N>,
|
||||
}
|
||||
|
||||
impl<N> AstChildTokens<N> {
|
||||
fn new(parent: &SyntaxNode) -> Self {
|
||||
AstChildTokens { inner: parent.children_with_tokens(), ph: PhantomData }
|
||||
}
|
||||
}
|
||||
|
||||
impl<N: AstToken> Iterator for AstChildTokens<N> {
|
||||
type Item = N;
|
||||
fn next(&mut self) -> Option<N> {
|
||||
self.inner.by_ref().filter_map(|x| x.into_token()).find_map(N::cast)
|
||||
}
|
||||
}
|
||||
|
||||
fn child_token_opt<P: AstNode + ?Sized, C: AstToken>(parent: &P) -> Option<C> {
|
||||
child_tokens(parent).next()
|
||||
}
|
||||
|
||||
fn child_tokens<P: AstNode + ?Sized, C: AstToken>(parent: &P) -> AstChildTokens<C> {
|
||||
AstChildTokens::new(parent.syntax())
|
||||
}
|
||||
|
||||
/// An iterator over `SyntaxNode` children of a particular AST type.
|
||||
#[derive(Debug, Clone)]
|
||||
pub struct AstChildElements<N> {
|
||||
inner: SyntaxElementChildren,
|
||||
ph: PhantomData<N>,
|
||||
}
|
||||
|
||||
impl<N> AstChildElements<N> {
|
||||
fn new(parent: &SyntaxNode) -> Self {
|
||||
AstChildElements { inner: parent.children_with_tokens(), ph: PhantomData }
|
||||
}
|
||||
}
|
||||
|
||||
impl<N: AstElement> Iterator for AstChildElements<N> {
|
||||
type Item = N;
|
||||
fn next(&mut self) -> Option<N> {
|
||||
self.inner.by_ref().find_map(N::cast_element)
|
||||
}
|
||||
}
|
||||
|
||||
#[allow(dead_code)]
|
||||
fn child_element_opt<P: AstNode + ?Sized, C: AstElement>(parent: &P) -> Option<C> {
|
||||
child_elements(parent).next()
|
||||
}
|
||||
|
||||
#[allow(dead_code)]
|
||||
fn child_elements<P: AstNode + ?Sized, C: AstElement>(parent: &P) -> AstChildElements<C> {
|
||||
AstChildElements::new(parent.syntax())
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_doc_comment_none() {
|
||||
let file = SourceFile::parse(
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue