diff options
Diffstat (limited to 'crates/ra_db/src')
-rw-r--r-- | crates/ra_db/src/loc2id.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/crates/ra_db/src/loc2id.rs b/crates/ra_db/src/loc2id.rs index 69ba43d0f..2dc7930d8 100644 --- a/crates/ra_db/src/loc2id.rs +++ b/crates/ra_db/src/loc2id.rs | |||
@@ -42,6 +42,10 @@ where | |||
42 | ID: NumericId, | 42 | ID: NumericId, |
43 | LOC: Clone + Eq + Hash, | 43 | LOC: Clone + Eq + Hash, |
44 | { | 44 | { |
45 | pub fn len(&self) -> usize { | ||
46 | self.loc2id.len() | ||
47 | } | ||
48 | |||
45 | pub fn loc2id(&mut self, loc: &LOC) -> ID { | 49 | pub fn loc2id(&mut self, loc: &LOC) -> ID { |
46 | match self.loc2id.get(loc) { | 50 | match self.loc2id.get(loc) { |
47 | Some(id) => return id.clone(), | 51 | Some(id) => return id.clone(), |
@@ -91,6 +95,9 @@ where | |||
91 | ID: NumericId, | 95 | ID: NumericId, |
92 | LOC: Clone + Eq + Hash, | 96 | LOC: Clone + Eq + Hash, |
93 | { | 97 | { |
98 | pub fn len(&self) -> usize { | ||
99 | self.map.lock().len() | ||
100 | } | ||
94 | pub fn loc2id(&self, loc: &LOC) -> ID { | 101 | pub fn loc2id(&self, loc: &LOC) -> ID { |
95 | self.map.lock().loc2id(loc) | 102 | self.map.lock().loc2id(loc) |
96 | } | 103 | } |