Dichiarazione del modulo

A header of the form MODULE<name> begins the declaration. This is followed by a list of sections.

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 più sezioni o definizioni

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

I commenti possono essere usati come nel codice ST: «//"» per un commento a riga singola e «(*» e «*)» per commenti su più righe. Gli spazi bianchi (tabulazioni e spazi) e newline/linefeed possono essere usati per separare le parti di una dichiarazione. Altrimenti vengono ignorati durante l'elaborazione.

Come per il codice ST, maiuscole e minuscole non fanno 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 vengono spiegate la sintassi e la struttura sintattica consentita di una dichiarazione di modulo.

Nel seguente scanner i token sono scritti in maiuscolo (esempio: ID). Le parti non terminali della grammatica sono scritte tra parentesi graffe {Entry}).

Analisi lessicale (scanner)

Nella prima fase, i token (o lessemi) vengono creati dai caratteri della dichiarazione del modulo (esempio: parole chiave, costanti, identificatori).

Gli spazi bianchi e i caratteri newline e linefeed separano i token, ma altrimenti vengono ignorati. Anche i commenti vengono ignorati durante l'elaborazione della dichiarazione. (I commenti possono essere scritti in una sola riga//«) o commenti su più righe ((* e *)) come nel linguaggio ST. I commenti su più righe possono essere annidati

Fondamentalmente un token ha sempre una lunghezza massima. Ad esempio a123 viene 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à, come descritto di seguito. Ad esempio, MODULE l'input è inteso 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 terminare con un punto e virgola. Questo semplifica la grammatica ed evita ambiguità perché il punto e virgola non può far parte{VAL}), tranne 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 della 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 di componenti non vuota, separati da punti: C1.C2…CN. Un componente deve essere un identificatore IEC o un componente seguito da un' [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 membroVAR_INPUT o VAR_OUTPUT, a seconda del caso d'uso) del blocco funzionale. Se il percorso dell'istanza contiene componenti aggiuntivi, 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 input o output (esempio: per gli I/O). Queste restrizioni non sono valide per le strutture. Questi tipi di percorsi di istanza sono denominati percorsi di istanza di input e percorsi di istanza di output.

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

Analogamente all'ereditarietà orientata agli oggetti di un blocco funzione A da un blocco funzione B («EXTENSS»), è possibile derivare le dichiarazioni dei moduli utilizzando IMPORTS parola chiave. UPDATE e HIDE i modificatori sono 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 riportato, paramIn parametro del MBase il modulo è nascosto nel modulo derivato MDerived (utilizzando il HIDE modificatore) e allo stesso tempo un nuovo valore predefinito (TRUE) è impostato.

L'ordine delle sezioni subito 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, cercherà di visualizzare solo le definizioni di sezione corrispondenti

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

Dopo le definizioni delle variabili, alle variabili di input/output viene fornito un menu «Elenco componenti». Le bandiere o i valori predefiniti sono inoltre dotati di una selezione «Elenca componenti», che

Dopo le definizioni che utilizzano voci di elenco di testo o voci di pool di immagini (esempio: la maggior parte delle volte Desc :=), viene presentato un menu «Elenca componenti» che include tutti gli elenchi di testo o i pool di immagini disponibili e visibili e le relative voci.

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

Sezione: MetaData

Sezione: Toplevel

Sezione: IO

Sezione: Parametri

Sezione: Slot

Sezione: Visu

Sezione: Proxies

Sezione: VarArrays

Sezione: Vincoli

Sezione: InstRefs

Sezione: MSE.Sequence

Generatore di dispositivi

Sezione: Alg.Alarm