GameManager specifications (cont.)
npublic boolean gameOver()
n The game is over.
n
npublic Player winner ()
n The winning Player; returns null if the game is not over.
n ensure:if this.gameOver()
n    this.winner() != 
n this.previousPlayer()
n