SWE 619 Assignment 6
Fall 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.

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