Player Specifications (cont.)
public void setName (String name)
Change this Player’s
name.
require:name != null
ensure:this.name() == name
public int numberTaken ()
Number of
sticks taken on this Player’s most recent
turn.
ensure:4 > this.numberTaken() >= 0
if Player has not
yet had a turn, this.numberTaken == 0