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

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

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 в моем ответе?


person shaqed    schedule 19.01.2017    source источник


Ответы (1)


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

person Gili    schedule 06.04.2017