|
ENTITY restriction_function SUBTYPE OF (maths_function, unary_generic_expression); SELF\unary_generic_expression.operand : maths_space; END_ENTITY; -- restriction_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; unary_generic_expression operand: generic_expression; restriction_function (RT) operand: maths_space; |
Global rules for this entity data type- |
public interface ERestriction_function extends EMaths_function, EUnary_generic_expression |
public class CRestriction_function implements ERestriction_function |
public class ARestriction_function extends AEntitypublic ERestriction_function getByIndex(int index)public ERestriction_function getCurrentMember(SdaiIterator it) |