...
Figuren viser hvordan samme Counter-objekt går fra én tilstand (verdiene til counter og end) til en annen, når getCounter- og count-operasjonene utføres. Hver boks er altså det samme objekt i ulike tilstander og pilene angir hvilket kall som leder til samme eller neste tilstand. Kallene til getCounter endrer ikke noen verdier, så derfor leder den de til samme tilstand. Kallene til count, derimot, endrer telleren (counter) inntil den når slutt-verdien og gir en (heldigvis endelig) kjede med tilstander (se fotnote 1).
...