|
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) |