Skip to main content

Sezione: Vincoli

Questa sezione speciale consente di verificare se ciascuna istanza del modulo viene referenziata almeno una volta.

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

I dettagli riguardanti la sintassi dei tipi di definizione sono descritti nella sezione Dichiarazione del modulo.

. Specifica:

  • Il parametro Referenced_By serve a verificare se le istanze del modulo fanno riferimento ad altre istanze del modulo. Il valore di ReferencedBy deve essere un'interfaccia che deriva da IModule . Se non importa quale sia il tipo dell'istanza di riferimento, IModule può essere specificato qui.

  • Referenced_Cardinality definisce la frequenza con cui si deve fare riferimento a questo modulo. Se il numero di riferimenti non rientra in questo intervallo, viene prodotto un errore durante la scansione del generatore standard.

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


In questa sezione: