1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
#![allow(unused)]
use crate::linter::mlint_report::{MlintLevel, MlintReport};
mod non_mingling_naming_style;
pub use non_mingling_naming_style::linter as non_mingling_naming_style;
mod template_linter;
pub use template_linter::linter as template_linter;
mod unnecessary_render_result_creation;
pub use unnecessary_render_result_creation::linter as unnecessary_render_result_creation;
pub use non_mingling_naming_style::check_file as non_mingling_naming_style_file;
/// Run all registered lints on a parsed file with its source text.
pub fn run_all_lints(file: &syn::File, source: &str) -> Vec<MlintReport> {
use crate::linter::mlint_attr::{get_mlint_override, MlintLevelOverride};
// File-level lints (check types, modules, etc.)
let mut reports: Vec<MlintReport> = vec![];
reports.extend(non_mingling_naming_style::check_file(file, source));
// Item-level lints (check each function)
for item in &file.items {
if let syn::Item::Fn(f) = item {
let skip = get_mlint_override(&f.attrs, "non_mingling_naming_style") == Some(MlintLevelOverride::Allow);
if !skip {
let mut rs = non_mingling_naming_style::linter(f.clone(), source);
if get_mlint_override(&f.attrs, "non_mingling_naming_style") == Some(MlintLevelOverride::Deny) {
for r in &mut rs { r.level = MlintLevel::Error; }
}
reports.extend(rs);
}
let skip = get_mlint_override(&f.attrs, "template_linter") == Some(MlintLevelOverride::Allow);
if !skip {
let mut rs = template_linter::linter(f.clone(), source);
if get_mlint_override(&f.attrs, "template_linter") == Some(MlintLevelOverride::Deny) {
for r in &mut rs { r.level = MlintLevel::Error; }
}
reports.extend(rs);
}
let skip = get_mlint_override(&f.attrs, "unnecessary_render_result_creation") == Some(MlintLevelOverride::Allow);
if !skip {
let mut rs = unnecessary_render_result_creation::linter(f.clone(), source);
if get_mlint_override(&f.attrs, "unnecessary_render_result_creation") == Some(MlintLevelOverride::Deny) {
for r in &mut rs { r.level = MlintLevel::Error; }
}
reports.extend(rs);
}
}
}
// 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());
};
}
|
