2020-10-02 08:45:09 -05:00
|
|
|
//! Defines a unit of change that can applied to the database to get the next
|
|
|
|
//! state. Changes are transactional.
|
|
|
|
|
2023-05-02 09:12:22 -05:00
|
|
|
use std::fmt;
|
2020-10-02 08:45:09 -05:00
|
|
|
|
|
|
|
use salsa::Durability;
|
2023-05-02 09:12:22 -05:00
|
|
|
use triomphe::Arc;
|
2020-10-02 08:45:09 -05:00
|
|
|
use vfs::FileId;
|
|
|
|
|
2023-03-25 10:42:52 -05:00
|
|
|
use crate::{CrateGraph, ProcMacros, SourceDatabaseExt, SourceRoot, SourceRootId};
|
2020-10-02 08:45:09 -05:00
|
|
|
|
|
|
|
/// Encapsulate a bunch of raw `.set` calls on the database.
|
|
|
|
#[derive(Default)]
|
|
|
|
pub struct Change {
|
|
|
|
pub roots: Option<Vec<SourceRoot>>,
|
2023-04-22 02:48:37 -05:00
|
|
|
pub files_changed: Vec<(FileId, Option<Arc<str>>)>,
|
2020-10-02 08:45:09 -05:00
|
|
|
pub crate_graph: Option<CrateGraph>,
|
2023-03-25 10:42:52 -05:00
|
|
|
pub proc_macros: Option<ProcMacros>,
|
2020-10-02 08:45:09 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl fmt::Debug for Change {
|
2022-07-20 08:02:08 -05:00
|
|
|
fn fmt(&self, fmt: &mut fmt::Formatter<'_>) -> fmt::Result {
|
2021-02-28 05:57:41 -06:00
|
|
|
let mut d = fmt.debug_struct("Change");
|
2020-10-02 08:45:09 -05:00
|
|
|
if let Some(roots) = &self.roots {
|
|
|
|
d.field("roots", roots);
|
|
|
|
}
|
|
|
|
if !self.files_changed.is_empty() {
|
|
|
|
d.field("files_changed", &self.files_changed.len());
|
|
|
|
}
|
|
|
|
if self.crate_graph.is_some() {
|
|
|
|
d.field("crate_graph", &self.crate_graph);
|
|
|
|
}
|
|
|
|
d.finish()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Change {
|
2023-04-28 12:14:30 -05:00
|
|
|
pub fn new() -> Self {
|
2020-10-02 08:45:09 -05:00
|
|
|
Change::default()
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn set_roots(&mut self, roots: Vec<SourceRoot>) {
|
|
|
|
self.roots = Some(roots);
|
|
|
|
}
|
|
|
|
|
2023-04-22 02:48:37 -05:00
|
|
|
pub fn change_file(&mut self, file_id: FileId, new_text: Option<Arc<str>>) {
|
2020-10-02 08:45:09 -05:00
|
|
|
self.files_changed.push((file_id, new_text))
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn set_crate_graph(&mut self, graph: CrateGraph) {
|
|
|
|
self.crate_graph = Some(graph);
|
|
|
|
}
|
|
|
|
|
2023-03-25 10:42:52 -05:00
|
|
|
pub fn set_proc_macros(&mut self, proc_macros: ProcMacros) {
|
|
|
|
self.proc_macros = Some(proc_macros);
|
|
|
|
}
|
|
|
|
|
2020-10-02 08:45:09 -05:00
|
|
|
pub fn apply(self, db: &mut dyn SourceDatabaseExt) {
|
|
|
|
let _p = profile::span("RootDatabase::apply_change");
|
|
|
|
if let Some(roots) = self.roots {
|
|
|
|
for (idx, root) in roots.into_iter().enumerate() {
|
|
|
|
let root_id = SourceRootId(idx as u32);
|
|
|
|
let durability = durability(&root);
|
|
|
|
for file_id in root.iter() {
|
|
|
|
db.set_file_source_root_with_durability(file_id, root_id, durability);
|
|
|
|
}
|
|
|
|
db.set_source_root_with_durability(root_id, Arc::new(root), durability);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
for (file_id, text) in self.files_changed {
|
|
|
|
let source_root_id = db.file_source_root(file_id);
|
|
|
|
let source_root = db.source_root(source_root_id);
|
|
|
|
let durability = durability(&source_root);
|
|
|
|
// XXX: can't actually remove the file, just reset the text
|
2023-04-22 02:48:37 -05:00
|
|
|
let text = text.unwrap_or_else(|| Arc::from(""));
|
2020-10-02 08:45:09 -05:00
|
|
|
db.set_file_text_with_durability(file_id, text, durability)
|
|
|
|
}
|
|
|
|
if let Some(crate_graph) = self.crate_graph {
|
2023-05-04 13:46:05 -05:00
|
|
|
db.set_crate_graph_with_durability(Arc::new(crate_graph), Durability::HIGH);
|
2020-10-02 08:45:09 -05:00
|
|
|
}
|
2023-03-25 10:42:52 -05:00
|
|
|
if let Some(proc_macros) = self.proc_macros {
|
2023-05-04 13:46:05 -05:00
|
|
|
db.set_proc_macros_with_durability(Arc::new(proc_macros), Durability::HIGH);
|
2023-03-25 10:42:52 -05:00
|
|
|
}
|
2020-10-02 08:45:09 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn durability(source_root: &SourceRoot) -> Durability {
|
|
|
|
if source_root.is_library {
|
|
|
|
Durability::HIGH
|
|
|
|
} else {
|
|
|
|
Durability::LOW
|
|
|
|
}
|
|
|
|
}
|