Skip to main content

module analysis::m3::FlowGraph

rascal-0.40.16

Usage​

import analysis::m3::FlowGraph;

Dependencies​

extend analysis::m3::Core;

data M3​

data M3 (
    rel[loc decl, BasicBlocks blocks] basicBlocks = {},
    rel[loc decl, FlowGraph graph] dataFlow = {},
    rel[loc decl, FlowGraph graph] controlFlow = {}
)

alias BasicBlocks​

rel[loc whole, list[loc] parts]

alias FlowGraph​

rel[loc from, set[EdgeProperty] properties, loc to]

data EdgeProperty​

data EdgeProperty  
     = trueCondition()
     | falseCondition()
     ;