OA::CFG Namespace Reference

Classes
class	NodesIterator
class	EdgesIterator
class	Node
class	Edge
class	CFG
class	NodeStatementsIterator
class	NodeStatementsRevIterator
class	NodeInterface
class	EdgeInterface
class	CFGInterface
class	NodesIteratorInterface
class	EdgesIteratorInterface
class	EachCFGInterface
class	EachCFGStandard
class	ManagerCFGStandard
class	CFGIRInterface
class	CFGIRInterfaceDefault

Typedefs
typedef StmtHandleIterator	NodeStatementsIteratorInterface
typedef StmtHandleIterator	NodeStatementsRevIteratorInterface

Enumerations
enum	EdgeType {   TRUE_EDGE = 0, FALLTHROUGH_EDGE, FALSE_EDGE, BACK_EDGE,   MULTIWAY_EDGE, BREAK_EDGE, CONTINUE_EDGE, RETURN_EDGE }
enum	IRStmtType {   SIMPLE, COMPOUND, LOOP, END_TESTED_LOOP,   STRUCT_TWOWAY_CONDITIONAL, STRUCT_MULTIWAY_CONDITIONAL, USTRUCT_TWOWAY_CONDITIONAL_T, USTRUCT_TWOWAY_CONDITIONAL_F,   USTRUCT_MULTIWAY_CONDITIONAL, RETURN, BREAK, LOOP_CONTINUE,   ALTERNATE_PROC_ENTRY, UNCONDITIONAL_JUMP, UNCONDITIONAL_JUMP_I, NONE }
	Statements are classified into one of the following types for CFG: More...

Variables
static bool	debug = false

Typedef Documentation

typedef StmtHandleIterator OA::CFG::NodeStatementsIteratorInterface

Definition at line 39 of file CFGInterface.hpp.

typedef StmtHandleIterator OA::CFG::NodeStatementsRevIteratorInterface

Definition at line 40 of file CFGInterface.hpp.

Enumeration Type Documentation

enum OA::CFG::EdgeType

This abstract Interface to any CFG assumes a directed graph with nodes and edges. The nodes contain an ordered list of statements. The entire program would be represented by a set of CFGs, one for each subroutine, and one for the main program.

Enumerator
TRUE_EDGE
FALLTHROUGH_EDGE
FALSE_EDGE
BACK_EDGE
MULTIWAY_EDGE
BREAK_EDGE
CONTINUE_EDGE
RETURN_EDGE

Definition at line 34 of file CFGInterface.hpp.

enum OA::CFG::IRStmtType

Statements are classified into one of the following types for CFG:

Enumerator
SIMPLE
COMPOUND
LOOP
END_TESTED_LOOP
STRUCT_TWOWAY_CONDITIONAL
STRUCT_MULTIWAY_CONDITIONAL
USTRUCT_TWOWAY_CONDITIONAL_T
USTRUCT_TWOWAY_CONDITIONAL_F
USTRUCT_MULTIWAY_CONDITIONAL
RETURN
BREAK
LOOP_CONTINUE
ALTERNATE_PROC_ENTRY
UNCONDITIONAL_JUMP
UNCONDITIONAL_JUMP_I
NONE

Definition at line 40 of file CFGIRInterface.hpp.

Variable Documentation

bool OA::CFG::debug = false

static

Definition at line 44 of file ManagerCFG.cpp.

Referenced by OA::CFG::ManagerCFGStandard::build_block(), OA::CFG::ManagerCFGStandard::build_CFG_loop(), OA::CFG::ManagerCFGStandard::build_CFG_multiway_branch(), OA::CFG::ManagerCFGStandard::build_CFG_multiway_branch_with_fallthrough(), OA::CFG::ManagerCFGStandard::build_CFG_twoway_branch(), OA::CFG::ManagerCFGStandard::build_stmt(), and OA::CFG::ManagerCFGStandard::ManagerCFGStandard().