org.evosuite.testcase.statements

Class FieldStatement

java.lang.Object

org.evosuite.testcase.statements.AbstractStatement

org.evosuite.testcase.statements.FieldStatement

All Implemented Interfaces:

Serializable, Statement

public class FieldStatement
extends AbstractStatement

Statement that accesses an instance/class field

Author:

Gordon Fraser

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.evosuite.testcase.statements.AbstractStatement

AbstractStatement.Executer

Field Summary

Fields

Modifier and Type	Field and Description
protected GenericField	field
protected VariableReference	source

Fields inherited from class org.evosuite.testcase.statements.AbstractStatement

assertions, comment, logger, retval, tc

Constructor Summary

Constructors

Constructor and Description
FieldStatement(TestCase tc, GenericField field, VariableReference source) Constructor for FieldStatement.
FieldStatement(TestCase tc, GenericField field, VariableReference source, VariableReference ret_var) This constructor allows you to use an already existing VariableReference as retvar.

Method Summary

Modifier and Type	Method and Description
void	changeClassLoader(ClassLoader loader) Class instances are bound to a class loader - if we want to reexecute a test on a different classloader we need to be able to change the class of the reflection object
Statement	copy(TestCase newTestCase, int offset) copy
boolean	equals(Object s) Equality check
Throwable	execute(Scope scope, PrintStream out) This method executes the statement under the given scope.
GenericField	getAccessibleObject() Returns the accessibleObject which is used to generate this kind of statement E.g.
GenericField	getField() Getter for the field field.
int	getNumParameters() Retrieve the number of parameters of this statement
VariableReference	getSource() Getter for the field source.
List<VariableReference>	getUniqueVariableReferences() getUniqueVariableReferences
Set<VariableReference>	getVariableReferences() getVariableReferences
int	hashCode() Generate hash code
boolean	isAccessible() Determine if the underlying reflection object is currently accessible
boolean	isAssignmentStatement() Returns true if this statement should be handled as an AssignmentStatement.
boolean	isStatic() isStatic
boolean	mutate(TestCase test, TestFactory factory) Try to replace source of field with all possible choices
void	replace(VariableReference var1, VariableReference var2) Replace a VariableReference with another one
boolean	same(Statement s) Allows the comparing of Statements between TestCases.
void	setField(GenericField field) Setter for the field field.
void	setSource(VariableReference source) Setter for the field source.

Methods inherited from class org.evosuite.testcase.statements.AbstractStatement

addAssertion, addComment, clone, clone, copyAssertions, exceptionHandler, getAssertionCode, getAssertionReferences, getAssertions, getCode, getCode, getComment, getDeclaredExceptions, getExceptionClass, getPosition, getReturnClass, getReturnType, getReturnValue, getTestCase, hasAssertions, isDeclaredException, isReflectionStatement, isValid, negate, references, removeAssertion, removeAssertions, setAssertions, setRetval

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

field

protected GenericField field

source

protected VariableReference source

Constructor Detail

FieldStatement

public FieldStatement(TestCase tc,
                      GenericField field,
                      VariableReference source)

Constructor for FieldStatement.

Parameters:

tc - a TestCase object.

field - a Field object.

source - a VariableReference object.

type - a Type object.

FieldStatement

public FieldStatement(TestCase tc,
                      GenericField field,
                      VariableReference source,
                      VariableReference ret_var)

This constructor allows you to use an already existing VariableReference as retvar. This should only be done, iff an old statement is replaced with this statement. And already existing objects should in the future reference this object.

Parameters:

tc - a TestCase object.

field - a Field object.

source - a VariableReference object.

ret_var - a VariableReference object.

Method Detail

getSource

public VariableReference getSource()

Getter for the field source.

Returns:

a VariableReference object.

mutate

public boolean mutate(TestCase test,
                      TestFactory factory)

Try to replace source of field with all possible choices

Specified by:

mutate in interface Statement

Overrides:

mutate in class AbstractStatement

Parameters:

test -

statement -

objective -

Returns:

a boolean.

setSource

public void setSource(VariableReference source)

Setter for the field source.

Parameters:

source - a VariableReference object.

isAccessible

public boolean isAccessible()

Description copied from interface: Statement

Determine if the underlying reflection object is currently accessible

Specified by:

isAccessible in interface Statement

Overrides:

isAccessible in class AbstractStatement

Returns:

isStatic

public boolean isStatic()

isStatic

Returns:

a boolean.

getNumParameters

public int getNumParameters()

Description copied from interface: Statement

Retrieve the number of parameters of this statement

Specified by:

getNumParameters in interface Statement

Overrides:

getNumParameters in class AbstractStatement

Returns:

copy

public Statement copy(TestCase newTestCase,
                      int offset)

copy

Parameters:

newTestCase - the testcase in which this statement will be inserted

offset - a int.

Returns:

a Statement object.

execute

public Throwable execute(Scope scope,
                         PrintStream out)
                  throws InvocationTargetException,
                         IllegalArgumentException,
                         IllegalAccessException,
                         InstantiationException

This method executes the statement under the given scope. If execution of the statement is aborted abnormally (i.e. an exception is thrown.) The exception is returned. Otherwise the return value is null.

Parameters:

scope - the scope under which the statement is executed

out - a PrintStream object.

Returns:

if an exception was thrown during execution this is the exception

Throws:

InvocationTargetException - if any.

IllegalArgumentException - if any.

IllegalAccessException - if any.

InstantiationException - if any.

getVariableReferences

public Set<VariableReference> getVariableReferences()

getVariableReferences

Returns:

a Set object.

replace

public void replace(VariableReference var1,
                    VariableReference var2)

Replace a VariableReference with another one

Parameters:

var1 - The old variable

var2 - The new variable

equals

public boolean equals(Object s)

Equality check

Specified by:

equals in interface Statement

Overrides:

equals in class Object

hashCode

public int hashCode()

Generate hash code

Specified by:

hashCode in interface Statement

Overrides:

hashCode in class Object

getField

public GenericField getField()

Getter for the field field.

Returns:

a Field object.

setField

public void setField(GenericField field)

Setter for the field field.

Parameters:

field - a Field object.

getUniqueVariableReferences

public List<VariableReference> getUniqueVariableReferences()

getUniqueVariableReferences

Returns:

a List object.

same

public boolean same(Statement s)

Allows the comparing of Statements between TestCases. I.e. this is a more semantic comparison than the one done by equals. E.g. two Variable are equal if they are at the same position and they reference to objects of the same type.

Parameters:

s - a Statement object.

Returns:

a boolean.

getAccessibleObject

public GenericField getAccessibleObject()

Returns the accessibleObject which is used to generate this kind of statement E.g. the Field of a FieldStatement, the Method of a MethodStatement and so on MAY return NULL (for example for NullStatements)

Returns:

a AccessibleObject object.

isAssignmentStatement

public boolean isAssignmentStatement()

Returns true if this statement should be handled as an AssignmentStatement. This method was added to allow the wrapping of AssignmentStatements (in which case "a instanceof AssignmentStatement" is no longer working)

Returns:

a boolean.

changeClassLoader

public void changeClassLoader(ClassLoader loader)

Class instances are bound to a class loader - if we want to reexecute a test on a different classloader we need to be able to change the class of the reflection object

Specified by:

changeClassLoader in interface Statement

Overrides:

changeClassLoader in class AbstractStatement

Parameters:

loader - a ClassLoader object.