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

Field Summary

protected QueueReader	allocNodeListener
protected FastHierarchy	fh
protected PAG	pag

Constructor Summary

TypeManager(PAG pag)

Method Summary

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