ENTITY maths_real_variable SUBTYPE OF (maths_variable, real_numeric_variable); WHERE wr1: subspace_of_es(SELF\maths_variable.values_space,es_reals); END_ENTITY; -- maths_real_variable |
Entity data types and their attributesgeneric_expression- simple_generic_expression - generic_variable (INV) interpretation: environment FOR syntactic_representation; maths_variable values_space: maths_space; name: label; expression - numeric_expression (DER) is_int: LOGICAL; (DER) sql_mappable: LOGICAL; simple_numeric_expression - variable - numeric_variable - real_numeric_variable - maths_real_variable - |
Global rules for this entity data type- |
public interface EMaths_real_variable extends EMaths_variable, EReal_numeric_variable |
public class CMaths_real_variable implements EMaths_real_variable |
public class AMaths_real_variable extends AEntitypublic EMaths_real_variable getByIndex(int index)public EMaths_real_variable getCurrentMember(SdaiIterator it) |