ENTITY finite_space SUBTYPE OF (maths_space, generic_literal); members : SET [0:?] OF maths_value; WHERE wr1: VALUE_UNIQUE(members); wr2: SIZEOF (QUERY (expr <* QUERY (member <* members | 'ISO13584_GENERIC_EXPRESSIONS_SCHEMA.GENERIC_EXPRESSION' IN TYPEOF (member)) | NOT expression_is_constant(expr))) = 0; wr3: no_cyclic_space_reference(SELF, []); END_ENTITY; -- finite_space |
Entity data types and their attributesgeneric_expression- maths_space - simple_generic_expression - generic_literal - finite_space members: SET [0:?] OF maths_value; |
generated_finite_numeric_space (PARAMETERIZATION_SCHEMA) |
Global rules for this entity data type- |
public interface EFinite_space extends EMaths_space, EGeneric_literalmembers (explicit attribute)boolean testMembers(EFinite_space type)AMaths_value getMembers(EFinite_space type) AMaths_value createMembers(EFinite_space type) void unsetMembers(EFinite_space type) |
public class CFinite_space implements EFinite_spacestatic EAttribute attributeMembers(EFinite_space type)static int usedinMembers(EFinite_space type, EEntity instance, ASdaiModel domain, AFinite_space result) |
public class AFinite_space extends AEntitypublic EFinite_space getByIndex(int index)public EFinite_space getCurrentMember(SdaiIterator it) |