open_vaf::analysis::data_flow::framework

Trait GenKillAnalysis

Source 
pub trait GenKillAnalysis<'lt>: Sized {
    type SetType: Idx + From<usize>;
    type Direction: Direction<'lt>;

    // Required methods
    fn transfer_function(
        &mut self,
        gen_kill_set: &mut GenKillSet<Self::SetType>,
        basic_bock: BasicBlockId,
        cfg: &ControlFlowGraph,
    );
    fn max_idx(&self) -> Self::SetType;
}

Required Associated Types§

Source

type SetType: Idx + From<usize>

Source

type Direction: Direction<'lt>

Required Methods§

Source

fn transfer_function( &mut self, gen_kill_set: &mut GenKillSet<Self::SetType>, basic_bock: BasicBlockId, cfg: &ControlFlowGraph, )

Source

fn max_idx(&self) -> Self::SetType

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§