soot.jimple.spark.internal

Class TypeManager

java.lang.Object

soot.jimple.spark.internal.TypeManager

public final class TypeManager
extends Object

A map of bit-vectors representing subtype relationships.

Author:

Ondrej Lhotak, Hamid A. Toussi (hamid2c@gmail.com): Making TypeManager faster by making type masks during a depth-first-traversal on the class hierarchy. First, type-masks of the leaves of Class Hierarchy are created and then the type mask of each type T is obtained by ORing type maks of Types sub-types and setting the bit-numbers associated with Allocation Nodes of type T. The type-mask of each interface is achieved by ORing the type-masks of its top-level concrete implementers. In fact, Reference types are visited in reversed-topological-order.

Field Summary

Fields

Modifier and Type	Field and Description
protected QueueReader<AllocNode>	allocNodeListener
protected Supplier<FastHierarchy>	fh
protected PAG	pag
protected RefType	rtCloneable
protected RefType	rtObject
protected RefType	rtSerializable

Constructor Summary

Constructors

Constructor and Description
TypeManager(PAG pag)

Method Summary

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(Supplier<FastHierarchy> fh)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

rtObject

protected final RefType rtObject

rtSerializable

protected final RefType rtSerializable

rtCloneable

protected final RefType rtCloneable

fh

protected Supplier<FastHierarchy> fh

pag

protected PAG pag

allocNodeListener

protected QueueReader<AllocNode> allocNodeListener

Constructor Detail

TypeManager

public TypeManager(PAG pag)

Method Detail

isUnresolved

public static boolean isUnresolved(Type type)

get

public final BitVector get(Type type)

clearTypeMask

public final void clearTypeMask()

makeTypeMask

public final void makeTypeMask()

castNeverFails

public final boolean castNeverFails(Type src,
                                    Type dst)

setFastHierarchy

public void setFastHierarchy(Supplier<FastHierarchy> fh)

getFastHierarchy

public FastHierarchy getFastHierarchy()