LEAVE

Destination

Sortir du cycle.

Disponible en

PSQL

Syntaxe
[label:]
<loop_stmt>
BEGIN
  ...
  LEAVE [label];
  ...
END

<loop_stmt> ::=
    FOR <select_stmt> INTO <var_list>  DO
  | FOR EXECUTE STATEMENT ... INTO <var_list> DO
  | WHILE (<condition>) DO
Table 1. Paramètres de l'instruction LEAVE
ParamètreDescription

label

Étiquette.

select_stmt

Instruction SELECT.

condition

Une condition logique renvoyant VRAI, FAUX ou INCONNU.

L'instruction LEAVE termine immédiatement la boucle interne des instructions WHILE ou FOR. En utilisant le paramètre optionnel label, LEAVE peut également quitter la boucle externe, c'est-à-dire la boucle marquée par `. Le code continue à s'exécuter à partir de la première instruction après le bloc de boucle terminé.