Предположим, у меня есть следующий класс:
public class Player {
private Board board;
private int roundsPlayed = 0;
public void play() {
while (board.isAvailable() && roundsPlayed < 10) {
// playing on the board
roundsPlayed++;
}
}
}
Каково условие Pre/Post метода play()
моего Player
?
Мой ответ для предварительного условия будет сосредоточен вокруг переменной roundsPlayed
,
Однако мне интересно, должно ли мое предварительное/последующее условие включать тот факт, что я использую Board
и, возможно, его переменные в моем методе
Должны ли мои предварительные/последующие условия учитывать Board
в моем ответе?