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 |
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
|
Method Summary |
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 |
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
ClassHierarchy
public ClassHierarchy(Singletons.Global g)
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)