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.


Constructor Summary
TypeManager()
           
 
Method Summary
 boolean castNeverFails(Type src, Type dst)
           
 void clearTypeMask()
           
 BitVector get(Type type)
           
 FastHierarchy getFastHierarchy()
           
 void makeTypeMask(PAG pag)
           
 void setFastHierarchy(FastHierarchy fh)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TypeManager

public TypeManager()
Method Detail

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()