モジュール宣言

フォームのヘッダー MODULE<name> 宣言が始まります。これに「セクション」のリストが続きます。

各セクションをキーワードで紹介 SEC (「セクション」の場合) および一意の名前。キーワード END_SEC セクションを閉じます。セクションの内容には、さらなるセクションまたはいわゆる定義で構成されるエントリのリストが含まれています。

定義は名前とオプションの値で構成され、セミコロンで終わります。

コメントは ST コードと同様に使用できます。単一行コメントの場合は「//」、複数行コメントの場合は「(*」および「*)」です。各部分の区切りには空白 (タブとスペース) と改行/改行を使用できます。それ以外の場合は、以降の処理中に無視されます。

ST コードと同様、大文字と小文字の区別は関係ありません。

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

このセクションでは、モジュール宣言の構文と許可される構文構造について説明します。

次のスキャナーでは、トークンは大文字で書かれます (例: ID）。文法の非終端は中括弧で書かれます (例: {Entry}）。

字句解析（スキャナー）

最初のステップでは、いわゆるトークン (または語彙素) がモジュール宣言の文字 (例: キーワード、定数、識別子) から作成されます。

空白文字と改行/改行文字はトークンを区切りますが、それ以外の場合は無視されます。コメントも、宣言の今後の処理では無視されます。 (コメントは一行で記述できます(//") または複数行のコメント ((* そして *)) ST 言語と同様です。複数行のコメントは入れ子にすることができます。

基本的に、トークンには常に最大長があります。例えば a123 識別子としてではなく識別子として解釈されます a 続いてリテラル 123。

以下のリスト内のトークンの順序は、その優先度を示しています。たとえば入力 MODULE は識別子ではなくキーワードとして理解されます。

構文 (パーサー)

モジュール宣言の構文は次の文法で定義されます。 µ は空のシーケンスです。

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

定義値のリスト ({ValList}) はセミコロンで完了する必要があります。これにより、文法が簡素化され、曖昧さが回避されます。これは、セミコロンを値の一部にすることができないためです ({VAL})、文字列リテラル内を除く。

代入演算子 (:=) の定義 ({Def}) 曖昧さを避けるのにも役立ちます ({QID}) の定義名と値。

定義の定義済みタイプ

モジュール宣言の一部の位置では、関数ブロックの変数をアドレス指定するためにインスタンス パスを定義できます。パラメータ、スロット、I/O、可変サイズの配列、およびインスタンス参照の場合です。

インスタンス パスは、ドットで区切られた空でないコンポーネントのシーケンスとして定義されます。 C1.C2…CN。コンポーネントは、IEC 識別子、またはその後にインデックス式が続くコンポーネントである必要があります。 [i1, …, iN]、 どこ i1 に iN は整数値です。

インスタンス パスは常に、モジュール ロジックを実装する関数ブロックに対して相対的です。インスタンス パスの最初のコンポーネントはメンバー (VAR_INPUT または VAR_OUTPUT、ユースケースに応じて）機能ブロックの。インスタンス パスに追加コンポーネントがある場合、これらのコンポーネントはメンバー内の変数に対応します。それ以外の場合は、メンバー自体がアドレス指定されます。インスタンス パスは、入力変数または出力変数に制限できます (例: I/O の場合)。構造体の場合、これらの制限は無効です。この種のインスタンス パスは、それぞれ入力インスタンス パスと呼ばれます。インスタンスのパスを出力します。

モジュール内のテキスト (例: モジュールの説明、名前、パラメータの説明) をさまざまな言語で表示できます。これらのテキストはテキストリストで管理されます。

ファンクション ブロック B からのファンクション ブロック A のオブジェクト指向継承 (「EXTENDS」) と同様に、 IMPORTS キーワード。修飾子 UPDATE そして HIDE 特別扱いされている。

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

上記の例では、パラメータ paramIn モジュールの MBase 派生モジュールに隠されています MDerived (を使用して HIDE 修飾子)、同時に新しいデフォルト値 (TRUE）が設定されています。

モジュールヘッダーの直後のセクションの順序は関係ありません。セクション内では順序が非常に重要になる場合があります。たとえば、スロット宣言の順序によって、モジュール ツリー内のモジュールの順序が定義されます。

定義の順序は常に無関係です。

モジュールエディターで入力を開始すると、使用可能なすべてのセクション定義が「コンポーネントのリスト」メニューに表示されます。現在の位置の意味のあるセクションと定義のみが表示されます。一部のサブセクション エントリが他のセクションのサブセクション エントリと同じ名前である場合でも、一致するセクション定義のみを表示しようとします。

もし 戻る セクションの最初の行を完了した後に を押すと、セクションは必要なすべての定義/セクションで完了し、 END_SEC 。

変数定義の後、入力/出力変数は「リスト コンポーネント」定義によって表示されます。フラグまたは事前定義された値は、「リスト コンポーネント」の選択にも表示され、可能なフラグ/値が示されます。

テキスト リスト エントリまたはイメージ プール エントリを使用する定義後 (例: ほとんどの場合 Desc :=)、すべての利用可能な表示可能なテキスト リストまたは画像プールとそのエントリを含む「リスト コンポーネント」メニューが表示されます。

押すことで F2、対応する入力サポートを開くことができます。

セクション: メタデータ

セクション: トップレベル

セクション: IO

セクション: パラメータ

セクション: スロット

セクション: ビジュアル

セクション: プロキシ

セクション: VarArray

セクション: 制約

セクション: InstRef

セクション: mse.Sequence

デバイスジェネレーター

アラームアラーム