35.7. Structures de contr�le

35.7.1.1. RETURN

RETURN expression;

RETURN accompagn� d'une expression termine la fonction et renvoie le valeur de l'expression � l'appelant. Cette forme est � utiliser avec des fonctions PL/pgSQL qui ne renvoient pas d'ensemble de valeurs.

Lorsqu'elle renvoie un type scalaire, n'importe quelle expression peut �tre utilis�e. Le r�sultat de l'expression sera automatiquement transtyp� vers le type de retour de la fonction, comme d�crit pour les assignations. Pour renvoyer une valeur composite (ligne), vous devez �crire une variable record ou ligne comme expression.

La valeur de retour d'une fonction ne peut pas �tre laiss�e ind�finie. Si le contr�le atteint la fin du bloc de premier niveau sans avoir rencontr� d'instruction RETURN une erreur d'ex�cution sera lanc�e.

Notez que si vous avez d�clar� la fonction comme renvoyant void, une instruction RETURN doit �tre quand m�me fournie ; l'expression suivant la commande RETURN est cependant optionnelle et sera ignor�e dans tous les cas.

35.7.1.2. RETURN NEXT

RETURN NEXT expression;

Lorsqu'une fonction PL/pgSQL est d�clar�e renvoyer SETOF type quelconque, la proc�dure � suivre est l�g�rement diff�rente. Dans ce cas, les �l�ments individuels � renvoyer sont sp�cifi�s dans les commandes RETURN NEXT, et ensuite une commande RETURN finale sans arguments est utilis�e pour indiquer que la fonction a termin� son ex�cution. RETURN NEXT peut �tre utilis� avec des types scalaires et des types composites de donn�es; dans ce dernier cas, une <<�table�>> enti�re de r�sultats sera renvoy�e.

Les fonctions qui utilisent RETURN NEXT devraient �tre appel�es d'apr�s le mod�le suivant :

SELECT * FROM une_fonction();

En fait, la fonction doit �tre utilis�e comme une table source dans une clause FROM.

RETURN NEXT n'effectue pas vraiment de renvoi; il sauvegarde simplement les valeurs des expressions. L'ex�cution continue alors avec la prochaine instruction dans la fonction PL/pgSQL. Lorsque des commandes RETURN NEXT successives sont renvoy�es, l'ensemble des r�sultats est �labor�. Un RETURN final, qui ne devrait pas avoir d'argument, provoque la sortie du contr�le de la fonction.

35.7.2.1. IF-THEN

IF expression-booleenne THEN
    instructions
END IF;

Les instructions IF-THEN sont la forme la plus simple de IF. Les instructions entre THEN et END IF seront ex�cut�es si la condition est vraie. Autrement, elles seront n�glig�es.

Exemple :

IF v_id_utilisateur <> 0 THEN
    UPDATE utilisateurs SET email = v_email WHERE id_utilisateur = v_id_utilisateur;
END IF;

35.7.2.2. IF-THEN-ELSE

IF expression-booleenne THEN
    instructions
ELSE
    instructions
END IF;

Les instructions IF-THEN-ELSE s'ajoutent au IF-THEN en vous permettant de sp�cifier un ensemble d'instructions alternatif � ex�cuter si la condition est �valu�e � false.

Exemples :

IF id_parent IS NULL OR id_parent = ''
THEN
    RETURN nom_complet;
ELSE
    RETURN hp_true_filename(id_parent) || '/' || nom_complet;
END IF;

IF v_nombre > 0 THEN 
    INSERT INTO nombre_utilisateurs (nombre) VALUES (v_nombre);
    RETURN 't';
ELSE
    RETURN 'f';
END IF;

35.7.2.3. IF-THEN-ELSE IF

Les instructions IF peuvent �tre imbriqu�es, comme dans l'exemple suivant :

IF demo_ligne.sexe = 'm' THEN
    joli_sexe := ''man'';
ELSE
    IF demo_ligne.sexe = 'f' THEN
        joli_sexe := 'woman';
    END IF;
END IF;

Lorsque vous utilisez cette forme, vous imbriquez une instruction IF dans la partie ELSE d'une instruction IF ext�rieure. Ainsi, vous avez besoin d'une instruction END IF pour chaque IF imbriqu� et une pour le IF-ELSE parent. Ceci fonctionne mais devient fastidieux quand il y a de nombreuses alternatives � traiter. Consid�rez alors la forme suivante.

