O comando Goto

O comando goto permite o desvio do fluxo de execução do programa. Veja o exemplo abaixo :

<>
Ada.Text_IO.Put(“Especifique o primeiro valor”);
Ada.Integer_Text_IO.Get(A);
Ada.Text_IO.Put(“Especifique último valor”);
Ada.Integer_Text_IO.Get(B);

If A <> B then
Goto De_Novo;
End if;

O comando Goto De_Novo; especifica que o próximo comando a ser executado será aquele que segue a definição do rótulo De_Novo;

O trecho de código acima poderia ser substituído pelo código abaixo:

loop

Ada.Text_IO.Put(“Especifique o primeiro valor”);
Ada.Integer_Text_IO.Get(A);
Ada.Text_IO.Put(“Especifique último valor”);
Ada.Integer_Text_IO.Get(B);

exit when not (A <> B);