Lab 2 instructions

1. Tutorial Video for Exercise 1 -- A Book of Any vs. A Generic Book
   • After following the video, you are asked to complete the contracts, implementations, and tests for both BOOK and GENERIC_BOOK classes.
   • You are also asked to try with all the four possible implementations (i.e., two ARRAY's, two LINKED_LIST's, a HASH_TABLE, and a collection of RECORD) for the mappings between names and records.

Exercise 1 (follow closely with this tutorial series, this document, and the slides).

Exercise 2:

• Download and unzip a version of the bank project.
• Compile the project.
• Run Workbench System (described above)
• All tests should fail!
• This is because the implementation and contracts (pre- and post-condition, and invariants) are missing.
• Complete all the missing implementations and contracts.
• Use breakpoints and the debugger to identify the bugs, if any.
• Repeat until you can pass all tests.