|
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) |