|
ENTITY listed_complex_number_data SUBTYPE OF (explicit_table_function, generic_literal); values : LIST [2:?] OF REAL; DERIVE SELF\explicit_table_function.shape : LIST [1:?] OF positive_integer := [ SIZEOF(values) DIV 2 ]; WHERE WR1: NOT ODD(SIZEOF(values)); END_ENTITY; -- listed_complex_number_data |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; explicit_table_function index_base: zero_or_one; shape: LIST [1:?] OF positive_integer; simple_generic_expression - generic_literal - listed_complex_number_data values: LIST [2:?] OF REAL; (RT) (DER) shape: LIST [1:?] OF positive_integer; |
Global rules for this entity data type- |