Implement new HasSource::source for all implementors of HasSource

This commit is contained in:
Nick Spain 2021-01-01 13:27:38 +11:00
parent 27cadcd531
commit 2de2b1eca3

View file

@ -17,6 +17,7 @@ use crate::{
pub trait HasSource { pub trait HasSource {
type Ast; type Ast;
fn source_old(self, db: &dyn HirDatabase) -> InFile<Self::Ast>; fn source_old(self, db: &dyn HirDatabase) -> InFile<Self::Ast>;
fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>>;
} }
/// NB: Module is !HasSource, because it has two source nodes at the same time: /// NB: Module is !HasSource, because it has two source nodes at the same time:
@ -54,60 +55,106 @@ impl HasSource for Field {
Either::Right(it) => FieldSource::Named(it), Either::Right(it) => FieldSource::Named(it),
}) })
} }
fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>> {
let var = VariantId::from(self.parent);
let src = var.child_source(db.upcast());
let field_source = src.map(|it| match it[self.id].clone() {
Either::Left(it) => FieldSource::Pos(it),
Either::Right(it) => FieldSource::Named(it),
});
Some(field_source)
}
} }
impl HasSource for Struct { impl HasSource for Struct {
type Ast = ast::Struct; type Ast = ast::Struct;
fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Struct> { fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Struct> {
self.id.lookup(db.upcast()).source(db.upcast()) self.id.lookup(db.upcast()).source(db.upcast())
} }
fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>> {
Some(self.id.lookup(db.upcast()).source(db.upcast()))
}
} }
impl HasSource for Union { impl HasSource for Union {
type Ast = ast::Union; type Ast = ast::Union;
fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Union> { fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Union> {
self.id.lookup(db.upcast()).source(db.upcast()) self.id.lookup(db.upcast()).source(db.upcast())
} }
fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>> {
Some(self.id.lookup(db.upcast()).source(db.upcast()))
}
} }
impl HasSource for Enum { impl HasSource for Enum {
type Ast = ast::Enum; type Ast = ast::Enum;
fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Enum> { fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Enum> {
self.id.lookup(db.upcast()).source(db.upcast()) self.id.lookup(db.upcast()).source(db.upcast())
} }
fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>> {
Some(self.id.lookup(db.upcast()).source(db.upcast()))
}
} }
impl HasSource for Variant { impl HasSource for Variant {
type Ast = ast::Variant; type Ast = ast::Variant;
fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Variant> { fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Variant> {
self.parent.id.child_source(db.upcast()).map(|map| map[self.id].clone()) self.parent.id.child_source(db.upcast()).map(|map| map[self.id].clone())
} }
fn source(self, db: &dyn HirDatabase) -> Option<InFile<ast::Variant>> {
Some(self.parent.id.child_source(db.upcast()).map(|map| map[self.id].clone()))
}
} }
impl HasSource for Function { impl HasSource for Function {
type Ast = ast::Fn; type Ast = ast::Fn;
fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Fn> { fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Fn> {
self.id.lookup(db.upcast()).source(db.upcast()) self.id.lookup(db.upcast()).source(db.upcast())
} }
fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>> {
Some(self.id.lookup(db.upcast()).source(db.upcast()))
}
} }
impl HasSource for Const { impl HasSource for Const {
type Ast = ast::Const; type Ast = ast::Const;
fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Const> { fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Const> {
self.id.lookup(db.upcast()).source(db.upcast()) self.id.lookup(db.upcast()).source(db.upcast())
} }
fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>> {
Some(self.id.lookup(db.upcast()).source(db.upcast()))
}
} }
impl HasSource for Static { impl HasSource for Static {
type Ast = ast::Static; type Ast = ast::Static;
fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Static> { fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Static> {
self.id.lookup(db.upcast()).source(db.upcast()) self.id.lookup(db.upcast()).source(db.upcast())
} }
fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>> {
Some(self.id.lookup(db.upcast()).source(db.upcast()))
}
} }
impl HasSource for Trait { impl HasSource for Trait {
type Ast = ast::Trait; type Ast = ast::Trait;
fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Trait> { fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Trait> {
self.id.lookup(db.upcast()).source(db.upcast()) self.id.lookup(db.upcast()).source(db.upcast())
} }
fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>> {
Some(self.id.lookup(db.upcast()).source(db.upcast()))
}
} }
impl HasSource for TypeAlias { impl HasSource for TypeAlias {
type Ast = ast::TypeAlias; type Ast = ast::TypeAlias;
fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::TypeAlias> { fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::TypeAlias> {
self.id.lookup(db.upcast()).source(db.upcast()) self.id.lookup(db.upcast()).source(db.upcast())
} }
fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>> {
Some(self.id.lookup(db.upcast()).source(db.upcast()))
}
} }
impl HasSource for MacroDef { impl HasSource for MacroDef {
type Ast = ast::Macro; type Ast = ast::Macro;
@ -117,12 +164,21 @@ impl HasSource for MacroDef {
value: self.id.ast_id.expect("MacroDef without ast_id").to_node(db.upcast()), value: self.id.ast_id.expect("MacroDef without ast_id").to_node(db.upcast()),
} }
} }
fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>> {
let ast_id = self.id.ast_id?;
Some(InFile { file_id: ast_id.file_id, value: ast_id.to_node(db.upcast()) })
}
} }
impl HasSource for Impl { impl HasSource for Impl {
type Ast = ast::Impl; type Ast = ast::Impl;
fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Impl> { fn source_old(self, db: &dyn HirDatabase) -> InFile<ast::Impl> {
self.id.lookup(db.upcast()).source(db.upcast()) self.id.lookup(db.upcast()).source(db.upcast())
} }
fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>> {
Some(self.id.lookup(db.upcast()).source(db.upcast()))
}
} }
impl HasSource for TypeParam { impl HasSource for TypeParam {
@ -131,6 +187,11 @@ impl HasSource for TypeParam {
let child_source = self.id.parent.child_source(db.upcast()); let child_source = self.id.parent.child_source(db.upcast());
child_source.map(|it| it[self.id.local_id].clone()) child_source.map(|it| it[self.id.local_id].clone())
} }
fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>> {
let child_source = self.id.parent.child_source(db.upcast());
Some(child_source.map(|it| it[self.id.local_id].clone()))
}
} }
impl HasSource for LifetimeParam { impl HasSource for LifetimeParam {
@ -139,6 +200,11 @@ impl HasSource for LifetimeParam {
let child_source = self.id.parent.child_source(db.upcast()); let child_source = self.id.parent.child_source(db.upcast());
child_source.map(|it| it[self.id.local_id].clone()) child_source.map(|it| it[self.id.local_id].clone())
} }
fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>> {
let child_source = self.id.parent.child_source(db.upcast());
Some(child_source.map(|it| it[self.id.local_id].clone()))
}
} }
impl HasSource for ConstParam { impl HasSource for ConstParam {