Struct TestCfg 

pub struct TestCfg {
    pub entry: BlockId,
    pub exits: HashSet<BlockId>,
    pub error_blocks: HashSet<BlockId>,
    pub successors: HashMap<BlockId, Vec<BlockId>>,
    pub predecessors: HashMap<BlockId, Vec<BlockId>>,
}

Fields

entry: BlockId

exits: HashSet<BlockId>

error_blocks: HashSet<BlockId>

successors: HashMap<BlockId, Vec<BlockId>>

predecessors: HashMap<BlockId, Vec<BlockId>>

Implementations

impl TestCfg

pub fn new(entry: BlockId) -> Self

pub fn add_edge(&mut self, from: BlockId, to: BlockId) -> &mut Self

pub fn add_exit(&mut self, block: BlockId) -> &mut Self

pub fn add_error(&mut self, block: BlockId) -> &mut Self

pub fn chain(start: i64, count: usize) -> Self

pub fn if_else() -> Self

pub fn simple_loop() -> Self

pub fn enumerate_paths(&self) -> Vec<Path>

pub fn compute_dominators(&self) -> DominatorTree

pub fn detect_loops(&self) -> Vec<Loop>

Trait Implementations

impl Clone for TestCfg

fn clone(&self) -> TestCfg

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TestCfg

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

Formats the value using the given formatter.