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