Struct State 

pub struct State<T> {
    pub failures: Vec<CheckFailure>,
    pub state: T,
}

State accumulator for stateful rules.

Used by custom_rule and very_custom_rule to track state across multiple instructions during the analysis pass.

Fields

failures: Vec<CheckFailure>

Accumulated failures found during analysis.

state: T

Custom state for the rule.

Implementations

impl<T> State<T>

pub fn new(state: T) -> Self

Create a new state with the given initial state.

pub fn add_failure(&mut self, failure: CheckFailure)

Add a failure to the state.

pub fn modify<F>(&mut self, f: F)

where F: FnOnce(&mut T),

Modify the state with a function.

pub fn replace_state(&mut self, new_state: T)

Replace the state entirely.

Trait Implementations

impl<T: Clone> Clone for State<T>

fn clone(&self) -> State<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for State<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Default> Default for State<T>

fn default() -> Self

Returns the “default value” for a type.