org.evosuite.testcase.statements

Class ArrayStatement

java.lang.Object

org.evosuite.testcase.statements.AbstractStatement

org.evosuite.testcase.statements.ArrayStatement

All Implemented Interfaces:

Serializable, Statement

public class ArrayStatement
extends AbstractStatement

An array statement creates a new array

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 inherited from class org.evosuite.testcase.statements.AbstractStatement

assertions, comment, logger, retval, tc

Constructor Summary

Constructors

Constructor and Description
ArrayStatement(TestCase tc, ArrayReference arrayReference) Constructor for ArrayStatement.
ArrayStatement(TestCase tc, ArrayReference arrayReference, int[] length) Constructor for ArrayStatement.
ArrayStatement(TestCase tc, Type type) Constructor for ArrayStatement.
ArrayStatement(TestCase tc, Type type, int length) Constructor for ArrayStatement.
ArrayStatement(TestCase tc, Type type, int[] length) Constructor for ArrayStatement.

Method Summary

Modifier and Type	Method and Description
Statement	copy(TestCase newTestCase, int offset) copy
static int	determineDimensions(Type type) determineDimensions
boolean	equals(Object s) Equality check
Throwable	execute(Scope scope, PrintStream out) This method executes the statement under the given scope.
GenericAccessibleObject<?>	getAccessibleObject() Returns the accessibleObject which is used to generate this kind of statement E.g.
ArrayReference	getArrayReference()
List<Integer>	getLengths() Getter for the field lengths.
List<VariableReference>	getUniqueVariableReferences() getUniqueVariableReferences
Set<VariableReference>	getVariableReferences() getVariableReferences
int	hashCode() Generate hash code
boolean	isAssignmentStatement() Returns true if this statement should be handled as an AssignmentStatement.
boolean	isValid() Various consistency checks.
boolean	mutate(TestCase test, TestFactory factory) mutate
void	replace(VariableReference var1, VariableReference var2) Replace a VariableReference with another one
boolean	same(Statement s) Allows the comparing of Statements between TestCases.
void	setLengths(int[] lengths) Setter for the field lengths.
void	setSize(int size) setSize
int	size() size

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ArrayStatement

public ArrayStatement(TestCase tc,
                      ArrayReference arrayReference)

Constructor for ArrayStatement.

Parameters:

tc - a TestCase object.

arrayReference - a ArrayReference object.

ArrayStatement

public ArrayStatement(TestCase tc,
                      ArrayReference arrayReference,
                      int[] length)

Constructor for ArrayStatement.

Parameters:

tc - a TestCase object.

arrayReference - a ArrayReference object.

length - an array of int.

ArrayStatement

public ArrayStatement(TestCase tc,
                      Type type)

Constructor for ArrayStatement.

Parameters:

tc - a TestCase object.

type - a Type object.

ArrayStatement

public ArrayStatement(TestCase tc,
                      Type type,
                      int length)

Constructor for ArrayStatement.

Parameters:

tc - a TestCase object.

type - a Type object.

length - a int.

ArrayStatement

public ArrayStatement(TestCase tc,
                      Type type,
                      int[] length)

Constructor for ArrayStatement.

Parameters:

tc - a TestCase object.

type - a Type object.

length - an array of int.

Method Detail

determineDimensions

public static int determineDimensions(Type type)

determineDimensions

Parameters:

type - a Type object.

Returns:

a int.

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.

equals

public boolean equals(Object s)

Equality check

Specified by:

equals in interface Statement

Overrides:

equals in class 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.

getAccessibleObject

public GenericAccessibleObject<?> 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.

getLengths

public List<Integer> getLengths()

Getter for the field lengths.

Returns:

an array of int.

getUniqueVariableReferences

public List<VariableReference> getUniqueVariableReferences()

getUniqueVariableReferences

Returns:

a List object.

getVariableReferences

public Set<VariableReference> getVariableReferences()

getVariableReferences

Returns:

a Set object.

hashCode

public int hashCode()

Generate hash code

Specified by:

hashCode in interface Statement

Overrides:

hashCode in class 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.

isValid

public boolean isValid()

Various consistency checks. This method might also return with an assertionError Functionality might depend on the status of enableAssertions in this JVM

Specified by:

isValid in interface Statement

Overrides:

isValid in class AbstractStatement

Returns:

a boolean.

mutate

public boolean mutate(TestCase test,
                      TestFactory factory)

mutate

Specified by:

mutate in interface Statement

Overrides:

mutate in class AbstractStatement

Parameters:

test - a TestCase object.

factory - a TestFactory object.

Returns:

a boolean.

replace

public void replace(VariableReference var1,
                    VariableReference var2)

Replace a VariableReference with another one

Parameters:

var1 - The old variable

var2 - The new variable

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.

setLengths

public void setLengths(int[] lengths)

Setter for the field lengths.

Parameters:

lengths - an array of int.

setSize

public void setSize(int size)

setSize

Parameters:

size - a int.

size

public int size()

size

Returns:

a int.

getArrayReference

public ArrayReference getArrayReference()