soot
Class ArrayType
java.lang.Object
|
+--soot.Type
|
+--soot.RefLikeType
|
+--soot.ArrayType
- public class ArrayType
- extends RefLikeType
A class that models Java's array types. ArrayTypes are parametrized by a Type and
and an integer representing the array's dimension count..
Two ArrayType are 'equal' if they are parametrized equally.
- See Also:
- Serialized Form
Field Summary |
Type |
baseType
baseType can be any type except for an array type, null and void |
int |
numDimensions
dimension count for the array type |
Methods inherited from class java.lang.Object |
clone,
finalize,
getClass,
notify,
notifyAll,
wait,
wait,
wait |
baseType
public final Type baseType
- baseType can be any type except for an array type, null and void
numDimensions
public final int numDimensions
- dimension count for the array type
v
public static ArrayType v(Type baseType,
int numDimensions)
- Creates an ArrayType parametrized by a given Type and dimension count.
- Parameters:
baseType
- a Type to parametrize the ArrayTypenumDimensions
- the dimension count to parametrize the ArrayType.- Returns:
- an ArrayType parametrized accrodingly.
equals
public boolean equals(java.lang.Object t)
- Two ArrayType are 'equal' if they are parametrized identically.
(ie have same Type and dimension count.
- Overrides:
- equals in class java.lang.Object
- Parameters:
t
- object to test for equality- Returns:
- true if t is an ArrayType and is parametrized identically to this.
toString
public void toString(UnitPrinter up)
toString
public java.lang.String toString()
- Description copied from class: Type
- Returns a textual representation of this type.
- Overrides:
- toString in class Type
hashCode
public int hashCode()
- Overrides:
- hashCode in class java.lang.Object
apply
public void apply(Switch sw)
- Description copied from class: Type
- Method required for use of Switchable.
- Overrides:
- apply in class Type
getArrayElementType
public Type getArrayElementType()
- Overrides:
- getArrayElementType in class RefLikeType
getElementType
public Type getElementType()
makeArrayType
public ArrayType makeArrayType()
- Overrides:
- makeArrayType in class Type