Déclaration de fonctions

Dans une déclaration de fonction on distingue: l'entête de la fonction (son nom et ses paramètres), et son corps.

function succeseur(x:integer) return integer is
begin
   return(x+1);
end succeseur;

L'entête d'une fonction est composée de:

• Le mot-clé function,

• un identificateur qui donne son nom à la fonction (ici succeseur),

• une liste de spécifications de paramètres ou arguments formels, séparées par des virgules et entourées de parenthèses (ici (x:integer)). Il s'agit des noms génériques et des types donnés à chacune des entrées de la fonction,

• après le mot-clé return, le type déclaré pour le résultat rendu par la fonction (ici return integer).
  

La déclaration du corps d'une fonction décrit:

• les déclarations locales à la fonction,

• la séquence d'instructions à exécuter lors d'un appel, entourée des mots clés begin .. end nom_function, où le end est suivi du nom de la fonction,

• au moins une instruction return, permettant de désigner la valeur renvoyée en résultat par la fonction ( succeseur renvoie en résultat son argument incrémenté de 1, return (x+1)).
  

Les paramètres formels:

• Ce sont les noms génériques donnés aux entrées futures de la fonction. Ils servent à désigner, dans le corps, les actions à réaliser sur les entrées.

• Chaque paramètre formel introduit une liaison locale à la fonction, pour l'identificateur du paramètre avec le type déclaré, mais sans valeur liée.

• À l'intérieur de la fonction, un paramètre formel ne peut être utilisé qu'avec le type spécifié pour lui.

• La valeur d'un paramètre formel sera donnée lors d'un appel à la fonction, par le paramètre effectif qui lui correspond.