Package soot.jimple.toolkits.typing.integer

Class ClassHierarchy

java.lang.Object

soot.jimple.toolkits.typing.integer.ClassHierarchy

public class ClassHierarchy
extends Object

This class encapsulates the integer type hierarchy.

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

Field Summary

Fields

Modifier and Type	Field	Description
soot.jimple.toolkits.typing.integer.TypeNode	BOOLEAN
soot.jimple.toolkits.typing.integer.TypeNode	BYTE
soot.jimple.toolkits.typing.integer.TypeNode	CHAR
soot.jimple.toolkits.typing.integer.TypeNode	INT
soot.jimple.toolkits.typing.integer.TypeNode	R0_1
soot.jimple.toolkits.typing.integer.TypeNode	R0_127
soot.jimple.toolkits.typing.integer.TypeNode	R0_32767
soot.jimple.toolkits.typing.integer.TypeNode	SHORT
soot.jimple.toolkits.typing.integer.TypeNode	TOP

Constructor Summary

Constructors

Constructor	Description
ClassHierarchy(Singletons.Global g)

Method Summary

Modifier and Type	Method	Description
soot.jimple.toolkits.typing.integer.TypeNode	gcd_1(int t1, int t2)
soot.jimple.toolkits.typing.integer.TypeNode	gcd_2(int t1, int t2)
boolean	hasAncestor_1(int t1, int t2)
boolean	hasAncestor_2(int t1, int t2)
boolean	hasDescendant_1(int t1, int t2)
boolean	hasDescendant_2(int t1, int t2)
soot.jimple.toolkits.typing.integer.TypeNode	lca_1(int t1, int t2)
soot.jimple.toolkits.typing.integer.TypeNode	lca_2(int t1, int t2)
soot.jimple.toolkits.typing.integer.TypeNode	typeNode(Type type)	Get the type node for the given type.
static ClassHierarchy	v()

Methods inherited from class java.lang.Object

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

Field Detail

BOOLEAN

public final soot.jimple.toolkits.typing.integer.TypeNode BOOLEAN

BYTE

public final soot.jimple.toolkits.typing.integer.TypeNode BYTE

SHORT

public final soot.jimple.toolkits.typing.integer.TypeNode SHORT

CHAR

public final soot.jimple.toolkits.typing.integer.TypeNode CHAR

INT

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

TOP

public final soot.jimple.toolkits.typing.integer.TypeNode TOP

R0_1

public final soot.jimple.toolkits.typing.integer.TypeNode R0_1

R0_127

public final soot.jimple.toolkits.typing.integer.TypeNode R0_127

R0_32767

public final soot.jimple.toolkits.typing.integer.TypeNode R0_32767

Constructor Detail

ClassHierarchy

public ClassHierarchy(Singletons.Global g)

Method Detail

v

public static ClassHierarchy v()

typeNode

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

Get the type node for the given type.

hasAncestor_1

public boolean hasAncestor_1(int t1,
                             int t2)

hasAncestor_2

public boolean hasAncestor_2(int t1,
                             int t2)

hasDescendant_1

public boolean hasDescendant_1(int t1,
                               int t2)

hasDescendant_2

public boolean hasDescendant_2(int t1,
                               int t2)

lca_1

public soot.jimple.toolkits.typing.integer.TypeNode lca_1(int t1,
                                                          int t2)

lca_2

public soot.jimple.toolkits.typing.integer.TypeNode lca_2(int t1,
                                                          int t2)

gcd_1

public soot.jimple.toolkits.typing.integer.TypeNode gcd_1(int t1,
                                                          int t2)

gcd_2

public soot.jimple.toolkits.typing.integer.TypeNode gcd_2(int t1,
                                                          int t2)