soot
Class DoubleType

java.lang.Object
  |
  +--soot.Type
        |
        +--soot.PrimType
              |
              +--soot.DoubleType

public class DoubleType
extends PrimType

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

See Also:
Serialized Form

Fields inherited from class soot.Type
arrayType
 
Constructor Summary
DoubleType(Singletons.Global g)
           
 
Method Summary
 void apply(Switch sw)
          Method required for use of Switchable.
 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.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.
Overrides:
toString in class Type

apply

public void apply(Switch sw)
Description copied from class: Type
Method required for use of Switchable.
Overrides:
apply in class Type