CS/SWE 332 Quiz Guide 2
Quiz 2 will focus on the contract model for exception handling,
as well as Bloch's discussion of exception handling.
Given a partial specification, you should be able to
produce a total specification (or, possibly, a "less partial" specification)
by converting preconditions to appropriate exception handling.