|
ENTITY odd_function SUBTYPE OF (unary_boolean_expression); SELF\unary_generic_expression.operand : numeric_expression; WHERE WR1: is_int_expr(operand); END_ENTITY; -- odd_function |
Entity data types and their attributesgeneric_expression- expression - boolean_expression - unary_generic_expression operand: generic_expression; unary_boolean_expression - odd_function (RT) operand: numeric_expression; |
Global rules for this entity data type- |