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

CallLocalityContext(List<Object> nodes)

Method Summary

boolean	containsField(EquivalentValue fieldRef)
boolean	equals(Object o)
List<Object>	getLocalRefs()
List<Object>	getSharedRefs()
int	hashCode()
boolean	isAllShared(boolean refsOnly)
boolean	isFieldLocal(EquivalentValue fieldRef)
boolean	merge(CallLocalityContext other)
void	setAllFieldsLocal()
void	setAllFieldsShared()
void	setAllParamsLocal()
void	setAllParamsShared()
void	setFieldLocal(EquivalentValue fieldRef)
void	setFieldShared(EquivalentValue fieldRef)
void	setParamLocal(int index)
void	setParamShared(int index)
void	setReturnLocal()
void	setReturnShared()
void	setThisLocal()
void	setThisShared()
String	toShortString()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CallLocalityContext

public CallLocalityContext(List<Object> 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()

getLocalRefs

public List<Object> getLocalRefs()

getSharedRefs

public List<Object> getSharedRefs()

isFieldLocal

public boolean isFieldLocal(EquivalentValue fieldRef)

containsField

public boolean containsField(EquivalentValue fieldRef)

merge

public boolean merge(CallLocalityContext other)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isAllShared

public boolean isAllShared(boolean refsOnly)

toString

public String toString()

Overrides:

toString in class Object

toShortString

public String toShortString()