ENTITY reindexed_array_function SUBTYPE OF (maths_function, unary_generic_expression); SELF\unary_generic_expression.operand : maths_function; starting_indices : LIST [1:?] OF INTEGER; WHERE wr1: function_is_array(SELF\unary_generic_expression.operand); wr2: SIZEOF(starting_indices) = SIZEOF(shape_of_array( SELF\unary_generic_expression.operand)); END_ENTITY; -- reindexed_array_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; unary_generic_expression operand: generic_expression; reindexed_array_function (RT) operand: maths_function; starting_indices: LIST [1:?] OF INTEGER; |
Global rules for this entity data type- |
public interface EReindexed_array_function extends EMaths_function, EUnary_generic_expressionstarting_indices (explicit attribute)boolean testStarting_indices(EReindexed_array_function type)A_int getStarting_indices(EReindexed_array_function type) A_int createStarting_indices(EReindexed_array_function type) void unsetStarting_indices(EReindexed_array_function type) |
public class CReindexed_array_function implements EReindexed_array_functionstatic EAttribute attributeStarting_indices(EReindexed_array_function type) |
public class AReindexed_array_function extends AEntitypublic EReindexed_array_function getByIndex(int index)public EReindexed_array_function getCurrentMember(SdaiIterator it) |