Struct ssa::cfg::ControlFlowGraph

pub struct ControlFlowGraph<'a> { /* fields omitted */ }

Control Flow Graph

Methods

impl<'a> ControlFlowGraph<'a>

pub fn new(dict: &'a Dictionary) -> Self

Create a new cfg from dictionary

pub fn condition_traverse(&mut self, blocks: &Vec<SimpleBlockNode>) -> Vec<u32>

Traverse comparison nodes in IfStatement, WhileStatement, DoWhileStatement

Build a list of nested function calls and connect them toghether

pub fn simple_traverse(
    &mut self,
    blocks: &Vec<SimpleBlockNode>,
    predecessors: Vec<u32>,
    breakers: &mut Vec<LoopBreaker>
) -> Vec<u32>

Traverse a list of SimpleBlockNode

pub fn traverse(
    &mut self,
    blocks: &Vec<CodeBlock>,
    predecessors: Vec<u32>,
    breakers: &mut Vec<LoopBreaker>
) -> Vec<u32>

Traverse the whole graph

pub fn start_at(&mut self, entry_id: u32) -> Option<State>

Build a cfg, the cfg starts at FunctionDefinition entry_id