diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-25 16:12:27 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-25 16:12:27 +0000 |
commit | dc5ecf446991c65359cf49d52098fcec5f1a1f68 (patch) | |
tree | ca0ee39e7f1305019954b3a413a06f9431cb6648 /crates/ra_ide_api/src/lib.rs | |
parent | 6df1f71b7d0db209978595dc9be496e7f2ef88ec (diff) | |
parent | f6adb85b681c23b64cc33197eb67d5d7fcf920f0 (diff) |
Merge #643
643: add gc request r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_ide_api/src/lib.rs')
-rw-r--r-- | crates/ra_ide_api/src/lib.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/crates/ra_ide_api/src/lib.rs b/crates/ra_ide_api/src/lib.rs index 3502bfd2e..ffd026b04 100644 --- a/crates/ra_ide_api/src/lib.rs +++ b/crates/ra_ide_api/src/lib.rs | |||
@@ -285,6 +285,10 @@ impl AnalysisHost { | |||
285 | pub fn apply_change(&mut self, change: AnalysisChange) { | 285 | pub fn apply_change(&mut self, change: AnalysisChange) { |
286 | self.db.apply_change(change) | 286 | self.db.apply_change(change) |
287 | } | 287 | } |
288 | |||
289 | pub fn collect_garbage(&mut self) { | ||
290 | self.db.collect_garbage(); | ||
291 | } | ||
288 | } | 292 | } |
289 | 293 | ||
290 | /// Analysis is a snapshot of a world state at a moment in time. It is the main | 294 | /// Analysis is a snapshot of a world state at a moment in time. It is the main |