Struct ssa::cfg::Graph

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

Process AST tree

This module reads AST tree and preprocess data for ControlFlowGraph, Graph separates a function call to 2 blocks by calling build_block.

• Param
• Body

For body, Graph calls build_items to find control flow tokens. For each token, Graph calls build_node to find its components

It is noted that, Graph start at build_node with NodeKind::Root

Methods

impl<'a> Graph<'a>

pub fn new(walker: Walker<'a>) -> Self

pub fn split(walker: Walker<'a>) -> Vec<SimpleBlockNode<'a>>

Find all nested function_calls and try to create a single node for each

Some functions directly affect to control flow will be collected to precisely build cfg

pub fn build_items(&mut self, walker: Walker<'a>) -> Vec<CodeBlock<'a>>

Traverse the body of a function based on token kind, for some special token call build_node to find it's components

pub fn build_block(
    &mut self,
    kind: BlockKind,
    walker: Walker<'a>
) -> Vec<CodeBlock<'a>>

Traverse parameter list and modifier invocations, call build_items to traverse body of a function

pub fn build_node(
    &mut self,
    kind: NodeKind,
    walker: Walker<'a>
) -> BlockNode<'a>

For each node, try to detect it's components

pub fn update(&mut self) -> &BlockNode

Trait Implementations

impl<'a> Debug for Graph<'a>

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

Formats the value using the given formatter.