soot

Class IntType

java.lang.Object

soot.Type

soot.PrimType

soot.IntType

All Implemented Interfaces:

java.io.Serializable, IntegerType, Numberable, Switchable

public class IntType
extends PrimType
implements IntegerType

Soot representation of the Java built-in type 'int'. Implemented as a singleton.

See Also:

Serialized Form

Field Summary

Fields inherited from class soot.Type

arrayType

Constructor Summary

Constructors

Constructor and Description
IntType(Singletons.Global g)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Switch sw) Method required for use of Switchable.
RefType	boxedType()
boolean	equals(java.lang.Object t) Returns true if the given object is equal to this one.
int	hashCode()
java.lang.String	toString() Returns a textual representation of this type.
static IntType	v()

Methods inherited from class soot.PrimType

isAllowedInFinalCode

Methods inherited from class soot.Type

getArrayType, getNumber, makeArrayType, merge, setArrayType, setNumber, toMachineType

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

IntType

public IntType(Singletons.Global g)

Method Detail

v

public static IntType v()

equals

public boolean equals(java.lang.Object t)

Returns true if the given object is equal to this one. Since IntType is a singleton, object equality is fine.

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Description copied from class: Type

Returns a textual representation of this type.

Specified by:

toString in class Type

apply

public void apply(Switch sw)

Description copied from class: Type

Method required for use of Switchable.

Specified by:

apply in interface Switchable

Overrides:

apply in class Type

boxedType

public RefType boxedType()

Specified by:

boxedType in class PrimType