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

Packages that use Expression

Package	Description
org.evosuite.symbolic.expr
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
org.evosuite.symbolic.vm
org.evosuite.testcase.localsearch

Uses of Expression in org.evosuite.symbolic.expr

Subinterfaces of Expression in org.evosuite.symbolic.expr

Modifier and Type	Interface and Description
interface	Variable<T>

Classes in org.evosuite.symbolic.expr that implement Expression

Modifier and Type	Class and Description
class	AbstractExpression<T>

Methods in org.evosuite.symbolic.expr that return Expression

Modifier and Type	Method and Description
Expression<T>	Cast.getArgument() getConcreteObject
Expression<?>	StringConstraint.getLeftOperand()
Expression<Double>	RealConstraint.getLeftOperand() getLeftOperand
Expression<T>	MultipleExpression.getLeftOperand() getLeftOperand
Expression<?>	IntegerConstraint.getLeftOperand() getLeftOperand
abstract Expression<?>	Constraint.getLeftOperand() getLeftOperand
Expression<T>	BinaryExpression.getLeftOperand() getLeftOperand
Expression<T>	UnaryExpression.getOperand() getOperand
Expression<?>	Expression.getParent() getParent
Expression<?>	AbstractExpression.getParent() Getter for the field parent.
Expression<?>	StringConstraint.getRightOperand()
Expression<Double>	RealConstraint.getRightOperand() getRightOperand
Expression<?>	MultipleExpression.getRightOperand() getRightOperand
Expression<?>	IntegerConstraint.getRightOperand() getRightOperand
abstract Expression<?>	Constraint.getRightOperand() getRightOperand
Expression<?>	BinaryExpression.getRightOperand() getRightOperand

Methods in org.evosuite.symbolic.expr that return types with arguments of type Expression

Modifier and Type	Method and Description
ArrayList<Expression<?>>	MultipleExpression.getOther()

Methods in org.evosuite.symbolic.expr with parameters of type Expression

Modifier and Type	Method and Description
void	Expression.setParent(Expression<?> expr) setParent
void	AbstractExpression.setParent(Expression<?> expr) setParent

Constructors in org.evosuite.symbolic.expr with parameters of type Expression

Constructor and Description
IntegerConstraint(Expression<Long> left, Comparator cmp, Expression<Long> right) Constructor for IntegerConstraint.
IntegerConstraint(Expression<Long> left, Comparator cmp, Expression<Long> right) Constructor for IntegerConstraint.
RealConstraint(Expression<Double> left, Comparator cmp, Expression<Double> right) Constructor for RealConstraint.
RealConstraint(Expression<Double> left, Comparator cmp, Expression<Double> right) Constructor for RealConstraint.

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

Subinterfaces of Expression 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 Expression

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.

Methods in org.evosuite.symbolic.expr.bv that return Expression

Modifier and Type	Method and Description
Expression<String>	StringToIntegerCast.getArgument() getConcreteObject
Expression<Double>	RealToIntegerCast.getArgument() getConcreteObject
Expression<String>	StringMultipleToIntegerExpression.getLeftOperand() getLeftOperand
Expression<String>	StringMultipleComparison.getLeftOperand() getLeftOperand
Expression<String>	StringBinaryToIntegerExpression.getLeftOperand() getLeftOperand
Expression<String>	StringBinaryComparison.getLeftOperand() getLeftOperand
Expression<Long>	IntegerBinaryExpression.getLeftOperand() getLeftOperand
Expression<Double>	RealComparison.getLeftOperant() getLeftOperant
Expression<Long>	IntegerComparison.getLeftOperant() getLeftOperant
Expression<String>	StringUnaryToIntegerExpression.getOperand() getOperand
Expression<Double>	RealUnaryToIntegerExpression.getOperand() getOperand
Expression<Long>	IntegerUnaryExpression.getOperand() getOperand
Expression<String>	StringToIntegerCast.getParam()
Expression<?>	StringMultipleToIntegerExpression.getRightOperand() getRightOperand
Expression<?>	StringMultipleComparison.getRightOperand() getRightOperand
Expression<?>	StringBinaryToIntegerExpression.getRightOperand() getRightOperand
Expression<?>	StringBinaryComparison.getRightOperand() getRightOperand
Expression<Long>	IntegerBinaryExpression.getRightOperand() getRightOperand
Expression<Double>	RealComparison.getRightOperant() getRightOperant
Expression<Long>	IntegerComparison.getRightOperant() getRightOperant

