UnitTypecheckingCacheHolder now holds the data needed for ChangesTrackers. This data is updated by UpdatesRecorder: different models and nodes from different roots are tracked. |
||
|---|---|---|
| .. | ||
| plugin.mps | ||
| service.mps | ||
UnitTypecheckingCacheHolder now holds the data needed for ChangesTrackers. This data is updated by UpdatesRecorder: different models and nodes from different roots are tracked. |
||
|---|---|---|
| .. | ||
| plugin.mps | ||
| service.mps | ||