Trait move_stackless_bytecode::dataflow_analysis::TransferFunctions

pub trait TransferFunctions {
    type State: AbstractDomain + Clone;

    const BACKWARD: bool;

    fn execute(
        &self, 
        state: &mut Self::State, 
        instr: &Bytecode, 
        offset: CodeOffset
    );

    fn execute_block(
        &self, 
        block_id: BlockId, 
        state: Self::State, 
        instrs: &[Bytecode], 
        cfg: &StacklessControlFlowGraph
    ) -> Self::State { ... }
}

Take a pre-state + instruction and mutate it to produce a post-state。

Required Associated Types

type State: AbstractDomain + Clone

Required Associated Constants

const BACKWARD: bool

Required Methods

fn execute(&self, state: &mut Self::State, instr: &Bytecode, offset: CodeOffset)

Provided Methods

fn execute_block(
    &self,
    block_id: BlockId,
    state: Self::State,
    instrs: &[Bytecode],
    cfg: &StacklessControlFlowGraph
) -> Self::State

Implementors