Struct test_generation::control_flow_graph::BasicBlock

pub struct BasicBlock { /* private fields */ }

This represents a basic block in a control flow graph

Implementations

impl BasicBlock

pub fn new() -> BasicBlock

pub fn get_locals_in(&self) -> &HashMap<usize, (AbstractValue, BorrowState)>

Get the locals coming into the block

pub fn get_locals_out(&self) -> &HashMap<usize, (AbstractValue, BorrowState)>

Get the locals going out of the block

pub fn set_instructions(&mut self, instructions: Vec<Bytecode>)

Set the list of instructions that comprise the block

Trait Implementations

impl Clone for BasicBlock

fn clone(&self) -> BasicBlock

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BasicBlock

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

Formats the value using the given formatter.

impl Default for BasicBlock

fn default() -> BasicBlock

Returns the “default value” for a type.