Package pascal.taie.analysis.pta.core.solver

Class TypeFilter

java.lang.Object

pascal.taie.analysis.pta.core.solver.TypeFilter

All Implemented Interfaces:

Transfer

public class TypeFilter
extends Object
implements Transfer

Transfer function that filters out the objects whose types are NOT subtypes of specific type.

Constructor Summary

Constructors

Constructor	Description
TypeFilter(Type type, Solver solver)

Method Summary

Modifier and Type	Method	Description
PointsToSet	apply(PointerFlowEdge edge, PointsToSet input)	Transfer function on a pointer flow edge.
boolean	equals(Object o)
int	hashCode()

Methods inherited from class java.lang.Object

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

Constructor Details

TypeFilter

public TypeFilter(Type type,
 Solver solver)

Method Details

apply

public PointsToSet apply(PointerFlowEdge edge,
 PointsToSet input)

Description copied from interface: Transfer

Transfer function on a pointer flow edge.

Specified by:

apply in interface Transfer

Parameters:

edge - the pointer flow edge being transferred.

input - set of objects pointed to by the "source" node.

Returns:

set of objects that are propagated to the "target" node.

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object