Package qilin.pta.toolkits.turner

Class OCG

java.lang.Object

qilin.pta.toolkits.turner.OCG

public class OCG
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	OCG.OCGNode

Field Summary

Fields

Modifier and Type	Field	Description
Map<AllocNode,OCG.OCGNode>	nodes
final PTA	pta
protected final Map<LocalVarNode,Set<AllocNode>>	pts

Constructor Summary

Constructors

Constructor	Description
OCG(PTA pta)

Method Summary

Modifier and Type	Method	Description
protected void	addEdge(OCG.OCGNode pre, OCG.OCGNode succ)
Collection<OCG.OCGNode>	allNodes()
protected void	buildGraph()
int	getTotalEdgeCount()
int	getTotalNodeCount()
boolean	isBottom(AllocNode heap)
boolean	isCSLikely(AllocNode allocNode)
boolean	isTop(AllocNode heap)
void	run()
void	stat()	(1) case1: objects on OCG have successors but does not have predecessors.

Methods inherited from class java.lang.Object

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

Field Details

pta

public final PTA pta

pts

protected final Map<LocalVarNode,Set<AllocNode>> pts

nodes

public Map<AllocNode,OCG.OCGNode> nodes

Constructor Details

OCG

public OCG(PTA pta)

Method Details

buildGraph

protected void buildGraph()

allNodes

public Collection<OCG.OCGNode> allNodes()

getTotalNodeCount

public int getTotalNodeCount()

getTotalEdgeCount

public int getTotalEdgeCount()

stat

public void stat()

(1) case1: objects on OCG have successors but does not have predecessors. (1-1) factorys (1-2) normal uses. (2) case2: objects on OCG does not have successors. (2-1) no predecessors. (2-2) have predecessors. (3) othercase: objects on OCG have successors and predecessors.

isTop

public boolean isTop(AllocNode heap)

isBottom

public boolean isBottom(AllocNode heap)

isCSLikely

public boolean isCSLikely(AllocNode allocNode)

run

public void run()

addEdge

protected void addEdge(OCG.OCGNode pre,
 OCG.OCGNode succ)