|
ENTITY listed_data SUBTYPE OF (explicit_table_function, generic_literal); values : LIST [1:?] OF maths_value; value_range : maths_space; DERIVE SELF\explicit_table_function.shape : LIST [1:?] OF positive_integer := [SIZEOF (values)]; WHERE WR1: expression_is_constant(value_range); WR2: SIZEOF (QUERY (val <* values | NOT (member_of( val, value_range)))) = 0; END_ENTITY; -- listed_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_data values: LIST [1:?] OF maths_value; value_range: maths_space; (RT) (DER) shape: LIST [1:?] OF positive_integer; |
Global rules for this entity data type- |