Package soot
Class RefLikeType
- java.lang.Object
-
- soot.Type
-
- soot.RefLikeType
-
- All Implemented Interfaces:
Serializable,Numberable,Switchable
- Direct Known Subclasses:
AnySubType,ArrayType,NullType,RefType
public abstract class RefLikeType extends Type
Abstract class for Soot classes that model subtypes of java.lang.Object (ie. object references and arrays)- Author:
- Ondrej Lhotak
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description RefLikeType()
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract TypegetArrayElementType()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.-
Methods inherited from class soot.Type
apply, getArrayType, getDefaultFinalType, getEscapedName, getNumber, isAllowedInFinalCode, makeArrayType, merge, setArrayType, setNumber, toMachineType, toQuotedString, toString
-
-
-
-
Method Detail
-
getArrayElementType
public abstract 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. If t is an array, then the answer is the same as getElementType(). But t could also be Object, Serializable, or Cloneable, which can all hold any array, so then the answer is Object.
-
-