• 0. Introduction
• 1. Diagramme syntaxique
• 2. Sous­programmes mutuellement récursifs

La déclaration d'un sous-programme comprend l'en­tête du sous-programme et le corps du sous-programme.

partie déclaration de procédures et de fonctions :
en-tête :
où identificateur de type ne peut pas désigner un type structuré en PASCAL standard ( Turbo-PASCAL autorise également les types string).
Le mot réservé procedure ou function doit être répété pour chaque déclaration de procédure ou de fonction (contrairement aux étiquettes, types et variables).

• Lorsqu'un paramètre est déclaré á l'aide du mot­clé var, cela signifie "passage de paramètre par adresse". Sinon, on parle de "passage par valeur". La signification de ces termes est donnée en Ch 11.2
• Le type d'un paramètre ne peut pas être une expression de type (cfr Ch 4 et Ch 11).
• L'usage des tableaux homologues est introduit en Ch 11.2.4.3. Cet usage n'est pas autorisé en Turbo-PASCAL
• La notion de bloc est introduite au paragraphe 2 de l'Introduction.
• L'usage d'un en­tête de sous­programme dans la liste des paramètres est introduit en Ch 12.4. Cet usage n'est pas autorisé en Turbo-PASCAL

Tout sous­programme doit être déclaré avant d'être utilisé. Pour des sous­programmes mutuellement récursifs, c'est­á­dire pour des programmes qui s'appellent l'un l'autre (cfr Ch 14), il est impossible que la déclaration de chacun d'entre eux apparaisse avant l'appel. Ce problème est résolu par l'usage d'une directive forward (une directive fournit une indication au compilateur).

La déclaration de la procédure est scindée en deux parties : une annonce qui doit apparaître avant le premier appel du sous-programme et la déclaration annoncée. Dans la déclaration annoncée, les paramètres du sous­programme ne figurent pas; ils apparaissent seulement dans l'annonce.

annonce :
déclaration annoncée :

Exemple

    ...
    procedure P1 (x : integer); forward; {annonce}

    function  P2 (y : real) : Boolean;
    ...
    begin
        ...
        P1(3);
        ...
    end;


    procedure P1; {déclaration annoncée : pas de liste de paramètres}
    ...
    var a : real;
    ...
    begin
        ...
        if P2(a) then ...
        ...
    end;
    ...