org.evosuite.symbolic.expr.ref

Class ReferenceVariable

java.lang.Object

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

org.evosuite.symbolic.expr.ref.ReferenceExpression

org.evosuite.symbolic.expr.ref.ReferenceVariable

All Implemented Interfaces:

Serializable, Expression<Object>, SymbolicValue, Variable<Object>

public final class ReferenceVariable
extends ReferenceExpression
implements Variable<Object>

Represents a symbolic reference (for example, a pointer that we have declared as symbolic) at the test case level. We assume these references are not created during the SUT.

Author:

galeotti

See Also:

Serialized Form

Field Summary

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

concreteValue

Constructor Summary

Constructors

Constructor and Description
ReferenceVariable(org.objectweb.asm.Type objectType, int instanceId, String name, Object concreteValue) Creates a new reference variable using the type of the reference, an instance id, the name of the variable and the concrete object reference.

Method Summary

Modifier and Type	Method and Description
<K,V> K	accept(ExpressionVisitor<K,V> v, V arg)
Object	getMaxValue() Returns the concrete object
Object	getMinValue() Returns the concrete object
String	getName() Returns the name of the variable
Set<Variable<?>>	getVariables() Returns a the set {this}

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

Methods inherited from interface org.evosuite.symbolic.expr.Expression

containsSymbolicVariable, getConcreteValue, getConstants, getParent, getSize, setParent

Constructor Detail

ReferenceVariable

public ReferenceVariable(org.objectweb.asm.Type objectType,
                         int instanceId,
                         String name,
                         Object concreteValue)

Creates a new reference variable using the type of the reference, an instance id, the name of the variable and the concrete object reference. The resulting variable is initialized.

Parameters:

objectType -

instanceId -

name -

concreteValue -

Method Detail

getVariables

public Set<Variable<?>> getVariables()

Returns a the set {this}

Specified by:

getVariables in interface Expression<Object>

Returns:

getName

public String getName()

Returns the name of the variable

Specified by:

getName in interface Variable<Object>

Returns:

getMinValue

public Object getMinValue()

Returns the concrete object

Specified by:

getMinValue in interface Variable<Object>

Returns:

getMaxValue

public Object getMaxValue()

Returns the concrete object

Specified by:

getMaxValue in interface Variable<Object>

Returns:

accept

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

Specified by:

accept in interface Expression<Object>