CS/SWE 332 Assignment 7
Due Wednesday, October 18, 2017


Goal: Type Abstraction

Liskov 7.11.

Instead of building an IntBag, complete the implementation of a generic version Bag.java and compare it to this generic version of IntSet: LiskovGenericSet.java.

Note that the rep has been chosen for you. Your code should be pretty simple. It won't be quite as simple as the set version, but it will be close. You should also implement repOk().

To answer Liskov's question about subtype relationships, find a relevant "Properties" rule. Your should code this up as an appropriate JUnit test.

Make it very easy for the GTA to understand your analysis of the subtyping question.

I expect to see a robust discussion on Piazza about a relevant property.