P2 Stack Examples

See chapters 2 and 3. We specify a StackInterface and several classes that implement this interface. Each implementation checks the contract that it should provide to clients by explicitly checking preconditions to methods. In some cases, additional method post-conditions and class invariants are checked.

Last modified: 2000-02-21