To create a Stack instance and validate the assertions defined, you need to implement the Stack interface. Listing 2 shows Java class StackImpl, which implements the Stack interface.

As I will explain in Part 2 of this series, assertions help implement correct programs. Assertions were actually part of Oak, an early version of Java, but were jettisoned in a final push to get ...