Demo: Sample code for handling mouse events. See also postIt example from last lecture.
Ratio: Sample code using preconditions, postconditions, and Java assert statement.