ENTITY uniform_product_space SUBTYPE OF (maths_space, generic_literal); base : maths_space; exponent : positive_integer; WHERE wr1: expression_is_constant(base); wr2: no_cyclic_space_reference(SELF, []); wr3: base <> the_empty_space; END_ENTITY; -- uniform_product_space |
Entity data types and their attributesgeneric_expression- maths_space - simple_generic_expression - generic_literal - uniform_product_space base: maths_space; exponent: positive_integer; |
Global rules for this entity data type- |
public interface EUniform_product_space extends EMaths_space, EGeneric_literalbase (explicit attribute)boolean testBase(EUniform_product_space type)EMaths_space getBase(EUniform_product_space type) void setBase(EUniform_product_space type, EMaths_space value) void unsetBase(EUniform_product_space type) exponent (explicit attribute)boolean testExponent(EUniform_product_space type)int getExponent(EUniform_product_space type) void setExponent(EUniform_product_space type, int value) void unsetExponent(EUniform_product_space type) |
public class CUniform_product_space implements EUniform_product_spacestatic EAttribute attributeBase(EUniform_product_space type)static int usedinBase(EUniform_product_space type, EMaths_space instance, ASdaiModel domain, AUniform_product_space result) static EAttribute attributeExponent(EUniform_product_space type) |
public class AUniform_product_space extends AEntitypublic EUniform_product_space getByIndex(int index)public EUniform_product_space getCurrentMember(SdaiIterator it) |