Class FilteredPointerKey.MultipleClassesFilter
- java.lang.Object
-
- com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.MultipleClassesFilter
-
- All Implemented Interfaces:
ContextItem
,FilteredPointerKey.TypeFilter
- Enclosing interface:
- FilteredPointerKey
public static class FilteredPointerKey.MultipleClassesFilter 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 Description MultipleClassesFilter(IClass[] concreteType)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
addFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean
addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean
equals(Object o)
IClass[]
getConcreteTypes()
int
hashCode()
boolean
isRootFilter()
String
toString()
-
-
-
Constructor Detail
-
MultipleClassesFilter
public MultipleClassesFilter(IClass[] concreteType)
-
-
Method Detail
-
getConcreteTypes
public IClass[] getConcreteTypes()
-
addFiltered
public boolean addFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
- Specified by:
addFiltered
in interfaceFilteredPointerKey.TypeFilter
-
addInverseFiltered
public boolean addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
- Specified by:
addInverseFiltered
in interfaceFilteredPointerKey.TypeFilter
-
isRootFilter
public boolean isRootFilter()
- Specified by:
isRootFilter
in interfaceFilteredPointerKey.TypeFilter
-
-