Player
Specifications
n
public
Player (String name)
n
Create a new
Player
with the specified name.
n
require
:
name
!= null
n
ensure
:
this
.
name()
==
name
n
n
public
String name ()
n
This
Player
’s name.
