Explorer
class
n
Constructor:
u
require:
F
hitStrength >= 0
F
stamina >= 0
u
ensure:
F
this
.name() == name
F
this
.location() == location
F
this.
strength() == strength
F
this
.stamina() == stamina