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- |
public interface EListed_data extends EExplicit_table_function, EGeneric_literalvalues (explicit attribute)boolean testValues(EListed_data type)AMaths_value getValues(EListed_data type) AMaths_value createValues(EListed_data type) void unsetValues(EListed_data type) value_range (explicit attribute)boolean testValue_range(EListed_data type)EMaths_space getValue_range(EListed_data type) void setValue_range(EListed_data type, EMaths_space value) void unsetValue_range(EListed_data type) |
public class CListed_data implements EListed_datastatic EAttribute attributeValues(EListed_data type)static int usedinValues(EListed_data type, EEntity instance, ASdaiModel domain, AListed_data result) static EAttribute attributeValue_range(EListed_data type) static int usedinValue_range(EListed_data type, EMaths_space instance, ASdaiModel domain, AListed_data result) static EAttribute attributeShape(EListed_data type) |
public class AListed_data extends AEntitypublic EListed_data getByIndex(int index)public EListed_data getCurrentMember(SdaiIterator it) |