Package soot

Class Type

java.lang.Object

soot.Type

All Implemented Interfaces:

Serializable, Numberable, Switchable

Direct Known Subclasses:

BottomType, DoubleWordType, ErroneousType, PrimType, RefLikeType, StmtAddressType, UnknownType, VoidType, WordType

public abstract class Type
extends Object
implements Switchable, Serializable, Numberable

Represents types within Soot, eg int, java.lang.String.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected ArrayType	arrayType

Constructor Summary

Constructors

Constructor	Description
Type()

Method Summary

Modifier and Type	Method	Description
void	apply(Switch sw)	Method required for use of Switchable.
ArrayType	getArrayType()
Type	getDefaultFinalType()	If this type is not allowed in final code, this method provides a replacement type that is allowed in final code
String	getEscapedName()	Deprecated.
int	getNumber()
boolean	isAllowedInFinalCode()	Returns true if this type is allowed to appear in final (clean) Jimple code.
ArrayType	makeArrayType()
Type	merge(Type other, Scene cm)	Returns the least common superclass of this type and other.
void	setArrayType(ArrayType at)
void	setNumber(int number)
static Type	toMachineType(Type t)	Converts the int-like types (short, byte, boolean and char) to IntType.
String	toQuotedString()	Returns a textual (and quoted as needed) representation of this type for serialization, e.g.
abstract String	toString()	Returns a textual representation of this type.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

arrayType

protected ArrayType arrayType

Constructor Detail

Type

public Type()

Method Detail

toString

public abstract String toString()

Returns a textual representation of this type.

Overrides:

toString in class Object

toQuotedString

public String toQuotedString()

Returns a textual (and quoted as needed) representation of this type for serialization, e.g. to .jimple format

getEscapedName

@Deprecated
public String getEscapedName()

Deprecated.

Returns a textual (and quoted as needed) representation of this type for serialization, e.g. to .jimple format Replaced by toQuotedString; only here for backwards compatibility.

toMachineType

public static Type toMachineType(Type t)

Converts the int-like types (short, byte, boolean and char) to IntType.

merge

public Type merge(Type other,
                  Scene cm)

Returns the least common superclass of this type and other.

apply

public void apply(Switch sw)

Method required for use of Switchable.

Specified by:

apply in interface Switchable

setArrayType

public void setArrayType(ArrayType at)

getArrayType

public ArrayType getArrayType()

makeArrayType

public ArrayType makeArrayType()

isAllowedInFinalCode

public boolean isAllowedInFinalCode()

Returns true if this type is allowed to appear in final (clean) Jimple code.

Returns:

getNumber

public final int getNumber()

Specified by:

getNumber in interface Numberable

setNumber

public final void setNumber(int number)

Specified by:

setNumber in interface Numberable

getDefaultFinalType

public Type getDefaultFinalType()

If this type is not allowed in final code, this method provides a replacement type that is allowed in final code

Returns:

The replacement type