Modifier l’ordre d’exécution des instructions : label goto

9.4.26 Modifier l’ordre d’exécution des instructions : label goto

label permet de repérer une instruction dans un programme par un nom de variable.
goto permet de modifier l’ordre d’exécution des instructions, en exécutant les instructions du programme à partir d’une instruction repérée par un label.
label a comme arguments, une suite de caractères : par exemple label(truc) ou label(1).
goto a comme arguments un nom de label: par exemple goto(truc) ou goto(1).
On tape :

essai(eps):={
local s,j;
s:=0;
j:=0;
label(truc);
j:=j+1;
s:=s+1/j;
if (1/j>=eps) goto(truc);
print(s);
return 0;
}

puis :

essai(0.2)

On obtient :

s:137/60 écrit en bleu, puis 0 comme réponse