LEAVE
Sortir du cycle.
PSQL
[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
| Paramètre | Description | 
|---|---|
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é.