Uses of Interface
org.evosuite.symbolic.expr.fp.RealValue

Packages that use RealValue

Package	Description
org.evosuite.symbolic.expr.fp
org.evosuite.symbolic.vm

Uses of RealValue in org.evosuite.symbolic.expr.fp

Classes in org.evosuite.symbolic.expr.fp that implement RealValue

Modifier and Type	Class and Description
class	IntegerToRealCast
class	RealBinaryExpression
class	RealConstant
class	RealUnaryExpression
class	RealVariable

Uses of RealValue in org.evosuite.symbolic.vm

Methods in org.evosuite.symbolic.vm that return RealValue

Modifier and Type	Method and Description
static RealValue	ExpressionFactory.add(RealValue left, RealValue right, double con)
RealValue	SymbolicHeap.array_load(ReferenceExpression symb_array, int conc_index, double conc_value)
static RealValue	ExpressionFactory.div(RealValue left, RealValue right, double con)
RealValue	SymbolicHeap.getField(String className, String fieldName, Object conc_receiver, ReferenceExpression symb_receiver, double conc_value)
RealValue	LocalsTable.getFp32Local(int i)
RealValue	LocalsTable.getFp64Local(int i)
RealValue	RealOperand.getRealExpression()
RealValue	Fp64Operand.getRealExpression()
RealValue	Fp32Operand.getRealExpression()
RealValue	SymbolicHeap.getStaticField(String owner, String name, double conc_value)
protected RealValue	SymbolicFunction.getSymbRealArgument(int i) Returns the i-th symbolic parameter.
protected RealValue	SymbolicFunction.getSymbRealRetVal() Returns the symbolic return value.
static RealValue	ExpressionFactory.mul(RealValue left, RealValue right, double con)
RealValue	OperandStack.peekFp32()
RealValue	OperandStack.peekFp64()
RealValue	OperandStack.popFp32()
RealValue	OperandStack.popFp64()
static RealValue	ExpressionFactory.rem(RealValue left, RealValue right, double con)

Methods in org.evosuite.symbolic.vm with parameters of type RealValue

Modifier and Type	Method and Description
static RealValue	ExpressionFactory.add(RealValue left, RealValue right, double con)
static RealValue	ExpressionFactory.div(RealValue left, RealValue right, double con)
static RealValue	ExpressionFactory.mul(RealValue left, RealValue right, double con)
void	OperandStack.pushFp32(RealValue e)
void	OperandStack.pushFp64(RealValue e)
static RealValue	ExpressionFactory.rem(RealValue left, RealValue right, double con)
void	LocalsTable.setFp32Local(int i, RealValue r)
void	LocalsTable.setFp64Local(int i, RealValue r)

Constructors in org.evosuite.symbolic.vm with parameters of type RealValue

Constructor and Description
Fp32Operand(RealValue realExpr)
Fp64Operand(RealValue realExpr)