セクション: 制約
この特別なセクションでは、各モジュール インスタンスが別のモジュール インスタンスによって少なくとも 1 回参照されているかどうかをチェックします。
SEC Constraints //optional: yes, modifier: [UPDATE]
Referenced_By := <interface name>; //optional: yes, type: QID)
Referenced_Cardinality := [<minimum> .. <maximum>]; //optional: no, type: Cardinality
END_SEC定義タイプの構文の詳細については、次の章を参照してください。 モジュール宣言の構文 説明された。
. 仕様：
と
Referenced_Byモジュールは、その各モジュール インスタンスが別のモジュール インスタンスによって少なくとも 1 回参照される必要があることを指定できます。の値ReferencedByによって提供されるインターフェイスである必要がありますIModule派生します。参照しているインスタンスの型が問題でない場合は、ここで行うことができますIModule指定されること。Referenced_Cardinalityこのモジュールを参照する必要がある頻度の範囲を定義します。参照数がこの範囲外の場合、標準ジェネレータで読み込むとエラーとなります。
例 27. 例
SEC Constraints
Referenced_By := ISpecificModule;
Referenced_Cardinality := [1 .. 3];
END_SEC