Methods in org.evosuite.symbolic.expr.bv that return types with arguments of type Expression

Modifier and Type	Method and Description
ArrayList<Expression<?>>	StringMultipleToIntegerExpression.getOther() getOther
ArrayList<Expression<?>>	StringMultipleComparison.getOther() getOther

Constructors in org.evosuite.symbolic.expr.bv with parameters of type Expression

Constructor and Description
IntegerBinaryExpression(Expression<Long> left, Operator op2, Expression<Long> right, Long con) Constructor for IntegerBinaryExpression.
IntegerBinaryExpression(Expression<Long> left, Operator op2, Expression<Long> right, Long con) Constructor for IntegerBinaryExpression.
IntegerComparison(Expression<Long> left, Expression<Long> right, Long con) Constructor for IntegerComparison.
IntegerComparison(Expression<Long> left, Expression<Long> right, Long con) Constructor for IntegerComparison.
IntegerUnaryExpression(Expression<Long> e, Operator op2, Long con) Constructor for IntegerUnaryExpression.
RealComparison(Expression<Double> left, Expression<Double> right, Long con) Constructor for RealComparison.
RealComparison(Expression<Double> left, Expression<Double> right, Long con) Constructor for RealComparison.
RealToIntegerCast(Expression<Double> _expr, Long _concValue) Constructor for RealToIntegerCast.
RealUnaryToIntegerExpression(Expression<Double> e, Operator op2, Long con) Constructor for RealUnaryExpression.
StringBinaryComparison(Expression<String> left, Operator op, Expression<?> right, Long con) Constructor for StringComparison.
StringBinaryComparison(Expression<String> left, Operator op, Expression<?> right, Long con) Constructor for StringComparison.
StringBinaryToIntegerExpression(Expression<String> left2, Operator op2, Expression<?> right2, Long con) Constructor for StringBinaryExpression.
StringBinaryToIntegerExpression(Expression<String> left2, Operator op2, Expression<?> right2, Long con) Constructor for StringBinaryExpression.
StringMultipleComparison(Expression<String> _left, Operator _op, Expression<?> _right, ArrayList<Expression<?>> _other, Long con) Constructor for StringMultipleComparison.
StringMultipleComparison(Expression<String> _left, Operator _op, Expression<?> _right, ArrayList<Expression<?>> _other, Long con) Constructor for StringMultipleComparison.
StringMultipleToIntegerExpression(Expression<String> _left, Operator _op, Expression<?> _right, ArrayList<Expression<?>> _other, Long con) Constructor for StringMultipleExpression.
StringMultipleToIntegerExpression(Expression<String> _left, Operator _op, Expression<?> _right, ArrayList<Expression<?>> _other, Long con) Constructor for StringMultipleExpression.
StringToIntegerCast(Expression<String> _expr, Long _concValue) Constructor for StringToIntCast.
StringUnaryToIntegerExpression(Expression<String> param, Operator op2, Long con) Constructor for StringUnaryExpression.

Constructor parameters in org.evosuite.symbolic.expr.bv with type arguments of type Expression

Constructor and Description
StringMultipleComparison(Expression<String> _left, Operator _op, Expression<?> _right, ArrayList<Expression<?>> _other, Long con) Constructor for StringMultipleComparison.
StringMultipleToIntegerExpression(Expression<String> _left, Operator _op, Expression<?> _right, ArrayList<Expression<?>> _other, Long con) Constructor for StringMultipleExpression.

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

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

Modifier and Type	Interface and Description
interface	RealValue

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

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

Methods in org.evosuite.symbolic.expr.fp that return Expression

