com.ibm.wala.ipa.callgraph.propagation

Class FilteredPointerKey.SingleClassFilter

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.SingleClassFilter

All Implemented Interfaces:

ContextItem, FilteredPointerKey.TypeFilter

Enclosing interface:

FilteredPointerKey

public static class FilteredPointerKey.SingleClassFilter
extends Object
implements FilteredPointerKey.TypeFilter

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem

ContextItem.Value<T>

Constructor Summary

Constructors

Constructor and Description
FilteredPointerKey.SingleClassFilter(IClass concreteType)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	addFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean	addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean	equals(Object o)
IClass	getConcreteType()
int	hashCode()
boolean	isRootFilter()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

FilteredPointerKey.SingleClassFilter

public FilteredPointerKey.SingleClassFilter(IClass concreteType)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

getConcreteType

public IClass getConcreteType()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

addFiltered

public boolean addFiltered(PropagationSystem system,
                  PointsToSetVariable L,
                  PointsToSetVariable R)

Specified by:

addFiltered in interface FilteredPointerKey.TypeFilter

addInverseFiltered

public boolean addInverseFiltered(PropagationSystem system,
                         PointsToSetVariable L,
                         PointsToSetVariable R)

Specified by:

addInverseFiltered in interface FilteredPointerKey.TypeFilter

isRootFilter

public boolean isRootFilter()

Specified by:

isRootFilter in interface FilteredPointerKey.TypeFilter