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
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é.