Package qilin.pta.toolkits.common

Class FieldPointstoGraph

java.lang.Object

qilin.pta.toolkits.common.FieldPointstoGraph

public class FieldPointstoGraph
extends Object

Constructor Summary

Constructors

Constructor	Description
FieldPointstoGraph(PTA pta)

Method Summary

Modifier and Type	Method	Description
Set<AllocNode>	getAllObjs()
boolean	hasFieldPointer(AllocNode obj, SparkField field)
Set<SparkField>	inFieldsOf(AllocNode obj)
Set<SparkField>	outFieldsOf(AllocNode baseObj)
Set<AllocNode>	pointedBy(AllocNode obj, SparkField field)
Set<AllocNode>	pointsTo(AllocNode baseObj, SparkField field)

Methods inherited from class java.lang.Object

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

Constructor Details

FieldPointstoGraph

public FieldPointstoGraph(PTA pta)

Method Details

getAllObjs

public Set<AllocNode> getAllObjs()

outFieldsOf

public Set<SparkField> outFieldsOf(AllocNode baseObj)

inFieldsOf

public Set<SparkField> inFieldsOf(AllocNode obj)

pointsTo

public Set<AllocNode> pointsTo(AllocNode baseObj,
 SparkField field)

pointedBy

public Set<AllocNode> pointedBy(AllocNode obj,
 SparkField field)

hasFieldPointer

public boolean hasFieldPointer(AllocNode obj,
 SparkField field)