GameManager specifications (cont.)
npublic int sticksTaken ()
n The number of sticks taken on the last play.
n ensure:this.sticksTaken() >= 0
n
npublic Player nextPlayer ()
n The Player whose turn is next.
n
npublic Player previousPlayer ()
n The Player who last played; returns null if no play has been made yet.
n
n