Lab 3 instructions

1. Video for Exercise 1 -- Using the across Constructs on Iterable Objects
2. Video for Exercise 2 -- Making the Cart of Orders Iterable
3. Video for Exercise 3 -- Making the Generic Book Iterable

Lab 2 instructions

1. Video for Exercise 1 -- A Book of Any vs. A Generic Book (supplement document)
   • 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.
2. Video for Exercise 2 -- Applying Information Hiding to an Online Shopping System (supplement document)
   • After following the video, you are asked to complete the contracts, implementations, and tests for both GOOD_CART and GOOD_SHOP classes.
   • You are also asked to try with both of the possible implementations (i.e., an ARRAY, a LINKED_LIST) for representing the cart orders.

1. Exercise 1
   • Follow closely with:
     1. this tutorial series
     2. this document
     3. slides
2. 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.