Trait SemanticCheck

pub trait SemanticCheck: Send + Sync {
    // Required methods
    fn name(&self) -> &str;
    fn run(&self, ctx: &CheckContext) -> Vec<Finding>;
}

Expand description

Trait that every semantic check must implement.

Checks are stateless: all mutable context is supplied via CheckContext.

Required Methods§

A unique, kebab-case name for the check (e.g. “no-unsafe-added”).

Execute the check against the provided context and return any findings.

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".