org.evosuite.coverage.mutation

Class MutationObserver

java.lang.Object

org.evosuite.coverage.mutation.MutationObserver

public class MutationObserver
extends Object

MutationObserver class.

Author:

Gordon Fraser

Field Summary

Fields

Modifier and Type	Field and Description
static int	activeMutation Constant activeMutation=-1

Constructor Summary

Constructors

Constructor and Description
MutationObserver()

Method Summary

Modifier and Type	Method and Description
static void	activateMutation(int id) activateMutation
static void	activateMutation(Mutation mutation) activateMutation
static void	deactivateMutation() deactivateMutation
static void	deactivateMutation(Mutation mutation) deactivateMutation
static void	mutationTouched(int mutationID) mutationTouched

Methods inherited from class java.lang.Object

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

Field Detail

activeMutation

public static int activeMutation

Constant activeMutation=-1

Constructor Detail

MutationObserver

public MutationObserver()

Method Detail

mutationTouched

public static void mutationTouched(int mutationID)

mutationTouched

Parameters:

mutationID - a int.

activateMutation

public static void activateMutation(Mutation mutation)

activateMutation

Parameters:

mutation - a Mutation object.

activateMutation

public static void activateMutation(int id)

activateMutation

Parameters:

id - a int.

deactivateMutation

public static void deactivateMutation()

deactivateMutation

deactivateMutation

public static void deactivateMutation(Mutation mutation)

deactivateMutation

Parameters:

mutation - a Mutation object.