public final class TypeManager extends Object
Modifier and Type | Field and Description |
---|---|
protected QueueReader<AllocNode> |
allocNodeListener |
protected FastHierarchy |
fh |
protected PAG |
pag |
Constructor and Description |
---|
TypeManager(PAG pag) |
Modifier and Type | Method and Description |
---|---|
boolean |
castNeverFails(Type src,
Type dst) |
void |
clearTypeMask() |
BitVector |
get(Type type) |
FastHierarchy |
getFastHierarchy() |
static boolean |
isUnresolved(Type type) |
void |
makeTypeMask() |
void |
setFastHierarchy(FastHierarchy fh) |
protected FastHierarchy fh
protected PAG pag
protected QueueReader<AllocNode> allocNodeListener
public TypeManager(PAG pag)
public static boolean isUnresolved(Type type)
public final void clearTypeMask()
public final void makeTypeMask()
public void setFastHierarchy(FastHierarchy fh)
public FastHierarchy getFastHierarchy()