eu.stamp_project.mutationtest.descartes.operators

Class ConstantMutationOperator

java.lang.Object

eu.stamp_project.mutationtest.descartes.operators.MutationOperator

eu.stamp_project.mutationtest.descartes.operators.ConstantMutationOperator

public class ConstantMutationOperator
extends MutationOperator

A mutation operator that replaces the method body by a return instruction whose result is the given constant

Constructor Summary

Constructors

Constructor and Description
ConstantMutationOperator(String id, Object constant) Builds an instance of the operator given a constant value to be used in the return statement.

Method Summary

Modifier and Type	Method and Description
boolean	canMutate(org.pitest.reloc.asm.commons.Method method) Returns a value indicating whether the operator can transform the given method.
void	generateCode(org.pitest.reloc.asm.commons.Method method, org.pitest.reloc.asm.MethodVisitor mv) Generates the code associated with the mutation.
Object	getConstant() Give access to the constant value used by the operator
String	getDescription()
String	getID()

Methods inherited from class eu.stamp_project.mutationtest.descartes.operators.MutationOperator

fromID

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstantMutationOperator

public ConstantMutationOperator(String id,
                                Object constant)

Builds an instance of the operator given a constant value to be used in the return statement.

Parameters:

id - The identifier for the instance of the operator. It does not have to coincide with the constant value.

constant - The constant value to be used

Method Detail

getConstant

public Object getConstant()

Give access to the constant value used by the operator

Returns:

The constant value used to build the operator instance

canMutate

public boolean canMutate(org.pitest.reloc.asm.commons.Method method)

Returns a value indicating whether the operator can transform the given method. In this case, checks if the return type of the method is the same as the type of the constant value.

Specified by:

canMutate in class MutationOperator

Parameters:

method - Method to be tested by the operator

Returns:

A boolean value indicating if the return type and the constant value type are the same

generateCode

public void generateCode(org.pitest.reloc.asm.commons.Method method,
                         org.pitest.reloc.asm.MethodVisitor mv)

Generates the code associated with the mutation.

Specified by:

generateCode in class MutationOperator

Parameters:

method - Method to which the mutation should be applied

mv - MethodVisitor in charge of code generation.

getID

public String getID()

Specified by:

getID in class MutationOperator

getDescription

public String getDescription()

Specified by:

getDescription in class MutationOperator