Déclaration du module

Un en-tête du formulaire MODULE<name> commence la déclaration. Ceci est suivi d'une liste de "sections".

Chaque section est introduite par le mot-clé SEC (pour "section") et un nom unique. Le mot clé END_SEC ferme la section. Le contenu d'une section contient une liste d'entrées composée d'autres sections ou de définitions.

Une définition se compose d'un nom et d'une valeur facultative et se termine par un point-virgule.

Les commentaires peuvent être utilisés comme dans le code ST : "//"" pour un commentaire sur une seule ligne et "(*" et "*)" pour les commentaires multilignes. Les espaces (tabulations et espaces) et les nouvelles lignes/sauts de ligne peuvent être utilisés pour séparer les parties. d'une déclaration, sinon ils seront ignorés lors du traitement ultérieur.

Comme pour le code ST, le respect de la casse ne fait aucune différence.

01    MODULE Persistence IMPLEMENTED_BY PersistenceFB
02    SEC MetaData
03        NAME       := TL.ChannelName ;
04        DESC       := TL.ChannelDesc ;
05        COLLECTION CATEGORY := ’Persistence’TL.Collection  ;
06        ICON_16    := IP.Channel16 ;
07        ICON_32    := IP.Channel32 ;
08    END_SEC
09    SEC Toplevel
10              SEC STANDARD_TASK : LOW
11                      NAME  := LOW ;
12                      DESC  := TL.TaskLow ;
13                      FLAGS := CREATE_IF_MISSING | READONLY ;
14              END_SEC
15              GVL_NAME := 'GVL_%InstanceName%' ;
16     END_SEC

Dans cette section, la syntaxe et la structure syntaxique autorisée d'une déclaration de module seront expliquées.

Dans le scanner suivant, les jetons seront écrits en majuscules (exemple : ID). Les non-terminaux de la grammaire seront écrits entre accolades (exemple : {Entry}).

Analyse lexicale (scanner)

Dans un premier temps, des jetons (ou lexèmes) seront créés à partir des caractères de la déclaration du module (exemple : mots-clés, constantes, identifiants).

Les espaces ainsi que les caractères de nouvelle ligne et d'entrée de ligne séparent les jetons, mais sont ignorés dans le cas contraire. Les commentaires sont également ignorés lors du traitement de la déclaration. (Les commentaires peuvent être rédigés sur une seule ligne (//«) ou des commentaires multilignes ((* et *)) comme dans le langage ST. Les commentaires multilignes peuvent être imbriqués

Fondamentalement, un jeton a toujours une longueur maximale. Par exemple a123 sera interprété comme un identifiant et non comme un identifiant a suivi d'un littéral 123.

L'ordre des jetons dans la liste ci-dessous indique leur priorité. Par exemple l'entrée MODULE sera compris comme mot clé et non comme identifiant.

Syntaxe (analyseur)

La syntaxe de la déclaration du module est définie par la grammaire suivante. µ est une séquence vide.

{MDecl}        ::= MODULE {QID} {ImplSpec} {ImportsSpec} {MBody}
{ImplSpec}     ::= IMPLEMENTED_BY {QID} | µ
{ImportsSpec}  ::= IMPORTS {QID} | µ
{MBody}        ::= {SecList}
{SecList}      ::= {Modifiers} {Sec} {SecList} | µ
{Sec}          ::= SEC {QID} {SecTarget} {EntryList} END_SEC
{SecTarget}    ::= OP(":") {QID} | µ
{Modifiers}    ::= OP("[") {ModifierList} OP("]") | µ
{ModifierList} ::= {QID} OP(",") {ModifierList} | {QID}
{EntryList}    ::= {Modifiers} {Entry} {EntryList}
{Entry}        ::= {Sec} | {Def}
{Def}          ::= {QID} OP(":=") {ValList} SEMICOLON |
                   {QID} SEMICOLON
{ValList}      ::= {Val} {ValList} | {Val}
{Val}          ::= ID | LIT | OP
{QID}          ::= ID | ID OP(".") {QID}

La liste des valeurs de définition ({ValList}) doit être complété par un point-virgule. Cela simplifie la grammaire et évite les ambiguïtés, car le point-virgule ne peut pas faire partie d'une valeur ({VAL}), sauf dans un littéral de chaîne.

L'opérateur d'affectation (:=) des définitions ({Def}) sert également à éviter les ambiguïtés ({QID}) des noms et valeurs de définition.

