|
ENTITY Mating_connector_termination; name : STRING; definition : mating_connector_definition_select; accessed_connector : Mating_connector_usage; DERIVE signal_definition : SET [0:?] OF Requirement_view_definition := get_rvd(SELF, 'signal definition'); UNIQUE UR1 : definition, accessed_connector; WHERE WR1: (SIZEOF(signal_definition) <= 1); END_ENTITY; -- Mating_connector_termination |
Entity data types and their attributesMating_connector_terminationname: STRING; definition: mating_connector_definition_select; accessed_connector: Mating_connector_usage; (DER) signal_definition: SET [0:?] OF Requirement_view_definition; |
Global rules for this entity data type- |