soot.jimple
Class DoubleConstant

java.lang.Object
  |
  +--soot.jimple.Constant
        |
        +--soot.jimple.NumericConstant
              |
              +--soot.jimple.RealConstant
                    |
                    +--soot.jimple.DoubleConstant

public class DoubleConstant
extends RealConstant

See Also:
Serialized Form

Field Summary
 double value
           
 
Method Summary
 NumericConstant add(NumericConstant c)
           
 void apply(Switch sw)
          Called when this object is visited.
 IntConstant cmpg(RealConstant c)
           
 IntConstant cmpl(RealConstant c)
           
 NumericConstant divide(NumericConstant c)
           
 NumericConstant equalEqual(NumericConstant c)
           
 boolean equals(java.lang.Object c)
           
 Type getType()
          Returns the Soot type of this Value.
 NumericConstant greaterThan(NumericConstant c)
           
 NumericConstant greaterThanOrEqual(NumericConstant c)
           
 int hashCode()
          Returns a hash code for this DoubleConstant object.
 NumericConstant lessThan(NumericConstant c)
           
 NumericConstant lessThanOrEqual(NumericConstant c)
           
 NumericConstant multiply(NumericConstant c)
           
 NumericConstant negate()
           
 NumericConstant notEqual(NumericConstant c)
           
 NumericConstant remainder(NumericConstant c)
           
 NumericConstant subtract(NumericConstant c)
           
 java.lang.String toString()
           
static DoubleConstant v(double value)
           
 
Methods inherited from class soot.jimple.Constant
clone, convertToBaf, equivHashCode, equivTo, getUseBoxes, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

value

public final double value
Method Detail

v

public static DoubleConstant v(double value)

equals

public boolean equals(java.lang.Object c)
Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Returns a hash code for this DoubleConstant object.
Overrides:
hashCode in class java.lang.Object

add

public NumericConstant add(NumericConstant c)
Overrides:
add in class NumericConstant

subtract

public NumericConstant subtract(NumericConstant c)
Overrides:
subtract in class NumericConstant

multiply

public NumericConstant multiply(NumericConstant c)
Overrides:
multiply in class NumericConstant

divide

public NumericConstant divide(NumericConstant c)
Overrides:
divide in class NumericConstant

remainder

public NumericConstant remainder(NumericConstant c)
Overrides:
remainder in class NumericConstant

equalEqual

public NumericConstant equalEqual(NumericConstant c)
Overrides:
equalEqual in class NumericConstant

notEqual

public NumericConstant notEqual(NumericConstant c)
Overrides:
notEqual in class NumericConstant

lessThan

public NumericConstant lessThan(NumericConstant c)
Overrides:
lessThan in class NumericConstant

lessThanOrEqual

public NumericConstant lessThanOrEqual(NumericConstant c)
Overrides:
lessThanOrEqual in class NumericConstant

greaterThan

public NumericConstant greaterThan(NumericConstant c)
Overrides:
greaterThan in class NumericConstant

greaterThanOrEqual

public NumericConstant greaterThanOrEqual(NumericConstant c)
Overrides:
greaterThanOrEqual in class NumericConstant

cmpg

public IntConstant cmpg(RealConstant c)
Overrides:
cmpg in class RealConstant

cmpl

public IntConstant cmpl(RealConstant c)
Overrides:
cmpl in class RealConstant

negate

public NumericConstant negate()
Overrides:
negate in class NumericConstant

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

getType

public Type getType()
Description copied from interface: Value
Returns the Soot type of this Value.

apply

public void apply(Switch sw)
Description copied from interface: Switchable
Called when this object is visited.