Testing Counter
nClass specifications:
public
class Counter
A simple integer counter.
npublic Counter ()
Create a new Counter initialized to 0.
npublic
int count
()
The current count.
n ensure:
this.count() >= 0
public
void reset
()
n Reset this Counter to 0.
public
void increment
()
n Increment the count by 1.
public
void decrement
()
Decrement the count by 1. If the
count is 0, it
is not decremented.