...
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 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).
...
- Det står under Figur 2 at ett kall til count(2) har samme effekt som to kall til count(1), men dette er strengt tatt ikke riktig i alle tilfeller, hvorfor ikke?
- Anta at det finnes en metode kalt setEnd(int) som lar en endre slutt-verdien. Hvordan vil dette påvirke diagrammene som illustrerer oppførselen til Counter-objekterHva synes du bør skje hvis slutt-verdien settes lavere enn telleren?
...
1) For så enkel oppførsel som denne går det greit å lage et komplett diagram, men generelt kan det bli veldig mange tilstander (noen ganger uendelig) og veldig mange kombinasjoner/rekkefølger av kall. Derfor er et slikt diagram greit som illustrasjon på et eksempel, men ikke som en komplett beskrivelse av oppførklsen.