Package org.jtool.jxplatform.graph.cfg

Application programming interfaces for manipulating control flow graphs (CFGs) created from source code.

See:
Description

Class Summary

CFG	An object storing information about a control flow graph (CFG).
CFGAssignment	An assignment node of CFGs.
CFGBranch	A branch node of CFGs.
CFGBreakContinue	A break or continue node of CFGs.
CFGCall	A method call node of CFGs.
CFGDeclaration	A local or field declaration node of CFGs.
CFGExit	A exit node of CFGs.
CFGMerge	A merge node of CFGs.
CFGMethodEntry	A method entry node of CFGs.
CFGNode	A node of CFGs.
CFGParameter	A parameter node of CFGs.
CFGStatement	A statement node of CFGs.
ControlFlow	An edge (control flow) of CFGs.
GetCFG	Constructs control flcreateActualNodesow graphs (CFGs).
GetConstrainedReachableNodes	Calculates constrained reachable nodes on a CFG.
GetPostDominator	Calculates post dominators on a CFG.
GetReachableNodes	Calculates reachable nodes on a CFG.
JxSpecialVariable	A special variable wrapper for formal-in, formal-out, actual-in, and actual-out nodes of CFGs and PDGs.
WriteCFGs	Writes information about CFGs contained a specified XML document.

Package org.jtool.jxplatform.graph.cfg Description

Application programming interfaces for manipulating control flow graphs (CFGs) created from source code. This package provides classes which constructs CFGs and accesses information about the CFGs. The classes for nodes and edges of the CFG inherits properties of the classes in org.jtool.jxplatform.graph.