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- |
public interface EOdd_function extends EUnary_boolean_expression |
public class COdd_function implements EOdd_function |
public class AOdd_function extends AEntitypublic EOdd_function getByIndex(int index)public EOdd_function getCurrentMember(SdaiIterator it) |