|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.jimple.spark.internal.AbstractTypeManager
soot.jimple.spark.internal.TypeManager
A map of bit-vectors representing subtype relationships.
Field Summary |
Fields inherited from class soot.jimple.spark.internal.AbstractTypeManager |
allocNodeListener, fh, pag |
Constructor Summary | |
TypeManager(AbstractPAG pag)
|
Method Summary | |
void |
clearTypeMask()
|
BitVector |
get(Type type)
|
void |
makeTypeMask()
|
Methods inherited from class soot.jimple.spark.internal.AbstractTypeManager |
castNeverFails, getFastHierarchy, setFastHierarchy |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public TypeManager(AbstractPAG pag)
Method Detail |
public final BitVector get(Type type)
public final void clearTypeMask()
clearTypeMask
in class AbstractTypeManager
public final void makeTypeMask()
makeTypeMask
in class AbstractTypeManager
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |