Automate d'évaluation — for ... to ... do

Statut documentaire : reference — voir Maturité et preuves.

La forme bornée est présente dans la grammaire FPL actuelle :

for variable := lower to upper do expression

Protocole

évaluer lower
  -> évaluer upper
  -> initialiser la liaison de boucle
  -> tester la borne
  -> évaluer le corps
  -> avancer la liaison
  -> reprendre au test
  -> terminer

Les bornes sont elles-mêmes des expressions. Leur évaluation précède l'itération.

Contexte

La variable de boucle appartient à l'environnement d'évaluation du protocole. Le corps peut donc utiliser les mêmes mécanismes de résolution, piles de valeurs et appels que les autres expressions FPLN.

Portée documentaire

Cette page décrit la sémantique de la construction et non l'identité de la classe interne qui l'exécute.