Dans la déclaration d'une procédure on distingue:
l'entête de la procédure [angl. procedure heading] qui annonce au (sous-) programme appelant quel va être le prototype de la procédure, c'est-à-dire, (1) son nom, permettant de l'identifier, et (2) des paramètres éventuels utilisés par les instructions de la procédure.
le corps de la procédure [angl. procedure body] qui contient (1) une partie définitions et déclarations locales, qui peut être vide, et (2) une partie actions, constituée d'instructions.
La forme syntaxique générale de la dE9claration d'une procédure est illustrée par les diagrammes syntaxiques des figures 11.5 à 11.12.
Figure 11.5 Déclaration d'une procédure
Figure 11.6 Entête d'une procédure
Figure 11.7 Corps d'une procédure
Figure 11.8 Bloc
Figure 11.9 Partie déclarations et définitions
<formal parameter list> représente la liste des paramètres, appelés paramètres formels ou arguments formels. Cette liste contient pour chaque paramètre formel son mode de transmission (voir paragraphe 11.10), son nom et éventuellement son type. Les paramètres formels déclarés dans la liste des paramètres formels sont locaux à la procédure respectivement à la fonction que l'on vient de déclarer, c'est-à-dire, ils sont uniquement accessibles par leur identificateur à l'intérieur du bloc de procédure respectivement de fonction correspondant.
Figure 11.10 Liste des paramètres formels
Figure 11.11 Déclaration des paramètres
Figure 11.12 Type des paramètres
Le type des paramètres peut être transmis au compilateur grâce à l'identificateur de type suivant le ":".
En Pascal standard, il n'a été prévu de déclarer des paramètres formels non typés, mais la plupart des constructeurs de compilateurs Pascal tels que BORLAND l'offrent quand-même avec leur implémentation Turbo-Pascal.
La déclaration d'une procédure doit se faire , de façon analogue à celle d'une fonction, dans le corps du (sous-) programme appelant dans la partie déclarations de procédures et de fonctions.
TERMES TECHNIQUES
argument actuel
argument formel
corps d'un sous-programme
déclaration d'une procédure
entête d'un sous-programme
mode de transmission
paramètre formel
prototype
© Aflo Informatique , 2003-2004