soot

Class DoubleType

java.lang.Object

soot.Type

soot.PrimType

soot.DoubleType

All Implemented Interfaces:

java.io.Serializable, Numberable, Switchable

public class DoubleType
extends PrimType

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

See Also:

Serialized Form

Field Summary

Fields inherited from class soot.Type

arrayType

Constructor Summary

Constructors

Constructor and Description
DoubleType(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)
int	hashCode()
java.lang.String	toString() Returns a textual representation of this type.
static DoubleType	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

DoubleType

public DoubleType(Singletons.Global g)

Method Detail

v

public static DoubleType v()

equals

public boolean equals(java.lang.Object t)

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