soot.jimple.spark.internal
Class AbstractTypeManager
java.lang.Object
soot.jimple.spark.internal.AbstractTypeManager
- Direct Known Subclasses:
- BDDTypeManager, TypeManager
- public abstract class AbstractTypeManager
- extends java.lang.Object
A map of bit-vectors representing subtype relationships.
- Author:
- Ondrej Lhotak
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
fh
protected FastHierarchy fh
pag
protected AbstractPAG pag
allocNodeListener
protected QueueReader allocNodeListener
AbstractTypeManager
public AbstractTypeManager(AbstractPAG pag)
clearTypeMask
public abstract void clearTypeMask()
castNeverFails
public final boolean castNeverFails(Type src,
Type dst)
makeTypeMask
public abstract void makeTypeMask()
setFastHierarchy
public void setFastHierarchy(FastHierarchy fh)
getFastHierarchy
public FastHierarchy getFastHierarchy()