use either::Either;
use hir::{AssocItem, Documentation, FieldSource, HasAttrs, HasSource, InFile, ModuleSource};
use ide_db::{
- base_db::{FileId, SourceDatabase},
+ base_db::{FileId, FileRange, SourceDatabase},
symbol_index::FileSymbolKind,
};
use ide_db::{defs::Definition, RootDatabase};
Impl,
Field,
TypeParam,
+ ConstParam,
LifetimeParam,
ValueParam,
SelfParam,
Local,
+ Label,
Function,
Const,
Static,
impl TryToNav for Definition {
fn try_to_nav(&self, db: &RootDatabase) -> Option<NavigationTarget> {
match self {
- Definition::Macro(it) => {
- // FIXME: Currently proc-macro do not have ast-node,
- // such that it does not have source
- // more discussion: https://github.com/rust-analyzer/rust-analyzer/issues/6913
- if it.is_proc_macro() {
- return None;
- }
- Some(it.to_nav(db))
- }
- Definition::Field(it) => Some(it.to_nav(db)),
+ Definition::Macro(it) => it.try_to_nav(db),
+ Definition::Field(it) => it.try_to_nav(db),
Definition::ModuleDef(it) => it.try_to_nav(db),
- Definition::SelfType(it) => Some(it.to_nav(db)),
+ Definition::SelfType(it) => it.try_to_nav(db),
Definition::Local(it) => Some(it.to_nav(db)),
- Definition::TypeParam(it) => Some(it.to_nav(db)),
- Definition::LifetimeParam(it) => Some(it.to_nav(db)),
+ Definition::GenericParam(it) => it.try_to_nav(db),
+ Definition::Label(it) => Some(it.to_nav(db)),
}
}
}
impl TryToNav for hir::ModuleDef {
fn try_to_nav(&self, db: &RootDatabase) -> Option<NavigationTarget> {
- let res = match self {
- hir::ModuleDef::Module(it) => it.to_nav(db),
- hir::ModuleDef::Function(it) => it.to_nav(db),
- hir::ModuleDef::Adt(it) => it.to_nav(db),
- hir::ModuleDef::EnumVariant(it) => it.to_nav(db),
- hir::ModuleDef::Const(it) => it.to_nav(db),
- hir::ModuleDef::Static(it) => it.to_nav(db),
- hir::ModuleDef::Trait(it) => it.to_nav(db),
- hir::ModuleDef::TypeAlias(it) => it.to_nav(db),
- hir::ModuleDef::BuiltinType(_) => return None,
- };
- Some(res)
+ match self {
+ hir::ModuleDef::Module(it) => Some(it.to_nav(db)),
+ hir::ModuleDef::Function(it) => it.try_to_nav(db),
+ hir::ModuleDef::Adt(it) => it.try_to_nav(db),
+ hir::ModuleDef::Variant(it) => it.try_to_nav(db),
+ hir::ModuleDef::Const(it) => it.try_to_nav(db),
+ hir::ModuleDef::Static(it) => it.try_to_nav(db),
+ hir::ModuleDef::Trait(it) => it.try_to_nav(db),
+ hir::ModuleDef::TypeAlias(it) => it.try_to_nav(db),
+ hir::ModuleDef::BuiltinType(_) => None,
+ }
}
}
impl ToNavFromAst for hir::Enum {
const KIND: SymbolKind = SymbolKind::Enum;
}
-impl ToNavFromAst for hir::EnumVariant {
+impl ToNavFromAst for hir::Variant {
const KIND: SymbolKind = SymbolKind::Variant;
}
impl ToNavFromAst for hir::Union {
const KIND: SymbolKind = SymbolKind::Trait;
}
-impl<D> ToNav for D
+impl<D> TryToNav for D
where
D: HasSource + ToNavFromAst + Copy + HasAttrs,
D::Ast: ast::NameOwner + ShortLabel,
{
- fn to_nav(&self, db: &RootDatabase) -> NavigationTarget {
- let src = self.source(db);
+ fn try_to_nav(&self, db: &RootDatabase) -> Option<NavigationTarget> {
+ let src = self.source(db)?;
let mut res = NavigationTarget::from_named(
db,
src.as_ref().map(|it| it as &dyn ast::NameOwner),
);
res.docs = self.docs(db);
res.description = src.value.short_label();
- res
+ Some(res)
}
}
}
}
-impl ToNav for hir::Impl {
- fn to_nav(&self, db: &RootDatabase) -> NavigationTarget {
- let src = self.source(db);
+impl TryToNav for hir::Impl {
+ fn try_to_nav(&self, db: &RootDatabase) -> Option<NavigationTarget> {
+ let src = self.source(db)?;
let derive_attr = self.is_builtin_derive(db);
let frange = if let Some(item) = &derive_attr {
item.syntax().original_file_range(db)
src.value.self_ty().map(|ty| src.with_value(ty.syntax()).original_file_range(db).range)
};
- NavigationTarget::from_syntax(
+ Some(NavigationTarget::from_syntax(
frange.file_id,
"impl".into(),
focus_range,
frange.range,
SymbolKind::Impl,
- )
+ ))
}
}
-impl ToNav for hir::Field {
- fn to_nav(&self, db: &RootDatabase) -> NavigationTarget {
- let src = self.source(db);
+impl TryToNav for hir::Field {
+ fn try_to_nav(&self, db: &RootDatabase) -> Option<NavigationTarget> {
+ let src = self.source(db)?;
- match &src.value {
+ let field_source = match &src.value {
FieldSource::Named(it) => {
let mut res =
NavigationTarget::from_named(db, src.with_value(it), SymbolKind::Field);
SymbolKind::Field,
)
}
- }
+ };
+ Some(field_source)
}
}
-impl ToNav for hir::MacroDef {
- fn to_nav(&self, db: &RootDatabase) -> NavigationTarget {
- let src = self.source(db);
+impl TryToNav for hir::MacroDef {
+ fn try_to_nav(&self, db: &RootDatabase) -> Option<NavigationTarget> {
+ let src = self.source(db)?;
log::debug!("nav target {:#?}", src.value.syntax());
let mut res = NavigationTarget::from_named(
db,
SymbolKind::Macro,
);
res.docs = self.docs(db);
- res
+ Some(res)
}
}
-impl ToNav for hir::Adt {
- fn to_nav(&self, db: &RootDatabase) -> NavigationTarget {
+impl TryToNav for hir::Adt {
+ fn try_to_nav(&self, db: &RootDatabase) -> Option<NavigationTarget> {
match self {
- hir::Adt::Struct(it) => it.to_nav(db),
- hir::Adt::Union(it) => it.to_nav(db),
- hir::Adt::Enum(it) => it.to_nav(db),
+ hir::Adt::Struct(it) => it.try_to_nav(db),
+ hir::Adt::Union(it) => it.try_to_nav(db),
+ hir::Adt::Enum(it) => it.try_to_nav(db),
}
}
}
-impl ToNav for hir::AssocItem {
- fn to_nav(&self, db: &RootDatabase) -> NavigationTarget {
+impl TryToNav for hir::AssocItem {
+ fn try_to_nav(&self, db: &RootDatabase) -> Option<NavigationTarget> {
match self {
- AssocItem::Function(it) => it.to_nav(db),
- AssocItem::Const(it) => it.to_nav(db),
- AssocItem::TypeAlias(it) => it.to_nav(db),
+ AssocItem::Function(it) => it.try_to_nav(db),
+ AssocItem::Const(it) => it.try_to_nav(db),
+ AssocItem::TypeAlias(it) => it.try_to_nav(db),
+ }
+ }
+}
+
+impl TryToNav for hir::GenericParam {
+ fn try_to_nav(&self, db: &RootDatabase) -> Option<NavigationTarget> {
+ match self {
+ hir::GenericParam::TypeParam(it) => it.try_to_nav(db),
+ hir::GenericParam::ConstParam(it) => it.try_to_nav(db),
+ hir::GenericParam::LifetimeParam(it) => it.try_to_nav(db),
}
}
}
impl ToNav for hir::Local {
fn to_nav(&self, db: &RootDatabase) -> NavigationTarget {
let src = self.source(db);
- let node = match &src.value {
- Either::Left(bind_pat) => {
- bind_pat.name().map_or_else(|| bind_pat.syntax().clone(), |it| it.syntax().clone())
- }
- Either::Right(it) => it.syntax().clone(),
+ let (node, name) = match &src.value {
+ Either::Left(bind_pat) => (bind_pat.syntax().clone(), bind_pat.name()),
+ Either::Right(it) => (it.syntax().clone(), it.name()),
};
+ let focus_range =
+ name.map(|it| src.with_value(&it.syntax().clone()).original_file_range(db).range);
+
let full_range = src.with_value(&node).original_file_range(db);
let name = match self.name(db) {
Some(it) => it.to_string().into(),
None => "".into(),
};
- let kind = if self.is_param(db) { SymbolKind::ValueParam } else { SymbolKind::Local };
+ let kind = if self.is_self(db) {
+ SymbolKind::SelfParam
+ } else if self.is_param(db) {
+ SymbolKind::ValueParam
+ } else {
+ SymbolKind::Local
+ };
NavigationTarget {
file_id: full_range.file_id,
name,
kind: Some(kind),
full_range: full_range.range,
- focus_range: None,
+ focus_range,
container_name: None,
description: None,
docs: None,
}
}
-impl ToNav for hir::TypeParam {
+impl ToNav for hir::Label {
fn to_nav(&self, db: &RootDatabase) -> NavigationTarget {
let src = self.source(db);
+ let node = src.value.syntax();
+ let FileRange { file_id, range } = src.with_value(node).original_file_range(db);
+ let focus_range =
+ src.value.lifetime().and_then(|lt| lt.lifetime_ident_token()).map(|lt| lt.text_range());
+ let name = self.name(db).to_string().into();
+ NavigationTarget {
+ file_id,
+ name,
+ kind: Some(SymbolKind::Label),
+ full_range: range,
+ focus_range,
+ container_name: None,
+ description: None,
+ docs: None,
+ }
+ }
+}
+
+impl TryToNav for hir::TypeParam {
+ fn try_to_nav(&self, db: &RootDatabase) -> Option<NavigationTarget> {
+ let src = self.source(db)?;
let full_range = match &src.value {
Either::Left(it) => it.syntax().text_range(),
Either::Right(it) => it.syntax().text_range(),
Either::Left(_) => None,
Either::Right(it) => it.name().map(|it| it.syntax().text_range()),
};
- NavigationTarget {
+ Some(NavigationTarget {
file_id: src.file_id.original_file(db),
name: self.name(db).to_string().into(),
kind: Some(SymbolKind::TypeParam),
container_name: None,
description: None,
docs: None,
- }
+ })
}
}
-impl ToNav for hir::LifetimeParam {
- fn to_nav(&self, db: &RootDatabase) -> NavigationTarget {
- let src = self.source(db);
+impl TryToNav for hir::LifetimeParam {
+ fn try_to_nav(&self, db: &RootDatabase) -> Option<NavigationTarget> {
+ let src = self.source(db)?;
let full_range = src.value.syntax().text_range();
- NavigationTarget {
+ Some(NavigationTarget {
file_id: src.file_id.original_file(db),
name: self.name(db).to_string().into(),
kind: Some(SymbolKind::LifetimeParam),
container_name: None,
description: None,
docs: None,
- }
+ })
+ }
+}
+
+impl TryToNav for hir::ConstParam {
+ fn try_to_nav(&self, db: &RootDatabase) -> Option<NavigationTarget> {
+ let src = self.source(db)?;
+ let full_range = src.value.syntax().text_range();
+ Some(NavigationTarget {
+ file_id: src.file_id.original_file(db),
+ name: self.name(db).to_string().into(),
+ kind: Some(SymbolKind::ConstParam),
+ full_range,
+ focus_range: src.value.name().map(|n| n.syntax().text_range()),
+ container_name: None,
+ description: None,
+ docs: None,
+ })
}
}