cairo_lang_compiler/
diagnostics.rsuse std::fmt::Write;
use cairo_lang_defs::db::DefsGroup;
use cairo_lang_defs::ids::ModuleId;
use cairo_lang_diagnostics::{
DiagnosticEntry, Diagnostics, FormattedDiagnosticEntry, PluginFileDiagnosticNotes, Severity,
};
use cairo_lang_filesystem::ids::{CrateId, FileLongId};
use cairo_lang_lowering::db::LoweringGroup;
use cairo_lang_parser::db::ParserGroup;
use cairo_lang_semantic::db::SemanticGroup;
use cairo_lang_utils::LookupIntern;
use cairo_lang_utils::unordered_hash_set::UnorderedHashSet;
use thiserror::Error;
use crate::db::RootDatabase;
#[cfg(test)]
#[path = "diagnostics_test.rs"]
mod test;
#[derive(Error, Debug, Eq, PartialEq)]
#[error("Compilation failed.")]
pub struct DiagnosticsError;
trait DiagnosticCallback {
fn on_diagnostic(&mut self, diagnostic: FormattedDiagnosticEntry);
}
impl DiagnosticCallback for Option<Box<dyn DiagnosticCallback + '_>> {
fn on_diagnostic(&mut self, diagnostic: FormattedDiagnosticEntry) {
if let Some(callback) = self {
callback.on_diagnostic(diagnostic)
}
}
}
pub struct DiagnosticsReporter<'a> {
callback: Option<Box<dyn DiagnosticCallback + 'a>>,
ignore_warnings_crate_ids: Vec<CrateId>,
crate_ids: Vec<CrateId>,
allow_warnings: bool,
skip_lowering_diagnostics: bool,
}
impl DiagnosticsReporter<'static> {
pub fn ignoring() -> Self {
Self {
callback: None,
crate_ids: vec![],
ignore_warnings_crate_ids: vec![],
allow_warnings: false,
skip_lowering_diagnostics: false,
}
}
pub fn stderr() -> Self {
Self::callback(|diagnostic| eprint!("{diagnostic}"))
}
}
impl<'a> DiagnosticsReporter<'a> {
pub fn callback(callback: impl FnMut(FormattedDiagnosticEntry) + 'a) -> Self {
struct Func<F>(F);
impl<F> DiagnosticCallback for Func<F>
where
F: FnMut(FormattedDiagnosticEntry),
{
fn on_diagnostic(&mut self, diagnostic: FormattedDiagnosticEntry) {
self.0(diagnostic)
}
}
Self::new(Func(callback))
}
pub fn write_to_string(string: &'a mut String) -> Self {
Self::callback(|diagnostic| {
write!(string, "{diagnostic}").unwrap();
})
}
fn new(callback: impl DiagnosticCallback + 'a) -> Self {
Self {
callback: Some(Box::new(callback)),
crate_ids: vec![],
ignore_warnings_crate_ids: vec![],
allow_warnings: false,
skip_lowering_diagnostics: false,
}
}
pub fn with_crates(mut self, crate_ids: &[CrateId]) -> Self {
self.crate_ids = crate_ids.to_vec();
self
}
pub fn with_ignore_warnings_crates(mut self, crate_ids: &[CrateId]) -> Self {
self.ignore_warnings_crate_ids = crate_ids.to_vec();
self
}
pub fn allow_warnings(mut self) -> Self {
self.allow_warnings = true;
self
}
fn crates_of_interest(&self, db: &dyn LoweringGroup) -> Vec<CrateId> {
if self.crate_ids.is_empty() { db.crates() } else { self.crate_ids.clone() }
}
pub fn check(&mut self, db: &dyn LoweringGroup) -> bool {
let mut found_diagnostics = false;
let crates = self.crates_of_interest(db);
for crate_id in &crates {
let Ok(module_file) = db.module_main_file(ModuleId::CrateRoot(*crate_id)) else {
found_diagnostics = true;
self.callback.on_diagnostic(FormattedDiagnosticEntry::new(
Severity::Error,
None,
"Failed to get main module file".to_string(),
));
continue;
};
if db.file_content(module_file).is_none() {
match module_file.lookup_intern(db) {
FileLongId::OnDisk(path) => {
self.callback.on_diagnostic(FormattedDiagnosticEntry::new(
Severity::Error,
None,
format!("{} not found\n", path.display()),
))
}
FileLongId::Virtual(_) => panic!("Missing virtual file."),
FileLongId::External(_) => panic!("Missing external file."),
}
found_diagnostics = true;
}
let ignore_warnings_in_crate = self.ignore_warnings_crate_ids.contains(crate_id);
let modules = db.crate_modules(*crate_id);
let mut processed_file_ids = UnorderedHashSet::<_>::default();
for module_id in modules.iter() {
let diagnostic_notes =
db.module_plugin_diagnostics_notes(*module_id).unwrap_or_default();
if let Ok(module_files) = db.module_files(*module_id) {
for file_id in module_files.iter().copied() {
if processed_file_ids.insert(file_id) {
found_diagnostics |= self.check_diag_group(
db.upcast(),
db.file_syntax_diagnostics(file_id),
ignore_warnings_in_crate,
&diagnostic_notes,
);
}
}
}
if let Ok(group) = db.module_semantic_diagnostics(*module_id) {
found_diagnostics |= self.check_diag_group(
db.upcast(),
group,
ignore_warnings_in_crate,
&diagnostic_notes,
);
}
if self.skip_lowering_diagnostics {
continue;
}
if let Ok(group) = db.module_lowering_diagnostics(*module_id) {
found_diagnostics |= self.check_diag_group(
db.upcast(),
group,
ignore_warnings_in_crate,
&diagnostic_notes,
);
}
}
}
found_diagnostics
}
fn check_diag_group<TEntry: DiagnosticEntry>(
&mut self,
db: &TEntry::DbType,
group: Diagnostics<TEntry>,
skip_warnings: bool,
file_notes: &PluginFileDiagnosticNotes,
) -> bool {
let mut found: bool = false;
for entry in group.format_with_severity(db, file_notes) {
if skip_warnings && entry.severity() == Severity::Warning {
continue;
}
if !entry.is_empty() {
self.callback.on_diagnostic(entry);
found |= !self.allow_warnings || group.check_error_free().is_err();
}
}
found
}
pub fn ensure(&mut self, db: &dyn LoweringGroup) -> Result<(), DiagnosticsError> {
if self.check(db) { Err(DiagnosticsError) } else { Ok(()) }
}
pub(crate) fn warm_up_diagnostics(&self, db: &RootDatabase) {
let crates = self.crates_of_interest(db);
for crate_id in crates {
let snapshot = salsa::ParallelDatabase::snapshot(db);
rayon::spawn(move || {
let db = &*snapshot;
let crate_modules = db.crate_modules(crate_id);
for module_id in crate_modules.iter().copied() {
let snapshot = salsa::ParallelDatabase::snapshot(db);
rayon::spawn(move || {
let db = &*snapshot;
for file_id in
db.module_files(module_id).unwrap_or_default().iter().copied()
{
db.file_syntax_diagnostics(file_id);
}
let _ = db.module_semantic_diagnostics(module_id);
let _ = db.module_lowering_diagnostics(module_id);
});
}
});
}
}
pub fn skip_lowering_diagnostics(mut self) -> Self {
self.skip_lowering_diagnostics = true;
self
}
}
impl Default for DiagnosticsReporter<'static> {
fn default() -> Self {
DiagnosticsReporter::stderr()
}
}
pub fn get_diagnostics_as_string(db: &RootDatabase, extra_crate_ids: &[CrateId]) -> String {
let mut diagnostics = String::default();
DiagnosticsReporter::write_to_string(&mut diagnostics).with_crates(extra_crate_ids).check(db);
diagnostics
}