Abstraction Functions and Rep-Invariants.
Provide an abstraction function and rep-invariant for the
Stack example from assignment 4.
toString()) and the representation invariant (as
Your fault should be a "missing code" fault. In other words, you should introduce your fault be deleting some code in your (correct) implementation.
Demonstrate that your faulty code is, indeed, faulty with a call
repOk() from a JUnit test.
To help out the GTA,
you should document your fault with an easily identifiable comment in your code.