org.evosuite.symbolic.expr.ref

Class ReferenceExpression

java.lang.Object

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

org.evosuite.symbolic.expr.ref.ReferenceExpression

All Implemented Interfaces:

Serializable, Expression<Object>, SymbolicValue

Direct Known Subclasses:

GetFieldExpression, ReferenceConstant, ReferenceVariable

public abstract class ReferenceExpression
extends AbstractExpression<Object>
implements SymbolicValue

This is the super class of all symbolic references. A reference expression can be initialized using a concrete reference (can be null). Once it is initialized, we can get the concrete identity hash code and the concrete object

Author:

galeotti

See Also:

Serialized Form

Field Summary

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

concreteValue

Constructor Summary

Constructors

Constructor and Description
ReferenceExpression(org.objectweb.asm.Type objectType, int instanceId, int expressionSize, boolean containsSymbolicVariable) Creates a new Reference expression of type objectType and with instance identifier instanceId

Method Summary

Modifier and Type	Method and Description
String	getClassName() Returns the type of the class
int	getConcIdentityHashCode() Returns the identity hash
void	initializeReference(Object conc_object) Initializes the current reference using the concrete object
boolean	isInitialized() Returns true iff the the reference is initialised
boolean	isString() Returns true iff the reference is of type String
String	toString() Prints the reference Id

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

accept, getVariables

Constructor Detail

ReferenceExpression

public ReferenceExpression(org.objectweb.asm.Type objectType,
                           int instanceId,
                           int expressionSize,
                           boolean containsSymbolicVariable)

Creates a new Reference expression of type objectType and with instance identifier instanceId

Parameters:

objectType - the type of the new reference

instanceId - the instance identifier for this new reference

Method Detail

initializeReference

public void initializeReference(Object conc_object)

Initializes the current reference using the concrete object

Parameters:

conc_object -

toString

public String toString()

Prints the reference Id

Overrides:

toString in class Object

isInitialized

public boolean isInitialized()

Returns true iff the the reference is initialised

Returns:

getConcIdentityHashCode

public int getConcIdentityHashCode()

Returns the identity hash

Returns:

getClassName

public String getClassName()

Returns the type of the class

Returns:

isString

public boolean isString()

Returns true iff the reference is of type String

Returns: