ENTITY regular_table_function SUBTYPE OF (linearized_table_function); increments : LIST [1:?] OF INTEGER; WHERE wr1: SIZEOF (increments) = SIZEOF (self\explicit_table_function.shape); wr2: extremal_position_check(self); END_ENTITY; -- regular_table_function |
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; unary_generic_expression operand: generic_expression; linearized_table_function (RT) operand: maths_function; first: INTEGER; (DER) source: maths_function; regular_table_function increments: LIST [1:?] OF INTEGER; |
Global rules for this entity data type- |
public interface ERegular_table_function extends ELinearized_table_functionincrements (explicit attribute)boolean testIncrements(ERegular_table_function type)A_int getIncrements(ERegular_table_function type) A_int createIncrements(ERegular_table_function type) void unsetIncrements(ERegular_table_function type) |
public class CRegular_table_function implements ERegular_table_functionstatic EAttribute attributeIncrements(ERegular_table_function type) |
public class ARegular_table_function extends AEntitypublic ERegular_table_function getByIndex(int index)public ERegular_table_function getCurrentMember(SdaiIterator it) |