Package qilin.pta.toolkits.common

Class OAG

java.lang.Object

qilin.pta.toolkits.common.OAG

All Implemented Interfaces:

DirectedGraph<AllocNode>

Direct Known Subclasses:

DebloatedOAG

public class OAG
extends Object
implements DirectedGraph<AllocNode>

Implementation of Object Allocation Graph (OAG).

Field Summary

Fields

Modifier and Type	Field	Description
protected final Set<AllocNode>	nodes
protected final Map<AllocNode,Set<AllocNode>>	predecessors
protected final PTA	pta
protected Collection<AllocNode>	rootNodes
protected final Map<AllocNode,Set<AllocNode>>	successors
protected Collection<AllocNode>	tailNodes

Constructor Summary

Constructors

Constructor	Description
OAG(PTA prePta)

Method Summary

Modifier and Type	Method	Description
protected void	addEdge(AllocNode src, AllocNode tgt)	Add a directed object allocation edge to the OAG.
Collection<AllocNode>	allNodes()
void	build()
protected void	buildOAG()
int	edgeSize()
int	getInDegreeOf(AllocNode n)
Set<AllocNode>	getPredsOf(AllocNode n)
Set<AllocNode>	getSuccsOf(AllocNode n)
int	nodeSize()
Collection<AllocNode>	predsOf(AllocNode p)
boolean	reaches(AllocNode source, AllocNode dest)
Collection<AllocNode>	rootNodes()
Collection<AllocNode>	succsOf(AllocNode p)
Collection<AllocNode>	tailNodes()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface qilin.util.graph.DirectedGraph

computeReachableNodes, computeRootNodes, computeTailNodes

Field Details

pta

protected final PTA pta

successors

protected final Map<AllocNode,Set<AllocNode>> successors

predecessors

protected final Map<AllocNode,Set<AllocNode>> predecessors

nodes

protected final Set<AllocNode> nodes

rootNodes

protected Collection<AllocNode> rootNodes

tailNodes

protected Collection<AllocNode> tailNodes

Constructor Details

OAG

public OAG(PTA prePta)

Method Details

build

public void build()

allNodes

public Collection<AllocNode> allNodes()

Specified by:

allNodes in interface DirectedGraph<AllocNode>

predsOf

public Collection<AllocNode> predsOf(AllocNode p)

Specified by:

predsOf in interface DirectedGraph<AllocNode>

succsOf

public Collection<AllocNode> succsOf(AllocNode p)

Specified by:

succsOf in interface DirectedGraph<AllocNode>

rootNodes

public Collection<AllocNode> rootNodes()

tailNodes

public Collection<AllocNode> tailNodes()

getPredsOf

public Set<AllocNode> getPredsOf(AllocNode n)

getSuccsOf

public Set<AllocNode> getSuccsOf(AllocNode n)

getInDegreeOf

public int getInDegreeOf(AllocNode n)

reaches

public boolean reaches(AllocNode source,
 AllocNode dest)

buildOAG

protected void buildOAG()

addEdge

protected void addEdge(AllocNode src,
 AllocNode tgt)

Add a directed object allocation edge to the OAG.

nodeSize

public int nodeSize()

edgeSize

public int edgeSize()