#![allow(unused)] use crate::linter::mlint_report::{MlintLevel, MlintReport}; >>>>>>>>>> impls; >>>>>>>>>> file_lints; /// Run all registered lints on a parsed file with its source text. pub fn run_all_lints(file: &syn::File, source: &str) -> Vec { use crate::linter::mlint_attr::{get_mlint_override, MlintLevelOverride}; // File-level lints (check types, modules, etc.) let mut reports: Vec = vec![]; >>>>>>>>>> file_calls; // Item-level lints (check each function) for item in &file.items { if let syn::Item::Fn(f) = item { >>>>>>>>>> calls; } } // Apply file-level #![mlint(allow/warn/deny(...))] overrides for r in &mut reports { if let Some(override_level) = get_mlint_override(&file.attrs, &r.lint_code) { match override_level { MlintLevelOverride::Allow => r.level = MlintLevel::Help, MlintLevelOverride::Deny => r.level = MlintLevel::Error, MlintLevelOverride::Warn => { if r.level != MlintLevel::Error { r.level = MlintLevel::Warning; } } } } } reports.retain(|r| r.level != MlintLevel::Help); reports } #[macro_export] macro_rules! assert_detected { ($linter:expr, $ast_type:ty => { $($code:tt)* }) => { let source = stringify!($($code)*); let ast: $ast_type = syn::parse_str(&source).unwrap(); assert!(!$linter(ast, &source).is_empty()); }; } #[macro_export] macro_rules! assert_not_detected { ($linter:expr, $ast_type:ty => { $($code:tt)* }) => { let source = stringify!($($code)*); let ast: $ast_type = syn::parse_str(&source).unwrap(); assert!($linter(ast, &source).is_empty()); }; } @@@ >>> file_calls reports.extend(<<>>::check_file(file, source)); @@@ <<< @@@ >>> file_lints pub use <<>>::check_file as <<>>_file; @@@ <<< @@@ >>> impls mod <<>>; pub use <<>>::linter as <<>>; @@@ <<< @@@ >>> calls let skip = get_mlint_override(&f.attrs, "<<>>") == Some(MlintLevelOverride::Allow); if !skip { let mut rs = <<>>::linter(f.clone(), source); if get_mlint_override(&f.attrs, "<<>>") == Some(MlintLevelOverride::Deny) { for r in &mut rs { r.level = MlintLevel::Error; } } reports.extend(rs); } @@@ <<<