Types définis pour les définitions

À certaines positions dans la déclaration du module, des chemins d'instance peuvent être définis pour adresser une variable d'un bloc fonctionnel : pour les paramètres, les emplacements, les E/S, les tableaux avec une taille variable et les références d'instance.

Un chemin d'instance est défini comme une séquence non vide de composants, séparés par des points : C1.C2…CN. Un composant doit être soit un identifiant CEI, soit un composant suivi d'une expression d'index [i1, …, iN], où i1 à iN sont des valeurs entières.

Les chemins d'instance sont toujours relatifs au bloc fonctionnel qui implémente la logique du module. Le premier composant du chemin d'instance est un membre (VAR_INPUT ou VAR_OUTPUT, selon le cas d'utilisation) du bloc fonctionnel. Si le chemin d'instance comporte des composants supplémentaires, ces composants s'adressent à la variable au sein du membre. Dans le cas contraire, le membre lui-même est adressé. Les chemins d'instance peuvent être limités aux variables d'entrée ou de sortie (exemple : pour les E/S). Ces restrictions ne sont pas valables pour les structures. Ces types de chemins d'instance sont appelés chemins d'instance d'entrée et chemins d'instance de sortie.

Les textes des modules (exemple : description du module, nom, description du paramètre) peuvent être affichés dans différentes langues. Ces textes sont gérés dans des listes de textes.

De la même manière que pour l'héritage orienté objet d'un bloc fonctionnel A à partir d'un bloc fonctionnel B (« EXTENDS »), il est possible de dériver des déclarations de module en utilisant IMPORTS mot clé. UPDATE et HIDE les modificateurs sont traités spécialement.

MODULE MBase IMPLEMENTED_BY FBBase
SEC MetaData
        DESC := TL.Desc_Base ;
END_SEC
SEC Parameters
        SEC Param : paramxIn
                Variable := xIn ;
                Name     := TL.Param1_Name ;
                Desc     := TL.Param1_Desc ;
        END_SEC
END_SEC

MODULE MDerived IMPORTS MBase
[UPDATE] SEC MetaData
        DESC := TL.Desc_Derived ;
END_SEC
[UPDATE] SEC Parameters
        [UPDATE,HIDE] SEC Param : paramIn
                Variable := xIn ;
                DEFAULT := TRUE ;
        END_SEC
END_SEC

Dans l'exemple ci-dessus, le paramètre paramIn du module MBase est caché dans le module dérivé MDerived (en utilisant le HIDE modificateur), et en même temps une nouvelle valeur par défaut (TRUE) est défini.

L'ordre des sections juste après l'en-tête du module n'est pas pertinent. Au sein des sections, l'ordre peut être très important. Par exemple, l'ordre des déclarations d'emplacements définit l'ordre des modules dans l'arborescence des modules.

L’ordre des définitions n’a toujours pas d’importance.

Lorsque vous commencez à taper dans l'éditeur de module, toutes les définitions de section disponibles/possibles sont affichées dans un menu « Liste des composants ». Seules les sections et définitions pertinentes pour la position actuelle sont affichées. Même si certaines entrées de sous-section portent le même nom que les entrées de sous-section d'autres sections, il essaiera d'afficher uniquement les définitions de section correspondantes.

Si Retour est enfoncé après avoir terminé la première ligne d'une section, la section sera alors complétée avec toutes les définitions/sections nécessaires et le END_SEC .

Après les définitions des variables, les variables d'entrée/sortie sont présentées par des définitions de « composants de liste ». Les indicateurs ou valeurs prédéfinies sont également présentés dans une sélection de « composants de liste », qui montre les indicateurs/valeurs possibles.

Après les définitions, qui utilisent des entrées de liste de texte ou des entrées de pool d'images (exemple : la plupart du temps Desc :=), un menu « composants de liste » comprenant toutes les listes de textes ou pools d'images disponibles et visibles et leurs entrées est présenté.

En appuyant F2, le support de saisie correspondant peut être ouvert.

Section : Métadonnées

Section : Niveau supérieur

Rubrique : IO

Rubrique : Paramètres

Rubrique : Machines à sous

Rubrique : Visu

Rubrique : Procurations

Section : VarArrays

Rubrique : Contraintes

Section : InstRefs

Section : mse.Séquence

Générateur d'appareils

alg.Alarme