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 /ARCHITECTURE.md | |
| parent | 00b71e668d067f60c0ba966afba75ba4adda83eb (diff) | |
docs about cancelation
Diffstat (limited to 'ARCHITECTURE.md')
| -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 |