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

Class NoAbortStrategy

java.lang.Object

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

All Implemented Interfaces:

AbortStrategy

public class NoAbortStrategy
extends Object
implements AbortStrategy

Constructor Summary

Constructors

Constructor and Description
NoAbortStrategy()

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

NoAbortStrategy

public NoAbortStrategy()

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