Uses of Interface
org.evosuite.symbolic.expr.SymbolicValue

Packages that use SymbolicValue

Package	Description
org.evosuite.symbolic.expr.bv
org.evosuite.symbolic.expr.fp
org.evosuite.symbolic.expr.reader
org.evosuite.symbolic.expr.ref
org.evosuite.symbolic.expr.str
org.evosuite.symbolic.expr.token

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

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

Modifier and Type	Interface and Description
interface	IntegerValue
interface	StringComparison

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

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 SymbolicValue in org.evosuite.symbolic.expr.fp

Subinterfaces of SymbolicValue in org.evosuite.symbolic.expr.fp

Modifier and Type	Interface and Description
interface	RealValue

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

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

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

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

Modifier and Type	Class and Description
class	StringReaderExpr

Uses of SymbolicValue in org.evosuite.symbolic.expr.ref

Classes in org.evosuite.symbolic.expr.ref that implement SymbolicValue

Modifier and Type	Class and Description
class	GetFieldExpression
class	ReferenceConstant This class represents a reference that is not symbolic (e.g.
class	ReferenceExpression This is the super class of all symbolic references.
class	ReferenceVariable Represents a symbolic reference (for example, a pointer that we have declared as symbolic) at the test case level.

Uses of SymbolicValue in org.evosuite.symbolic.expr.str

Subinterfaces of SymbolicValue in org.evosuite.symbolic.expr.str

Modifier and Type	Interface and Description
interface	StringValue

Classes in org.evosuite.symbolic.expr.str that implement SymbolicValue

Modifier and Type	Class and Description
class	IntegerToStringCast
class	RealToStringCast
class	StringBinaryExpression StringBinaryExpression class.
class	StringConstant StringConstant class.
class	StringMultipleExpression StringMultipleExpression class.
class	StringUnaryExpression StringUnaryExpression class.
class	StringVariable StringVariable class.

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

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

Modifier and Type	Class and Description
class	HasMoreTokensExpr StringComparison class.
class	StringNextTokenExpr StringBinaryExpression class.