public class DoubleConstant extends RealConstant
Modifier and Type | Field and Description |
---|---|
double |
value |
Modifier and Type | Method and Description |
---|---|
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) |
clone, convertToBaf, equivHashCode, equivTo, getUseBoxes, toString
public static DoubleConstant v(double value)
public int hashCode()
public NumericConstant add(NumericConstant c)
add
in class NumericConstant
public NumericConstant subtract(NumericConstant c)
subtract
in class NumericConstant
public NumericConstant multiply(NumericConstant c)
multiply
in class NumericConstant
public NumericConstant divide(NumericConstant c)
divide
in class NumericConstant
public NumericConstant remainder(NumericConstant c)
remainder
in class NumericConstant
public NumericConstant equalEqual(NumericConstant c)
equalEqual
in class NumericConstant
public NumericConstant notEqual(NumericConstant c)
notEqual
in class NumericConstant
public NumericConstant lessThan(NumericConstant c)
lessThan
in class NumericConstant
public NumericConstant lessThanOrEqual(NumericConstant c)
lessThanOrEqual
in class NumericConstant
public NumericConstant greaterThan(NumericConstant c)
greaterThan
in class NumericConstant
public NumericConstant greaterThanOrEqual(NumericConstant c)
greaterThanOrEqual
in class NumericConstant
public IntConstant cmpg(RealConstant c)
cmpg
in class RealConstant
public IntConstant cmpl(RealConstant c)
cmpl
in class RealConstant
public NumericConstant negate()
negate
in class NumericConstant
public Type getType()
Value
public void apply(Switch sw)
Switchable