ENTITY selector_function SUBTYPE OF (maths_function, generic_literal); selector : input_selector; source_of_domain : maths_space_or_function; WHERE wr1: no_cyclic_domain_reference(source_of_domain, [SELF]); wr2: expression_is_constant(domain_from(source_of_domain)); END_ENTITY; -- selector_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; simple_generic_expression - generic_literal - selector_function selector: input_selector; source_of_domain: maths_space_or_function; |
Global rules for this entity data type- |
public interface ESelector_function extends EMaths_function, EGeneric_literalselector (explicit attribute)boolean testSelector(ESelector_function type)int getSelector(ESelector_function type) void setSelector(ESelector_function type, int value) void unsetSelector(ESelector_function type) source_of_domain (explicit attribute)int testSource_of_domain(ESelector_function type)case 1 EEntity getSource_of_domain(ESelector_function type) void setSource_of_domain(ESelector_function type, EEntity value, EEntity node1) void unsetSource_of_domain(ESelector_function type) |
public class CSelector_function implements ESelector_functionstatic EAttribute attributeSelector(ESelector_function type)static EAttribute attributeSource_of_domain(ESelector_function type) static int usedinSource_of_domain(ESelector_function type, EEntity instance, ASdaiModel domain, ASelector_function result) |
public class ASelector_function extends AEntitypublic ESelector_function getByIndex(int index)public ESelector_function getCurrentMember(SdaiIterator it) |