Grundlagen der Informatik I “Programmierung”

Unqualified call ::= Identifier [ ( [ Actuals ] ) ]
Actuals ::= Actual [ , Actuals ]
Actual ::= Expression | $ Identifier
Call ::= [ ( Expression ) . ] Call chain
Call chain ::= Unqualified call [ .Call chain ]
Conditional ::= if Then part list [ Else part ] end
Then part list ::= Then part [ elseif Then part list ]
Then part ::= Expression then Compound
Else part ::= else Compound
Multi branch ::= inspect Expression
[ When part list ]
[ Else part ]
end
When part list ::= when Whenpart [ When part list ]
When part ::= Choices then Compound
Choices ::= Choice [ , Choices ]
Choice ::= Manifest constant
| Identifier
| Integer constant .. Integer constant
| Character constant .. Character constant
Loop ::= from Compound
[ invariant [ Assertions ] ]
[ variant [ Identifier : ] Integer expression ]
until Expression
loop Compound
end
Debug ::= debug Compound end
4.4 Ausdrücke: Grundbausteine von Eiffel-Programmen
In jeder modernen Programmiersprache wird die Berechnung von numerischen Werten unterstützt und die
Auswertung einfacher (Boolescher) logischer Formeln bereitgestellt. Da das eigentliche Rechnen fast ausschließlich
in der Auswertung arithmetischer und Boolescher Ausdrücke besteht, bilden Ausdrücke (expressions) die
Grundbausteine aller Programmierung. 40 Im wesentlichen wird für die Bildung von Ausdrücken auf allgemein
übliche Notationen zurückgegriffen und die meisten Ausdrücke sind eigentlich selbsterklärend. Die einzige
Einschränkung besteht darin, daß man sich auf den Zeichensatz, der auf der Computertastatur zur Verfügung
steht, beschränken muß und daß jeder Ausdruck in einer (beliebig langen) Zeile niedergeschrieben werden
können muß.
Daraus ergibt sich, daß boolesche Junktoren wie ∧, ∨, ⇒ und ¬ durch Schlüsselworte and, or, implies
und not ersetzt werden müssen, Vergleichsoperatoren wie ≥, ≤, = durch Doppelsymbole = und /=
und Funktionen wie √ durch einen Namen (sqrt. Da Bruchstriche nicht erkannt werden, muß eine Division
Fracab durch einen Schrägstrich getrennt nebeneinander geschrieben werden: a/b. Ähnliches gilt für Exponenten.
Statt x 3 müssen wir xˆ3 schreiben. Damit dies nicht zur Verwirrung führt, spielen Klammern und
Prioritätenregelungen (“Punktrechnung geht vor Strichrechnung” etc.) eine große Rolle.
40 Funktionale Programmiersprachen benutzen sogar fast ausschließlich Ausdrücke, um Algorithmen zu beschreiben. Anstelle
von Schleifen werden rekursive Funktionsaufrufe benutzt, bedingte Anweisungen haben als Gegenstück bedingte Ausdrücke und
Folgen von Anweisungen die Komposition von Funktionen.