Package de.uzl.its.swat.symbolic.value.reference.lang

Class DoubleObjectValue

java.lang.Object

de.uzl.its.swat.symbolic.value.Value<T,K>

de.uzl.its.swat.symbolic.value.reference.ObjectValue<Object,Object>

de.uzl.its.swat.symbolic.value.reference.lang.DoubleObjectValue

public class DoubleObjectValue
extends ObjectValue<Object,Object>

Field Summary

Fields inherited from class de.uzl.its.swat.symbolic.value.reference.ObjectValue

address, ADDRESS_UNKNOWN, className

Fields inherited from class de.uzl.its.swat.symbolic.value.Value

concrete, context, formula, inc, name, symbol

Constructor Summary

Constructors

Constructor	Description
DoubleObjectValue(org.sosy_lab.java_smt.api.SolverContext context)
DoubleObjectValue(org.sosy_lab.java_smt.api.SolverContext context, DoubleValue floatValue, int address)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
org.sosy_lab.java_smt.api.BooleanFormula	getBounds(boolean upper)	Gets the bound of the primitive type
DoubleValue	getDoubleValue()
int	hashCode()
Value<?,?>	invokeMethod(String name, org.objectweb.asm.Type[] desc, Value<?,?>[] args)
String	toString()	Returns the string representation of the value.

Methods inherited from class de.uzl.its.swat.symbolic.value.reference.ObjectValue

asArrayValue, asFloatValue, asIntValue, asObjectArrayValue, asObjectValue, getAddress, getConcrete, getField, getFields, getnFields, IF_ACMPEQ, IF_ACMPNE, IFNONNULL, IFNULL, MAKE_SYMBOLIC, MAKE_SYMBOLIC, setAddress, setField, setFields

Methods inherited from class de.uzl.its.swat.symbolic.value.Value

asBooleanValue, asByteValue, asCharValue, asDoubleValue, asLongValue, asNumericalValue, asShortValue, asStringValue, getConcreteEncoded, getName, getType, initSymbolic, initSymbolic, MAKE_SYMBOLIC, reset

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

DoubleObjectValue

public DoubleObjectValue(org.sosy_lab.java_smt.api.SolverContext context)

DoubleObjectValue

public DoubleObjectValue(org.sosy_lab.java_smt.api.SolverContext context,
 DoubleValue floatValue,
 int address)

Method Details

getDoubleValue

public DoubleValue getDoubleValue()

getBounds

public org.sosy_lab.java_smt.api.BooleanFormula getBounds(boolean upper)

Gets the bound of the primitive type

Overrides:

getBounds in class Value<Object,Object>

Parameters:

upper - If the upper or lower bound should be created

Returns:

The BooleanFormula that represents the bounds check

invokeMethod

public Value<?,?> invokeMethod(String name,
 org.objectweb.asm.Type[] desc,
 Value<?,?>[] args)

Overrides:

invokeMethod in class ObjectValue<Object,Object>

equals

public boolean equals(Object o)

Overrides:

equals in class ObjectValue<Object,Object>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Description copied from class: Value

Returns the string representation of the value. Should be implemented by each inheriting class.

Overrides:

toString in class ObjectValue<Object,Object>

Returns:

the string representation of the value