Dichiarazione del modulo

Un'intestazione del modulo MODULE<name> inizia la dichiarazione. Questo è seguito da un elenco di "sezioni".

Ogni sezione è introdotta dalla parola chiave SEC (per "sezione") e un nome univoco. La parola chiave END_SEC chiude la sezione. Il contenuto di una sezione contiene un elenco di voci composto da ulteriori sezioni o cosiddette definizioni.

Una definizione è composta da un nome e un valore opzionale e termina con un punto e virgola.

I commenti possono essere utilizzati come nel codice ST: "//"" per commenti a riga singola e "(*" e "*)" per commenti su più righe. È possibile utilizzare spazi bianchi (tabulazioni e spazi) e fine riga/avanzamento riga per separare le parti di una dichiarazione, altrimenti vengono ignorati durante l'ulteriore elaborazione.

Come con il codice ST, la distinzione tra maiuscole e minuscole non fa differenza.

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

In questa sezione verrà spiegata la sintassi e la struttura sintattica consentita per una dichiarazione di modulo.

Nello scanner seguente i token verranno scritti in maiuscolo (esempio: ID). I non terminali della grammatica saranno scritti tra parentesi graffe (esempio: {Entry}).

Analisi lessicale (scanner)

Nel primo passo verranno creati i cosiddetti token (o lessemi) dai caratteri della dichiarazione del modulo (esempio: parole chiave, costanti, identificatori).

Gli spazi bianchi e i caratteri newline/linefeed separano i token, ma altrimenti verranno ignorati. Anche i commenti verranno ignorati per l'ulteriore trattamento della dichiarazione. (I commenti possono essere scritti su una sola riga (//") o commenti su più righe ((* E *)) come nel linguaggio ST. I commenti su più righe possono essere nidificati.

Fondamentalmente un token ha sempre una lunghezza massima. Per esempio a123 verrà interpretato come un identificatore e non come un identificatore a seguito da un letterale 123.

L'ordine dei token nell'elenco seguente mostra la loro priorità. Ad esempio l'input MODULE verrà intesa come parola chiave e non come identificatore.

Sintassi (parser)

La sintassi della dichiarazione del modulo è definita dalla seguente grammatica. µ è una sequenza vuota.

{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}

L'elenco dei valori di definizione ({ValList}) deve essere completato con un punto e virgola. Ciò semplifica la grammatica ed evita ambiguità, perché il punto e virgola non può far parte di un valore ({VAL}), tranne che all'interno di una stringa letterale.

L'operatore di assegnazione (:=) delle definizioni ({Def}) serve anche a evitare ambiguità ({QID}) dei nomi e dei valori delle definizioni.

Tipi definiti per le definizioni

In alcune posizioni nella dichiarazione del modulo è possibile definire percorsi di istanza per indirizzare una variabile di un blocco funzione: per parametri, slot, I/O, array con dimensioni variabili e riferimenti di istanza.

Un percorso di istanza è definito come una sequenza non vuota di componenti, separati da punti: C1.C2…CN. Un componente deve essere un identificatore IEC o un componente seguito da un'espressione di indice [i1, …, iN], Dove i1 A iN sono valori interi.

I percorsi delle istanze sono sempre relativi al blocco funzione che implementa la logica del modulo. Il primo componente del percorso dell'istanza è un membro (VAR_INPUT O VAR_OUTPUT, a seconda del caso d'uso) del blocco funzione. In caso di componenti aggiuntivi nel percorso dell'istanza, questi componenti indirizzano la variabile all'interno del membro. Altrimenti viene indirizzato il membro stesso. I percorsi delle istanze possono essere limitati alle variabili di ingresso o di uscita (esempio: per I/O). Per le strutture queste restrizioni non valgono. Questo tipo di percorsi di istanza sono chiamati percorsi di istanza di input risp. percorsi delle istanze di output.

I testi nei moduli (esempio: descrizione del modulo, nome, descrizione del parametro) possono essere visualizzati in diverse lingue. Questi testi vengono gestiti in elenchi di testi.

Analogamente all'ereditarietà orientata agli oggetti di un blocco funzione A da un blocco funzione B ("EXTENDS") esiste la possibilità di derivare dichiarazioni di moduli utilizzando l'istruzione IMPORTS parola chiave. I modificatori UPDATE E HIDE vengono trattati in modo speciale.

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

Nell'esempio sopra il parametro paramIn del modulo MBase è nascosto nel modulo derivato MDerived (utilizzando il HIDE modificatore) e allo stesso tempo un nuovo valore predefinito (TRUE) è impostato.

L'ordine delle sezioni direttamente dopo l'intestazione del modulo è irrilevante. All'interno delle sezioni l'ordine può essere molto importante. Ad esempio, l'ordine delle dichiarazioni degli slot definisce l'ordine dei moduli nell'albero dei moduli.

L'ordine delle definizioni è sempre irrilevante.

Quando si inizia a digitare nell'editor del modulo, tutte le definizioni di sezione disponibili/possibili vengono visualizzate in un menu "elenco componenti". Vengono mostrate solo le sezioni e le definizioni significative per la posizione corrente. Anche se alcune voci di sottosezione hanno lo stesso nome delle voci di sottosezione di altre sezioni, proverà a visualizzare solo le definizioni di sezione corrispondenti.

Se Ritorno viene premuto dopo aver completato la prima riga di una sezione, la sezione verrà completata con tutte le definizioni/sezioni necessarie e il file END_SEC .

Dopo le definizioni delle variabili, le variabili di input/output vengono presentate dalle definizioni dei "componenti dell'elenco". I flag o i valori predefiniti vengono presentati anche in una selezione "elenco componenti", che mostra i possibili flag/valori.

Dopo le definizioni, che utilizzano voci di elenchi di testi o voci di pool di immagini (esempio: la maggior parte delle volte Desc :=), viene presentato un menu "Elenco componenti" che comprende tutti gli elenchi di testi o i pool di immagini disponibili e visibili e le relative voci.

Premendo F2, è possibile aprire il supporto di input corrispondente.

Sezione: Metadati

Sezione: Livello superiore

Sezione: IO

Sezione: Parametri

Sezione: Slot

Sezione: Visi

Sezione: Procure

Sezione: VarArray

Sezione: Vincoli

Sezione: Rif.Ist

Sezione: mse.Sequenza

Generatore di dispositivi

alg.Allarme