mingling-cli 0.4.0

Mingling's scaffolding tool for generating, analyzing, and modifying Mingling projects
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

// This file is auto-generated by pre/lint_registry.rs

#![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<MlintReport> {
    use crate::linter::mlint_attr::{get_mlint_override, MlintLevelOverride};

    // File-level lints (check types, modules, etc.)
    let mut reports: Vec<MlintReport> = 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(<<<name>>>::check_file(file, source));
@@@ <<<

@@@ >>> file_lints
pub use <<<name>>>::check_file as <<<name>>>_file;
@@@ <<<

@@@ >>> impls
mod <<<mod_name>>>;
pub use <<<mod_name>>>::linter as <<<mod_name>>>;
@@@ <<<

@@@ >>> calls
            let skip = get_mlint_override(&f.attrs, "<<<name>>>") == Some(MlintLevelOverride::Allow);
            if !skip {
                let mut rs = <<<name>>>::linter(f.clone(), source);
                if get_mlint_override(&f.attrs, "<<<name>>>") == Some(MlintLevelOverride::Deny) {
                    for r in &mut rs { r.level = MlintLevel::Error; }
                }
                reports.extend(rs);
            }
@@@ <<<