// the direct successor may be the same state - for self transitions
if(m_oTestCaseRunnerState.getStateConfigurationHistory().size() < 3)
return false;
// only compare to the newest added state
StateConfiguration oNewStateConfiguration =
m_oTestCaseRunnerState.getStateConfigurationHistory().get(
m_oTestCaseRunnerState.getStateConfigurationHistory().size() - 1);
for(int n = 1; n < m_oTestCaseRunnerState.getStateConfigurationHistory().size() - 1; ++n) {
StateConfiguration oCurrentStateConfiguration =
m_oTestCaseRunnerState.getStateConfigurationHistory().get(n);
// runtime states equal?
if(oCurrentStateConfiguration.isSubConfigurationOf(oNewStateConfiguration)) {
return true;
}
}
// found no matching state in history
return false;