Package qilin.pta.toolkits.moon.support

Class FieldRecorder

java.lang.Object

qilin.pta.toolkits.moon.support.FieldRecorder

public class FieldRecorder
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected final com.google.common.collect.SetMultimap<SparkField,AllocNode>	fieldToBaseObjs
protected final com.google.common.collect.SetMultimap<AllocNode,SparkField>	objToFields
protected final com.google.common.collect.SetMultimap<Type,SparkField>	typeToFields

Constructor Summary

Constructors

Constructor	Description
FieldRecorder(PTA pta)

Method Summary

Modifier and Type	Method	Description
Set<SparkField>	allFields(KeyTypeCollector keyTypeCollector)
Set<LocalVarNode>	arrGetStoredFromVars(LocalVarNode var)
com.google.common.collect.SetMultimap<SparkField,LocalVarNode>	getFieldAndStoredFromVars(LocalVarNode var)
Set<SparkField>	getLoadedFields(LocalVarNode var)
Set<LocalVarNode>	getLoadedToVars(LocalVarNode var, SparkField field)
Set<SparkField>	getStoredFields(LocalVarNode var)
Set<LocalVarNode>	getStoredFromVars(LocalVarNode var, SparkField field)
boolean	hasLoad(LocalVarNode var, AllocNode obj)
boolean	hasStore(LocalVarNode var, AllocNode obj)
void	putLoad(LocalVarNode var, SparkField field, LocalVarNode loadedToVar)
void	putStore(LocalVarNode var, SparkField field, LocalVarNode storeFromVar)
void	recordObjToField(AllocNode obj, SparkField field)

Methods inherited from class java.lang.Object

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

Field Details

objToFields

protected final com.google.common.collect.SetMultimap<AllocNode,SparkField> objToFields

typeToFields

protected final com.google.common.collect.SetMultimap<Type,SparkField> typeToFields

fieldToBaseObjs

protected final com.google.common.collect.SetMultimap<SparkField,AllocNode> fieldToBaseObjs

Constructor Details

FieldRecorder

public FieldRecorder(PTA pta)

Method Details

putLoad

public void putLoad(LocalVarNode var,
 SparkField field,
 LocalVarNode loadedToVar)

putStore

public void putStore(LocalVarNode var,
 SparkField field,
 LocalVarNode storeFromVar)

hasStore

public boolean hasStore(LocalVarNode var,
 AllocNode obj)

hasLoad

public boolean hasLoad(LocalVarNode var,
 AllocNode obj)

getStoredFromVars

public Set<LocalVarNode> getStoredFromVars(LocalVarNode var,
 SparkField field)

arrGetStoredFromVars

public Set<LocalVarNode> arrGetStoredFromVars(LocalVarNode var)

getLoadedToVars

public Set<LocalVarNode> getLoadedToVars(LocalVarNode var,
 SparkField field)

getLoadedFields

public Set<SparkField> getLoadedFields(LocalVarNode var)

getStoredFields

public Set<SparkField> getStoredFields(LocalVarNode var)

getFieldAndStoredFromVars

public com.google.common.collect.SetMultimap<SparkField,LocalVarNode> getFieldAndStoredFromVars(LocalVarNode var)

allFields

public Set<SparkField> allFields(KeyTypeCollector keyTypeCollector)

recordObjToField

public void recordObjToField(AllocNode obj,
 SparkField field)