Goal:
Abstraction Functions and Rep-Invariants.
Provide an abstraction function and rep-invariant
for the (mutable) Stack
example from assignment 4.
toString()
)
and the representation invariant (as repOk()
).
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
to repOk()
from a JUnit test.
To help out the GTA,
you should document your fault with an easily identifiable comment in your code.