Package qilin.pta.toolkits.zipper.flowgraph

Class ZOAG

java.lang.Object

qilin.pta.toolkits.common.OAG

qilin.pta.toolkits.zipper.flowgraph.ZOAG

All Implemented Interfaces:

DirectedGraph<AllocNode>

public class ZOAG
extends OAG

A tailored Object Allocation Graph (OAG) for Zipper PTA.

Field Summary

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

nodes, predecessors, pta, rootNodes, successors, tailNodes

Constructor Summary

Constructors

Constructor	Description
ZOAG(PTA prepta)

Method Summary

Modifier and Type	Method	Description
protected void	buildOAG()
Set<AllocNode>	getAllocateesOf(Type type)
com.google.common.collect.SetMultimap<Type,AllocNode>	getType2Objs()

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

addEdge, allNodes, build, 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

ZOAG

public ZOAG(PTA prepta)

Method Details

getType2Objs

public com.google.common.collect.SetMultimap<Type,AllocNode> getType2Objs()

getAllocateesOf

public Set<AllocNode> getAllocateesOf(Type type)

buildOAG

protected void buildOAG()

Overrides:

buildOAG in class OAG