Package soot.jimple.toolkits.infoflow
Class CallLocalityContext
- java.lang.Object
-
- soot.jimple.toolkits.infoflow.CallLocalityContext
-
public class CallLocalityContext extends Object
CallLocalityContext written by Richard L. Halpert 2007-03-05 Acts as a container for the locality information collected about a call site by one of the Local Objects Analyses.
-
-
Constructor Summary
Constructors Constructor Description CallLocalityContext(List<EquivalentValue> nodes)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleancontainsField(EquivalentValue fieldRef)booleanequals(Object o)List<Object>getLocalRefs()List<Object>getSharedRefs()inthashCode()booleanisAllShared(boolean refsOnly)booleanisFieldLocal(EquivalentValue fieldRef)booleanmerge(CallLocalityContext other)voidsetAllFieldsLocal()voidsetAllFieldsShared()voidsetAllParamsLocal()voidsetAllParamsShared()voidsetFieldLocal(EquivalentValue fieldRef)voidsetFieldShared(EquivalentValue fieldRef)voidsetParamLocal(int index)voidsetParamShared(int index)voidsetReturnLocal()voidsetReturnShared()voidsetThisLocal()voidsetThisShared()StringtoShortString()StringtoString()
-
-
-
Constructor Detail
-
CallLocalityContext
public CallLocalityContext(List<EquivalentValue> nodes)
-
-
Method Detail
-
setFieldLocal
public void setFieldLocal(EquivalentValue fieldRef)
-
setFieldShared
public void setFieldShared(EquivalentValue fieldRef)
-
setAllFieldsLocal
public void setAllFieldsLocal()
-
setAllFieldsShared
public void setAllFieldsShared()
-
setParamLocal
public void setParamLocal(int index)
-
setParamShared
public void setParamShared(int index)
-
setAllParamsLocal
public void setAllParamsLocal()
-
setAllParamsShared
public void setAllParamsShared()
-
setThisLocal
public void setThisLocal()
-
setThisShared
public void setThisShared()
-
setReturnLocal
public void setReturnLocal()
-
setReturnShared
public void setReturnShared()
-
isFieldLocal
public boolean isFieldLocal(EquivalentValue fieldRef)
-
containsField
public boolean containsField(EquivalentValue fieldRef)
-
merge
public boolean merge(CallLocalityContext other)
-
isAllShared
public boolean isAllShared(boolean refsOnly)
-
toShortString
public String toShortString()
-
-