Semantik der while-Anweisung

Hier ist noch einmal die while-Anweisung:

while ( Bedingung )
    Schleifenkörper            // eine Anweisung oder Blockanweisung

Anweisung nach der Schleife

Einige Hinweise zur Semantik:

• Wenn die Ausführung while erreicht, bestimmt die Bedingung, ob der Schleifenkörper ausgeführt wird.
• Wenn die Bedingung wahr ist, wird der Schleifenkörper ausgeführt. Nachdem der Schleifenkörper ausgeführt wurde, wird die Ausführung zum while zurückgeschickt und die Bedingung wird erneut ausgewertet.
• Wenn die Bedingung falsch ist, wird der Schleifenkörper übersprungen. Die Ausführung wird zu der Anweisung geschickt, die auf den Schleifenkörper folgt.
• Sobald die Ausführung zu der Anweisung nach der Schleife gekommen ist, ist die while-Anweisung beendet, zumindest für jetzt.
• Wenn die Bedingung schon beim ersten Mal falsch ist, wird der Schleifenkörper kein einziges Mal ausgeführt.

Hier ist die while-Schleife des Beispielprogramms:

int zaehler = 1;                                  // zaehler mit eins initialisieren
while ( zaehler <= 3)                             // mache solange zaehler  <= 3
{
  System.out.println( "Zaehler ist:" + zaehler );
  zaehler = zaehler + 1;                          // zaehler um eins erhöhen
}
System.out.println( "Schleife beendet" );         // Anweisung nach der Schleife

Diese Schleife verwendet die Variable zaehler. Sie beginnt mit 1 und wird dann um eins erhöht bis die Bedingung falsch ist. Danach wird die Anweisung nach der Schleife ausgeführt.