|
||||||||||
| 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.BDDTypeManager
A map of bit-vectors representing subtype relationships.
| Field Summary |
| Fields inherited from class soot.jimple.spark.internal.AbstractTypeManager |
allocNodeListener, fh, pag |
| Constructor Summary | |
BDDTypeManager(BDDPAG bddpag)
|
|
| Method Summary | |
void |
clearTypeMask()
|
Relation |
get()
|
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 BDDTypeManager(BDDPAG bddpag)
| Method Detail |
public final void clearTypeMask()
clearTypeMask in class AbstractTypeManagerpublic final void makeTypeMask()
makeTypeMask in class AbstractTypeManagerpublic final Relation get()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||