Definition boolscher Funktionen

Syntax

Die Syntax der Definition einer boolschen Funktion unterscheidet sich nur geringfügig von der Definition einer Prozedur. Statt Prozedurkopf, -name und -rumpf spricht man hier von Funktionskopf, -name und -rumpf.

Anstelle des Schlüsselwortes void bei der Definition einer Prozedur muss bei der Definition einer boolschen Funktion das Schlüsselwort boolean am Anfang des Funktionskopfes stehen. Außerdem können im Funktionsrumpf nun boolsche return-Anweisungen verwendet werden. Die folgenden Abbildungen zeigen die entsprechenden Syntaxdiagramme:

Ganz wichtig bei der Definition boolscher Funktionen ist jedoch die folgende Zusatzbedingung, die sich mit Hilfe von Syntaxdiagrammen nicht ausdrücken lässt und deshalb verbal ergänzt wird: In jedem möglichen Weg durch die Funktion bei ihrer Ausführung muss eine boolsche return-Anweisung auftreten. Der Wert, den der boolsche Ausdruck einer boolschen return-Anweisung liefert, ist der sogenannte Funktionswert der boolschen Funktion.

Semantik

Durch die Definition einer boolschen Funktion innerhalb eines Hamsterprogrammes wird ein neuer Testbefehl eingeführt, der über den Namen der Funktion aufgerufen werden kann.

» drucken: pdf | html