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 and Description
protected Set<AllocNode>	nodes
protected Map<AllocNode,Set<AllocNode>>	predecessors
protected PTA	pta
protected Collection<AllocNode>	rootNodes
protected Map<AllocNode,Set<AllocNode>>	successors
protected Collection<AllocNode>	tailNodes

Constructor Summary

Constructors

Constructor and Description
OAG(PTA prePta)

Method Summary

Modifier and Type	Method and 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 Detail

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 Detail

OAG

public OAG(PTA prePta)

Method Detail

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()