1 //! Loads a Cargo project into a static instance of analysis, without support
2 //! for incorporating changes.
3 use std::{path::Path, sync::Arc};
6 use crossbeam_channel::{unbounded, Receiver};
7 use hir::db::DefDatabase;
8 use ide::{AnalysisHost, Change};
9 use ide_db::base_db::CrateGraph;
11 BuildDataCollector, CargoConfig, ProcMacroClient, ProjectManifest, ProjectWorkspace,
13 use vfs::{loader::Handle, AbsPath, AbsPathBuf};
15 use crate::reload::{ProjectFolders, SourceRootConfig};
17 pub(crate) struct LoadCargoConfig {
18 pub(crate) load_out_dirs_from_check: bool,
19 pub(crate) wrap_rustc: bool,
20 pub(crate) with_proc_macro: bool,
21 pub(crate) prefill_caches: bool,
24 pub(crate) fn load_workspace_at(
26 cargo_config: &CargoConfig,
27 load_config: &LoadCargoConfig,
28 progress: &dyn Fn(String),
29 ) -> Result<(AnalysisHost, vfs::Vfs, Option<ProcMacroClient>)> {
30 let root = AbsPathBuf::assert(std::env::current_dir()?.join(root));
31 let root = ProjectManifest::discover_single(&root)?;
32 let workspace = ProjectWorkspace::load(root, cargo_config, progress)?;
34 load_workspace(workspace, load_config, progress)
39 config: &LoadCargoConfig,
40 progress: &dyn Fn(String),
41 ) -> Result<(AnalysisHost, vfs::Vfs, Option<ProcMacroClient>)> {
42 let (sender, receiver) = unbounded();
43 let mut vfs = vfs::Vfs::default();
46 vfs_notify::NotifyHandle::spawn(Box::new(move |msg| sender.send(msg).unwrap()));
50 let proc_macro_client = if config.with_proc_macro {
51 let path = std::env::current_exe()?;
52 Some(ProcMacroClient::extern_process(path, &["proc-macro"]).unwrap())
57 let build_data = if config.load_out_dirs_from_check {
58 let mut collector = BuildDataCollector::new(config.wrap_rustc);
59 ws.collect_build_data_configs(&mut collector);
60 Some(collector.collect(progress)?)
65 let crate_graph = ws.to_crate_graph(
67 proc_macro_client.as_ref(),
68 &mut |path: &AbsPath| {
69 let contents = loader.load_sync(path);
70 let path = vfs::VfsPath::from(path.to_path_buf());
71 vfs.set_file_contents(path.clone(), contents);
76 let project_folders = ProjectFolders::new(&[ws], &[], build_data.as_ref());
77 loader.set_config(vfs::loader::Config {
78 load: project_folders.load,
83 log::debug!("crate graph: {:?}", crate_graph);
85 load_crate_graph(crate_graph, project_folders.source_root_config, &mut vfs, &receiver);
87 if config.prefill_caches {
88 host.analysis().prime_caches(|_| {})?;
90 Ok((host, vfs, proc_macro_client))
94 crate_graph: CrateGraph,
95 source_root_config: SourceRootConfig,
97 receiver: &Receiver<vfs::loader::Message>,
99 let lru_cap = std::env::var("RA_LRU_CAP").ok().and_then(|it| it.parse::<usize>().ok());
100 let mut host = AnalysisHost::new(lru_cap);
101 let mut analysis_change = Change::new();
103 host.raw_database_mut().set_enable_proc_attr_macros(true);
105 // wait until Vfs has loaded all roots
106 for task in receiver {
108 vfs::loader::Message::Progress { n_done, n_total, config_version: _ } => {
109 if n_done == n_total {
113 vfs::loader::Message::Loaded { files } => {
114 for (path, contents) in files {
115 vfs.set_file_contents(path.into(), contents);
120 let changes = vfs.take_changes();
121 for file in changes {
123 let contents = vfs.file_contents(file.file_id).to_vec();
124 if let Ok(text) = String::from_utf8(contents) {
125 analysis_change.change_file(file.file_id, Some(Arc::new(text)))
129 let source_roots = source_root_config.partition(&vfs);
130 analysis_change.set_roots(source_roots);
132 analysis_change.set_crate_graph(crate_graph);
134 host.apply_change(analysis_change);
145 fn test_loading_rust_analyzer() -> Result<()> {
146 let path = Path::new(env!("CARGO_MANIFEST_DIR")).parent().unwrap().parent().unwrap();
147 let cargo_config = Default::default();
148 let load_cargo_config = LoadCargoConfig {
149 load_out_dirs_from_check: false,
151 with_proc_macro: false,
152 prefill_caches: false,
154 let (host, _vfs, _proc_macro) =
155 load_workspace_at(path, &cargo_config, &load_cargo_config, &|_| {})?;
157 let n_crates = Crate::all(host.raw_database()).len();
158 // RA has quite a few crates, but the exact count doesn't matter
159 assert!(n_crates > 20);