Skip to main content

Rubrique : Contraintes

Cette section spéciale permet de vérifier si chaque instance de module est référencée au moins une fois.

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

Les détails concernant la syntaxe des types de définition sont décrits dans la section Déclaration des modules.

. Spécification:

  • Le paramètre Referenced_By sert à vérifier si les instances de module sont référencées à partir d'autres instances de module. La valeur de ReferencedBy doit être une interface qui dérive de IModule . Si le type de l'instance de référence n'a pas d'importance, IModule peut être spécifié ici.

  • Referenced_Cardinality définit la fréquence à laquelle ce module doit être référencé. Si le nombre de références n'est pas dans cette plage, une erreur est produite lors de la scrutation du générateur standard.

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


Dans cette section​: