PDF-Datei (ca. 1 MByte)

12.3. ENTWURF 145
void erklimme_den_berg()
{
}
Wenden wir uns nun dem Losen der beiden Teilprobleme zu. Beim ersten Teilproblem ist dies
nicht besonders schwierig. Solange wie sich vor ihm keine Mauer be ndet, soll der Hamster ein
feld nach vorne hupfen, am Fu e des Berges legt er ein Korn ab:
// der Hamster soll zum Berg laufen
void laufe_zum_berg()
{
while (vorn_frei())
{
vor();
}
gib(); // am Fusse des Berges legt der Hamster ein Korn ab
}
Die Losung des zweiten Teilproblems ist noch nicht ganz so einfach zu ermitteln. Also nutzen wir
das Prinzip der Verfeinerung erneut { daher der Begri Schrittweise Verfeinerung. Zunachst
stellen wir fest, da die Hohe des Berges nicht festgelegt, also prinzipiell beliebig ist. Diese
Feststellung deutet darauf hin, da der Einsatz einer Wiederholungsanweisung notwendig ist.
Innerhalb dieser Wiederholungsanweisung soll der Hamster jedes Mal eine Stufe erklimmen. Die
Wiederholungsanweisung endet, sobald der Hamster den Gipfel erreicht hat. Wir notieren: " Der
Hamster soll jeweils eine Stufe erklimmen, solange wie er den Gipfel noch nicht erreicht hat.\
Ubertragen wir diese Losungsidee nun in entsprechende Sprachkonstrukte der Programmierung.
Fur die Anweisung " Der Hamster soll eine Stufe erklimmen\ de nieren wir eine weitere Prozedur,
fur die Bedingung " ist der Gipfel erreicht\ eine boolesche Funktion:
// der Hamster soll den Berg erklimmen
void erklimme_den_berg()
{
do
{
erklimme_eine_stufe();
} while (!gipfel_erreicht());
}
// der Hamster soll eine Stufe erklimmen
void erklimme_eine_stufe()
{
}
// hat der Hamster den Gipfel erreicht?
boolean gipfel_erreicht()
{
}