SMALLTALK K1ex127-.45ex51275ahler/Bothner

15.1 Prüfung von Direktverbindungen 307
Insgesamt können wir die Lösung von PROB-11 wie folgt beschreiben:
verbindungIter:
Bilde den Nachfolger−Sammler, der nur den Abfahrtsort enthält
verbindung:iter:
verbindung:iter:
Ordne "erfolg" die Pseudovariable "false" zu
Solange der Nachfolger−Sammler nicht leer und "erfolg"
"false" zugeordnet ist
Ankunftsort ist im Nachfolger−Sammler
true enthalten?
Ordne "erfolg"
"true" zu
alleNachfolger:
"erfolg" zugeordnetes Objekt ist "true"?
true
"IC−Verb existiert"
"keine IC−Verb"
false
false
alleNachfolger:
Ersetze sämtliche Objekte des aktuellen Nachfolger−Sammlers
durch ihre direkten Nachfolger
Abbildung 15.5: Struktogramme zur Lösung von PROB-11
ˆ Zur besseren Darstellung leiten wir jedes Struktogramm mit einer Überschrift
ein, die mit dem Selektor derjenigen Methode übereinstimmt, mit der der
durch das Struktogramm beschriebene Ablauf zur Ausführung gelangen soll.
ˆ Ferner tragen wir in einem Struktogramm an der Stelle, an der eine Methode
ausgeführt werden soll, einen Strukturblock ein, der den jeweiligen Methoden-
Selektor mit einer rechteckigen Umrahmung enthält.
Bei der Prüfung, ob z.B. eine IC-Verbindung von “Ham” nach “Mue” existiert, ist
somit folgendermaßen vorzugehen:
Abfahrtsort:
Ham
Nachfolger-Sammler:
(Ham)
Nachfolger-Sammler: (Koe Ful Ber)
Nachfolger-Sammler: (Kar Mai Mue Dre)
Der erste Nachfolger-Sammler wird aus “Ham” und der zweite Nachfolger-Sammler
aus den direkten Nachfolgern des Abfahrtsortes “Ham” aufgebaut. Der dritte Nachfolger-Sammler
wird dadurch erhalten, daß die Station “Koe” durch ihre direkten
Nachfolger “Kar” und “Mai”, die Station “Ful” durch ihren direkten Nachfolger
“Mue” und die Station “Ber” durch ihren direkten Nachfolger “Dre” ersetzt wird.
Der Ankunftsort “Mue” ist bereits in diesem Nachfolger-Sammler als Objekt enthalten,
so daß der Suchprozeß in dieser Situation erfolgreich beendet wird.