|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.Type
soot.RefLikeType
soot.RefType
A class that models Java's reference types. RefTypes are parametrized by a class name. Two RefType are equal iff they are parametrized by the same class name as a String.
Field Summary |
Fields inherited from class soot.Type |
arrayType |
Constructor Summary | |
RefType(soot.Singletons.Global g)
|
Method Summary | |
void |
apply(Switch sw)
Method required for use of Switchable. |
int |
compareTo(Object o)
|
boolean |
equals(Object t)
2 RefTypes are considered equal if they are parametrized by the same class name String. |
AnySubType |
getAnySubType()
|
Type |
getArrayElementType()
If I have a variable x of declared type t, what is a good declared type for the expression ((Object[]) x)[i]? The getArrayElementType() method in RefLikeType was introduced even later to answer this question for all classes implementing RefLikeType. |
String |
getClassName()
|
SootClass |
getSootClass()
Get the SootClass object corresponding to this RefType. |
int |
hashCode()
|
boolean |
hasSootClass()
|
Type |
merge(Type other,
Scene cm)
Returns the least common superclass of this type and other. |
void |
setAnySubType(AnySubType anySubType)
|
void |
setSootClass(SootClass sootClass)
Set the SootClass object corresponding to this RefType. |
String |
toString()
Returns a textual representation of this type. |
static RefType |
v()
|
static RefType |
v(SootClass c)
Create a RefType for a class. |
static RefType |
v(String className)
Create a RefType for a class. |
Methods inherited from class soot.Type |
getArrayType, getNumber, makeArrayType, setArrayType, setNumber, toMachineType |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public RefType(soot.Singletons.Global g)
Method Detail |
public static RefType v()
public String getClassName()
public static RefType v(String className)
className
- The name of the class used to parametrize the created RefType.
public int compareTo(Object o) throws ClassCastException
compareTo
in interface Comparable
ClassCastException
public static RefType v(SootClass c)
c
- A SootClass for which to create a RefType.
public SootClass getSootClass()
public boolean hasSootClass()
public void setSootClass(SootClass sootClass)
sootClass
- The SootClass corresponding to this RefType.public boolean equals(Object t)
t
- an object to test for equality.public String toString()
Type
toString
in class Type
public int hashCode()
public void apply(Switch sw)
Type
apply
in interface Switchable
apply
in class Type
public Type merge(Type other, Scene cm)
merge
in class Type
public Type getArrayElementType()
RefLikeType
getArrayElementType
in class RefLikeType
public AnySubType getAnySubType()
public void setAnySubType(AnySubType anySubType)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |