|
ENTITY maths_integer_variable SUBTYPE OF (maths_variable, int_numeric_variable); WHERE wr1: subspace_of_es ( SELF \ maths_variable . values_space , es_integers ) ; END_ENTITY; -- maths_integer_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: BOOLEAN; (DER) sql_mappable: BOOLEAN; simple_numeric_expression - variable - numeric_variable - int_numeric_variable - maths_integer_variable - |
Global rules for this entity data type- |
public interface EMaths_integer_variable extends EMaths_variable, EInt_numeric_variable |
public class CMaths_integer_variable implements EMaths_integer_variable |
public class AMaths_integer_variable extends AEntitypublic EMaths_integer_variable getByIndex(int index)public EMaths_integer_variable getCurrentMember(SdaiIterator it) |