de.rwth.i2.attestor.stateSpaceGeneration

Interface FinalStateStrategy

All Known Implementing Classes:

NoSuccessorFinalStateStrategy, TerminalStatementFinalStateStrategy, TraceBasedFinalStateStrategy

public interface FinalStateStrategy

Method Summary

Modifier and Type	Method and Description
boolean	isFinalState(ProgramState state, Collection<ProgramState> successorStates, SemanticsCommand semanticsCommand) Checks whether the given state is a final state

Method Detail

isFinalState

boolean isFinalState(ProgramState state,
                     Collection<ProgramState> successorStates,
                     SemanticsCommand semanticsCommand)

Checks whether the given state is a final state

Parameters:

state - The state to check

successorStates - The successor states when executing one further step

semanticsCommand - The statement that is executed for the given state

Returns:

True if state should be marked as a final state.