Struct test_generation::control_flow_graph::CFG

pub struct CFG { /* private fields */ }

A control flow graph

Implementations

impl CFG

pub fn new( rng: &mut StdRng, locals: &[SignatureToken], parameters: &Signature, target_blocks: u16 ) -> CFG

Construct a control flow graph that contains empty basic blocks with set incoming and outgoing locals. Currently the control flow graph is acyclic.

pub fn get_basic_blocks(&self) -> &HashMap<u16, BasicBlock>

Get a reference to all of the basic blocks of the CFG

pub fn get_basic_blocks_mut(&mut self) -> &mut HashMap<u16, BasicBlock>

Get a mutable reference to all of the basic blocks of the CFG

pub fn get_children_ids(&self, block_id: u16) -> Vec<u16>

Retrieve the block IDs of all children of the given basic block block_id

pub fn num_children(&self, block_id: u16) -> u8

Retrieve the number of children the given basic block block_id

pub fn get_parent_ids(&self, block_id: u16) -> Vec<u16>

Retrieve the block IDs of all parents of the given basic block block_id

pub fn num_parents(&self, block_id: u16) -> u8

Retrieve the number of parents the given basic block block_id

pub fn serialize_block_order(&self) -> Vec<u16>

Decide the serialization order of the blocks in the CFG

pub fn serialize(&mut self) -> Vec<Bytecode>

Serialize the control flow graph into a sequence of instructions. Set the offsets of branch instructions appropriately.

Trait Implementations

impl Clone for CFG

fn clone(&self) -> CFG

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CFG

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

Formats the value using the given formatter.