Modifier and Type	Method and Description
Expression<Long>	IntegerToRealCast.getArgument() getConcreteObject
Expression<Double>	RealBinaryExpression.getLeftOperand() getLeftOperand
Expression<Double>	RealUnaryExpression.getOperand() getOperand
Expression<?>	RealBinaryExpression.getRightOperand() getRightOperand

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

Constructor and Description
RealBinaryExpression(Expression<Double> left, Operator op2, Expression<?> right, Double con) Constructor for RealBinaryExpression.
RealBinaryExpression(Expression<Double> left, Operator op2, Expression<?> right, Double con) Constructor for RealBinaryExpression.
RealUnaryExpression(Expression<Double> e, Operator op2, Double con) Constructor for RealUnaryExpression.

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

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

Modifier and Type	Class and Description
class	StringReaderExpr

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

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

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 Expression in org.evosuite.symbolic.expr.str

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

Modifier and Type	Interface and Description
interface	StringValue

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

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.

Methods in org.evosuite.symbolic.expr.str that return Expression

Modifier and Type	Method and Description
Expression<Double>	RealToStringCast.getArgument() getConcreteObject
Expression<Long>	IntegerToStringCast.getArgument() getConcreteObject
Expression<String>	StringMultipleExpression.getLeftOperand() getLeftOperand
Expression<String>	StringBinaryExpression.getLeftOperand() getLeftOperand
Expression<String>	StringUnaryExpression.getOperand() getOperand
Expression<?>	StringMultipleExpression.getRightOperand() getRightOperand
Expression<?>	StringBinaryExpression.getRightOperand() getRightOperand

Methods in org.evosuite.symbolic.expr.str that return types with arguments of type Expression

Modifier and Type	Method and Description
ArrayList<Expression<?>>	StringMultipleExpression.getOther() getOther

Constructors in org.evosuite.symbolic.expr.str with parameters of type Expression

Constructor and Description
IntegerToStringCast(Expression<Long> expr, String concV)
RealToStringCast(Expression<Double> _expr, String concVal)
StringBinaryExpression(Expression<String> left2, Operator op2, Expression<?> right2, String con) Constructor for StringBinaryExpression.
StringBinaryExpression(Expression<String> left2, Operator op2, Expression<?> right2, String con) Constructor for StringBinaryExpression.
StringMultipleExpression(Expression<String> _left, Operator _op, Expression<?> _right, ArrayList<Expression<?>> _other, String con) Constructor for StringMultipleExpression.
StringMultipleExpression(Expression<String> _left, Operator _op, Expression<?> _right, ArrayList<Expression<?>> _other, String con) Constructor for StringMultipleExpression.
StringUnaryExpression(Expression<String> param, Operator op2, String con) Constructor for StringUnaryExpression.

Constructor parameters in org.evosuite.symbolic.expr.str with type arguments of type Expression

Constructor and Description
StringMultipleExpression(Expression<String> _left, Operator _op, Expression<?> _right, ArrayList<Expression<?>> _other, String con) Constructor for StringMultipleExpression.

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

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

Modifier and Type	Class and Description
class	HasMoreTokensExpr StringComparison class.
class	NewTokenizerExpr
class	NextTokenizerExpr
class	StringNextTokenExpr StringBinaryExpression class.
class	TokenizerExpr

Uses of Expression in org.evosuite.symbolic.vm

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

Modifier and Type	Method and Description
Expression<?>	SymbolicHeap.getField(String className, String fieldName, Object conc_receiver, ReferenceExpression symb_receiver) No default concrete value means the return value could be false!

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

Modifier and Type	Method and Description
void	SymbolicHeap.array_store(Object conc_array, ReferenceExpression symb_array, int conc_index, Expression<?> symb_value)
void	SymbolicHeap.putField(String className, String fieldName, Object conc_receiver, ReferenceExpression symb_receiver, Expression<?> symb_value) Updates an instance field.
void	SymbolicHeap.putStaticField(String owner, String name, Expression<?> symb_value)

Uses of Expression in org.evosuite.testcase.localsearch

Methods in org.evosuite.testcase.localsearch with parameters of type Expression

Modifier and Type	Method and Description
static void	DSETestGenerator.getVariables(Expression<?> expr, Set<Variable<?>> variables) Recursively determine constraints in expression