Skip to main content

module lang::php::analysis::cfg::BasicBlocks

rascal-0.43.0
org.rascalmpl.php-analysis-0.3.6

Usage​

import lang::php::analysis::cfg::BasicBlocks;

Dependencies​

import lang::php::analysis::cfg::CFG;
import lang::php::analysis::cfg::FlowEdge;
import lang::php::analysis::NamePaths;
import Relation;
import List;
import String;
import Set;
import IO;
import analysis::graphs::Graph;

data CFGNode​

data CFGNode  
     = basicBlock(list[CFGNode] nodes)
     ;

data Lab​

data Lab  
     = blockLabel(int id)
     ;

function printCFGNode​

str printCFGNode(basicBlock(list[CFGNode] nodes))

function createBasicBlocks​

CFG createBasicBlocks(CFG g)