ENTITY listed_product_space SUBTYPE OF (maths_space, generic_literal); factors : LIST [0:?] OF maths_space; WHERE wr1: SIZEOF (QUERY (space <* factors | NOT (expression_is_constant(space)))) = 0; wr2: no_cyclic_space_reference(SELF, []); wr3: NOT (the_empty_space IN factors); END_ENTITY; -- listed_product_space |
Entity data types and their attributesgeneric_expression- maths_space - simple_generic_expression - generic_literal - listed_product_space factors: LIST [0:?] OF maths_space; |
Global rules for this entity data type- |
public interface EListed_product_space extends EMaths_space, EGeneric_literalfactors (explicit attribute)boolean testFactors(EListed_product_space type)AMaths_space getFactors(EListed_product_space type) AMaths_space createFactors(EListed_product_space type) void unsetFactors(EListed_product_space type) |
public class CListed_product_space implements EListed_product_spacestatic EAttribute attributeFactors(EListed_product_space type)static int usedinFactors(EListed_product_space type, EMaths_space instance, ASdaiModel domain, AListed_product_space result) |
public class AListed_product_space extends AEntitypublic EListed_product_space getByIndex(int index)public EListed_product_space getCurrentMember(SdaiIterator it) |