Reading material

The course webpages. If you have questions or comments about the webpages, send the instructor email or go to his office hours (preferably before Monday May 13 when the course outline will be finalized).

Page 109 and 110 (section on loop invariants)

Additional material

Exceptions Code conventions ccc is a tool that checks some of the above mentioned code conventions. See the manual page of ccc for more details. See also Java code conventions.

Java documentation comments

Question

What is the main difference between assertions (like York.assert(...)) and exceptions?