|
ENTITY interpolated_configuration_sequence SUBTYPE OF (representation_item); segments : LIST [2:?] OF interpolated_configuration_segment; DERIVE n_segments : INTEGER := SIZEOF(segments); closed_interpolation : LOGICAL := segments[n_segments].interpolation <> discontinuous_interpolation_type; configured_mechanism : mechanism_representation := segments[1].state.represented_mechanism; WHERE WR1: SIZEOF( QUERY(ics <* segments | ics.state.represented_mechanism :<>: configured_mechanism)) = 0; END_ENTITY; -- interpolated_configuration_sequence |
Entity data types and their attributesrepresentation_itemname: label; interpolated_configuration_sequence segments: LIST [2:?] OF interpolated_configuration_segment; (DER) n_segments: INTEGER; (DER) closed_interpolation: LOGICAL; (DER) configured_mechanism: mechanism_representation; |
Global rules for this entity data type- |