前提条件和类遏制

Question

假设我有以下课程：

at

public class Player { private Board board; private int roundsPlayed = 0; public void play() { while (board.isAvailable() && roundsPlayed < 10) { // playing on the board roundsPlayed++; } } } Player方法的前/后条件是什么？

我对前置条件的回答将以play()变量

为中心

但是，我想知道我的前/后条件是否应该包含我在我的方法中使用roundsPlayed及其变量的事实

我的前/后条件是否应该在我的回答中考虑Board？

Answer 1

是的，您有一个board不是null的前提条件。