Предварительное условие и содержание класса

Question

Предположим, у меня есть следующий класс:

public class Player {
private Board board;
private int roundsPlayed = 0;

public void play() {
    while (board.isAvailable() && roundsPlayed < 10) {
        // playing on the board
        roundsPlayed++;
    }
}
}

Что такое состояние до / после моего Player"s play() метод?

Мой ответ на предварительное условие будет сосредоточен вокруг roundsPlayed переменная,

Однако мне интересно, должно ли мое пред / пост-условие включать тот факт, что я использую Board и, вероятно, его переменные в моем методе

Должно ли мое условие до / после учитывать Board в моем ответе?

Answer 1

Да, у вас есть предварительное условие, что board не является null,