| |
|
| java.lang.Object soot.Type soot.RefLikeType soot.RefType
RefType | public class RefType extends RefLikeType implements Comparable(Code) | | 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.
|
Constructor Summary | |
public | RefType(Singletons.Global g) |
RefType | public RefType(Singletons.Global g)(Code) | | |
equals | public boolean equals(Object t)(Code) | | 2 RefTypes are considered equal if they are parametrized by the same class name String.
Parameters: t - an object to test for equality. |
getArrayElementType | public Type getArrayElementType()(Code) | | |
getSootClass | public SootClass getSootClass()(Code) | | Get the SootClass object corresponding to this RefType.
the corresponding SootClass |
hasSootClass | public boolean hasSootClass()(Code) | | |
hashCode | public int hashCode()(Code) | | |
merge | public Type merge(Type other, Scene cm)(Code) | | Returns the least common superclass of this type and other.
|
setClassName | public void setClassName(String className)(Code) | | |
setSootClass | public void setSootClass(SootClass sootClass)(Code) | | Set the SootClass object corresponding to this RefType.
Parameters: sootClass - The SootClass corresponding to this RefType. |
v | public static RefType v(String className)(Code) | | Create a RefType for a class.
Parameters: className - The name of the class used to parametrize the created RefType. a RefType for the given class name. |
v | public static RefType v(SootClass c)(Code) | | Create a RefType for a class.
Parameters: c - A SootClass for which to create a RefType. a RefType for the given SootClass.. |
|
|
|