2019-01-23 00:15:03 +03:00
|
|
|
use ra_db::{
|
2019-01-24 12:41:08 +03:00
|
|
|
SourceFileQuery,
|
2019-01-23 00:15:03 +03:00
|
|
|
salsa::{Database, debug::DebugQueryTable},
|
|
|
|
};
|
|
|
|
|
|
|
|
use crate::db::RootDatabase;
|
|
|
|
|
|
|
|
pub(crate) fn status(db: &RootDatabase) -> String {
|
|
|
|
let n_parsed_files = db.query(SourceFileQuery).keys::<Vec<_>>().len();
|
|
|
|
let n_defs = {
|
2019-01-24 12:41:08 +03:00
|
|
|
let interner: &hir::HirInterner = db.as_ref();
|
2019-01-23 00:15:03 +03:00
|
|
|
interner.len()
|
|
|
|
};
|
|
|
|
format!("#n_parsed_files {}\n#n_defs {}\n", n_parsed_files, n_defs)
|
|
|
|
}
|