|
ENTITY Printed_part_template_connected_terminals_definition; name : STRING; connected_terminals : SET [2:?] OF Printed_part_template_terminal; DERIVE scope : Printed_part_template := connected_terminals[1].associated_definition; UNIQUE UR1 : name, scope; WHERE WR1: SIZEOF(QUERY(t <* connected_terminals | t.associated_definition :<>: scope)) = 0; END_ENTITY; -- Printed_part_template_connected_terminals_definition |
Entity data types and their attributesPrinted_part_template_connected_terminals_definitionname: STRING; connected_terminals: SET [2:?] OF Printed_part_template_terminal; (DER) scope: Printed_part_template; |
Global rules for this entity data type- |