En plus de la condition de sortie de boucle (loop-exit), une boucle indique également si la condition doit être testée avant l'exécution de la boucle (boucle while) ou à la fin de l'exécution d'une boucle (boucle do while). Une boucle while ne peut jamais exécuter les activités dans la boucle et passer à l'activité qui suit la boucle si la condition de sortie est remplie au début de la boucle, alors qu'une boucle do while exécutera les activités dans la boucle au moins une fois.