org.evosuite.symbolic.expr.ref

Class GetFieldExpression

java.lang.Object

org.evosuite.symbolic.expr.AbstractExpression<Object>

org.evosuite.symbolic.expr.ref.ReferenceExpression

org.evosuite.symbolic.expr.ref.GetFieldExpression

All Implemented Interfaces:

Serializable, Expression<Object>, SymbolicValue

public final class GetFieldExpression
extends ReferenceExpression

See Also:

Serialized Form

Field Summary

Fields inherited from class org.evosuite.symbolic.expr.AbstractExpression

concreteValue

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
<K,V> K	accept(ExpressionVisitor<K,V> v, V arg)
String	getFieldName() Returns the field name (the F in expr.F)
ReferenceExpression	getReceiverExpr() Returns the receiver expression (the expr in expr.F)
Set<Variable<?>>	getVariables() Returns the set of all the variables in the receiver expression (the expr in expr.F)

Methods inherited from class org.evosuite.symbolic.expr.ref.ReferenceExpression

getClassName, getConcIdentityHashCode, initializeReference, isInitialized, isString, toString

Methods inherited from class org.evosuite.symbolic.expr.AbstractExpression

containsSymbolicVariable, getConcreteValue, getConstants, getParent, getSize, setParent

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

GetFieldExpression

public 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

Parameters:

receiverExpr - the symbolic expression of the receiver object

fieldName - the field name

concreteValue - the concrete object for the symbolic expression expr.F

Method Detail

getVariables

public Set<Variable<?>> getVariables()

Returns the set of all the variables in the receiver expression (the expr in expr.F)

Returns:

accept

public <K,V> K accept(ExpressionVisitor<K,V> v,
                      V arg)

getReceiverExpr

public ReferenceExpression getReceiverExpr()

Returns the receiver expression (the expr in expr.F)

Returns:

getFieldName

public String getFieldName()

Returns the field name (the F in expr.F)

Returns: