Trait raptor::analysis::fixed_point::FixedPointAnalysis

pub trait FixedPointAnalysis<'f, State: 'f + Clone + Debug + PartialOrd, V: Value> {
    fn trans(
        &self, 
        location: &RefProgramLocation<'f, V>, 
        state: Option<State>
    ) -> Result<State>;
    fn join(&self, state0: State, state1: &State) -> Result<State>;
}

A trait which implements a forward, flow-sensitive analysis to a fixed point.

Required methods

fn trans(
    &self,
    location: &RefProgramLocation<'f, V>,
    state: Option<State>
) -> Result<State>

Given an input state for a block, create an output state for this block.

fn join(&self, state0: State, state1: &State) -> Result<State>

Given two states, join them into one state.

Loading content...

Implementors

Loading content...