ENTITY repackaging_function SUBTYPE OF (maths_function, unary_generic_expression); SELF\unary_generic_expression.operand : maths_function; input_repack : repackage_options; output_repack : repackage_options; selected_output : nonnegative_integer; WHERE wr1: (input_repack <> ro_wrap_as_tuple) OR ((space_dimension(operand.domain) = 1) AND ((schema_prefix + 'TUPLE_SPACE') IN TYPEOF (factor1(operand.domain)))); wr2: (output_repack <> ro_unwrap_tuple) OR ((space_dimension(operand.range) = 1) AND ((schema_prefix + 'TUPLE_SPACE') IN TYPEOF (factor1(operand.range)))); wr3: selected_output <= space_dimension( repackage( operand.range, output_repack)); END_ENTITY; -- repackaging_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; unary_generic_expression operand: generic_expression; repackaging_function (RT) operand: maths_function; input_repack: repackage_options; output_repack: repackage_options; selected_output: nonnegative_integer; |
Global rules for this entity data type- |
public interface ERepackaging_function extends EMaths_function, EUnary_generic_expressioninput_repack (explicit attribute)boolean testInput_repack(ERepackaging_function type)int getInput_repack(ERepackaging_function type) void setInput_repack(ERepackaging_function type, int value) void unsetInput_repack(ERepackaging_function type) output_repack (explicit attribute)boolean testOutput_repack(ERepackaging_function type)int getOutput_repack(ERepackaging_function type) void setOutput_repack(ERepackaging_function type, int value) void unsetOutput_repack(ERepackaging_function type) selected_output (explicit attribute)boolean testSelected_output(ERepackaging_function type)int getSelected_output(ERepackaging_function type) void setSelected_output(ERepackaging_function type, int value) void unsetSelected_output(ERepackaging_function type) |
public class CRepackaging_function implements ERepackaging_functionstatic EAttribute attributeInput_repack(ERepackaging_function type)static EAttribute attributeOutput_repack(ERepackaging_function type) static EAttribute attributeSelected_output(ERepackaging_function type) |
public class ARepackaging_function extends AEntitypublic ERepackaging_function getByIndex(int index)public ERepackaging_function getCurrentMember(SdaiIterator it) |