Skip to main content

Sektion: Constraints

Diese spezielle Sektion überprüft, ob jede Modulinstanz mindestens einmal von einer anderen Modulinstanz referenziert wird.

SEC Constraints                                           //optional: yes, modifier: [UPDATE]
    Referenced_By := <interface name>;                    //optional: yes, type: QID)
    Referenced_Cardinality := [<minimum> .. <maximum>];   //optional: no, type: Cardinality
END_SEC

Details über die Syntax der Definitionstypen sind im Kapitel Syntax der Moduldeklaration beschrieben.

. Spezifikation:

  • Mit Referenced_By kann ein Modul festlegen, dass jede seiner Modulinstanzen mindestens einmal von einer anderen Modulinstanz referenziert werden muss. Der Wert von ReferencedBy muss ein Interface sein, das von IModule ableitet. Wenn egal ist, welchen Typ die referenzierende Instanz hat, kann hier IModule angegeben werden.

  • Referenced_Cardinality definiert den Bereich, wie oft dieses Modul referenziert sein muss. Wenn die Anzahl der Referenzen nicht in diesem Bereich liegt, wird beim Einlesen durch den Standardgenerator ein Fehler erzeugt.

Beispiel 27. Beispiel
SEC Constraints
        Referenced_By := ISpecificModule;
        Referenced_Cardinality := [1 .. 3];
END_SEC


In diesem Abschnitt: