de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Class StateSpaceBoundedAbortStrategy

java.lang.Object

de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.StateSpaceBoundedAbortStrategy

All Implemented Interfaces:

AbortStrategy

public class StateSpaceBoundedAbortStrategy
extends Object
implements AbortStrategy

Implementation of an AbortStrategy that stops the state space generation whenever either the size of the state space or the size of the largest state in the state space exceeds a customized threshold.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
StateSpaceBoundedAbortStrategy(int maxStateSpaceSize, int maxStateSize) Initializes the thresholds for this strategy.

Method Summary

Modifier and Type	Method and Description
void	checkAbort(StateSpace stateSpace) Checks whether further states may be generated.

Methods inherited from class java.lang.Object

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

Constructor Detail

StateSpaceBoundedAbortStrategy

public StateSpaceBoundedAbortStrategy(int maxStateSpaceSize,
                                      int maxStateSize)

Initializes the thresholds for this strategy.

Parameters:

maxStateSpaceSize - The threshold for the maximal size of the state space.

maxStateSize - The threshold for the maximal size of states in the state space.

Method Detail

checkAbort

public void checkAbort(StateSpace stateSpace)
                throws StateSpaceGenerationAbortedException

Description copied from interface: AbortStrategy

Checks whether further states may be generated.

Specified by:

checkAbort in interface AbortStrategy

Parameters:

stateSpace - The StateSpace that has been generated so far.

Throws:

StateSpaceGenerationAbortedException