diff options
author | Aleksey Kladov <[email protected]> | 2018-12-21 08:48:52 +0000 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2018-12-21 08:49:18 +0000 |
commit | 164d53b22f345e50c67781af545310d2193e8a5c (patch) | |
tree | 3b9a2c722e9604e65b9b9ee2ef98d7cb5c855f45 /crates/ra_db/src | |
parent | aa628f474947c46871e1ec82f87be5fc99974b36 (diff) |
better debug impls
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 | } |