ENTITY extended_tuple_space SUBTYPE OF (maths_space, generic_literal); base : product_space; extender : maths_space; WHERE wr1: expression_is_constant(base) AND expression_is_constant(extender); wr2: no_cyclic_space_reference(SELF, []); wr3: extender <> the_empty_space; END_ENTITY; -- extended_tuple_space |
Entity data types and their attributesgeneric_expression- maths_space - simple_generic_expression - generic_literal - extended_tuple_space base: product_space; extender: maths_space; |
Global rules for this entity data type- |
public interface EExtended_tuple_space extends EMaths_space, EGeneric_literalbase (explicit attribute)int testBase(EExtended_tuple_space type)case 1 EEntity getBase(EExtended_tuple_space type) void setBase(EExtended_tuple_space type, EEntity value, EEntity node1) void unsetBase(EExtended_tuple_space type) extender (explicit attribute)boolean testExtender(EExtended_tuple_space type)EMaths_space getExtender(EExtended_tuple_space type) void setExtender(EExtended_tuple_space type, EMaths_space value) void unsetExtender(EExtended_tuple_space type) |
public class CExtended_tuple_space implements EExtended_tuple_spacestatic EAttribute attributeBase(EExtended_tuple_space type)static int usedinBase(EExtended_tuple_space type, EEntity instance, ASdaiModel domain, AExtended_tuple_space result) static EAttribute attributeExtender(EExtended_tuple_space type) static int usedinExtender(EExtended_tuple_space type, EMaths_space instance, ASdaiModel domain, AExtended_tuple_space result) |
public class AExtended_tuple_space extends AEntitypublic EExtended_tuple_space getByIndex(int index)public EExtended_tuple_space getCurrentMember(SdaiIterator it) |