soot.jimple
Class DoubleConstant

java.lang.Object
  extended by soot.jimple.Constant
      extended by soot.jimple.NumericConstant
          extended by soot.jimple.RealConstant
              extended by soot.jimple.DoubleConstant
All Implemented Interfaces:
Serializable, EquivTo, Immediate, ConvertToBaf, Switchable, Value

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(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)
           
 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(Object c)
Overrides:
equals in class Object

hashCode

public int hashCode()
Returns a hash code for this DoubleConstant object.

Overrides:
hashCode in class Object

add

public NumericConstant add(NumericConstant c)
Specified by:
add in class NumericConstant

subtract

public NumericConstant subtract(NumericConstant c)
Specified by:
subtract in class NumericConstant

multiply

public NumericConstant multiply(NumericConstant c)
Specified by:
multiply in class NumericConstant

divide

public NumericConstant divide(NumericConstant c)
Specified by:
divide in class NumericConstant

remainder

public NumericConstant remainder(NumericConstant c)
Specified by:
remainder in class NumericConstant

equalEqual

public NumericConstant equalEqual(NumericConstant c)
Specified by:
equalEqual in class NumericConstant

notEqual

public NumericConstant notEqual(NumericConstant c)
Specified by:
notEqual in class NumericConstant

lessThan

public NumericConstant lessThan(NumericConstant c)
Specified by:
lessThan in class NumericConstant

lessThanOrEqual

public NumericConstant lessThanOrEqual(NumericConstant c)
Specified by:
lessThanOrEqual in class NumericConstant

greaterThan

public NumericConstant greaterThan(NumericConstant c)
Specified by:
greaterThan in class NumericConstant

greaterThanOrEqual

public NumericConstant greaterThanOrEqual(NumericConstant c)
Specified by:
greaterThanOrEqual in class NumericConstant

cmpg

public IntConstant cmpg(RealConstant c)
Specified by:
cmpg in class RealConstant

cmpl

public IntConstant cmpl(RealConstant c)
Specified by:
cmpl in class RealConstant

negate

public NumericConstant negate()
Specified by:
negate in class NumericConstant

toString

public String toString()
Overrides:
toString in class 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.