35.7.2.4. IF-THEN-ELSIF-ELSE

IF expression-booleenne THEN
    instructions
[ ELSIF expression-booleenne THEN
    instructions
[ ELSIF expression-booleenne THEN
    instructions
    ...]]
[ ELSE
    instructions ]
END IF;

IF-THEN-ELSIF-ELSE fournit une m�thode plus pratique pour v�rifier de nombreuses alternatives en une instruction. Elle est �quivalente formellement aux commandes IF-THEN-ELSE-IF-THEN imbriqu�es, mais un seul END IF est n�cessaire.

Voici un exemple :

IF nombre = 0 THEN
    resultat := 'zero';
ELSIF nombre > 0 THEN 
    resultat := 'positif';
ELSIF nombre < 0 THEN
    resultat := 'negatif';
ELSE
    -- hmm, la seule possibilit� est que le nombre soit NULL
    resultat := 'NULL';
END IF;

35.7.2.5. IF-THEN-ELSEIF-ELSE

ELSEIF est un alias pour ELSIF.

35.7.3.1. LOOP

[<<label>>]
LOOP
    instructions
END LOOP;

LOOP d�finit une boucle inconditionnelle r�p�t�e ind�finiment jusqu'� ce qu'elle soit termin�e par une instruction EXIT ou RETURN. Le label optionnel peut �tre utilis� par les instructions EXIT dans le cas de boucles imbriqu�es pour d�finir quel niveau d'imbrication doit s'achever.

35.7.3.2. EXIT

EXIT [ label ] [ WHEN expression ];

Si aucun label n'est donn�, la boucle la plus imbriqu�e se termine et l'instruction suivant END LOOP est ex�cut�e ensuite. Si un label est donn�, ce doit �tre le label de la boucle, du bloc courant ou d'un niveau moins imbriqu�. La boucle ou le bloc nomm� se termine alors et le contr�le continue avec l'instruction situ�e apr�s le END de la boucle ou du bloc correspondant.

Si WHEN est pr�sent, la sortie de boucle ne s'effectue que si les conditions sp�cifi�es sont true, autrement le contr�le passe � l'instruction suivant le EXIT.

EXIT peut �tre utilis� pour causer un d�part rapide de tout type de boucles ; il n'est pas limit� en utilisation aux boucles sans condition.

Exemples :

LOOP
    -- quelques traitements
    IF nombre > 0 THEN
        EXIT;  -- sortie de boucle
    END IF;
END LOOP;

LOOP
    -- quelques traitements
    EXIT WHEN nombre > 0;
END LOOP;

BEGIN
    -- quelques traitements
    IF stocks > 100000 THEN
        EXIT;  -- cause la sortie (EXIT) du bloc BEGIN
    END IF;
END;

35.7.3.3. WHILE

[<<label>>]
WHILE expression LOOP
    instructions
END LOOP;

L'instruction WHILE r�p�te une s�quence d'instructions aussi longtemps que l'expression conditionnelle est �valu�e � vrai. La condition est v�rifi�e juste avant chaque entr�e dans le corps de la boucle.

Par exemple :

WHILE montant_possede > 0 AND balance_cadeau > 0 LOOP
    -- quelques traitements ici
END LOOP;

WHILE NOT expression_booleenne LOOP
    -- quelques traitements ici
END LOOP;

35.7.3.4. FOR (variante avec entier)

[<<label>>]
FOR nom IN [ REVERSE ] expression .. expression LOOP
    instruction
END LOOP;

Cette forme de FOR cr�e une boucle qui effectue une it�ration sur une plage de valeurs enti�res. La variable nom est automatiquement d�finie comme un type integer et n'existe que dans la boucle. Les deux expressions donnant les limites inf�rieures et sup�rieures de la plage sont �valu�es une fois en entrant dans la boucle. Le pas de l'it�ration est normalement de 1 mais vaut -1 quand REVERSE est sp�cifi�.

Quelques exemples de boucles FOR avec entiers :

FOR i IN 1..10 LOOP
    -- quelques calculs ici
    RAISE NOTICE 'i is %', i;
END LOOP;

FOR i IN REVERSE 10..1 LOOP
    -- quelques calculs ici
END LOOP;

Si la limite basse est plus grande que la limite haute (ou moins grande que, dans le cas du REVERSE case), le corps de la boucle n'est pas ex�cut� du tout. Aucune erreur n'est renvoy�e.