soot.jimple.spark.internal
Class AbstractTypeManager

java.lang.Object
  extended bysoot.jimple.spark.internal.AbstractTypeManager
Direct Known Subclasses:
BDDTypeManager, TypeManager

public abstract class AbstractTypeManager
extends java.lang.Object

A map of bit-vectors representing subtype relationships.

Author:
Ondrej Lhotak

Field Summary
protected  QueueReader allocNodeListener
           
protected  FastHierarchy fh
           
protected  AbstractPAG pag
           
 
Constructor Summary
AbstractTypeManager(AbstractPAG pag)
           
 
Method Summary
 boolean castNeverFails(Type src, Type dst)
           
abstract  void clearTypeMask()
           
 FastHierarchy getFastHierarchy()
           
abstract  void makeTypeMask()
           
 void setFastHierarchy(FastHierarchy fh)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

fh

protected FastHierarchy fh

pag

protected AbstractPAG pag

allocNodeListener

protected QueueReader allocNodeListener
Constructor Detail

AbstractTypeManager

public AbstractTypeManager(AbstractPAG pag)
Method Detail

clearTypeMask

public abstract void clearTypeMask()

castNeverFails

public final boolean castNeverFails(Type src,
                                    Type dst)

makeTypeMask

public abstract void makeTypeMask()

setFastHierarchy

public void setFastHierarchy(FastHierarchy fh)

getFastHierarchy

public FastHierarchy getFastHierarchy()