org.evosuite.testcase.statements

Class NullStatement

java.lang.Object

org.evosuite.testcase.statements.AbstractStatement

org.evosuite.testcase.statements.PrimitiveStatement<Void>

org.evosuite.testcase.statements.NullStatement

All Implemented Interfaces:

Serializable, Statement

public class NullStatement
extends PrimitiveStatement<Void>

The concept of variableReferences is: that they are created by some statement. This Statement serves the purpose of defining null references. We need it, as various places in the code assume, that VariableReferences are generated by statements.

Author:

steenbuck

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.PrimitiveStatement

value

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

assertions, comment, logger, retval, tc

Constructor Summary

Constructors

Constructor and Description
NullStatement(TestCase tc, Type type) Constructor for NullStatement.

Method Summary

Modifier and Type	Method and Description
Statement	copy(TestCase newTestCase, int offset) copy
void	delta() Add a random delta to the value
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.
List<VariableReference>	getUniqueVariableReferences() getUniqueVariableReferences
Set<VariableReference>	getVariableReferences() getVariableReferences
void	randomize() Set to a random value
void	replace(VariableReference var1, VariableReference var2) Replace a VariableReference with another one
boolean	same(Statement s) Allows the comparing of Statements between TestCases.
void	zero() Reset value to default value 0

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

changeClassLoader, equals, getPrimitiveStatement, getPrimitiveStatement, getRandomStatement, getValue, hashCode, hasMoreThanOneValue, isAssignmentStatement, mutate, setValue, toString

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

NullStatement

public NullStatement(TestCase tc,
                     Type type)

Constructor for NullStatement.

Parameters:

tc - a TestCase object.

type - a Type object.

Method Detail

copy

public Statement copy(TestCase newTestCase,
                      int offset)

copy

Specified by:

copy in interface Statement

Overrides:

copy in class PrimitiveStatement<Void>

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.

Specified by:

execute in interface Statement

Overrides:

execute in class PrimitiveStatement<Void>

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.

getUniqueVariableReferences

public List<VariableReference> getUniqueVariableReferences()

getUniqueVariableReferences

Specified by:

getUniqueVariableReferences in interface Statement

Overrides:

getUniqueVariableReferences in class PrimitiveStatement<Void>

Returns:

a List object.

getVariableReferences

public Set<VariableReference> getVariableReferences()

getVariableReferences

Specified by:

getVariableReferences in interface Statement

Overrides:

getVariableReferences in class PrimitiveStatement<Void>

Returns:

a Set object.

replace

public void replace(VariableReference var1,
                    VariableReference var2)

Replace a VariableReference with another one

Specified by:

replace in interface Statement

Overrides:

replace in class PrimitiveStatement<Void>

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.

Specified by:

same in interface Statement

Overrides:

same in class PrimitiveStatement<Void>

Parameters:

s - a Statement object.

Returns:

a boolean.

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)

Specified by:

getAccessibleObject in interface Statement

Overrides:

getAccessibleObject in class PrimitiveStatement<Void>

Returns:

a AccessibleObject object.

delta

public void delta()

Add a random delta to the value

Specified by:

delta in class PrimitiveStatement<Void>

zero

public void zero()

Reset value to default value 0

Specified by:

zero in class PrimitiveStatement<Void>

randomize

public void randomize()

Set to a random value

Specified by:

randomize in class PrimitiveStatement<Void>