AbstractPhaseScope phaseScopeA = mock(AbstractPhaseScope.class);
when(phaseScopeA.getSolverScope()).thenReturn(solverScope);
moveSelector.phaseStarted(phaseScopeA);
AbstractStepScope stepScopeA1 = mock(AbstractStepScope.class);
when(stepScopeA1.getPhaseScope()).thenReturn(phaseScopeA);
moveSelector.stepStarted(stepScopeA1);
assertAllCodesOfMoveSelector(moveSelector,
"a<->x", "a<->y", "a<->z", "b<->x", "b<->y", "b<->z",
"c<->x", "c<->y", "c<->z", "d<->x", "d<->y", "d<->z");
moveSelector.stepEnded(stepScopeA1);
AbstractStepScope stepScopeA2 = mock(AbstractStepScope.class);
when(stepScopeA2.getPhaseScope()).thenReturn(phaseScopeA);
moveSelector.stepStarted(stepScopeA2);
assertAllCodesOfMoveSelector(moveSelector,
"a<->x", "a<->y", "a<->z", "b<->x", "b<->y", "b<->z",
"c<->x", "c<->y", "c<->z", "d<->x", "d<->y", "d<->z");
moveSelector.stepEnded(stepScopeA2);
moveSelector.phaseEnded(phaseScopeA);
AbstractPhaseScope phaseScopeB = mock(AbstractPhaseScope.class);
when(phaseScopeB.getSolverScope()).thenReturn(solverScope);
moveSelector.phaseStarted(phaseScopeB);
AbstractStepScope stepScopeB1 = mock(AbstractStepScope.class);
when(stepScopeB1.getPhaseScope()).thenReturn(phaseScopeB);
moveSelector.stepStarted(stepScopeB1);
assertAllCodesOfMoveSelector(moveSelector,
"a<->x", "a<->y", "a<->z", "b<->x", "b<->y", "b<->z",
"c<->x", "c<->y", "c<->z", "d<->x", "d<->y", "d<->z");
moveSelector.stepEnded(stepScopeB1);
AbstractStepScope stepScopeB2 = mock(AbstractStepScope.class);
when(stepScopeB2.getPhaseScope()).thenReturn(phaseScopeB);
moveSelector.stepStarted(stepScopeB2);
assertAllCodesOfMoveSelector(moveSelector,
"a<->x", "a<->y", "a<->z", "b<->x", "b<->y", "b<->z",
"c<->x", "c<->y", "c<->z", "d<->x", "d<->y", "d<->z");
moveSelector.stepEnded(stepScopeB2);
AbstractStepScope stepScopeB3 = mock(AbstractStepScope.class);
when(stepScopeB3.getPhaseScope()).thenReturn(phaseScopeB);
moveSelector.stepStarted(stepScopeB3);
assertAllCodesOfMoveSelector(moveSelector,
"a<->x", "a<->y", "a<->z", "b<->x", "b<->y", "b<->z",
"c<->x", "c<->y", "c<->z", "d<->x", "d<->y", "d<->z");
moveSelector.stepEnded(stepScopeB3);