soot.jimple.toolkits.typing

Class ClassHierarchy

java.lang.Object

soot.jimple.toolkits.typing.ClassHierarchy

public class ClassHierarchy
extends java.lang.Object

This class encapsulates the typing class hierarchy, as well as non-reference types.

This class is primarily used by the TypeResolver class, to optimize its computation.

Field Summary

Fields

Modifier and Type	Field and Description
soot.jimple.toolkits.typing.TypeNode	CLONEABLE
soot.jimple.toolkits.typing.TypeNode	INT
soot.jimple.toolkits.typing.TypeNode	NULL
soot.jimple.toolkits.typing.TypeNode	OBJECT Map: Scene -> ClassHierarchy
soot.jimple.toolkits.typing.TypeNode	SERIALIZABLE

Method Summary

Methods

Modifier and Type	Method and Description
static ClassHierarchy	classHierarchy(Scene scene) Get the class hierarchy for the given scene.
java.lang.String	toString() Returns a string representation of this object
soot.jimple.toolkits.typing.TypeNode	typeNode(Type type) Get the type node for the given type.

Methods inherited from class java.lang.Object

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

Field Detail

OBJECT

public final soot.jimple.toolkits.typing.TypeNode OBJECT

Map: Scene -> ClassHierarchy

CLONEABLE

public final soot.jimple.toolkits.typing.TypeNode CLONEABLE

SERIALIZABLE

public final soot.jimple.toolkits.typing.TypeNode SERIALIZABLE

NULL

public final soot.jimple.toolkits.typing.TypeNode NULL

INT

public final soot.jimple.toolkits.typing.TypeNode INT

Method Detail

classHierarchy

public static ClassHierarchy classHierarchy(Scene scene)

Get the class hierarchy for the given scene.

typeNode

public soot.jimple.toolkits.typing.TypeNode typeNode(Type type)

Get the type node for the given type.

toString

public java.lang.String toString()

Returns a string representation of this object

Overrides:

toString in class java.lang.Object