Skip to main content

Sección: Constraints

Esta sección especial permite verificar si cada instancia del módulo se referencia al menos una vez.

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

Los detalles sobre la sintaxis de los tipos de definición se describen en la sección Declaración del módulo.

. Especificación:

  • El parámetro Referenced_By sirve para verificar si las instancias del módulo están referenciadas desde otras instancias del módulo. El valor de ReferencedBy debe ser una interfaz que se deriva de IModule . Si no importa de qué tipo es la instancia de referencia, IModule se puede especificar aquí.

  • Referenced_Cardinality define la frecuencia con la que se debe hacer referencia a este módulo. Si el número de referencias no está en este rango, se produce un error en el escaneo del generador estándar.

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


En esta sección: