org.evosuite.coverage.mutation

Class MutationTimeoutStoppingCondition

java.lang.Object

org.evosuite.ga.stoppingconditions.StoppingConditionImpl

org.evosuite.coverage.mutation.MutationTimeoutStoppingCondition

All Implemented Interfaces:

Serializable, SearchListener, StoppingCondition

public class MutationTimeoutStoppingCondition
extends StoppingConditionImpl

MutationTimeoutStoppingCondition class.

Author:

Gordon Fraser

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static Map<Mutation,Integer>	timeouts

Constructor Summary

Constructors

Constructor and Description
MutationTimeoutStoppingCondition()

Method Summary

Modifier and Type	Method and Description
void	forceCurrentValue(long value) Force a specific amount of used up budget.
long	getCurrentValue() How much of the budget have we used up
long	getLimit() Get upper limit of resources Mainly used for toString()
static boolean	isDisabled(Mutation mutation) isDisabled
boolean	isFinished() isFinished
static void	raisedException(Mutation mutation) raisedException
void	reset() Reset everything
static void	resetStatic()
void	setLimit(long limit) Set new upper limit of resources
static void	timeOut(Mutation mutation) timeOut

Methods inherited from class org.evosuite.ga.stoppingconditions.StoppingConditionImpl

fitnessEvaluation, getType, getValueString, iteration, modification, searchFinished, searchStarted, toString

Methods inherited from class java.lang.Object

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

Field Detail

timeouts

public static Map<Mutation,Integer> timeouts

Constructor Detail

MutationTimeoutStoppingCondition

public MutationTimeoutStoppingCondition()

Method Detail

isDisabled

public static boolean isDisabled(Mutation mutation)

isDisabled

Parameters:

mutation - a Mutation object.

Returns:

a boolean.

getCurrentValue

public long getCurrentValue()

How much of the budget have we used up

Returns:

a long.

isFinished

public boolean isFinished()

isFinished

Returns:

a boolean.

reset

public void reset()

Reset everything

setLimit

public void setLimit(long limit)

Set new upper limit of resources

Parameters:

limit - a long.

getLimit

public long getLimit()

Get upper limit of resources Mainly used for toString()

Returns:

limit

timeOut

public static void timeOut(Mutation mutation)

timeOut

Parameters:

mutation - a Mutation object.

raisedException

public static void raisedException(Mutation mutation)

raisedException

Parameters:

mutation - a Mutation object.

forceCurrentValue

public void forceCurrentValue(long value)

Force a specific amount of used up budget. Handle with care!

Parameters:

value - The new amount of used up budget for this StoppingCondition

resetStatic

public static void resetStatic()