Uses of Class
org.evosuite.symbolic.expr.ref.ReferenceExpression

Packages that use ReferenceExpression

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

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

Subclasses of ReferenceExpression in org.evosuite.symbolic.expr.ref

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

Methods in org.evosuite.symbolic.expr.ref that return ReferenceExpression

Modifier and Type	Method and Description
ReferenceExpression	GetFieldExpression.getReceiverExpr() Returns the receiver expression (the expr in expr.F)

Constructors in org.evosuite.symbolic.expr.ref with parameters of type ReferenceExpression

Constructor and Description
GetFieldExpression(org.objectweb.asm.Type objectType, int instanceId, ReferenceExpression receiverExpr, String fieldName, Object concreteValue) Creates a symbolic expression of the form "expr.F" where expr is the ReferenceExpression, F is the string fieldName and the concrete value of the symbolic expression "expr.F" is concreteValue

Uses of ReferenceExpression in org.evosuite.symbolic.vm

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

Modifier and Type	Method and Description
ReferenceExpression	ReferenceOperand.getReference()
ReferenceExpression	SymbolicHeap.getReference(Object conc_ref) Returns a ReferenceConstant if the concrete reference is null.
ReferenceExpression	LocalsTable.getRefLocal(int i)
protected ReferenceExpression	SymbolicFunction.getSymbArgument(int i) Returns the i-th symbolic parameter.
protected ReferenceExpression	SymbolicFunction.getSymbRetVal() Returns the symbolic return value.
ReferenceExpression	OperandStack.peekRef()
ReferenceExpression	OperandStack.popRef()

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

Modifier and Type	Method and Description
RealValue	SymbolicHeap.array_load(ReferenceExpression symb_array, int conc_index, double conc_value)
IntegerValue	SymbolicHeap.array_load(ReferenceExpression symb_array, int conc_index, long conc_value)
StringValue	SymbolicHeap.array_load(ReferenceExpression symb_array, int conc_index, String conc_value)
void	SymbolicHeap.array_store(Object conc_array, ReferenceExpression symb_array, int conc_index, Expression<?> symb_value)
Expression<?>	SymbolicHeap.getField(String className, String fieldName, Object conc_receiver, ReferenceExpression symb_receiver) No default concrete value means the return value could be false!
RealValue	SymbolicHeap.getField(String className, String fieldName, Object conc_receiver, ReferenceExpression symb_receiver, double conc_value)
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
StringValue	SymbolicHeap.getField(String className, String fieldName, Object conc_receiver, ReferenceExpression symb_receiver, String conc_value)
void	SymbolicHeap.initializeReference(Object conc_ref, ReferenceExpression symb_ref) Initializes a reference using a concrete object
void	OperandStack.pushRef(ReferenceExpression r)
void	SymbolicHeap.putField(String className, String fieldName, Object conc_receiver, ReferenceExpression symb_receiver, Expression<?> symb_value) Updates an instance field.
void	LocalsTable.setRefLocal(int i, ReferenceExpression o)

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

Constructor and Description
ReferenceOperand(ReferenceExpression o)