org.evosuite.symbolic.expr.ref

Class ReferenceConstant

java.lang.Object

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

org.evosuite.symbolic.expr.ref.ReferenceExpression

org.evosuite.symbolic.expr.ref.ReferenceConstant

All Implemented Interfaces:

Serializable, Expression<Object>, SymbolicValue

public final class ReferenceConstant
extends ReferenceExpression

This class represents a reference that is not symbolic (e.g. a new Object() somewhere during the execution of the code). After the NEW operation, the concrete reference cannot be accessed until the method finishes. Therefore, we have to initialize the ReferenceConstant after the method ends.

Author:

galeotti

See Also:

Serialized Form

Field Summary

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

concreteValue

Constructor Summary

Constructors

Constructor and Description
ReferenceConstant(org.objectweb.asm.Type objectType, int instanceId)

Method Summary

Modifier and Type	Method and Description
<K,V> K	accept(ExpressionVisitor<K,V> v, V arg)
Set<Variable<?>>	getVariables()

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

ReferenceConstant

public ReferenceConstant(org.objectweb.asm.Type objectType,
                         int instanceId)

Method Detail

getVariables

public Set<Variable<?>> getVariables()

accept

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