Inheritance diagram for BMV2::CFG:

Classes
class	DummyNode

class	Edge
	A CFG Edge; can be an in-edge or out-edge. More...

class	EdgeSet

class	IfNode

class	Node

class	TableNode

Public Member Functions
void	build (const IR::P4Control cc, P4::ReferenceMap refMap, P4::TypeMap *typeMap)

bool	checkImplementable () const

void	computeSuccessors ()

void	dbprint (std::ostream &out) const

void	dbprint (std::ostream &out, Node node, std::set< Node > &done) const

Node *	makeNode (const IR::IfStatement *statement)

Node *	makeNode (const IR::P4Table table, const IR::Expression invocation)

Node *	makeNode (cstring name)

void	setEntry (Node *entry)

Public Member Functions inherited from IHasDbPrint
void	print () const

Protected Types
enum class	EdgeType { Unconditional , True , False , Label }

Detailed Description

This CFG models the BMV2 notion of control-flow graph. In BMv2 there are only 2 types of nodes: If and Table.

Member Function Documentation

bool BMV2::CFG::checkImplementable ( ) const

BMv2 is very restricted in the kinds of graphs it supports. Thie method checks whether a CFG is implementable.

void BMV2::CFG::dbprint ( std::ostream & out ) const

virtual

Implements IHasDbPrint.