Bine ai venit

Instrucţiunile unui program sînt executate secvenţial, aşa cum apar scrise în textul programului. Instrucţiunea de transfer necondiţionat oferă posibilitatea de a întrerupe această secvenţă şi a relua execuţia dintr-un alt Ioc al textului (vezi anexa 2, definiţia 2.23.p).

Această instrucţiune are forma:

goto e

unde e este o etichetă declarată prin labei. Declararea prin labei a etichetei e este obligatorie. Domeniul de valabilitate al unei astfel de declaraţii este precizat în 4.4.3.2.

Execuţia instrucţiunii goto e are ca efect transferul controlului la instrucţiunea prefixată de e (există o singură instrucţiune de acest fel).

Instrucţiunea goto e şi instrucţiunea marcată cu e trebuie să îndeplinească una din condiţiile următoare:

1)     instrucţiunea prefixată cu e conţine instrucţiunea goto e;

2. instrucţiunea prefixată cu e face parte dintr-o secvenţă de instrucţiuni s, iar instrucţiunea goto e este una, sau este conţinută în una dintre instrucţiunile lui s (secvenţe de instrucţiuni apar doar în instrucţiunea compusă begin... and sau în instrucţiunea zepeat. . , until);
3. instrucţiunea prefixată cu e face parte din secvenţa de instrucţiuni din instrucţiunea compusă begin... and a unui bloc B, iar instrucţiunea goto e apare într-o funcţie/procedură definită în partea de declaraţii a blocului B (prin bloc se înţelege un program / funcţie / procedură).