Trait Rule

pub trait Rule<'a> {
    // Required method
    fn check(
        &self,
        node: Node<'a>,
        prog: &AstNode<Program>,
    ) -> Result<Vec<Discovered>>;
}

Check the provided AST for any found rule violations.

The Rule trait is automatically implemented for a few other types, but it can also be manually implemented as required.

Required Methods

fn check( &self, node: Node<'a>, prog: &AstNode<Program>, ) -> Result<Vec<Discovered>>

Check the AST at this specific node for any Finding(s).

Implementors

impl<'a, FnT> Rule<'a> for FnT

where FnT: Fn(Node<'a>, &Node<Program>) -> Result<Vec<Discovered>>,