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 long[] 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()