GameManager specifications
(cont.)
public void setPileSize (int number)
Set the
number of sticks in the pile.
require:number >= 0
ensure:this.sticksLeft() == number
public void setNextPlayer (Player player)
Set which Player takes
the next turn.
require:player == one of the Players
provided as constructor arguments.
ensure:this.nextPlayer() == player