ENTITY maths_string_variable SUBTYPE OF (maths_variable, string_variable); WHERE wr1: subspace_of_es(SELF\maths_variable.values_space,es_strings); END_ENTITY; -- maths_string_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 - string_expression - simple_string_expression - variable - string_variable - maths_string_variable - |
Global rules for this entity data type- |
public interface EMaths_string_variable extends EMaths_variable, EString_variable |
public class CMaths_string_variable implements EMaths_string_variable |
public class AMaths_string_variable extends AEntitypublic EMaths_string_variable getByIndex(int index)public EMaths_string_variable getCurrentMember(SdaiIterator it) |