org.evosuite.testcase.statements

Class MethodStatement

java.lang.Object

org.evosuite.testcase.statements.AbstractStatement

org.evosuite.testcase.statements.EntityWithParametersStatement

org.evosuite.testcase.statements.MethodStatement

All Implemented Interfaces:

Serializable, Statement

Direct Known Subclasses:

PrivateFieldStatement, PrivateMethodStatement

public class MethodStatement
extends EntityWithParametersStatement

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 VariableReference	callee
protected GenericMethod	method

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

annotations, parameterAnnotations, parameters

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

assertions, comment, logger, retval, tc

Constructor Summary

Constructors

Constructor and Description
MethodStatement(TestCase tc, GenericMethod method, VariableReference callee, List<VariableReference> parameters) Constructor for MethodStatement.
MethodStatement(TestCase tc, GenericMethod method, VariableReference callee, List<VariableReference> parameters, VariableReference retVal)
MethodStatement(TestCase tc, GenericMethod method, VariableReference callee, VariableReference retvar, List<VariableReference> parameters) 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.
GenericMethod	getAccessibleObject() Returns the accessibleObject which is used to generate this kind of statement E.g.
VariableReference	getCallee() Getter for the field callee.
Set<Class<?>>	getDeclaredExceptions() getDeclaredExceptions
String	getDeclaringClassName()
String	getDescriptor()
GenericMethod	getMethod() Getter for the field method.
String	getMethodName()
int	getNumParameters() Retrieve the number of parameters of this statement
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	isDeclaredException(Throwable t) Tests if the throwable defined by t is declared to be thrown by the underlying type.
boolean	isStatic() isStatic
boolean	isValid() Various consistency checks.
boolean	mutate(TestCase test, TestFactory factory) Go through parameters of method call and apply local search
void	replace(VariableReference var1, VariableReference var2) Replace a VariableReference with another one
boolean	same(Statement s) Allows the comparing of Statements between TestCases.
void	setCallee(VariableReference callee) Setter for the field callee.
void	setMethod(GenericMethod method) Setter for the field method.
String	toString()

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

getConstraints, getNumParametersOfType, getParameterReferences, isBounded, mutateParameter, replaceParameterReference

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

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

Methods inherited from class java.lang.Object

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

Field Detail

method

protected GenericMethod method

callee

protected VariableReference callee

Constructor Detail

MethodStatement

public MethodStatement(TestCase tc,
                       GenericMethod method,
                       VariableReference callee,
                       List<VariableReference> parameters)
                throws IllegalArgumentException

Constructor for MethodStatement.

Parameters:

tc - a TestCase object.

method - a Method object.

callee - a VariableReference object.

parameters - a List object.

Throws:

IllegalArgumentException

MethodStatement

public MethodStatement(TestCase tc,
                       GenericMethod method,
                       VariableReference callee,
                       List<VariableReference> parameters,
                       VariableReference retVal)
                throws IllegalArgumentException

Throws:

IllegalArgumentException

MethodStatement

public MethodStatement(TestCase tc,
                       GenericMethod method,
                       VariableReference callee,
                       VariableReference retvar,
                       List<VariableReference> parameters)

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.

method - a Method object.

callee - a VariableReference object.

retvar - a VariableReference object.

parameters - a List object.

Method Detail

getMethod

public GenericMethod getMethod()

Getter for the field method.

Returns:

a Method object.

setMethod

public void setMethod(GenericMethod method)

Setter for the field method.

Parameters:

method - a Method object.

getCallee

public VariableReference getCallee()

Getter for the field callee.

Returns:

a VariableReference object.

setCallee

public void setCallee(VariableReference callee)

Setter for the field callee.

Parameters:

callee - a VariableReference object.

isStatic

public boolean isStatic()

isStatic

Returns:

a boolean.

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.

isDeclaredException

public boolean isDeclaredException(Throwable t)

Tests if the throwable defined by t is declared to be thrown by the underlying type. Obviously this can only return true for methods and constructors.

Specified by:

isDeclaredException in interface Statement

Overrides:

isDeclaredException in class AbstractStatement

Parameters:

t - a Throwable object.

Returns:

a boolean.

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.

getVariableReferences

public Set<VariableReference> getVariableReferences()

getVariableReferences

Specified by:

getVariableReferences in interface Statement

Overrides:

getVariableReferences in class EntityWithParametersStatement

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 EntityWithParametersStatement

Parameters:

var1 - The old variable

var2 - The new variable

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 EntityWithParametersStatement

Returns:

toString

public String toString()

Overrides:

toString in class Object

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

getDeclaredExceptions

public Set<Class<?>> getDeclaredExceptions()

getDeclaredExceptions

Specified by:

getDeclaredExceptions in interface Statement

Overrides:

getDeclaredExceptions in class AbstractStatement

Returns:

a Set object.

getUniqueVariableReferences

public List<VariableReference> getUniqueVariableReferences()

getUniqueVariableReferences

Specified by:

getUniqueVariableReferences in interface Statement

Overrides:

getUniqueVariableReferences in class EntityWithParametersStatement

Returns:

a List 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:

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.

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.

mutate

public boolean mutate(TestCase test,
                      TestFactory factory)

Go through parameters of method call and apply local search

Specified by:

mutate in interface Statement

Overrides:

mutate in class AbstractStatement

Parameters:

test -

factory -

Returns:

a boolean.

getAccessibleObject

public GenericMethod 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.

getDescriptor

public String getDescriptor()

Specified by:

getDescriptor in class EntityWithParametersStatement

getDeclaringClassName

public String getDeclaringClassName()

Specified by:

getDeclaringClassName in class EntityWithParametersStatement

getMethodName

public String getMethodName()

Specified by:

getMethodName in class EntityWithParametersStatement