ENTITY finite_function SUBTYPE OF (maths_function, generic_literal); pairs : SET [1:?] OF LIST [2:2] OF maths_value; WHERE wr1: VALUE_UNIQUE(list_selected_components(pairs, 1)); END_ENTITY; -- finite_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; simple_generic_expression - generic_literal - finite_function pairs: SET [1:?] OF LIST [2:2] OF maths_value; |
Global rules for this entity data type- |
public interface EFinite_function extends EMaths_function, EGeneric_literalpairs (explicit attribute)boolean testPairs(EFinite_function type)AaMaths_value getPairs(EFinite_function type) AaMaths_value createPairs(EFinite_function type) void unsetPairs(EFinite_function type) |
public class CFinite_function implements EFinite_functionstatic EAttribute attributePairs(EFinite_function type)static int usedinPairs(EFinite_function type, EEntity instance, ASdaiModel domain, AFinite_function result) |
public class AFinite_function extends AEntitypublic EFinite_function getByIndex(int index)public EFinite_function getCurrentMember(SdaiIterator it) |