Uses of Interface
org.evosuite.symbolic.expr.bv.IntegerValue

Packages that use IntegerValue

Package	Description
org.evosuite.symbolic.expr.bv
org.evosuite.symbolic.expr.fp
org.evosuite.symbolic.expr.reader
org.evosuite.symbolic.expr.token
org.evosuite.symbolic.vm

Uses of IntegerValue in org.evosuite.symbolic.expr.bv

Subinterfaces of IntegerValue in org.evosuite.symbolic.expr.bv

Modifier and Type	Interface and Description
interface	StringComparison

Classes in org.evosuite.symbolic.expr.bv that implement IntegerValue

Modifier and Type	Class and Description
class	IntegerBinaryExpression
class	IntegerComparison
class	IntegerConstant
class	IntegerUnaryExpression
class	IntegerVariable
class	RealComparison
class	RealToIntegerCast
class	RealUnaryToIntegerExpression
class	StringBinaryComparison StringComparison class.
class	StringBinaryToIntegerExpression StringBinaryExpression class.
class	StringMultipleComparison StringMultipleComparison class.
class	StringMultipleToIntegerExpression StringMultipleExpression class.
class	StringToIntegerCast StringToIntCast class.
class	StringUnaryToIntegerExpression StringUnaryExpression class.

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

Constructors in org.evosuite.symbolic.expr.fp with parameters of type IntegerValue

Constructor and Description
IntegerToRealCast(IntegerValue _expr, Double _concValue) Constructor for IntegerToRealCast.

Uses of IntegerValue in org.evosuite.symbolic.expr.reader

Classes in org.evosuite.symbolic.expr.reader that implement IntegerValue

Modifier and Type	Class and Description
class	StringReaderExpr

Uses of IntegerValue in org.evosuite.symbolic.expr.token

Classes in org.evosuite.symbolic.expr.token that implement IntegerValue

Modifier and Type	Class and Description
class	HasMoreTokensExpr StringComparison class.

Uses of IntegerValue in org.evosuite.symbolic.vm

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

Modifier and Type	Method and Description
static IntegerValue	ExpressionFactory.add(IntegerValue left, IntegerValue right, long con)
IntegerValue	SymbolicHeap.array_load(ReferenceExpression symb_array, int conc_index, long conc_value)
static IntegerValue	ExpressionFactory.div(IntegerValue left, IntegerValue right, long con)
IntegerValue	LocalsTable.getBv32Local(int i)
IntegerValue	LocalsTable.getBv64Local(int i)
IntegerValue	SymbolicHeap.getField(String owner, String name, Object conc_receiver, ReferenceExpression symb_receiver, long conc_value) Returns a stored symbolic expression for an int field or created one
IntegerValue	IntegerOperand.getIntegerExpression()
IntegerValue	Bv64Operand.getIntegerExpression()
IntegerValue	Bv32Operand.getIntegerExpression()
IntegerValue	SymbolicHeap.getStaticField(String owner, String name, long conc_value)
protected IntegerValue	SymbolicFunction.getSymbIntegerArgument(int i) Returns the i-th symbolic parameter.
protected IntegerValue	SymbolicFunction.getSymbIntegerRetVal() Returns the symbolic return value.
static IntegerValue	ExpressionFactory.mul(IntegerValue left, IntegerValue right, long con)
IntegerValue	OperandStack.peekBv32()
IntegerValue	OperandStack.peekBv64()
IntegerValue	OperandStack.popBv32()
IntegerValue	OperandStack.popBv64()
static IntegerValue	ExpressionFactory.rem(IntegerValue left, IntegerValue right, long con)

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

Modifier and Type	Method and Description
static IntegerValue	ExpressionFactory.add(IntegerValue left, IntegerValue right, long con)
static IntegerValue	ExpressionFactory.div(IntegerValue left, IntegerValue right, long con)
static IntegerConstraint	ConstraintFactory.eq(IntegerValue left, IntegerValue right)
static IntegerConstraint	ConstraintFactory.gte(IntegerValue left, IntegerValue right)
static IntegerConstraint	ConstraintFactory.lt(IntegerValue left, IntegerValue right)
static IntegerValue	ExpressionFactory.mul(IntegerValue left, IntegerValue right, long con)
static IntegerConstraint	ConstraintFactory.neq(IntegerValue left, IntegerValue right)
void	OperandStack.pushBv32(IntegerValue e)
void	OperandStack.pushBv64(IntegerValue e)
static IntegerValue	ExpressionFactory.rem(IntegerValue left, IntegerValue right, long con)
void	LocalsTable.setBv32Local(int i, IntegerValue e)
void	LocalsTable.setBv64Local(int i, IntegerValue e)

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

Constructor and Description
Bv32Operand(IntegerValue integerExpr)
Bv64Operand(IntegerValue integerExpr)