Package qilin.pta.toolkits.moon.graph

Class FieldPointsToGraph

java.lang.Object

qilin.pta.toolkits.moon.graph.FieldPointsToGraph

public class FieldPointsToGraph
extends Object

Constructor Summary

Constructors

Constructor	Description
FieldPointsToGraph(PTA pta, PtrSetCache ptrSetCache)

Method Summary

Modifier and Type	Method	Description
void	addFieldPointsToGraph(AllocNode baseObj, SparkField field, AllocNode obj)
Set<SparkField>	getAllFieldsOf(AllocNode baseObj)
Set<AllocNode>	getFieldPointsFrom(AllocNode obj)
Set<AllocNode>	getFieldPointsTo(AllocNode baseObj)
Set<AllocNode>	getFieldPointsTo(AllocNode baseObj, SparkField field)
boolean	hasFieldPointsTo(AllocNode baseObj, AllocNode obj)

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,
 PtrSetCache ptrSetCache)

Method Details

addFieldPointsToGraph

public void addFieldPointsToGraph(AllocNode baseObj,
 SparkField field,
 AllocNode obj)

hasFieldPointsTo

public boolean hasFieldPointsTo(AllocNode baseObj,
 AllocNode obj)

getFieldPointsTo

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

getAllFieldsOf

public Set<SparkField> getAllFieldsOf(AllocNode baseObj)

getFieldPointsTo

public Set<AllocNode> getFieldPointsTo(AllocNode baseObj)

getFieldPointsFrom

public Set<AllocNode> getFieldPointsFrom(AllocNode obj)