|
||||||||||
| 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 AbstractTypeManagerpublic final void makeTypeMask()
makeTypeMask in class AbstractTypeManager
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||