soot.jimple.toolkits.infoflow

Class CallLocalityContext

java.lang.Object

soot.jimple.toolkits.infoflow.CallLocalityContext

public class CallLocalityContext
extends java.lang.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 and Description
CallLocalityContext(java.util.List<EquivalentValue> nodes)

Method Summary

Modifier and Type	Method and Description
boolean	containsField(EquivalentValue fieldRef)
boolean	equals(java.lang.Object o)
java.util.List<java.lang.Object>	getLocalRefs()
java.util.List<java.lang.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()
java.lang.String	toShortString()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

CallLocalityContext

public CallLocalityContext(java.util.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()

getLocalRefs

public java.util.List<java.lang.Object> getLocalRefs()

getSharedRefs

public java.util.List<java.lang.Object> getSharedRefs()

isFieldLocal

public boolean isFieldLocal(EquivalentValue fieldRef)

containsField

public boolean containsField(EquivalentValue fieldRef)

merge

public boolean merge(CallLocalityContext other)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

isAllShared

public boolean isAllShared(boolean refsOnly)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toShortString

public java.lang.String toShortString()