ENTITY externally_listed_data SUBTYPE OF (explicit_table_function, generic_literal, externally_defined_item); value_range : maths_space; WHERE wr1: expression_is_constant(value_range); END_ENTITY; -- externally_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 - externally_defined_item item_id: source_item; source: external_source; externally_listed_data value_range: maths_space; |
Global rules for this entity data type- |
public interface EExternally_listed_data extends EExplicit_table_function, EGeneric_literal, EExternally_defined_itemvalue_range (explicit attribute)boolean testValue_range(EExternally_listed_data type)EMaths_space getValue_range(EExternally_listed_data type) void setValue_range(EExternally_listed_data type, EMaths_space value) void unsetValue_range(EExternally_listed_data type) |
public class CExternally_listed_data implements EExternally_listed_datastatic EAttribute attributeValue_range(EExternally_listed_data type)static int usedinValue_range(EExternally_listed_data type, EMaths_space instance, ASdaiModel domain, AExternally_listed_data result) |
public class AExternally_listed_data extends AEntitypublic EExternally_listed_data getByIndex(int index)public EExternally_listed_data getCurrentMember(SdaiIterator it) |