mirror of
https://github.com/rust-lang/rust-analyzer.git
synced 2025-09-28 04:44:57 +00:00
131 lines
3 KiB
Rust
131 lines
3 KiB
Rust
use parking_lot::Mutex;
|
|
|
|
use std::{
|
|
hash::Hash,
|
|
sync::Arc,
|
|
};
|
|
|
|
use rustc_hash::FxHashMap;
|
|
|
|
use crate::{
|
|
descriptors::module::ModuleId,
|
|
syntax_ptr::SyntaxPtr,
|
|
input::SourceRootId,
|
|
};
|
|
|
|
/// There are two principle ways to refer to things:
|
|
/// - by their locatinon (module in foo/bar/baz.rs at line 42)
|
|
/// - by their numeric id (module `ModuleId(42)`)
|
|
///
|
|
/// The first one is more powerful (you can actually find the thing in question
|
|
/// by id), but the second one is so much more compact.
|
|
///
|
|
/// `Loc2IdMap` allows us to have a cake an eat it as well: by maintaining a
|
|
/// bidirectional mapping between positional and numeric ids, we can use compact
|
|
/// representation wich still allows us to get the actual item
|
|
#[derive(Debug)]
|
|
pub(crate) struct Loc2IdMap<L, ID>
|
|
where
|
|
ID: NumericId,
|
|
L: Clone + Eq + Hash,
|
|
{
|
|
loc2id: FxHashMap<L, ID>,
|
|
id2loc: FxHashMap<ID, L>,
|
|
}
|
|
|
|
impl<L, ID> Default for Loc2IdMap<L, ID>
|
|
where
|
|
ID: NumericId,
|
|
L: Clone + Eq + Hash,
|
|
{
|
|
fn default() -> Self {
|
|
Loc2IdMap {
|
|
loc2id: FxHashMap::default(),
|
|
id2loc: FxHashMap::default(),
|
|
}
|
|
}
|
|
}
|
|
|
|
impl<L, ID> Loc2IdMap<L, ID>
|
|
where
|
|
ID: NumericId,
|
|
L: Clone + Eq + Hash,
|
|
{
|
|
pub fn loc2id(&mut self, loc: &L) -> ID {
|
|
match self.loc2id.get(loc) {
|
|
Some(id) => return id.clone(),
|
|
None => (),
|
|
}
|
|
let id = self.loc2id.len();
|
|
assert!(id < u32::max_value() as usize);
|
|
let id = ID::from_u32(id as u32);
|
|
self.loc2id.insert(loc.clone(), id.clone());
|
|
self.id2loc.insert(id.clone(), loc.clone());
|
|
id
|
|
}
|
|
|
|
pub fn id2loc(&self, id: ID) -> L {
|
|
self.id2loc[&id].clone()
|
|
}
|
|
}
|
|
|
|
pub(crate) trait NumericId: Clone + Eq + Hash {
|
|
fn from_u32(id: u32) -> Self;
|
|
fn to_u32(self) -> u32;
|
|
}
|
|
|
|
macro_rules! impl_numeric_id {
|
|
($id:ident) => {
|
|
impl NumericId for $id {
|
|
fn from_u32(id: u32) -> Self {
|
|
$id(id)
|
|
}
|
|
fn to_u32(self) -> u32 {
|
|
self.0
|
|
}
|
|
}
|
|
};
|
|
}
|
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
|
pub(crate) struct FnId(u32);
|
|
impl_numeric_id!(FnId);
|
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
|
pub(crate) struct DefId(u32);
|
|
impl_numeric_id!(DefId);
|
|
|
|
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
|
|
enum DefLoc {
|
|
Module {
|
|
id: ModuleId,
|
|
source_root: SourceRootId,
|
|
},
|
|
Item {
|
|
ptr: SyntaxPtr,
|
|
}
|
|
}
|
|
|
|
pub(crate) trait IdDatabase: salsa::Database {
|
|
fn id_maps(&self) -> &IdMaps;
|
|
}
|
|
|
|
#[derive(Debug, Default, Clone)]
|
|
pub(crate) struct IdMaps {
|
|
inner: Arc<IdMapsInner>,
|
|
}
|
|
|
|
impl IdMaps {
|
|
pub(crate) fn fn_id(&self, ptr: SyntaxPtr) -> FnId {
|
|
self.inner.fns.lock().loc2id(&ptr)
|
|
}
|
|
pub(crate) fn fn_ptr(&self, fn_id: FnId) -> SyntaxPtr {
|
|
self.inner.fns.lock().id2loc(fn_id)
|
|
}
|
|
}
|
|
|
|
#[derive(Debug, Default)]
|
|
struct IdMapsInner {
|
|
fns: Mutex<Loc2IdMap<SyntaxPtr, FnId>>,
|
|
defs: Mutex<Loc2IdMap<DefLoc, DefId>>,
|
|
}
|