soot.jimple
Class DoubleConstant

java.lang.Object
  soot.jimple.Constant
      soot.jimple.NumericConstant
          soot.jimple.RealConstant
              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.