Zusätzlich zu der Bedingung 'loop-exit' kann eine Schleife angeben, ob die Bedingung vor dem Ausführen der Schleife (eine While-Schleife) oder am Ende einer Scheifenausführung (eine Do-While-Schleife) getestet werden soll. Es kann sein, dass eine While-Schleife die Aktivitäten in der Schleife niemals ausführt und zur Aktivität springt, die nach der Schleife kommt, wenn die exit-Bedingung am Beginn der Schleife erfüllt wird. Eine Do-While-Schleife hingegen führt die Aktivitäten in der Schleife mindestens einmal aus.