soot.jimple.spark.internal
Class TypeManager
java.lang.Object
|
+--soot.jimple.spark.internal.TypeManager
- public final class TypeManager
- extends java.lang.Object
A map of bit-vectors representing subtype relationships.
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
TypeManager
public TypeManager()
get
public final BitVector get(Type type)
clearTypeMask
public final void clearTypeMask()
castNeverFails
public final boolean castNeverFails(Type src,
Type dst)
makeTypeMask
public final void makeTypeMask(PAG pag)
setFastHierarchy
public void setFastHierarchy(FastHierarchy fh)
getFastHierarchy
public FastHierarchy getFastHierarchy()