soot.jimple.spark.internal

Class TypeManager

java.lang.Object

soot.jimple.spark.internal.TypeManager

public final class TypeManager
extends java.lang.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 FastHierarchy	fh
protected PAG	pag

Constructor Summary

Constructors

Constructor and Description
TypeManager(PAG pag)

Method Summary

Methods

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)

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

getFastHierarchy

public FastHierarchy getFastHierarchy()