diff options
author | Aleksey Kladov <[email protected]> | 2018-12-17 20:34:07 +0000 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2018-12-17 20:34:07 +0000 |
commit | 620970b06e61b9380c668e3e5267c750b7cc4971 (patch) | |
tree | 188892a3a1a55b57e0a0b072cf71d3cb9c7769fc | |
parent | 00b71e668d067f60c0ba966afba75ba4adda83eb (diff) |
docs about cancelation
-rw-r--r-- | ARCHITECTURE.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ARCHITECTURE.md b/ARCHITECTURE.md index d920ce2ab..d31290483 100644 --- a/ARCHITECTURE.md +++ b/ARCHITECTURE.md | |||
@@ -86,6 +86,11 @@ current state, incorporates changes and handles out `Analysis` --- an | |||
86 | immutable consistent snapshot of world state at a point in time, which | 86 | immutable consistent snapshot of world state at a point in time, which |
87 | actually powers analysis. | 87 | actually powers analysis. |
88 | 88 | ||
89 | One interesting aspect of analysis is its support for cancelation. When a change | ||
90 | is applied to `AnalysisHost`, first all currently active snapshots are | ||
91 | cancelled. Only after all snapshots are dropped the change actually affects the | ||
92 | database. | ||
93 | |||
89 | ### `crates/ra_lsp_server` | 94 | ### `crates/ra_lsp_server` |
90 | 95 | ||
91 | An LSP implementation which uses `ra_analysis` for managing state and | 96 | An LSP implementation which uses `ra_analysis` for managing state and |