前提条件とクラス封じ込め

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年代play()方法の事前/事後条件は何ですか？

前提条件のための私の答えは roundsPlayed変数を中心にされるだろう

、私は私のプリ/ポスト条件は私がBoard、おそらくその変数を使用していたという事実を含めるべきかどうか迷ってるしかし

私の方法

私の前/後の状態は私の答えにBoardを考慮する必要がありますか？

Answer 1

はい、boardがnullではないという前提条件があります。