Package qilin.pta.toolkits.common

Class DebloatedOAG

java.lang.Object

qilin.pta.toolkits.common.OAG

qilin.pta.toolkits.common.DebloatedOAG

All Implemented Interfaces:

DirectedGraph<AllocNode>

public class DebloatedOAG
extends OAG

Field Summary

Fields inherited from class qilin.pta.toolkits.common.OAG

nodes, predecessors, pta, rootNodes, successors, tailNodes

Constructor Summary

Constructors

Constructor	Description
DebloatedOAG(PTA prePta, Set<AllocNode> ctxDepHeaps)

Method Summary

Modifier and Type	Method	Description
protected void	addEdge(AllocNode src, AllocNode tgt)	Add a directed object allocation edge to the OAG.

Methods inherited from class qilin.pta.toolkits.common.OAG

allNodes, build, buildOAG, edgeSize, getInDegreeOf, getPredsOf, getSuccsOf, nodeSize, predsOf, reaches, rootNodes, succsOf, 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

Constructor Details

DebloatedOAG

public DebloatedOAG(PTA prePta,
 Set<AllocNode> ctxDepHeaps)

Method Details

addEdge

protected void addEdge(AllocNode src,
 AllocNode tgt)

Description copied from class: OAG

Add a directed object allocation edge to the OAG.

Overrides:

addEdge in class OAG