Demo: Sample code for handling mouse events. See also postIt example from last lecture.

Ratio: Sample code using preconditions, postconditions, and Java assert statement.