SWE 619 Quiz Guide 6
Spring 2013


Type abstraction is the focus of Quiz 6. In addition to the basic Java mechanisms for implementing type abstraction, you should understand section 7.9, particularly the "signature" rule, the role of preconditions and postconditions in the "methods" rule, and simple applications of the "properties" rule. You should be prepared to analyze example specifications for overridden methods.

Material from Bloch 6 (enums and annotations) is also fair game for the quiz.