Package com.ibm.wala.demandpa.flowgraph

package com.ibm.wala.demandpa.flowgraph

Class	Description
AbstractDemandFlowGraph	A graph representing program flow, constructed method-by-method on demand
AbstractDemandFlowGraph.FlowStatementVisitor
AbstractFlowGraph	A graph whose edges are labeled with IFlowLabels.
AbstractFlowLabelVisitor	An IFlowLabel.IFlowLabelVisitor that does nothing.
AssignBarLabel
AssignGlobalBarLabel
AssignGlobalLabel
AssignLabel
CallLabel
DemandPointerFlowGraph	A graph representation of statements flowing pointer values, but not primitive values.
DemandPointerFlowGraph.NewMultiDimInfo
DemandPointerFlowGraph.StatementVisitor	A visitor that generates graph nodes and edges for an IR.
DemandValueFlowGraph	A flow graph including both pointer and primitive values.
GetFieldBarLabel
GetFieldLabel
IFlowGraph
IFlowLabel	An edge label in a flow graph
IFlowLabel.IFlowLabelVisitor
IFlowLabelWithFilter
MatchBarLabel
MatchLabel
NewBarLabel
NewLabel
ParamBarLabel
ParamLabel
PointerKeyAndCallSite
PutFieldBarLabel
PutFieldLabel
ReturnBarLabel
ReturnLabel
SimpleDemandPointerFlowGraph	The nodes in this graph are PointerKeys corresponding to local variables and static fields, InstanceKeys, and FieldRefs (see below).