omnicoach 0.3.0

Lightweight, high-signal static analysis and command linter for Python and Rust
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

//! The command rule contract ([`CommandRule`]): a declaration and the function that checks one
//! intercepted command.

architecture_component!(CommandLintContract);

use crate::command_lint::command::InterceptedCommand;
use crate::command_lint::vcs::JjClient;
use crate::diagnostic::Diagnostic;
use crate::rule_declaration::Declaration;

/// A rule that analyzes intercepted shell commands: its declaration and the function that
/// finds its violations.
///
/// A command rule file exposes one `pub const` `CommandRule`, listed in `COMMAND_RULES`
/// (`src/command_lint/rules.rs`). It declares `languages: &[]`, `RuleOptions::none()`, and
/// `examples: &[]` (command rules have no `rule_test!` harness yet).
#[derive(Clone, Copy)]
pub struct CommandRule {
    /// Name, template, options, classification and doc; command rules analyze no language.
    pub declaration: Declaration,
    /// Finds the rule's violations in one intercepted command.
    pub(super) check: fn(&Self, &InterceptedCommand, &dyn JjClient) -> Vec<Diagnostic>,
}

impl CommandRule {
    /// Finds the rule's violations in `cmd`.
    #[must_use]
    pub(crate) fn check_command(
        &self,
        cmd: &InterceptedCommand,
        jj_client: &dyn JjClient,
    ) -> Vec<Diagnostic> {
        (self.check)(self, cmd, jj_client)
    }
}