Les modules
Le compilateur Pascal accepte deux types d'unités de compilation : un programme et un module. Un module est une routine autonome, telle qu'une routine de bibliothèque, à laquelle d'autres modules et programmes peuvent accéder et exécuter. Un module permet la compilation séparée de code et de données encapsulés.
L'unité de compilation de module est une extension CRI de la norme ISO niveau 1 Pascal.
Les modules sont normalement définis comme des ensembles de données de bibliothèque. Pour plus d'informations sur la génération et la maintenance des ensembles de données de bibliothèque sous COS, consultez la description de BUILD. La commande ar crée des bibliothèques sous UNICOS. (Lorsque vous utilisez l'éditeur de liens ld de UNICOS, spécifiez la bibliothèque contenant les modules avec l'option -L plutôt que l'option -l.)
En termes de structure, un module est similaire à un programme, sauf qu'il n'a pas de paramètres de programme et pas de bloc de programme principal délimité par les mots réservés BEGIN et END. Un module contient une série de procédures et de fonctions internes et accepte également des routines externes référencées à partir de programmes ou d'autres modules.
La syntaxe d'un module est la suivante :
|
module = "module" id ";" module-block "." . module-block = { constant-def-part type-def-part common-dcl-part imported-dcl-part exported-dcl-part static-dcl-part var-dcl-part } [ value-def-part ] { procedure-and-function-dcl-part } . |
Un module ne peut pas être directement référencé par un appelant. En revanche, les procédures et fonctions situées au niveau le plus externe d'un module peuvent être exportées et donc référencées (comme importées) par d'autres modules et programmes. Les procédures et fonctions n'étant pas au niveau le plus externe peuvent être référencées par des procédures et fonctions exportées mais ne peuvent pas être exportées elles-mêmes.
Les données sont communiquées entre les modules et les programmes uniquement par le biais de paramètres. Un module appelé à partir d'un programme ne peut pas utiliser les variables globales déclarées dans le programme à moins qu'elles ne soient passées en tant que paramètres. Les constantes et les types définis au niveau du module permettent à l'utilisateur de passer des paramètres structurés, tels que des enregistrements.
Aucune vérification de type n'est effectuée entre les modules. Par conséquent, vous devez garantir la compatibilité de type entre les modules et les programmes en utilisant une méthode de déclarations de TYPE communes.
Les variables déclarées au niveau du module sont globales au sein du module. Cela permet aux règles de portée normales de s'appliquer au sein du module, mais masque les variables du module aux routines extérieures au module. Étant donné que les variables du module sont allouées de manière statique (pas sur la pile d'exécution), les variables conservent leurs valeurs d'un appel à l'autre.
Les modules ne prennent pas en charge les fichiers texte prédéfinis INPUT et OUTPUT. Vous devez transmettre ces fichiers en tant que paramètres. Dans l'exemple suivant, une pile cachée est utilisée pour contenir les jetons à évaluer. Si plusieurs piles sont nécessaires, les piles peuvent être déclarées dans le programme et le code modifié pour transmettre la pile souhaitée aux routines STK$.
- PROGRAM pushpop(INPUT,OUTPUT);
- TYPE token = PACKED ARRAY[1..8] OF CHAR;
- VAR t,t1,r:token;
-
- PROCEDURE push(t:token); IMPORTED(stk$push);
- PROCEDURE pop(VAR t:token); IMPORTED(stk$pop);
- PROCEDURE stackinit; IMPORTED(stk$init);
- FUNCTION empty:BOOLEAN; IMPORTED(stk$mt);
- FUNCTION full:BOOLEAN; IMPORTED(stk$full);
- PROCEDURE gettok(VAR t:token;VAR fromfile:TEXT); IMPORTED(token);
- PROCEDURE crunch(VAR t1,t2,t3 : token); IMPORTED(doittoit);
- PROCEDURE error(i:INTEGER);IMPORTED;
-
- BEGIN (* Code de programme principal *)
- stackinit; (* Initialise la pile *)
- gettok(t,INPUT);
- WHILE t<>' ' DO BEGIN
- IF t = '( ' THEN push(t) ELSE
- IF t = ') 'THEN BEGIN
- pop(tl);
- crunch(t,tl,r);
- push(r)
- END
- ELSE
- error(l); (* Jeton ignoré *)
- gettok(t,INPUT);
- END;
- IF NOT empty THEN error(2) (* La pile de jetons n'est pas vide à la fin *)
- ELSE WRITELN(' La réponse est : ',r);
- END.
Les procédures utilisées dans ce programme peuvent être codées dans un module tel que celui-ci. Ce module déclare certaines des routines mentionnées dans le programme et en référence d'autres via la directive IMPORTED.
- MODULE stk;
-
- TYPE token=PACKED ARRAY[1..8] OF CHAR;
- astack=RECORD
- stackptr:INTEGER;
- stack:ARRAY[1..1024] OF token;
- END;
- VAR thestack:astack;
-
- PROCEDURE stk$init;EXPORTED;BEGIN
- thestack.stackptr:=0;
- END;
-
- FUNCTION stkfull:BOOLEAN;EXPORTED(stk$full);BEGIN
- stkfull:=thestack.stackptr > 1024;
- END;
-
- PROCEDURE stkempty:BOOLEAN;EXPORTED(stk$mt);BEGIN
- stkempty := thestack.stackptr = 0;
- END;
-
- PROCEDURE error(i:INTEGER); IMPORTED;
-
- PROCEDURE push(t:token); EXPORTED(stk$push);BEGIN
- IF stkfull THEN BEGIN (* OUPS! *)
- error(2);
- HALT;
- END
- ELSE
- WITH thestack DO BEGIN
- stackptr := stackptr + 1;
- stack [stackptr] := t;
- END;
- END;
-
- PROCEDURE pop(VAR t:token); EXPORTED(stk$pop);BEGIN
- IF stkempty THEN BEGIN (* OOPS! *)
- error(3);
- HALT;
- END
- ELSE
- WITH thestack DO BEGIN
- t:=stack[stackptr];
- stackptr:=stackptr-1;
- END;
- END.